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

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

白血病小鼠模型中P53、C-myc基因表达的变化研究

探讨DNA、RNA病毒诱导小鼠发生白血病的机制。用单纯疱疹病毒Ⅱ型（HSV－2）和C型RNA病毒诱导70只昆明小鼠，光学显微镜检测HSV－2、C型病毒诱导发生白血病的成功率。正常对照组为30只昆明小鼠。免疫组化法检测HSV－2、C型病毒致瘤后P^53、G－myc基因表达的变化。70只昆明小鼠中有47只发生白血病，成功率为67．1％。47只白血病小鼠P^53、C－myc蛋白阳性表达率均比正常对照组高（P＜0．05）；23只未形成白血病的实验组小鼠P^53、C－myc蛋白阳笥表达率均与正常对照组无显差异（P＞0．05）。HSV－2、C型病毒可以通过调节P^53、C－myc基因的表达从而诱导小鼠白血病的发生。     

一类幂数列的单调性

关于一类幂数列的单调性已经有了一些特殊结果 ,而该文以导数为工具 ,通过对幂指型函数图象特征的讨论 ,构造出一个特殊的数列 { 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的等价性。     

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

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

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

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

苏云金芽孢杆菌cry1基因的PCR-RFLP鉴定分析

利用PCR—RFLP技术对含有已知cry1基因的8株标准菌株和2株遗传工程菌进行了基因分析，证实了该方法的可行性．并在此基础上鉴定了分离保藏的70株B．t菌株的cry1型基因，结合SDS—PAGE分析以及室内生物测定结果，讨论了基因型与蛋白表达及毒力之间的关系．     

伪随机序列的均匀性评价

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

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

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