飞行仿真系统的确认、验证和认证研究

根据飞行仿真系统的实际需求给出了确认、验证和认证(VV&A)的新的定义。应用新的VV&A定义结合全功能飞行仿真系统的特点提出了适用的VV&A过程模型,另外,还提出了主输出带置信度评估方法。上述VV&A的理论与方已成功地在“J5QM-2型飞行仿真系统”和“直升机旋翼自转着陆飞行仿真系统”的置信度评估过程中应用，收到了良好的应用效。     

创建信息系统工程的国产通用平台

论述了创建我信息系统工程国产通用平台的必要性和可行性.     

基于XML的SOAP消息安全引擎模型的研究

数据在网络传输过程中可能会被他人窃取或篡改,从而造成泄密或重大经济损失,SOAP消息在传输时同样存在这样的安全隐患。本文设计了基于XML格式的安全引擎模型,由XML格式驱动、XML加密、解密、签名、验证、和内容过滤等几部分组成,保证了SOAP消息在网络上传送的安全性。     

如何建立HACCP控制体系

HACCP是Hazard Analysis and Critical Control Point的缩写.意思是危害分析和效的管理体系.作为啤酒企业有责任、有必要建立一套完整的安全卫生管理体系.本文详细描述了建立HACCP体系的重要步骤以及HACCP七大原理.     

二硅化钼基材料的晶界腐蚀方法的验证与实践教学

采取HF＋HNO3＋H2O的方案确实能够很好地显示金属间化合物MoSi2的晶界，有利于进一步判定材料晶粒尺寸的大小。在具体操作的过程中，需要注意腐蚀手法，保证腐蚀过程中产生的气体顺畅溢出；严格控制时间；还要注意腐蚀过程中使用的器具对于腐蚀液功效的影响，以及腐蚀液保存的容器的选择。此腐蚀液的再现性非常稳定。以此为例，在金相技术实践教学环节指导同学们掌握有关思路、方法。     

专家数学建模系统

本文首先简介了建模方法学的一些原理,讨论了数学建模专家系统的一般求解策略和结构。然后,介绍了作者研制的专家建模系统——EMMS。根据建模过程的特点,提出了适合于建模专家系统的多层次、多种推理方法混合的、反馈式求解策略.最后,通过一个例题,介绍了 EMMS 系统的建模过程。     

自动化集装箱码头数字孪生数据建模及评价方法研究

为充分利用自动化集装箱码头海量作业数据,实现数字孪生驱动的码头数字化、智能化转型,提出一种自动化集装箱码头数字孪生数据建模及效果验证评价的方法。研究了基于数字孪生的自动化集装箱码头的应用框架及其运行机制;结合数字孪生框架的数据处理逻辑,提出了基于数字孪生的码头作业过程演化及动态数据建模方法;为验证数字孪生数据能否满足码头数字孪生的有效运行,给出了码头数字孪生数据验证评价的量化计算方法。为实现基于数字孪生的自动化集装箱码头的智能作业管控和作业数据管理提供方法支撑。     

金属有机骨架封装的硅钼钒多酸催化苯乙醇选择氧化

以三种SiMoV_n@rht-MOF-1 (n=1, 2, 3)多酸基金属有机骨架为催化剂,催化苯乙醇氧化。通过对反应试剂和反应条件优化,配合物3在催化苯乙醇氧化的过程中显示出优异的催化性能,对苯乙酮的选择性高达99%。进一步对底物拓展发现,该配合物对多种不同类型的醇底物均具有高的催化选择氧化性能。为了验证自由基反应的机理,通过2, 2, 6, 6-四甲基哌啶-氮-氧化物(2,2,6,6-tetramethylpiperidine-1-oxyl, TEMPO)对反应自由基进行了捕获,证明了自由基的存在。进一步通过电子顺磁共振(Electron paramagnetic resonance, EPR)光谱捕获到了t-BuO·自由基,验证了SiMoV@rht-MOF-1催化醇氧化自由基机理。     

基于NET的Web服务安全验证

NET平台简化了Web服务的创建和使用，然而需要服务开发自己选择一种安全策略来保护Web服务，验证SOAP消息中凭证的安全性，这篇章在介绍几种WEB服务自份认证的同时．提出了一种基于数字签名技术、信任凭证、soap头的用户自定义的两因素动态加密认证方法。