摄影作品的命题小议

“题”，指人的额头：“目”，指眼眼。都是人最突出、最明显的部位，是人的门面。引用到文学写作中，题目即是文章的“门面”，是文章的重要组成部分。在摄影作品中，题目也是作品的组成部分，与作品的内容和主题有密切关系。题目的第一个功能是身份证明，是区别符号。第二个功能是揭示作品的主题。表现作者的思想感情，帮助读者理解作品。具体地说，它有着这样的作用： 补充说明作用 画龙点睛作用 引导视点作用 揭示内涵作用 启发思考作用 摄影的许多作品是“眼中自然”纯写实地反映。有些作品是从“眼中自然”到“心中自然”，经过感情、…     

摩托车化油器研究中的气动命题理论

摩托车化油器腔体内部的气体流动是相当复杂的。本文提出了化油器研究的正、反、杂交和最优化命题理论，并对摩托车上常用的柱塞式化油器进行正命题研究，得出的结论将为化油器的优化设计提供理论依据。     

从我思故我在，到我魅故我在

2006年11月17日是难忘的一天。这一天,我看到了“我魅故我在”这句话,我称之为“本届中国人发明的一个最深刻的命题”。可惜它是北京电视台一则化妆品广告,是什么化妆品我已记不得了,但这个堪与笛卡尔“我思故我在”媲美的命题,随着时间流逝,变得愈加闪光了。     

Tableau算法的优化及模型规约技术

为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模.     

公式分层的谓词模态逻辑

由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀x□φ（x）的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.     

全局性模态词与基本模态语言的扩充

模态语言是讨论关系结构的一种简洁的语言。基本模态语言是仅有一个模态算子◇的模态语言,用ML（◇）表示此语言,但基本模态语言对框架关系的表达力并不是完全的,加入新的模态算子是增强模态语言表达力的方法之一。在基本模态语言ML（◇）基础上增加全局性模态词“E”得到ML（◇,E）语言,这种更丰富的语言对关系模型和关系框架的表达力明显强于基本模态语言。     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...     

依法咨询、守法服务,做规范公正的咨询人

正在党的群众路线教育实践活动收到丰硕成果的同时,为加快社会主义法制建设进行顶层设计和战略布置的十八届四中全会胜利召开,通过了全面推进依法治国的决定,将依法治国第一次铭刻上了党的中央全会的历史坐标上,强调了依法治国是中国共产党人的时代命题,是中华大地上的生动实践,是实现中华民族伟大复兴中国梦的康庄大道,是中国特色社会主义的内在要求。全会决定针对我国社会主义法治建设实际,直面我国法治领域的突出问题,明确提出了全面推进     

国内外第一本可变模糊集理论专著《可变模糊集理论与模型及其应用》出版

大连理工大学水文水资源和水利水电工程专业博士生导师、水利工程学科博士后科研流动站导师陈守煜教授的新作——《可变模糊集理论与模型及其应用》,不久前由大连理工大学出版社出版。上世纪80年代之前,陈守煜教授在水利计算及规划学科的理论与应用等方面就颇有建树。他提出的"水库调洪数值解法及其程序",与国际上同类成果相比早12年,应用于大型水库工程实践,取得了显著的防洪效益。1987～1990年,陈守煜教授根据水文水资源学科中诸多概念及现象中存在的模糊性,创建了模糊水文水资源学的科学命题。1990年代     

IT书吧

（2010二级VFP过关）全国计算机等级考试过关必练-二级Visual FoxPro 作者：全国计算机等级考试命题研究组 编著 定价：16.00元 会员价：12.80元 本书包括试卷和答案解析两大部分。试卷包括最新真题试卷、超级模拟试卷、专家押题试卷。