CAD下栅格图像纠正研究

栅格图像由于种种原因存在变形,如果CAD下对其数字化时不纠正,那么将严重影响数字化成果精度,文中针对此问题,提出了三种解决方法,给出了它们的适应条件,比较了它们的优缺点,为CAD下栅格图像的矢量化奠定了基础。     

纳米吸波材料吸收剂的研究现状

吸收剂是吸波材料的主要组成物质, 其性能的好坏直接决定该吸波材料的吸波性能. 综述了几种纳米吸波材料吸收剂的性能、特点及研究现状.     

汊道平面形态对河口潮波传播的影响

河口平面形态对于潮波运动有着明显的影响,特殊的河口汊道平面形态会使得潮波传播出现复杂的特征,从而造成一些河口独特的水位分布状态。本文的研究以河口分汊汊道为例,利用Delft3D建立一系列潮汐河口分汊理想数学模型,通过各个模型河口汊道平面形态的概化设置,探讨了不同汊道弯曲以及宽度收敛等平面形态特征对潮波传播过程的影响,阐明潮汐河口汊道平面形态特征对径潮动力状态的影响机制。研究表明汊道宽度收敛效应是河口潮波传播过程产生变化的主要原因,宽度收敛效应通过调整摩阻项及压力梯度项之间的动量平衡过程增强了潮波传播。     

拟态多执行体调度算法研究进展

拟态防御是一种基于动态异构冗余架构的新型主动防御技术,具有内在不确定、异构、冗余及负反馈等特性,从而能显著提高系统稳健性和安全性.其中多执行体调度算法是拟态防御技术的关键,其优劣直接影响拟态系统抵抗基于已知或未知漏洞后门攻击的能力.基于此,首先介绍了拟态调度算法技术和目标,然后从调度对象、调度数量及调度时机这3个方面对...     

提高300 t钢包安全性能和使用寿命的研究

从钢包的定修模式、砌筑工艺、烘烤制度方面,对提高钢包的安全性能和使用寿命进行了研究。结果表明:稳定的定修模式、合理的砌筑工艺和规范的烘烤制度,减少了钢包的安全隐患,钢包的包龄提高,降低了耐材消耗的生产成本。     

一种基于π t演算的安全协议建模方法

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.     

畜产品溯源系统中基于XML的异构数据库数据交换技术的研究

我省畜产品溯源系统存在着数据分散、异构、多规范等问题,影响了全面、高效、便捷的畜产品质量安全追溯平台的建立.本文针对这一问题,通过对XML与关系数据库间映射技术的分析,用有向图的方式来构建关系数据库的通用关系模式,并将其转换为XML SCHEMA,以其作为XML与关系数据库的映射模型和数据转换条件控制,能够较好地解决畜产品溯源系统中遇到的异构数据交换问题,使得分布在各地的不同子系统的数据与中心数据库之间的异构数据交换成为可能.     

多中心临床数据的快速检索系统

临床数据共享平台是我国医疗信息化发展的重要方向,在当今医疗数据呈几何级增长的环境下,多中心海量的临床数据如何管理、共享、并有效地查询和检索是一项重要的课题.该系统使用HL7 CDA XML作为描述电子病历的标准,采用关系型-XML混合数据库提供索引和XQuery查询工具.同时为了提高查询效率和并发性能,使用了BerkeleyDB作为Key-Value存储的数据层,并架设了Memcached作为查询数据的缓存层,增强了整体系统的可用性,最终形成了一个标准、通用、高效的临床数据共享平台.