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

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

事故树形分析法在火灾原因调查中的应用

通过液氨气瓶爆炸火灾事故案例的分析,介绍了事故树形分析方法在压力容器爆炸火灾原因调查中的应用。     

新时代基层部队凝聚力构建的调查与思考

习主席强调,要增强部队凝聚力和向心力,最大限度激发官兵履行使命的积极性和创造性。进入新时代,影响部队凝聚力生成的因素增多,如何把官兵团结成一块坚硬的钢铁,既是时代所需也是形势所迫,必须系统施策、体系发力。一、思想引领力是凝聚力构建的源泉,要靠崇高事业追求保证“价值同向”一个有凝聚力的集体首先是志同道合的集体,前提是靠强有力的思想引领凝聚投身强军实践的广泛共识。     

旅团机关开展调查研究重在求实问效

习近平主席深刻指出,调查研究是谋事之基、成事之道,没有调查就没有发言权,没有调查就没有决策权。党和军队历来注重调查研究,从寻乌调查到才溪乡调查,无一不是调查研究的经典事例;从古田会议决议到星星之火、可以燎原,光辉思想和论断无一不是建立在大量调查研究基础之上。旅团机关是基层建设一线指挥部,抓好调查研究工作格外重要。     

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

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

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

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

手机智能语音交互功能调查及对策

研究了手机智能语音交互功能使用现状、存在问题及改进措施。通过问卷调查和用户访谈的方式从功能需求、掌控程度、优势不足和改进建议4个方面收集语音功能用户反馈信息,利用统计学方法对问卷结果进行统计描述和数据分析。用户对语音功能有较大需求,用户年龄、职业、性格因素对语音功能掌控程度存在显著差异,不同语音功能使用情况有显著差异,解放双手、自然高效、满足特定场所需求是语音功能的主要优势,操作过于繁琐、用户使用习惯以及手机语义理解能力差是目前语音功能的主要不足。智能语音功能市场潜力大,需引导用户转变使用习惯,同时提高语音识别理解能力,简化操作,提高语音交互易用性。     

心与心的交融——江西省奉新县人武部开展民兵“六同”活动纪实

噼里啪啦,噼里啪啦……6月20日上午,江西省奉新县干洲镇张家村热烈喜庆的鞭炮声经久不息,民兵和群众自发地为县、镇武装部门民兵"六同"工作组送行,望着工作组成员远去的背影,他们久久不肯离去……这是该县人武、专武干部和民兵干部开展"六同"活动的又一感人一幕。