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

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

成都市现场警卫工作的特点问题及对策

新形势下现场警卫工作具有时限性、随意性、复杂性、公开性特点;存在着现场指定及参观程序多变化、人员不易控制、警卫战术方面的问题;提出做好现场警卫工作的基础工作。明确职责和作用等对策。     

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

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

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

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

名墨訾应论

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

模糊控制的研究与进展

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

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

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

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

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

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

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

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。