格蕴涵代数的软LI-理想

借助软集合,提出了格蕴涵代数的软LI-理想的概念,研究了软集运算下的一些诸如交、且等基本性质,并给出了格蕴涵代数的软LI-理想的一些等价刻画。此外,研究了格蕴涵代数的软LI-理想与格蕴涵代数的软格理想之间的关系。得到了格蕴涵代数的软LI-理想像与原像的性质。     

WANO人误研究平台

针对传统WANO人误研究工作效率低下,流程混乱的特征,研究从WANO人误研究工作实际需求出发,采用面向对象技术设计,实现了一个基于信息系统的WANO人误研究平台.从平台构建的角度阐述了WANO人误研究平台的功能结构、平台框架、WANO人误数据库构建等技术要点,并介绍了平台在WANO人误数据ETL方面的应用效果.     

基于SHA512哈希函数和Rijndael加密算法QR二维码信息安全设计

随着二维码技术广泛应用于电子票务、银行支票、电子保单等多个领域,二维码的信息泄露和信息篡改等安全问题日益突出。为提高二维码内部信息的安全性能,从对二维码内部信息加密和二维码信息防篡改俩个角度来提高。基于Visual Studio 2008 C#平台,设计了一种采用SHA512哈希函数和Rijndael加密算法混合加密的方法,该方法利用Rijndael加密和SHA512数字签名等技术,对Rijndael第一次加密密钥系统随机分配,并对系统随机分配密钥采用二次Rijndael加密防护方法,并通过SHA512对二维码内部信息防篡改校验,达到对二维码信息及其加密密钥的安全保护。在生成QR二维码之前实现了信息加密,并从系统构架、算法原理和实现及安全性能等多个方面进行了测试和分析。分析表明此方法提高了二维码信息的安全性能,达到对密钥高效管理和对信息的多重保护,而在加密后密文信息容量较明文信息有所增加。     

基于J2ME和J2EE的移动医疗咨询系统

为方便病人不受时间和空间的限制,便能快速获取常见疾病医疗保健知识,采用J2ME和J2EE技术设计并开发一个移动医疗咨询系统,该系统的手机客户端可以实现用户的登录注册,药品、症状和疾病的查询,发布评论和公告等功能, WEB后台服务器端能对用户信息、药品信息、疾病信息、公告信息和评论信息进行管理,开发的系统能实现医疗知识共享的最大化,从而在一定程度上缓解看病难、医疗资源紧张的压力。实验表明,该系统具有操作简便、移植性强、加载速度快和占用资源少等优点,达到了设计要求。     

基于Fisher判别准则的低秩矩阵恢复

标准的低秩矩阵恢复算法是把原始数据集分解成一组表征基和与此相应的稀疏误差,并以此分解对原始数据建模。受Fisher准则启发,文中提出基于带有Fisher判别准则的低秩矩阵恢复算法,在有监督学习模式下对低秩矩阵进行恢复,即当所有的标签信息都知道的情况下考虑类内散度和类间散度。文中所构造的模型可利用增广拉格朗日乘子法求解,并通过对标准的低秩矩阵模型增加判别性提高性能,利用文中算法所学习到的表征基使类内结构相关,而类间相互独立。在人脸识别问题上的仿真实验表明该算法的有效性。     

重点放射源在线监测及监控技术现状及展望

从当前核探测技术的研究现状人手,详细介绍了重点放射源在线监测及监控技术在软硬件领域所取得的进展,并对重点放射源在线监控技术的未来发展趋势进行了展望.     

基于环境激励的桥梁振动模态识别算法研究

在桥梁建造和维护过程中,需要对桥梁的振动模态进行在线、实时的分析,急需一种不需要人工激励进行快速模态分析的算法。通过研究自然激励技术NExT( Natural Excitation Technique)与自回归滑动平均模型ARMA( Auto￣Regressive and Moving Average Model),在常规的自然环境模态分析算法的基础上构造出一种快速求解NExT￣ARMA模型的算法进行桥梁模态识别。相比于传统的环境激励模态参数计算方法,该算法不但降低了传统算法的复杂度,而且采用了反馈的方式提高了计算精度。采用ANSYS建立有限元模型并搭建简易实验系统分别对该算法进行仿真验证和实验验证,验证结果表明,该算法能够有效地在自然激励下提取出桥梁结构的各阶模态,其中对前三阶固有频率的识别相对误差降到1％左右。     

燃气总温传感器的设计

研究了总温传感器的滞止理论,并在此基础上设计了一种滞止罩结构。为了初步验证滞止罩设计的合理性,采用数值方法对总温传感器滞止罩进行流固耦合模拟,获得了滞止罩内燃气流的速度分布及滞止罩内传感器测量端表面的温度分布,系统分析从数值模拟中提取的数据,得到的结果表明该设计能提高传感器对高速高焓燃气温度测量的准确度。     

谐振式光纤陀螺偏振波动噪声的温度特性

光纤环形谐振腔环境温度变化带来的偏振波动噪声是影响谐振式光纤陀螺检测精度的主要光学噪声源之一,通过控制谐振腔温度,可以使偏振波动噪声得到有效抑制.为了抑制偏振波动噪声,减小R-FOG精度受FRR温度变化的影响,从理论上分析了谐振腔温度变化对谐振曲线、解调曲线的影响;针对不同温度下光纤环的谐振特性、解调曲线特性、陀螺零偏及零偏稳定性开展了实验,并对实验结果进行了分析.结果表明,谐振腔的工作温度为27.00℃时,两本征偏振态相距最远,总谐振曲线关于谐振频率点对称,谐振频率点检测误差可以忽略;陀螺零偏稳定性近似等于谐振腔温度为25.50℃时的1/100,在150 s的采样时间内达到0.07°/s,陀螺检测精度得到很大提高.     

工业软件现场测试中的拆分及其测试数据设计

在工业软件的用户生产现场测试中,可能由于操作风险、用户生产限制等约束而导致测试不充分,针对实践中的难点提出新的现场测试过程及其测试数据生成方法。定义了测试拆分子集及相关属性概念,根据现场因素设计的测试拆分子集提高了现场测试可主动性;综合现场因素设计拆分方案,采用针对性的辅助管理程序引导每个测试拆分子集的现场测试的实施;通过对生产现场的历史数据的处理建立针对各测试拆分子集的测试准备数据库,以搜索测试准备数据库的结果为依据并结合现场因素设计现场主动测试的输入数据,并说明了实践中的综合实施过程。通过石化生产优化控制系统的现场测试的实际案例,说明了这种方法能够在预防风险的前提下显著提高现场测试的充分性和测试效率。