单调性推理的彻底极性标记内化方案研究

传统的涉及单调性推理的逻辑系统通常需要依赖外部的极性标记运算来处理语言表达式。然而,彻底的极性标记内化方案将极性和单调性视为词项的内在属性,实现了极性、单调性、语义类型三者之间的紧密对应。系统能够更好地理解和处理自然语言表达式,提高单调性推理的准确性和效率。对汉语否定极性项的允准判断也是该方案一个潜在的应用方向。     

燃料实时设计与HCCI燃烧控制

根据燃料设计的思想, 提出了混合燃料比例实时优化的HCCI燃烧控制新方法. 利用HCCI单缸发动机研究了异辛烷/正庚烷的实时预混合控制的HCCI燃烧, 结果发现混合燃料HCCI着火以及燃烧相位主要取决于正庚烷实际的燃空当量比. 异辛烷的加入对爆震当量比界限有所拓展, 但HCCI爆震主要与混合燃料总当量比有关. 随着异辛烷比例的提高, 导致HCCI当量比运行范围变窄, 但是混合燃料实时调控的HCCI燃烧最大负荷相对纯正庚烷提高了大约80%. 采用实时优化控制, 取得了负荷拓展与排放降低综合效果, 其整个运行范围具有较高的热效率.     

职业院校专业基础课教学探讨

随着国民经济的发展,社会对专业技术人才的迫切需要,高等职业教育得以兴起并迅速发展。高等职业教育经数年的规模扩大,基础设施的完善等,取得了可喜的成绩,但在急速膨胀过程中,难免有某些环节滞后的现象,虽经几年来不断的完善,仍存在一些弊端。     

交通监控系统信息采集问题及应对方法研究

交通信息系统信息采集是交通监控系统运行的基础,在信息采集的过程中经常出现采集的信息不完整、不准确等情况,给交通监控的有效实施造成不利的影响。为了确保所采集交通信息的完整性和有效性,可以通过两种方式来实现,一是进行检测器的优化设置,包括纵向设置和横向设置;二是对所采集的信息进行错误数据剔除和丢失数据修复。     

边值问题的多重正解

利用不动点指数定理及迭代技术, 主要讨论Sturm Liouville边值问题正解的存在性和非存在性, 并得到了依赖于参数λ的边值问题的正解     

浅谈住宅小区中小高层住宅群的给水及室内消火栓系统的设计

对传统的小高层住宅给排水和室内消火栓系统设计进行了总结,认为传统的设计方法有许多弊病,例如：室外管线位置紧张、开发商投资加大、屋顶设消防水箱,给结构设计带来麻烦,严重影响建筑立面等,提出了针对小高层住宅群给水系统和消火栓系统合并设计的观点。并阐述了合并设计的种种可行性和经济效益等优点。     

高职院校校园电视建设刍议

随着新媒体的发展和普及，高职院校校园电视遇到强有力的挑战。本文就在新的形势下高职院校校园电视如何在宣传和教学等方面充分发挥自身的优势，针对加大投资力度、加强队伍建设、提高节目质量、市场化运作、对外合作和交流、教学资源库建设阐述了自己的一些思考和对策。     

基于引导文教学法的“电力机车原理”教学设计案例

对引导文教学法进行了简介;从＂电力机车原理＂这个项目的引导文设计、教学活动设计两个方面详细阐述了基于引导文教学法的教学设计案例;总结了实施引导文教学法时应该加以注意的问题。