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

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

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

理想图式简论

理想图式是解决主客体矛盾的理论形式。作为观念形态的人化自然,它深刻地体现着人类解决主客体矛盾的主观能动性质。理想图式又是理性认识的最终成果,它作为理性认识高级阶段的产物,揭示着人类理性认识的实质。理想图式的形成是辩证法、认识论和逻辑学的统一。辩证法的五对范畴,可作为创造性认识的逻辑构架,以刻画理想图式形成的逻辑历程。     

当代中国航天技术责任化自主创新的哲学基础与实践逻辑

当前,中国正由航天大国迈向航天强国。中国航天技术的发展是在马克思主义科技观指导下,特别是在习近平新时代中国特色社会主义思想中的科学技术观指导下,航天科技企业贯彻落实了科技向善的理念,取得了显著的成效。截至目前,中国在航天领域取得了一系列重大成就,如长征系列运载火箭、嫦娥探月工程、火星探测、天宫空间站等等。这些成就得益于中国航天科技工作者践行的责任化自主创新,其体现了哲学基础与实践逻辑的统一。     

扎实做好从普通高等学校毕业生中招收士官工作

士官是部队现代化建设的骨干力量,是部队战斗力生成的重要基础,必须着眼军队质量建设需要,依托国民教育资源,拓宽士官来源渠道,扎实做好从普通高等学校毕业生中招收士官工作,为推进中国特色军事变革和军队现代化建设奠定坚实基础。一、充分认清招收士官工作的重要意义。胡锦涛主席强调,要加快建立和完善军民结合、寓军于民的军队人才培养体系,充分利用经济社会发展成果推进国防和军队现代化建设。从普通高等学校毕业生中招收士官是认真贯彻胡主席重要指示,     

广西组织学生军训派遣军官军事理论课试讲评教活动

今年8月28日至9月2日,广西军区司令部、广西壮族自治区教育厅组织南宁、桂林两个学生军训教研室的派遣军官进行军事理论课试讲评教活动。广州军区综合训练基地和驻邕高等院校的部分专家教授对     

江苏省举办第六期高校军事教师培训班

为进一步贯彻落实教育部、总参谋部、总政治部颁发的《普通高等学校军事课教学大纲》,进一步提高军事教师的军事理论水平和教学能力,促进学生军训工作深入开展,前不久,     

试说关系推理的正确形式及其符号化

仅有推理公式而没有明确的关系性质,推理无法进行;关系性质虽然确定,却用文字加以说明,推理就是非形式的。怎样摆脱这种两难困境？出路就在于正确揭示关系推理的结构关系并将之符号化。这对完善普通逻辑或关系理论有重要意义。     

SET协议的可追究性分析与改进

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据,有必要深入分析SET协议的可追究性.Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具.先对SET协议进行了形式化的表述,然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析,结果表明协议只能满足商家和支付网关的可追究性,而不能满足持卡人的可追究性.最后,对协议进行了改进,使其能够满足持卡人的可追究性.     

全面提高我军高技术条件下快速反应能力

一是健全心理管理机构。未来信息化战争中的民众心理防护,必须有一个集中、稳定的领导层来统领全局,增强民众的凝聚力。这个领导机构要以普通民众为工作的中心,能够在紧张、激烈的战场局势下组织民众进行有序的疏散隐蔽、消除空袭后果等工作,并带领广大民众抵御敌人铺天盖地的心理攻势,努力做到战时民众各项行动有组织、有秩序和保持民众心理稳定。