开放逻辑及其实现技术

定义了一个建立在一阶谓词基础上的开放的逻辑系统,它由证明演算和假设演算组成。本文在文献[1]的基础之上对假设演算进行了某些扩充,使得假设演算中所构造的删除规则集是完备的;并说明了对任一语句的可判定性。为便于机器实现,文中引入了删除推演序列的概念;并给出了如何构造删除规则的与或树以及如何生成删除推演序列的步骤。最后,讨论了开放逻辑系统的具体实现技术。     

中推核心机是全行业十年预研的成果

从航空发动机的研制道路出发，论述了预研对推核心机研制的基础作用，进而说明所得成果是全行业团结协作的产物。     

一种多功能训练器械设计与实训试验

针对以往特种运动器械存在设计理念陈旧、运动功能单一等缺陷,设计了一种能够提高受训人员综合身体素质的多功能训练器械。该器械主要由旋转中心框架、圆形中心框架、防护装置以及电动传动装置等组成,能够进行康复治疗、强化"核心"训练等。通过实际训练验证,该器械性能稳定,使用安全可靠,并且适用于多人施训,省时省力。     

论中西核心价值观与英语专业教学

受中西核心价值观的双重影响,以英语为专业学习对象的大学生在如何树立正确的价值观方面陷入了困境。高等学校英语专业教学过程中对中西核心价值观融合问题的重视不足。其中存在的问题、导致这些问题的原因以及解决这些问题的策略和方法都亟需我们进行深入的探讨和研究。     

DELMIA在机械加工领域中的应用

郑州飞机装备有限责任(集团)公司是国内首家采用DELMIA进行机械加工工艺规划的企业,经过工作人员的不懈努力,将国外先进技术与国内机械加工企业的现状结合起来,初步形成了以DELMIA为核心的数字化机械加工工艺体系,消除了以往工艺设计的弊端.     

《航空计算技术》征稿简则

《航空计算技术》是由中国航空工业集团公司主管、由中航工业西安航空计算技术研究所主办的国内、外公开发行的科技期刊,是中国科技核心期刊和中国航空学会会刊,被多家权威检索系统收录。本刊热忱欢迎从事计算技术研究及其应用的科技工作者和大专院校师生踊跃投稿。     

我校学报被评为“中国高职高专核心期刊”

我校学报在2011年度全国高职高专学报"三优"评比中荣获佳绩,学报以高分被中国高校科技期刊研究会和全国高职高专学报研究会评为"中国高职高专核心期刊",学报编辑部被评为"优秀编辑部",郑力军副校长被评为"优秀主管领导"、徐行被评为"优秀主编"。     

虑及多转速的核心机转子高速动平衡试验

为满足航空发动机整机动平衡对转子不平衡振动精稳抑制的需求，采用虑及多转速状态的转子高速动平衡优化配平方 法，开展了核心机转子动平衡试验。以核心机转子系统为对象，研究在高压压气机转子第4、9级盘上配重抑制高压涡轮振动的可 行性。综合考虑核心机转子在多转速下的振动状态，以残余振动平方和及残余振动最大值为目标函数，采用优化算法对配平方案 进行优化，制定了核心机转子高速动平衡方案。在核心机转子系统试验台上分别进行了单平面-单转速、单平面-多转速、双平面- 单转速以及双平面-多转速动平衡的试验。结果表明：采用虑及多转速状态的转子高速动平衡优化配平方法能使因不平衡引起的 核心机转子振动在工作转速区间内均有所减小。     

《中国航天》征稿简则

<正>《中国航天》是大型综合性权威航天期刊,入选国家期刊方阵,为国家双百期刊,同时也为中文核心期刊。《中国航天》由中国航天科技集团公司主管,中国航天系统科学与工程研究院(航天信息中心)主办,内容涵盖航天技术开发、空间科学研究、航天技术应用、航天人才培养、航天科普宣传和航天文化传播等方面。本刊为月刊,大16开,国内外公开发行。     

天舟PDM在航天科工集团红林机械厂顺利通过实施验收

日前,经过航天科工集团红林机械厂和北京天舟上元信息技术有限公司数月的共同努力,红林机械厂PDM项目完成实施并顺利通过验收。红林机械厂隶属于中国航天科工集团,是集军、民品科研、生产于一体的军工企业,核心业务涉及产品科研、生产的项目计划、产品设计、工艺规划和产品制造等多个方面。