HLA仿真系统因果追溯性设计

随着仿真系统变得日益复杂，基于仿真数据人为的进行因果追溯已经变得越来越凼难，所以必须对原有的仿真系统进行因果追溯性设计，使自动或半自动追溯凶果成为可能。为此，首先确定了因果关系追溯的整体思路，然后面对普遍使用的高层体系结构HLA分印仿直系统，深入分析对象类和交互类两类交互数据以及交互特点，井详细划分行为事件及因果关系类型；对HLA仿真系统中关键的联邦对象模型FOM以及仿真器进行扩展设计，从而实现系统的因果追溯性，为仿真因果追溯分析提供必要的数据。最后提出保证因果追溯需要注意的几项设计原则，并对设计所能够支持的应用做出展望。     

Mutual recognition of the results of measurements and tests and formation of a world-wide metrology system

The main prerequisites are considered in a historical aspect and steps ate taken in creating a world-wide metrology system with the aim of providing conditions for the mutual recognition of measurement results. __________ Translated from Izmeritel’naya Tekhnika, No. 11. pp. 59–62, November, 2007.     

Investigating dependencies in software requirements for change propagation analysis

ContextThe dependencies between individual requirements have an important influence on software engineering activities e.g., project planning, architecture design, and change impact analysis. Although dozens of requirement dependency types were suggested in the literature from different points of interest, there still lacks an evaluation of the applicability of these dependency types in requirements engineering.ObjectiveUnderstanding the effect of these requirement dependencies to software engineering activities is useful but not trivial. In this study, we aimed to first investigate whether the existing dependency types are useful in practise, in particular for change propagation analysis, and then suggest improvements for dependency classification and definition.MethodWe conducted a case study that evaluated the usefulness and applicability of two well-known generic dependency models covering 25 dependency types. The case study was conducted in a real-world industry project with three participants who offered different perspectives.ResultsOur initial evaluation found that there exist a number of overlapping and/or ambiguous dependency types among the current models; five dependency types are particularly useful in change propagation analysis; and practitioners with different backgrounds possess various viewpoints on change propagation. To improve the state-of-the-art, a new dependency model is proposed to tackle the problems identified from the case study and the related literature. The new model classifies dependencies into intrinsic and additional dependencies on the top level, and suggests nine dependency types with precise definitions as its initial set.ConclusionsOur case study provides insights into requirement dependencies and their effects on change propagation analysis for both research and practise. The resulting new dependency model needs further evaluation and improvement.     

基于开发者协作关系和信息检索的需求跟踪系统

目前自动化需求跟踪的研究广泛使用文本信息检索技术。然而信息检索会遗漏一些文本不相似但是实际相关的软件制品,导致自动化跟踪的精度不高。针对上述问题,提出利用开发者协作关系来进行优化,研发了基于开发者协作关系和信息检索的需求跟踪系统。该系统在进行需求跟踪时,首先用信息检索推荐与需求文本上相似的代码,然后从代码提交日志中挖掘开发者协作关系,根据开发者协作关系再推荐相关代码,用户根据两次推荐的结果确定正确的需求代码跟踪关系。试验结果表明该系统能够找到信息检索遗漏的需求跟踪关系,能够提高自动化跟踪的准确性,节省跟踪时间。     

基于渔船监测系统的近海捕捞水产品溯源

通过对渔船监测系统的船位、航向、航速等信息挖掘,可以进行水产品溯源,保障海洋水产品的食品安全。基于渔船监测系统数据,结合渔场、沿海区划等信息,构建近海捕捞水产品溯源模型,研究渔船溯源、渔区和渔场溯源、渔获溯源,为水产品安全保障提供参考依据。     

基于区块链的学历证书可信认证系统

学历造假不仅破坏了高等教育学历制度的公平性和严肃性,也极大地损害了社会风气。国内目前学历学位认证存在流程复杂、耗费时间长、认证收费高等问题,难以满足毕业生和用人单位快速、公正、准确地核实信息的需求。因此,研究一种高效可信的学历学位认证机制变得日益紧迫。文章提出一种基于区块链技术的学位证书可信认证系统,以可信学位认证为研究对象,以构建高效的、透明的、可溯源的认证机制为核心,以区块链基础架构和实现原理为基础,利用可信度量机制,构建一套完整的可溯源认证机制。     

基于三链的艺术品区块链存证溯源模型

针对现有艺术品流通信息不透明、中心化交易权限不对称等问题,提出一种基于三链的艺术品区块链存证溯源模型.首先,针对艺术品信息单条数据量大的特点,提出基于区块链的对称可搜索加密算法,并结合星际文件系统对艺术品流通记录进行链上链下安全存储.其次,对于艺术品信息有效数据日渐增长的特点,提出基于区块链的倒排快速查询溯源算法,帮助数据用户实现快速溯源定位.同时,首次提出虚假信息联盟链存储失实艺术品流通记录,实现对虚假信息的处理.最后,实验验证了模型的大数据安全存储、快速查询溯源可行性.实验表明该模型可行,查询方法有效.     

基于区块链的工业互联网标识公共服务应用初探

【目的】通过在分布式的区块链网络上不可篡改地处理标识公共服务应用涉及的主数据模型、知识图谱模型、关键主数据,为跨行业和行业内的公共服务应用提供更加安全可信的标识服务,从而打造更加可信的工业互联网。【文献范围】文章重点调研国内外标识及区块链关键技术、基于标识和区块链的跨领域关联研究,以及面向标识服务进行的区块链建设应用,尤其是工业互联网领域的应用。【方法】本文给出一种基于区块链的工业互联网标识公共服务应用的架构,阐述标识公共服务应用上链的数据及方式、共享机制、智能合约等,并通过行业典型应用场景对各类上链数据进行详细说明。【结果】通过将各行业的主数据模型、知识图谱模型、关键主数据进行原始数据或数据标识上链,为各行业应用提供安全可信的数据支持。【局限】由于工业互联网标识公共服务应用涵盖行业和应用场景较多,暂时无法覆盖所有行业和场景,未来会在更多行业和应用场景进行探索。【结论】基于区块链的工业互联网标识公共服务应用为跨行业和行业内的公共服务应用提供安全可信的数据共享及数据追溯,提升了数据共享的安全和协作效率,为优化公共服务应用提供可靠的数据服务支撑。     

基于场景元模型的软件产品线追踪方法

针对软件产品线需求追踪方法进行了研究,基于软件产品线领域需求分析、设计、实现三个阶段的信息传播,提出了一种基于场景元模型的多层次软件产品线追踪模型,完整描述了追踪信息变化的整体框架;建立了需求—用例追踪矩阵、用例—动作追踪矩阵、动作—构件追踪矩阵;根据矩阵运算,描述了具体追踪实现过程,通过一个ATM案例验证了该方法对于软件产品线领域需求获取以及需求变更等问题的解决有较好的效果。     

一种门限可追踪的匿名签密方案

为解决匿名签密算法中签密者身份的追踪问题,提出了一种门限可追踪的匿名签密方案.该方案借助范德蒙行列式生成成员的公钥和私钥,通过在匿名签密过程中附加一些与签密者身份相关的额外信息,实现签密者身份的门限追踪.在不可分模型下,证明了该方案满足匿名性、门限可追踪性、不可伪造性和不相关性.