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

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

爆炸逻辑间隙零门实验研究

为了可靠实现爆炸逻辑间隙零门的原理功能,提出并验证了一种基于精细RDX和含能胶合剂的传爆药方案.通过实验探索了基于该传爆药的爆炸零门适用的间隙宽度范围,并设计了一种小尺寸爆炸逻辑间隙零门,为爆炸逻辑网络设计提供参考.     

基于多粒度多语义语言判断矩阵的群决策方法

在基于语言判断矩阵的群决策中,多个决策者可能会使用不同粒度不同语义的语言评价集表达自己的偏好。针对此问题,提出了将多粒度多语义语言评价集统一转化为基本语言评价集上二元语义的一致化方法,证明该方法能够实现信息无损的转换,且转换后语言判断矩阵性质不会改变。在此基础上,基于二元语义的相关集结算子,将二元语义信息集结为群体的判断。通过一个实例验证了方法的有效性和实用性。     

一种新的数组逻辑结构猜想方法

许多编译优化技术都依赖于数组的逻辑结构,然而在实际的应用中,有相当多的数组是无结构的一维数组,从而妨碍了编译器的优化工作。提出了一种新的数组逻辑结构猜想算法,它能将无结构的一维数组自动变换成具有多维逻辑结构的数组,从而使编译器的优化工作成为可能。首先给出一个引理,指出猜想后的多维数组应满足的基本性质,然后基于该引理给出了猜想数组的逻辑结构应遵循的两条基本规则,最后基于这两条基本规则给出了猜想数组逻辑结构的算法。实验结果验证了所提出的数组逻辑结构猜想算法的有效性。     

浅谈计算机辅助外语教学

本文从计算机辅助系统的概念入手,从辅助教学系统的运作即视听语言实验室的建设、教学软件库的建设、试题库的建设以及计算机在教学研究中的地位等诸方面,阐述了辅助教学系统应用于外语教学这一具有超前意识和现实意义的问题,使外语教学改革冲破了传统观念的束缚而增加了新的、现代化的含义.     

军民融合背景下装备售后技术服务的逻辑决断流程

借鉴外军装备技术服务研究成果,立足我军现有保障体制,梳理了军民融合背景下装备售后技术服务的内涵,分析了装备售后技术服务模式的类型,明确了装备售后技术服务策略构成,提出了系统级和业务级装备售后技术服务逻辑决断流程,为开展军民融合条件下装备售后技术服务提供理论指导和技术支持。     

在语言的感染下战胜强敌

开篇的话 在学科渗透与融合越来越深入的今天,任何的问题都不会是单一而孤立的,都有其复杂的文化背景,军事亦是如此。讨论军事不会仅仅局限于军事层面,涉及军事的其他议题同样值得关注。希望在军事文化栏目里,从文化的角度,为读者提供思考的契机与文本。     

大学生武术运动员赛前心理训练法运用初探

在赛前武术训练过程中 ,根据大学生运动员的特点和体育心理学原理 ,科学地运用心理训练方法 ,结合技术训练改善训练质量、提高武术表现能力是非常有效的。本文对此进行了有益的探索     

《矛盾》不能作为自相矛盾的典范--兼从语用逻辑视角看《矛盾》

普通逻辑对韩非寓言《矛盾》的解析是含混的、模糊的 ,是违反逻辑的 ;韩非寓言《矛盾》并不能作为自相矛盾的典范。按照语用逻辑的有关规则和语言交际的背景约定等进行分析 ,《矛盾》并不矛盾。对《矛盾》进行严格解析 ,其意义超过了对《矛盾》本身的理解 ,因为这种解析有利于人们的逻辑精神和科学思维方式的培养。