高密织物紧压式导布装置

本文介绍的紧压式导布装置能解决织造高密织物时的松布问题。其原理是(1)增加织物与刺毛辊的包围角;(2)增大织物与刺毛辊之间的最大静摩擦力。该装置造价低廉,安装简便,用于织厂老机改造效果明显。     

普定水电站液压启闭机改造和维修

结合普定水电站液压启闭机改造和维修工作的经验 ,分析液压启闭机闸门开启至工作高位时启闭机不能锁定、闸门下滑量很大的原因 ,并介绍相应解决问题的措施     

钴湿法冶炼中镁的控制

了解镁在钴湿法冶炼过程的行为，控制各种条件，提高产品质量。     

分解，重组

建筑的原本格局是进门处有一洞口与二层相连，厨房、餐厅及客厅分置两侧，另设有三个房间，其中一个房间的门与主入口相对。原有动线及格局并不流畅，在仔细考量主人家的个性及生活习惯后，决定重新创造个开阔、质朴、宁静的家居生活环境。     

ISO9000质量管理体系在教育教学质量管理中的应用

ISO9000管理体系反映了当代质量管理思想、质量经营观念。ISO9000管理体系在教育教学管理工作中具有较强的适用性,是一种有效控制和管理组织的途径。ISO9000质量管理是以顾客为关注焦点注重过程控制的质量管理,是以预防为主的质量管理,是不断改进的质量管理。     

研究生人工智能原理优质课建设与实践

结合人工智能原理课程及研究生教学的特点,本文从课程建设过程、建设内容、应用情况等方面阐述人工智能原理优质课建设情况,提出包括课程内容选定、教学方法设计及研究生学术能力培养等方面的一系列教改措施。     

基于描述逻辑的OntoUML模型的形式化表示

将形式本体理论应用于UML语言的改进是UML的形式化研究的主要方法之一,其中On-toUML是一个概念上完整、语义上清晰和更具本体意义的UML版本。虽然OntoUML基于本体对UML进行了扩充,提供了更为丰富,更能表达现实世界语义的建模原语,但其表达方式不利于在信息系统的设计与开发中应用。本文基于描述逻辑对OntoUML中的关键建模原语及其关系给出了SHIQ形式化表示方法,并进行了实例研究。该方法表达精练、语义清晰,不仅能够表达逻辑清晰的模型,而且保证模型能够正确反映领域事实。这种形式化方法为信息系统概念建模方法提供了理论和应用支撑,在一定程度上推动了OntoUML更为广泛的应用。