Windows外壳名字空间的浏览

分析了Ｗｉｎｄｏｗｓ的全新文件系统－外壳名字空间的特点,详细介绍了新的“路径”－ＰＩＤＬ与ＣＯＭ接口ＩＳｈｅｌｌＦｏｌｄｅｒ和ＩＥｎｕｍＩＤＬｉｓｔ,论述了浏览外壳名字空间的方法,并进而对使用中的不足给出了解决方案。     

基于DLPP-LOF的信息物理系统异常诊断方法

为了准确诊断信息物理系统的异常类型,提出了一种新的基于动态局部保持投影-局部离群因子(dynamiclocalitypreservingprojections-localoutlierfactor,DLPP-LOF)的方法。首先,采用数据增广策略在判别模型中考虑自相关性,进而利用对数据分布没有要求的流形学习方法——局部保持投影(locality preserving projections, LPP)提取特征。其次,计算测试数据特征相对于训练数据集各类别特征的局部离群因子(local outlier factor, LOF),将具有最小离群因子的类作为测试数据的类别。确定了异常类别后,在已建立的历史异常数据及相应决策方案库中搜索制定应急响应预案。最后,将所提出的DLPP-LOF方法在典型信息物理系统上进行测试,验证了其有效性及优越性。     

基于P2P的无需第三方验证的本地信誉存储管理

目前将信誉信息存储在本地进行管理的方法需要通过第三方验证信誉的完整性,这在动态的P2P环境中很难实现,而且信誉信息易丢失或被篡改.提出了一种新的本地存储信誉信息的管理方法,将信誉信息以证书的形式存储在本地,并由所有者自行维护.通过设计相应的协议,实现了旧信誉证书的完整性验证以及新信誉证书的生成.该方法避免了大量的通信开...     

基于神经网络长期时效下GH4169合金动态拉伸行为研究

基于BP神经网络的方法,建立了长期时效下GH4169合金动态拉伸行为研究的神经网络模型.实验表明,在应变速率为101、102s-1时,GH4169合金的力学性能受时效时间影响显著,在应变速率为103 s-1时,时效时间对其力学性能无明显影响.采用BP神经网络模型的预测结果与真实实验测试结果吻合度很高,绝对误差比大多为1％～2％,采用BP神经网络的方法是切实可行的.     

基于广义随机着色Petri网的Web服务组合模型

给出了广义随机着色Petri网(GSCPN)和基于GSCPN的Web服务模型,实现了Web服务QoS和数据的表示,并给出了基于GSCPN的服务组合运算方法。用模型的层次化方法来降低模型的复杂性,一定程度上减轻了模型状态爆炸问题。分析了组合运算的性质,探讨了模型的性质和QoS分析方法。     

TSP湖水能量优化算法

冬季湖面冰冻是一种常见的自然现象.受这一自然现象启发,提出了一种新的智能并行算法——湖水能量优化算法,并应用该算法解决旅行商问题.湖水能量优化算法模拟湖水降温时湖面的冰冻过程.随着温度的降低,湖水分子失去能量,当能量达到冰冻阈值时,分子析出结冰.湖水能量受到湖水中心能量、大气能量、湖水分子能量以及湖面风吹动等多方面影响.由此建立湖水能量优化算法的数学模型——湖水能量模型和风动模型等,并通过收敛性定理和Lyapunov稳定性定理进行理论证明,验证了算法的收敛性和解决旅行商问题的有效性.最后,通过实验模拟湖水能量优化算法解决TSPLIB中标准实例问题,并将实验结果与其他经典算法进行比较,进一步说明了湖水能量优化算法解决复杂NP难题时高效率、低迭代次数及强收敛性的特性.     

策略驱动的可靠嵌入式系统建模及分析方法

针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用Petri网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量.     

软件技术发展趋势研究

软件技术是信息技术产业的核心之一,也是软件产业、信息化应用的重要基础。当前,信息技术正处于新一轮重大技术突破的前夜,它将有力地推动信息产业、软件产业的发展,同时会对软件技术提出新的需求,也必将引发软件技术的重大变革。文章通过对影响软件技术发展主要因素的分析,认为近期软件技术的发展趋势是以网络化、融合化、可信化、智能化、工程化、服务化为特征,并且呈现出新特点与新内涵,以适应软件产业对软件技术的新要求。文中详细诠释了软件技术发展趋势的新特点和新内涵。最后指出,软件产业的发展必须以软件技术为基础,软件技术的发展必然以软件产业为动力。     

基于Petri网的CPS系统安全量化分析模型

随着信息物理融合系统（CPS）的广泛应用,安全性已成为其研究的核心问题。由于CPS离散计算过程和连续物理世界交织的特性,传统的安全分析方式不能直接适用。通过将博弈理论和Petri网建模方法进行结合,提出一种GHPN方法对CPS系统建立量化的安全分析模型,该模型既能适用CPS离散连续混合结构的模型刻画,又可合理模拟系统攻防双方行为,基于最终生成的模型从系统可靠性、脆弱性、风险后果等方面进行安全分析。通过对飞机空中避撞系统的实例研究,表明该模型和分析方法的有效性。