地炮营通信系统载波监听／碰撞检测仿真分析

给出某地炮营通信系统信息传输的CSMA／CD(Carrier Sense Multiple Acces／Collision Detection)排队论模型,提出了信道争用和碰撞的问题,用单机和网络仿真分析了载波监听条件下通信失效的概率,给出信道争用和碰撞的几个性能指标,并利用软件的方法,提供了减少碰撞的方案     

试析美军“非接触”作战中的接触形式

"非接触"作战,是相对于以往短兵相接,胶着近战"而言的,而并非真正地没有任何接触形式的作战,其实质是利用综合技术优势,在对方信息、火力有效控制范围之外,对其进行的单向接触式"作战.本文从信息、火力、兵力、心理四个方面,探讨了美军"非接触"作战中的接触形式.     

多目标决策的特殊坐标系求解方法

在多目标决策问题中,满意解常常要在非劣解中寻找。一般来讲,对于两个目标(二维)的解的判别并不困难,但遇到多个目标(n维),且有多个可行解时,对非劣解的判别就显得有些繁复了。因此,采用直观容易的特殊坐标系来判别"非劣解",从而给出求解多目标决策问题满意解的方法。     

略评“语言谬误”──评介楚明锟主编的《逻辑学》

２０世纪５０年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。２０００年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。     

飞船再入舱三维化学非平衡流数值模拟

对飞船再入舱高超声速化学非平衡三维流场进行数值模拟。控制方程为含化学反应源项的全Ｎａｖｉｅｒ－ Ｓｔｏｋｅｓ 方程组, 化学模型为高温空气的七组元模型, 其组元成分为Ｎ２ 、Ｏ２、ＮＯ、Ｎ、Ｏ、ＮＯ＋ 、ｅ－ 。差分格式采用张涵信院士提出的ＮＮＤ激波捕捉格式并用全耦合方法处理流动方程及化学反应方程, 对化学反应源项采用全隐式处理, 运用时间预处理技术以加快收敛。同时, 也对完全气体模型进行计算, 以分析真实气体效应。与实验数据对比, 说明本文结果是可信的。     

软件随机黑盒测试的快速覆盖技术

本文提出了求多个测试序列极大距离的算法,该算法对数字电路的测试和软件测试技术是通用的。理论上看,该方法可以弥补随机测试和伪随机测试的缺陷。     

严格集压缩场的拓扑度计算

给出了严格集压缩场的拓扑度在非球域上的度为零的结果,改进了孙经先1987年相应的结果。     

外军非致命性武器研究概况

海湾战争结束后,世界各国特别是美、俄、西欧等国对非致命性武器的发展给予了高工的重视,纷纷投入巨资进行研究开发。在此背景下,各国纷纷召开各种学术会议,制定出一毓有关非致命性武器的使用和发展指南等条令和政策。与此同时,不断涌现出的新型非致命武器的效能在战争中得到检验。     

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

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