一种新的软件可信评估方法磁

随着信息化社会的到来,计算机软件对于人类社会的发展起到了推动作用。但随之而来的各种软件错误、失效使得计算机能否满足要求遭到了质疑。软件是否满足要求可以通过软件可信评估来验证。论文提出了一种使用分层的软件可信评估方法：将对软件的可信评估分解为对软件可信属性的评估,然后对软件可信属性进行再分解,分为不同的层次;通过对各层的计算,实现对软件是否可信的评估。实验表明,论文提出的方法可以有效评估软件是否达到用户的要求。     

嵌入式可信计算平台测评系统的设计与实现磁

针对嵌入式平台功耗低、资源少等特点,设计了适用于嵌入式平台的可信芯片及嵌入式软件栈,构建了嵌入式可信计算平台。为使嵌入式可信计算平台能够有效地为嵌入式应用提供可信功能支持,论文设计并实现了嵌入式可信计算平台测评系统,从应用服务角度出发,保证嵌入式应用调用的可信功能的正确性。该测评系统支持多个平台的并行测试,并能根据不同需求定制测试方案,支持测试报表分析测试结果,且引起的平台额外开销较小。     

Edge Contour Extraction in MR Image Using Edgeflow Contour Model

This paper presents a new model for edge extraction of MR images, based on curve evolution and edgeflow techniques. At first the model for curve evolution is constructed, which automatically detect boundaries, and change of topology in terms of the edgeflow fields, and then the numerical approximation of the model is introduced, which is based on semi-implicit scheme to speed up the proposed approach. Finally, the numerical implementation is present and the experimental results show that the proposed model successfully extracts the edge contours, regardless of the heavy noise.     

一种基于信息流脉络网的隐蔽通道搜索方法

针对隐蔽流树搜索方法存在的规模大、分析工作量繁重等问题, 提出一种改进的隐蔽通道搜索方法。该方法采用网结构描述系统中的隐蔽信息流, 提出网中隐蔽通道的判定规则; 依据判定规则在深度优先搜索网中隐蔽通信路径过程中排除合法通道; 结合路径中的操作序列构造隐蔽通道工作场景, 从而发现系统中的隐蔽通道。实例分析和对比表明, 该方法可以弥补隐蔽流树搜索方法的不足。     

基于本体的特征模型演化的一致性验证

针对特征模型的演化导致特征间的冲突问题, 从特征模型的演化方面进行研究, 提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模, 建立本体的特征模型元模型; 其次基于上述元模型, 为网上购物系统实例建立相应的网上购物的领域特征模型, 根据需求裁剪出产品特征模型; 然后在Eclipse集成开发环境下, 通过Jena推理机加载规则和产品特征模型进行一致性验证, 当检测到冲突时, 采用演化策略来消除冲突; 最后通过实例研究说明了该方法的有效性。     

基于大数据背景下的企业生态系统架构研究

随着全球网络技术与移动通信设备的融合发展,“大数据”时代已经引起社会各界的重点关注。苹果、三星、华为、IBM、微软、腾讯等国际知名企业都开始建构出“大数据”时代的企业生态系统。本文将对“大数据”时代的企业生态系统的演化和建构进行深入分析。     

一种面向服务的软件演化推荐信任方法

目前软件体系结构动态演化研究,主要方法是从软件系统演化的操作或规则入手,描述或建模面向服务的软件系统演化,而往往忽略软件本身的可信问题。事实上,在软件演化初始前,对软件演化进行可信方面的研究,可以大大地降低软件演化失败的几率。该文从软件的推荐信任的角度考虑软件的可信度,提出一种软件推荐可信的计算方法,解决软件演化非相邻构件的信任问题。     

叠合盆地油气成藏体系研究方法探讨

应用三维模拟技术,强化油气成藏体系动态演化过程,采用正反演结合的思路,探讨叠合盆地油气成藏体系的研究思路和方法。研究过程分五步:通过成藏要素研究构建地质模型;通过正演烃源岩生烃过程与时空演化,分阶段计算生烃量;通过输导体系研究来调整油气最终的分布;应用油气组分追踪技术分析不同烃源岩层贡献比例;根据三维模拟结果动态分析资源空间分布及变化过程。     

煤层断层构造演化应力场分布特征数值模拟研究

采用有限元数值模拟软件ADINA,模拟了一次构造作用下煤层断层构造的形成过程以及煤层断层形成后受现代构造应力场作用下煤层的破坏情况及地应力的分布规律.模拟结果表明,一次构造作用下煤层断层构造的形成过程中,在接近断层面的下盘煤层底部和接近断层面的上盘顶部,煤体容易遭到破坏;断层构造形成后在不同的铅直应力和水平应力组合情况下,正逆断层的下盘断层面附近区域均存在应力集中现象,逆断层的应力场方向主要由最大应力的方向决定,而正断层仅在水平应力与铅直应力比较接近时,应力场方向主要由铅直应力决定.     

可信软件需求获取与分析研究综述及展望*

需求获取与分析是可信软件领域的研究热点,近年来得到了广泛的关注和快速的发展。首先分析了中小型软件系统中需求获取方法与分析方法的国内外研究现状,接着对新近出现的可信软件中需求获取与分析方法进行了分析和综述;最后对需求获取与分析方法的研究动态进行了总结与展望。