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

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

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

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

理想图式简论

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

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

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

基于本体的CADM建模方法研究

体系结构核心数据模型(CADM)作为体系结构建设的通用参考资源之一,对C4ISR系统的顶层设计具有重要意义.通过深入分析CADM的开发要求及其特性,提出了一种基于本体的建模方法.该方法的主要特点是:通过在领域原始信息与最终实体联系模型之间建立本体模型,作为自然语言描述信息与逻辑数据模型之间的过渡,实现前者到后者的合理转换.该方法在逻辑数据模型设计及C4ISR系统数据工程两方面均有所突破.     

便携式逻辑分析仪硬件平台设计

针对现有逻辑分析仪制造成本高、不便携带以及应用场合受限的问题,设计了一种基于FPGA+STM32的便携式逻辑分析平台。该平台硬件成本低、易携带等指标满足大多数测试要求。其设计核心主要包括主控芯片、被测信号采样、触发控制、数据锁存、高速存储、串口通信、TFT液晶显示等电路,其功能实现主要依靠FPGA的硬件设计和STM32的软件控制。该平台最大可实现32通道、存储深度64 K、分析速率400 MSa/s的测试要求。通过该平台可以实现被测信号的采集、缓存、分析、显示等功能。     

梦在哪里

儿时,我的梦定格在电视荧幕上金水桥前那一个个整齐划一的方阵,那时的我立志要成为他们中的一员。少时,我的梦寄托于天边那与军装同色的那一抹湛蓝,我相信我的未来一定像它一样,浩瀚无垠。昨天,当"嫦娥"探月、"蛟龙"潜海,当"神州"飞天、"辽宁"远航,举国欢腾,距离梦想成真,越来越近。今天,我扎根军营,当强军梦一次次地呼唤着我前行,我隐约觉得,原来梦,一直在这里。清晨,我们将战机与太阳一同唤醒。路灯的掩映下,狭长的停机坪满是我们忙碌的身影。黄昏,我们等待着战机一架架从天边滑落,夕阳的余晖里,我     

满腔热忱 不遗余力

“必武强军是我作为第一书记的基本职责,也是我作为一个普通公民期盼祖国强大、人民幸福的情感所系!”湖北省钟祥市市委书记、市人武部党委第一书记马朝晖把武装工作融入地方经济社会发展大局进行思考统筹,把军人当亲人,把军属当家属,在全社会营造了关心支持武装工作的浓厚氛围。     

领导干部要自觉养成运用法治思维抓建设的习惯

法治思维是领导者在法治理念的基础上,运用法律规范、法律原则、法律精神和法律逻辑对所遇到或所要处理的问题进行分析、综合、判断、推理、形成结论或决定的思想认识活动与过程。它是一种以法为价值追求、以法为行为规范、以法为治理根本的思维模式,是自觉、主动和善于运用法治手段的前提。法治思维的养成不仅有赖于有法可依,更多地取决于法治理念、法治精神和法治环境的培育。部队领导干部只有牢固确立法治意识,自觉弘扬法治精神,把运用法治思维和法治方法抓建设作为一种自觉、一种修养、一种习惯、一种坚守,才能更好地促进依法治军、从严治军要求的落实。     

1902-1911年普通中小学堂图画课程改革述评

普通中小学堂图画课程是中国近代化的产物,从1902年＂壬寅学制＂在政策层面上确立了图画课程的地位开始一直到1911年,普通中小学堂图画课程进行了多次改革。这些改革开启了学校制度下中小学美术教育发展的进程,形成了重＂技＂的教育指导思想影响下的普通中小学堂图画课程,体现了浓厚的日本学校图画课程色彩,编纂了我国第一批普通中小学图画课程教科书。虽然受时代条件所限,这一时期课程实施效果不尽如人意,但却反映了近代中国美术教育学人在这一时期的艰难探索和追求。