略评卡哈尼的“语义悖论”——“矛盾被证”与“复合命题”

“说谎者”悖论早在两千多年前提出 ,被誉为“悖论的老祖父”。可是 ,直至 2 0世纪的今天 ,东、西方都认为未能彻底妥善把它消解。罗素公开承认搅到精疲力尽而仍然失败。普利斯特看到大家绝望时 ,于 1 979年提出“悖论逻辑”系统 ,以接受悖论引致的矛盾 ,作为消解悖论的办法。形式派和本文认为他实在是对这个悖论投降屈服。“破天荒”地 ,本文认为仅用普通逻辑学和谬误学 ,便可以把“原始、标准、强化”说谎者悖论简易地消解     

子母弹再入段飞行干扰弹道仿真系统设计与实现

建立了分块的子母弹全弹道仿真流程,给出了影响子母弹子弹落点散布的三类再入段干扰因素,并提出了干扰因素的基本分析方法,最后对子母弹再入段飞行干扰弹道仿真系统的设计方案进行了总结。结果表明,该仿真系统可以弹道的不同阶段为入口进行不同导弹飞行段的弹道解算,通过设置不同的干扰因素,可进行多因素对子弹落点散布影响研究,为子母弹子弹落点散布规律的研究提供技术支撑。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

室内火灾旋转火焰燃烧特性实验研究

在小尺寸实验中重现了火焰的旋转现象,并在没有外部鼓风的情况下,实现了旋转火焰自发产生;对室内火灾的旋转火焰现象进行了描述,得出旋转火焰具有自旋、根部变细、焰柱增长和旋转中心飘移等特征;并进一步分析了旋转与非旋转火焰各火灾参数的不同,结果表明,旋转火焰比非旋转火焰具有更大的火灾危险性。     

基于扩展Petri网的动态服务聚合流程描述模型及其BPEL4WS表示方法

针对现有服务聚合流程建模方法的不足,基于扩展Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了动态服务聚合流程模型中不确定路径选择和服务的动态变化性问题。给出了WSCP/R-net模型向BPEL4WS的转换算法,并以城市应急处理为例说明了转换算法的有效性。     

采用滑模控制器提高稳定控制系统快速响应的研究

由于采用传统的稳定控制系统设计方法使得导弹弹体对不同大小指令信号响应的品质特性差异较大,因此主要研究了在传统的稳定控制系统设计方法的基础上,采用滑模变结构控制器来调节控制参数,较好地解决了稳定控制系统对大小指令信号时域响应特性差异较大的问题,提高了稳定控制系统的快速响应能力。     

抓住课改 整体提升办学品位

一、学校将课改理念转化为实践的具体做法 (一)强化领导,组织保证,管理到位 学校为了充分保证课程与教学改革的落实与推进,成立了学校课改领导小组,并专门成立了课程研发小组(侧重课程的开发与实施),负责学校课程的决策、开发与管理,学校课改领导和研发小组,定期召开工作会议,根据课改的要求致力于建立以基础型课程,拓展型课程为主干的课程结构,全面负责学校课程改革的决策和管理,主要包括:1.学校课程方案的决策,如学校课程结构、比例、课时分配与分年组安排,结合学校的办学特点进行具体安排和落实;2.学校基础型课程实施方案的决策;3.学校拓展课程实施方案和决策;4.学校基础型课程和拓展型课程的管理制度与评价制度的决策.     

机载多传感器角度融合跟踪结构与算法

未来战机的作战环境要求机载多传感器数据融合系统在仅有角度测量信息情况下仍须具有稳定的目标跟踪能力.对机载多传感器的角度融合跟踪系统的结构和算法进行了研究,分别给出了两个传感器同步测量时的集中式状态估计算法和异步测量时不损信息量的混合式状态估计算法,即顺序滤波方法,并对相应算法进行了仿真验证.     

基于PCI总线的多路数据总线接口设计与实现

提出了一种主处理机可以直接控制的1553B总线接口模块的设计与实现方案,并简要介绍了其硬件结构、工作过程和软件开发.利用PCI协议芯片实现PCI局部总线与军用1553B总线的桥接,采用WDM技术编写驱动程序.所设计的总线接口模块符合MIL-STD-1553B总线标准,具有结构简单、成本低廉、操作方便等特点,可用于仿真,开发1553B总线产品.     

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

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