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

高层体系结构（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的等价性。     

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

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

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

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

小区暖气失调原因调查和改造方案的实施

通过对镇苑小区采暖情况的跟踪调查及数据采集，找出了供暖系统不热的原因，据此对系统进行了针对性的改造，取得了良好的改造效果。     

伪随机序列的均匀性评价

伪随机序列生成方法有很多种 ,因生成方法不同而导致其性质的差异较大 .文中描述了产生均匀分布的U (0 ,1 )伪随机序列的数学原理 ,提出了评估均匀分布伪随机序列均匀性的几种方法 ,对由软件产生的几种均匀分布序列的均匀性作出了评估     

Fibonacci,Lucas序列与高阶Bernoulli多项式

本文给出了包含Ｆｉｂｏｎａｃｃｉ序列｛Ｆｎ｝、Ｌｕｃａｓ序列｛Ｌｎ｝及高阶Ｂｅｒｎｏｕｌｌｉ多项式Ｂｎ（Ｋ）（ｘ）的一些恒等式。