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

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

论军队国有资产保值增值的考核体系

军队国有资产的保值增值至少应有以下内涵:从价值形态来看,应保持军队国有资产价值规模不变;从使用价值来看,军队国有资产的实体形态不应发生非正常流失;从资产结构上看,应保证企业在资产占用结构上的保值。设置军队国有资产保值增值指标是考核和促进军队国有资产保值增值工作的主要依据和重要内容。以前实行的以产值、上交利润为核心的考核办法,为推动企业努力挖掘潜力、提高效益起到过积极作用。随着经济体制改革的深化和市场经济的发展,其弊端日渐显露。因此,应选用以军队国有资产保值增值率,军队国有资产流失率为主,并辅以军队国有资产利税率、国有资产收益率、国有经济生产贡献率、投资效果系数的方法,形成考核军队国有资产的保值增值的指标体系。     

军队院校加强和改进文职教员考核工作思考

为从组织实施角度加强和改进军队院校文职教员考核工作，提出军队院校要高度重视文职教员考核工作，正确处理好牵头组织与配合协作、平时观察与定期考核、定性考核与定量考核、监督检查与追责问责四个方面的重要关系，狠抓组织领导，优化考核方式，完善考核机制，严肃考核纪律，确保考核工作取得成效。     

浅析卫星导航系统在役考核指标与方案选择

在役考核是装备试验鉴定的重要环节之一,是对性能试验和作战试验不能解决的问题进行补充鉴定。针对卫星导航系统在役考核过程中考核大纲制定与方案选择的难点问题,通过分析卫星导航系统在联合作战中提供的精准定位、统一授时、辅助精确打击等典型应用场景,归纳出卫星导航系统在役考核需要重视对抗环境、考察关键性能、强调作战效能等特征需求,在此基础上建立了在役考核指标体系,并将灰色关联理论应用到考核方案的选择过程,为卫星导航系统的在役考核提供了一定的参考。     

随身警卫工作要注意对反恐怖斗争的研究

进入21世纪以来,国际形势总体上趋于缓和,但国际恐怖活动却愈演愈烈,特别是针对政要人物的恐怖暗杀事件不断增多.因此,公安警卫部队加强研究恐怖活动特别是随身警卫中的反恐斗争,已成为当务之急.随身警卫人员要时刻牢固树立为保护警卫对象安全而献身的精神,组织军事、体能强化训练和达标测验,优中选优选派随身警卫人员,要充分发挥好"盾牌作用",起到"情报信息员"作用.     

对中小学体育与健康课程考核与评价的研究

对中小学的体育与健康课程考核与评价的研究和实施 ,是全面落实《中共中央国务院关于深化教育改革全面推进素质教育的决定》的重要内容 ,是培养具有健康体魄接班人的重要环节 ,是全面落实教育方针的重要组成部分。本文通过对中小学校体育工作的长期研究 ,提出了健康与体育课程的考核与评价标准和办法。它将对学校体育的改革有重要的促进作用     

抓好动态条件下考察识别干部

近年来,我们根据新的《军事训练与考核大纲》坚持把实兵演习等重大军事实践活动作为发现识别干部的主考场,走开定期考核与随机考核并举、定性分析与定量分析结合、静态考察与动态考察同步的路子,建起为培养使用干部提供客观公正的真实依据的重要渠道。     

小议美在于绝对精神

黑格尔把美学界定为"艺术哲学",或"美的艺术的哲学",其研究对象仅局限于艺术美,是从研究它的概念开始,他在驳斥了康德关于真实的事物是不可理解的观点后指出,美与真是一回事,最后给美的定义是:"美就是理念的感性显现".     

面向对象方法的一类飞行器模拟器设计与实现

对一类C4I飞行器模拟器的设计与实现进行了研究.该模拟器是分布式C4I仿真系统中的兵力生成子系统,起着演示指控效果、检验决策质量的重要作用.从系统需求出发,采用面向对象的方法对它进行了分析与设计,并最终实现了飞行器模拟器软件系统.该系统已成功应用于某防空C4I仿真试验床中,C4I联机试验表明,飞行器模拟器能较好地模拟指控命令响应并提供较高精度的飞行导航模拟数据.此外,面向对象方法的采用,不仅使系统功能得到了加强,也大大缩短了系统的开发周期.     

防空导弹对目标拦截的模糊二元对比排序

确定对空袭兵器的拦截次序是防空导弹火力分配的重要内容.定性分析和定量计算相结合,利用模糊数学中的模糊二元对比排序法确定防空导弹对多个目标拦截的优先次序,先对模型进行描述,给出模糊相似关系矩阵及相应的计算方法,再以4种空袭兵器为作战对象,运用模型进行计算,得出直观的目标拦截排序结果,变模糊的、复杂的问题为直观的结论.为指挥员科学分配防空火力,最大限度地发挥防空导弹的制空效能奠定基础.