衔接理论在大学英语语篇分析中的应用

本文通过介绍三种语篇衔接方式———结构衔接、逻辑衔接及词汇衔接 ,旨在论述在大学英语的教学中引进语篇衔接的概念是必要的 ,也是可行的     

一体化联合作战指挥信息流通体系逻辑结构分析

针对协同性联合作战向一体化联合作战转变对作战指挥产生的影响,在正确定位指挥信息流通体系的基础上,从一体化联合作战的本质特征及对指挥信息流通体系的影响出发,设计了基本作战单元指挥信息输入、输出模型,并通过将作战体系区分为四类模块,得出了指挥信息流通体系的逻辑结构.     

一种基于自抗扰方法的姿控直气复合控制系统设计

在建立的复合控制导弹短周期线性化运动模型基础上,提出了气动力/直接力复合控制方案.气动力控制子系统采用三环控制结构,过载环采用PI控制,攻角环和角速度环采用自抗扰控制.随后根据模糊控制设计了气动力/直接力分配策略,用矢量合成方法设计了直接力控制子系统的点火逻辑.最后,在典型仿真场景下进行了仿真验证.结果表明,拦截高空目...     

名墨訾应论

名墨两家是中国古代两大逻辑学派,他们的逻辑思想堪称中国古代逻辑思想的高峰,因此,探讨两家逻辑思想的关系,弄清他们逻辑思想之异同有一定意义。关于“名实之见”,名墨均认为“名实相符”,但名家主要表现为形而上学的名实观,墨家则表现为辩证的名实观;关于“坚白之辩”,主要表现为名墨两家的“离盈之辩”,名家认为“离坚白”,即感觉的分离证明了事物属性的分离,坚、白二属性是独立存在的,墨家认为“盈坚白”,即触觉和视觉都存在于事物,不能把它们分离开来:关于“同异之论”,名墨都有“同中有异,异中有同”的思想,但墨家进一步认为,本质上相同的事物即为同类,其中之异就是次要的,本质上相异的事物即为异类,其中之同就是次要的。     

TMS320C31的软件开发与编程

本文介绍了TMS320C31的软件开发和编程方法．着重介绍了TMS320C3X的C语言编译器及其优化方法,介绍了C和汇编语言接口的两种方法及用汇编语言编程时应注意的几个方面。     

模糊控制的研究与进展

本文介绍了模糊控制的发展过程,以及模糊控制器的基本原理,介绍了目前在模糊控制和人工智能领域内关于模糊控制本质的一场争论,指出了模糊控制的插值机理。     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

制订科学的预防维修大纲加速维修管理科学化

本文探讨了欧洲国家维修团体联盟(EFNMS)第十次学术会议的主题——“维修——为了未来的投资”的意义和内涵.在此基础上,重点介绍了为获取此种投资效益所必需制订的预防维修大纲的方法及其理论依据.