逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

基于关系数据库的仿真模型管理

本文将讨论仿真模型库管理技术。从仿真模型库管理的实际需求出发，提出以关系代数系统实体结构（ＲＡＳＥＳ）框架为理论依据、利用关系数据库进行模型库管理的方法，并给出模型库管理算法的形式化描述及系统设计。     

开放式自动测试系统软件设计

实现测试程序的可移植性、改善测试系统仪器互换性和提高ATS新技术注入能力是通用ATS研制的热点问题,遵循标准和实现开放式系统是解决问题的途径,软件系统是当前通用ATS实现开放性的制约因素.根据领域需求软件采用层体系结构模式,合理划分各层功能,在高层提供面向信号的编程接口,资源控制层提供了面向功能的接口,资源管理实现了系统对资源控制层构件开放的动态集成方式,实现了开放式的系统软件构架.     

个别谈话要把握的“六个关键”

习主席强调指出,"选人用人首先要知人"。从干部考核实践看,个别谈话作为必经程序,既是充分听取官兵呼声的具体体现,又是印证考核对象德才表现的重要环节。如何谈出实情、听到真话,对考深识准干部尤为重要,也是当前干部考核工作面临的现实课题。一、做足"谈"的准备个别谈话不是无的放矢,只有把准备工作做充分了,才可能谈得深入、了解全面。这些工作必须做在考核进入前。首先要知道去谈谁。     

从UML到FOM的转换方法研究

针对当前HLA存在的一些主要问题,将MDA的思想和开发方法引入到军事仿真系统开发中.针对HLA平台相关模型,提出了HLA的UML Profile.最后,基于XMI(XML metadata inter-change)规范开发了一个工具,能够很好地根据UML图自动生成OMT文件.     

基于HLA的某型机动指挥分布式训练模拟系统设计

在分析某型机动指挥系统的操作规程和部队需求的基础上,将训练模拟器和先进的计算机仿真技术结合起来,设计了基于HLA的训练、考核和管理仿真系统,以较小的代价解决部队的实际训练需求.针对该武器装备操作训练的特点,重点介绍了仿真联邦的设计以及成员对象模型SOM和联邦对象模型FOM的设计与实现.     

企业国防教育应注意把握的几个问题

企业国防教育是全民国防教育的一个重要方面。在改革开放和发展社会主义市场经济的条件下,特别是我国加入世贸组织以后,如何立足企业特点,发挥多种优势,搞好国防教育,是值得认真研究解决的重要问题。 一、着眼企业特点,建立健全全民国防教育运行机制 企业是讲求经济效益的生产单位,具有人员相对集中、科技相对密集、文化素质较高、生产任务繁重等特点。针对这些特点,企业的国防教育必须注意以下几个方面。一是制定实施细则,使国防教育有法可依。要依据《国防教育法》、《企业法》和《民兵工作条例》的规定,制定具     

科学把握思想政治工作的切入点

江泽民同志在“七一”重要讲话中强调 :要“加强有说服力的思想政治工作”。这一目标实现的前提和基础是要找准科学实施政治教育的切入点。当前 ,新时期思想政治工作面临的客观环境和工作对象发生了很大变化 ,只有准确把握教育对象 ,选准切入点 ,才能对症下药 ,一针见血 ,达到事半功倍的效果。思想政治工作要从广大官兵思想感情的兴奋点切入 ,趁热打铁 ,因势利导 ,大力激发官兵高尚的思想道德情感 ,弘扬时代精神的主旋律。 列宁曾说过 :“没有人的感情 ,就从来没有也不可能有人对于真理的追求。”情感是伴随着人们的认识而产生和发展的 ,对…     

思想政治工作的“实话巧说”

据 说 ,英国诗人拜仑一次看见一位盲人身上挂着一块“自幼失明 ,望君怜恤”的牌子乞讨 ,可他手里的破盆却空空如也。于是 ,拜仑挥笔将牌子改为“春天来了 ,我看不见”。结果路人纷纷解囊。路人的同情心是怎么被唤起的呢 ?这是因为拜仑将实话巧说了。思想政治工作是党的工作 ,必须遵循实事求是的思想路线 ,说实话 ,办实事。然而 ,思想政治工作是做人的工作 ,如果不分时间、地点、场合、工作对象的性格及思想状态的差异 ,一味追求诚实而不加改变地讲事实 ,实话实说 ,有时不仅收不到应有效果 ,甚至适得其反 ,会引起工作对象更多的思想问题。因…     

谈出入境人身检查

出入境人身检查是出入境边防检查机关的一项重要任务.在新形势下,研究、掌握出入境人身检查的依据、对象、批准权限及检查的程序、方法与要求,对出入境边防检查工作具有重要意义.