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

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

理想图式简论

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

纳米级变频器及加法器的新概率建模方法

纳米级数字电路应用时,必须考虑设备故障对纳米级设计的影响.在马尔可夫新特性随机场基础上,提出了纳米级变频器和加法器的概率逻辑模型,并用它们来建模概率行为.实验分析显示设备故障的概率分布极大依赖于系统结构及其他运行参数.     

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

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

基于夹杂思想的圆柱形热幻像器件的研究

针对通过变换热力学理论设计的热超材料难以制备的问题，将细观力学的中性夹杂思想引入对热流传递路径的控制中，设计出圆柱形热幻像器件，并讨论了幻觉材料的导热系数与半径之间的关系。数值仿真和实验结果表明：通过在原始目标A外涂覆一层设计的幻觉材料，就可以使得探测器从外部探测出幻像目标B的热特征，从而达到很好的干扰作用。该研究为利用热超材料实现目标隐身提供了一种新的可行方法，同时也大大降低了材料的制备难度。     

人类命运共同体理念的形成基础与实现路径

世界正经历百年之未有之大变局，地球村也从观念走向现实，各国之间紧密相连，休戚相关。中国提出的“一带一路”新政策，人类命运共同体不同于西方的你输我赢、零和博弈等理论，是对西方现实主义国际关系理论的超越，人类命运共同体着眼于全人类共同利益和共同福祉，将各国更加紧密地联系成一个整体，向世界展现着中国智慧和中国方案。文章总结了人类命运共同体理念的形成基础与实现路径，对于进一步以人类命运共同体理念推进中国式现代化具有重要意义。     

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

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

ARM系统中对CAN控制扩展的实现方法

基于ARM技术的处理器已经普遍应用于工业控制、汽车电子等各个领域.CAN总线也已广泛应用于这些领域,但大多数常用的ARM9系列芯片还没有在片内集成CAN总线的控制器,使得不得不在板级进行扩展.选用飞利浦的SJA1000器件作为CAN总线控制器在ARM系统中进行扩展,给出了两种通过总线扩展的实现方法,即通过CPLD转换时序的方法和双周期读写模拟方法,并对后者的实现方法做了详细论述.最后对CAN总线Linux下的驱动移植做了简要介绍.     

某型机载雷达抗干扰效果评估软件实现

抗干扰效果评估软件系统是电子对抗试验环境系统的重要组成部分,是机载雷达抗干扰效果评估系统的核心,在靶场电子对抗试验环境建设中具有重要作用和地位.采用软件工程设计方法对该雷达抗干扰评估软件系统进行了概要设计,建立了评估软件系统的评估模型、模块结构、逻辑流程和主要人机界面,基于VB.net进行了抗干扰效果评估软件系统的初步设计与调试.     

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

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