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

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

线性谐振子的计算机代数计算

采用计算机代数方法，通过Mathematica软件计算线性谐振子的波函数，几率密度和几率最大值的位置。计算方法简单、通用，易于推广。     

基于变神经网络的非线性最小方差预测控制器

提出基于变神经网络学习动态系统参数的最小方差预测控制器。其目的是通过在线学习 ,使控制器(MVPC)能适应被控对象参数变化和非确定性。提出的变神经网络由两部分组成 ,一部分是线性神经网络 (LNN) ,作为被控对象局部线性动态模型 ,另一部分是多层交叉回归神经网络 (DRNN) ,它近似为非线性动态模型。由于引进递推最小方差算法 ,本控制器运算速度相当快。仿真结果表明所提方法对非线性系统自适应控制是有效的     

立井强化冻结施工理论分析

本文以谢桥主井为例,从冻结壁强度、变形、工作面底鼓和超前位移及冻胀压力等几方面.分析了深厚表土立井强化冻结施工对防止冻结管断裂和外层井壁破坏的机理.给出了强化冻结施工适用条件.并提出了按井帮温度进行强化冻结设计的方法.     

对两种估计单属性关系大小方法的可信度讨论

估计两个单属性关系在连接属性上取相同值的个数的方法有两种:静态估计法和动态估计法.本文利用不精确性推理模型对这两种方法的可信度定量地进行讨论,并用具体例子进行说明.     

韭菜凝集素的纯化及部分性质的研究

用葡聚糖凝胶柱层析法从韭菜的叶片组织分离出一种对新鲜兔红细胞有强烈凝集作用的凝集素，ＰＡＧＥ鉴定和高碘酸－Ｓｃｈｉｆｆ试剂反应均显单一条带。ＳＤＳ－ＰＡＧＥ分析表明该凝集素含有３个亚基，其相对分子质量分别约为３１０００、２４０００和２１０００。韭菜凝集素具有一定的热稳定性，在酸、碱处理中该凝集素对碱处理较酸处理稳定，氨基酸组成分析表明韭菜凝集素含有１４种氨基酸，其中半胱氨酸含量较高。     

矿石可选性预测专家系统(Ⅰ)─—系统的总体设计

建立了铅锌矿石可造性预测专家系统，运行结果良好。本篇着重论述矿石可造性领域知识的特点和知识表示方法；分析矿石可造性预测专家系统的主要特征；讨论矿石可造性预测子问题的划分、一般决策过程、推理控制策略以及系统的总体设计。     

关于分析化学实验教学改革的尝试

从化工专业分析化学实验教学目的出发 ,对原有的教学内容、教学方法进行了改革 ,强化了学生的基本操作技能 ,提高了学生的学习兴趣 ,加强了学生动手能力的培养 ,在教学实践中取得了良好的教学效果     

安全支付网关技术研究与系统实现

安全支付网关是银行与internet之间的安全枢纽 ,是电子商务系统中最重要的组成部分 ,它涉及密码学、信息系统安全和风险管理等学科。在简要介绍电子商务系统安全体系结构的基础上 ,研究了安全支付网关中的安全电子交易 (SET)协议和共钥基础设施PKI等关键技术 ,以及数字签名、数字信封和数字双签名等相关的基础技术 ,并在此基础上完成了“WT0 37安全支付网关系统”的系统实现     

时域数字脉冲压缩及其实现系统

本文分析了时域脉冲压缩原理及数字式脉冲压缩方法,介绍了一种专用型FIR芯片构成的数字式脉冲压缩器,并给出了试验结果.