MPP数据并行FORTRAN汇编代码模拟环境的设计与实现

本文阐述了一种在单机上模拟ＭＰＰ机执行并行汇编代码的方法。这种并行汇编代码由ＭＰＰＦＯＲＴＲＡＮ编译器生成。由于在一个大型工程中，编译生成的目标代码运行环境不一定能及时具备，所以，研制汇编代码模拟环境ＤＰＦＡＳ有助于及早验证编译目标代码的正确性和完备性。本文通过共享进程组在ＳＧＩ工作站上实现多机环境模拟和远程地址访问模拟。此模拟环境的实现对ＭＰＰ数据并行ＦＯＲＴＲＡＮ编译器的正确性验证和效率评估有一定的帮助。     

几类微分方程解的有界性

本文研究了几类二阶微分方程解的有界性,建立了它们的一切解有界的若干充分条件,所得结论,拓广了文[1]—[3]的部分结果.     

多杆多自由度连杆机构的分析与模拟

根据复杂平面连杆机构特点,提出对多杆多自由度连杆机构的运动分析策略和动态模拟方法,并以两种常见机构为例进行了分析、模拟。     

KD-RTI/DDM中的组播分配策略

组播技术的应用可以有效提高RTI的实现性能。介绍了组播分配的一般理论和实现方案,详细展示了KD RTI中的组播分配策略,讨论了组播应用过程中出现的问题,同时给出了解决方法。     

抗日战争时期人民军队创建和开展军事气象工作的回顾与启示

着眼于抗日战争国内外形势发展及联合美国对日作战的需要,1944年7月,在中央军委领导下,我军与美军开展军事气象合作。各抗日根据地相继建立气象观测所(站、台),构建气象通讯网,开展气象观测员培训,健全和规范气象观测与通信工作,并向美军提供对日军作战所需的气象情报。人民军队的第一代气象兵由此诞生。中共与美军的气象合作,为夺取抗日战争胜利作出了重要贡献,同时在政治上为中国共产党赢得主动,打破国民党的封锁发挥了重要作用。     

论微分方程中的两个不等式

对于具有无限时滞中立型泛函微分方程,以空间为相空间,讨论了方程解的性质,得到了关于解的两个重要不等式。     

具有离散时滞与分时时滞的非自治系统的渐近稳定性

研究了一类具有离散时滞与分布时滞的非自治线性系统的渐近稳定性问题,利用Lyaplunov函数方法和线性矩阵不等式（LMI）,得到了系统渐近稳定性的一些充分条件,这些条件能够利用线性矩阵不等式（LMIs）表示,且表达式中含有具有时变时滞与分布时滞项,这样,具有时变时滞与分布时滞的非自治线性系统的稳定性就能够通过Matlab的LIM工具箱进行验证。     

一种提高应用层组播转发速率的机制

针对应用层组播报文转发的特点,提出了一种能够提高应用层组播转发速率的新机制.该机制降低了应用层组播报文从主机内存到网卡缓冲区之间数据复制的次数,节省了CPU处理开销.理论分析表明该机制能够降低应用层组播延迟和提高应用层组播转发速率.实验验证了该机制的可行性与有效性.     

一种基于组的访问控制方法

卫星通信网运控系统是一个大型的分布式系统,它使用CORBA中间件来解决分布式系统的异构问题。在研究DAC、MAC、RBAC等访问控制模型的基础上,提出并实现了一种基于组的用户访问控制(GBAC)策略,提高了运控系统的访问控制效率。