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

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

用可编程器件实现PWM

用GAL器件实现了脉冲宽度调制（PWM）。阐述了设计原理、设计实例以 及与单片机的接口。     

带的双闭子带和自由幂等元半环

给出带的双闭子带和它的性质及特征。在此基础上，给出加法半群为半格的幂等元半环簇中的自由对象。     

KosnioWski-Stong公式的一个简单证明

Kosniowski-Stong公式是近年来带对合协边领域的一个较重要的结果，它来源于Atiyah与Singer在指标定理方面的工作。此公式现有2种证明方法，其中属于带对合协边理论的是一种验算性质的证明。现利用带对合协边理论基本定理直接导出了此公式，由此可看出这2个重要结果是紧密相连的。     

支持虚拟样机的协同仿真平台关键技术研究

为了支持虚拟样机开发环境中不同领域，分布，异构的仿真系统间的信息共享和互操作，提高协同仿真平台的可扩展性和灵活性，提出了灵巧产品模型建模，协同仿真资源库集成管理方案和协同环境运行框架，并具体说明了基于DCOM的仿真工具协同的关键实现技术，支持仿真联邦管理的数据库设计和CORBA的应用实现技术，通过轿车虚拟开发的初步应用实践，基于上述研究所开发的平台能有效支持复杂产品的虚拟开发。     

理想与现实——清末贵州社会变革之再思考

贵州辛亥革命结束了清朝封建帝制在贵州的统治，但是，革命很快归于失败，革命的结局与革命的理想大相径庭，这一切，根源于贵州近代资本主义经济及民族资产阶级力量较之全国说来更加的落后和弱小，在客观物质力量的成长还未壮大到足以冲破封建势力的束缚的时候，一种渐进的和平改革道路也许是当时最好的选择，而激进的，理想主义的行动酿就的只能是一杯难以下咽的苦酒。     

谈英语阅读中捷效寻读教学及能力的培养

根据对一些学生的日常阅读情况的观察和阅读理论最新的研究成果 ,以及心理学的相关理论的分析 ,提出应该加强捷效寻读技能的教学 ,从理论和实践上提出了相应的方法。     

背越式跳高教学中应用多媒体技术的实践与探讨

在背越式跳高教学中实行多媒体组合教学 ,改进传统单一的教学方式 ,加深了学生对技术本质特征的理解 ,经教学实验对比 ,教学效果明显提高 .并具体分析探讨了开展多媒体教学的优越性和重要性     

一种基于数字水印的错误检测和定位技术

为了增强视频通信系统在有误码信道的适应能力 ,提出了一种基于数字水印技术的错误检测方法 ,使得解码器可以对误码块进行有效的补偿。其原理为编码器在量化后离散余弦变换 (DCT)系数中嵌入易碎的数字水印 ,解码器可以通过提取水印从而确认错误以及错误发生的首宏块位置。仿真结果证明 :在信道误码率为 5× 10 - 4时 ,与常用的基于语法的方法相比 ,本方法的错误检测率是其的 1.32～ 1.82倍 ,错误正确定位率是其的 2 .95～ 5 .32倍 ,而且 PSNR只有微弱降低 ,同时算法复杂度很低     

冲击压实机在商开高速公路中的试验及应用

结合商丘至开封高速公路介绍了冲击压实机的试验工艺、结果及应用.