联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

仿真模型中复杂三维实体集的选择与交互技术研究

鉴于目前商用图形软件包对于复杂模型中三维实体集显示与选择的局限性，本文提出了一种新的判断点与面域从属关系的方法，此方法借鉴计算机图形学中扫描转换填充算法的射线法，并在此基础上对射线法进行扩充和完善，文章同时对三维复杂实体群的交互手段和技术进行了研究，在解决实际问题中取得了良好的效果。     

一类幂数列的单调性

关于一类幂数列的单调性已经有了一些特殊结果 ,而该文以导数为工具 ,通过对幂指型函数图象特征的讨论 ,构造出一个特殊的数列 { bk} ,解决了该类幂数列的单调性 ,得到了 2个有趣的结果。当 l 相似文献   

GRAMMATICAL COMPLEXITY OF FEIGENBAUM TYPE ATTRACTORS IN PERIODIC WINDOWS

In [7,8] the grammatical complexity of the Feigenbaurn attractor and the general Feigenbaurn attractors, generated by period - n - tupling, are studied. In this paper we study the grammatical complexity of the Feigenbaurn type attractors, including Feigenbaurn attractors and general Feigenbaurn attractors,in periodic windows. It is shown that the languages determined by these attractors are CLS and are. not CFL.     

欧氏空间上的随机覆盖及其应用

运用Borel—Cantelli引理，改进并推广了Jean-Pierre Kahane在单位圆周上关于随机覆盖的结果，得到了在高维欧氏空间上关于随机覆盖的类似结果。且运用这些结果研究了多指标复Fourier-Redemacher级数与某些函数空间的关系，得到了多指标复Fourier—Redemacher级数几乎处处属于L^∞及几乎处处属于C的等价性。     

试论《化学教学论》教材的修订——从六大类中学化学教材内容的编排顺序谈起

现行《化学教学论》教材将典型教学示例放在化学教学原则之后，致使整本教材缺乏逻辑性，不符合当前创新能力培养的要求，不利于坚定师范生从事教育事业的信心，笔者认为应先讲教学示例、后授教学原则。     

选择最小方差阈值的判别式方法

本文阐述了选择最小方差阈值的各次累积矩判别式方法,证明了零次矩判别式最小方差阈值选择法在理论上可使统计累积矩的次数降到最低,在实用上可进一步减少运算量。     

网络环境下新型物理教学模式探索

论述了利用意义建构学习理论进行物理教学和网络整合的方法和途径,阐述了网络环境下意义建构物理教学模式的优点.