基于MAPX控件的电子地图控制

分析了MamX的特点,给出了利用MapX构建地图的各种方法。详细介绍了图层操作、信息查询、轨迹回放等功能的实现。     

时序电路的冗余状态变换确认研究

本文以状态跳变图为基础，深入分析冗余变换与非法变换的特征，提出结构冗余和功能冗余的概念，并讨论了可测、不可测故障与冗余之间的联系，最后结合验证和测试生成，提出了状态冗余隐含遍历确认策略。     

水性无机富铝涂料的制备及性能研究

采用水溶性硅酸盐对片状铝粉进行处理后,铝粉表面被反应物包覆,使单个铝粉粒子完全密封,从而使铝粉变得稳定.将处理后的铝粉颜料与硅丙乳胶成膜剂、硅酸盐及其他助剂配制咸水性硅酸盐无机富铝涂料(E02-4富铝),研究了铝粉在硅酸钠中的反应机理和胶囊化模型.结果表明,所得涂料贮存性稳定、性能优异.     

多任务下的系统实时检测

本文根据ＳＴＤ总线控制系统的要求和环境，以ＲＡＭ的故障模型为基础，提出了基于时间控制及模块的系统故是实时检测设计，重点研究了暂时故障的处理问题。由各模块检测算法构成的检测任务灵活方便，实用性强，能处理文中提出的所有故障。     

基于电子商务Web应用的SSL VPN研究

本文讨论了SSLVPN特点,详细分析了其关键技术和工作原理,探讨了基于Web应用的电子商务利用SSLVPN技术在两个系统之间建立一条应用层级别的安全隧道从而保障用户访问关键数据,提高重要信息在公共网络上传输的安全性。     

Zn铁氧体—SiO2复合材料溶胶—凝胶制备工艺优化研究

以硝酸铁,硝酸锌和正硅酸乙酯为起始原料,用溶胶－凝胶法制备了晶粒粒径在15－42．5mm的Zn铁氧体－SiO2复合材料,并对溶胶－凝胶工艺及胶体形成机理进行了初步探讨。XRD分析结果表明：500℃热处理已合成为51％尖晶石主晶相,并含有少量的Fe2O3另相;900度热处理则基本上消除了另相。     

SrTiO3基中高压电容器瓷料的合成条件研究

在文献[6]的基础上,进行了详细的合成条件研究,结果表明,2B4-2000组SrTiO3基中高压电容器瓷料可采用工艺流程较短,能耗较低的一次预烧合成工艺制备.其主要性能指标达到ε(20℃7≥2000 tgδ 40×10-4 ρv≥1012Ω.     

基于HLA的实时仿真方法的研究与测试

实时性是某些仿真系统的重要性能指标.分析了运行支撑环境(RTI)消息基本流程及高层体系结构(HLA)时间管理服务对仿真实时性的影响,提出采用"多步推进+墙钟控制"的时间推进方式来实现实时仿真,并设计了一种测试RTI实时性的试验方案,以及用该试验测试了MAKRTI2.3.3在两种传输服务下的实时性,仿真结果表明,在高速局域网下,采用多步推进的时间推进方式能有效提高仿真实时性,基本上达到大多数半实物仿真系统的实时要求.     

基于企业信息系统安全模型的构建与实现

针对企业信息系统建设的实际情况和发展趋势,分析了其信息安全状况及特征;根据企业的实际需求,结合当前密码学理论应用情况,构建了企业信息系统安全模型,并提出了可行的实现方案。     

MBDD构造与优化设计

本文分析了ＢＤＤ（Ｂｉｎａｒｙ Ｄｅｃｉｓｉｏｎ Ｄｉａｇｒａｍｓ）的基本特征和发展。面向验和测试的需要，作者提出了含有极值概念的ＢＤＤ拼接构造方法，为进一步压缩ＢＤＤ非终端节点的数目，在构造过程中充分考虑变量排序对ＢＤＤ结构的影响，实验证明，作者提出的方法简单、直观且有效。