面向对象的需求可跟踪性支持工具的设计

保证需求可跟踪性是实时系统开发中的一个重要方面。本文提出了一个实时系统的需求可跟踪性的模型。在此基础上，任舸用数据管理系统开发了一个支持使用实例分析的面向对象的系统开发过程的需求可跟踪性的辅助工具（ＯＯＲＴＳＴ）。     

一种实用的面向对象需求描述方法

本文介绍了一种需求可跟踪性支持工具。在此基础上，提出了一种实用的面向对象的需求描述方法。通过采用ＰＯＯＡ对雷达子系统的分析，重点讨论了ＰＯＯＡ中的使用实例分析问题和对需求可跟踪性的支持问题。     

需求描述前的需求跟踪问题

需求描述前的需求跟踪问题一直是软件工程中非常重要的一个方面，同时又是研究较少的一个方面。需求描述前的需求跟踪的提供者和使用者总存在一些难以解决的矛盾，本文首先从这一角度出发分析了需求描述前的需求跟踪问题。与传统技术一样，而向对象技术有保证需求描述前的需求可跟踪性的自动获取，为此文章讨论了在面向对象 支持需求描述前的需求跟踪能力的必要条件，在此基础上，文章介绍了一个支持需求跟踪的原型系统（ＯＯＲＴＳ     

需求分析中的可跟踪性问题

需求分析中的可跟踪性问题和系统开发中的各阶段之间的平滑过渡问题是一个一致的问题。本文首先讨论保证需求可跟踪性的五个要素，分析了功能分解方法和Ｙｏｕｒｄｏｎ结构化方法在可跟踪性问题上所表现出的特征及存在的问题。最后，讨论了一些面向对象分析方法对可跟踪性的支持程度，还指出了非形式化跟踪技术的实用性。     

中断跟踪记录程序的研究和开发

本文讨论ＭＳ－ＤＯＳＩＮＴ２１功能调用机制，内存常驻程序的设计方法和使用中断服务例程，跟踪ＤＯＳ中断的注意事项，并在此基础上研制了一个事件驱动的中断记录程序。     

LOCK SOFT加密软件的解密

ＬＯＣＫＳＯＦＴ是ＢＩＴＩＬＸ公司开发的高级加密软件，可执行文件经其处理后，具有很强的保密外壳和很强的动，静态反跟踪机制，文中首先介绍了ＬＯＣＫ８９的加密原理和加密算法，并给出了相应的执行代码，然后介绍了一个解除其加密的实用方法。     

被动式跟踪可观测性分析的非线性系统方法

目标的可观测性是被动式目标跟踪研究的基本问题，Ｆｏｇｅｌ－Ｇａｖｉｓｈ方法给出了Ｎ阶运动目标可观测性的充要条件，但Ｆ－Ｇ方法对目标运动仅适于写成多项式形式，采用非线性系统可观测性分析理论，可以给出形式完整的被动式跟踪可观测性充要条件，并可直接由运动目标的任意运动方程给出了可观测性判据，对一二阶运动目标本文给出了分析和判据，讨论了高阶系统的推广，研究还表明，尽管就大多数判据而言被动式目标跟踪的可观测     

软件加密系统“清华LOCK”的设计与实现

本文论述了软件加密的原理与方法，提出并实现了一个多功能软件加密系统“清华ＬＯＣＫ”。它具有使用灵活方便、运行效率高、安全性强的特点，能有效地抵御目前所知的一切静态或动态跟踪手段，是一个很有前途的软件加密系统。     

PARLOG跟踪调试器的设计实现技术

本文讨论了ＰＡＲＬＯＧ交互式跟踪调试器的设计与实现技术．作者改进了Ｌ．Ｂｙｒｄ的盒式模型，使之可以描述ＰＡＲＬＯＧ的顺序执行模型．ＰＡＲＬＯＧ顺序化执行模型使计算具有确定性，易于用户调试程序．本文详细介绍了调试器实现中确定调试层次、将顺序化模型中的平坦化计算恢复为树型、实现不同层次的跟踪算法等方面的研究成果．     

OpenGL视类及其在三维图形开发中的应用

ＯｐｅｎＧＬ是一个功能强大的三维图形库,然而在使用ＭＦＣ开发应用程序并采用ＯｐｅｎＧＬ绘制三维图形的时候,必须遵循一些固定的规范：先建立ＯｐｅｎＧＬ绘制环境,然后才能使用ＯｐｅｎＧＬ命令。本文介绍了一个基于ＭＦＣ的具有封装性,可继承性和可重用的ＯｐｅｎＧＬ视类,并给出该视类的具体实现方法。我们将这个ＯｐｅｎＧＬ视类应用于分形三维重建软件的开发中,有效地缩短了开发周期。     

基于区块链技术的粮食产品溯源系统模型研究

文章提出了一种去中心化的粮食产品溯源系统模型,该系统模型的建设主要分为两部分:一是使用Java语言设计溯源系统模型前端;二是采用区块链技术,建设粮食产品信息数据共享后台。其中,利用区块链技术的不可伪造、全程留痕、可以追溯、公开透明和集体维护等特点,把粮食产品信息数据建成一个共享的、不可更改的“电子账本”;利用Java语言具有面向对象、可移植性好、安全性高的特点,设计溯源系统模型的前端,包括消费者、监管者、粮食产品供应链各方、系统管理员四大溯源功能模块。     

重要产品追溯领域模型研究与应用

针对我国重要产品追溯系统的复用性及实用性,分析了当前追溯系统模型构建、追溯编码和追溯依据存在问题的根源,以提高追溯信息的完整性、追溯系统的适应性、系统与业务的吻合度为目标,研究了追溯过程模型、追溯码编码方法、追溯领域模型和追溯数据集成方法等组成的追溯领域模型,该模型已在多个重要产品追溯体系建设示范工程规划设计中应用,结果表明该模型在复用性和实用性上优势明显.     

基于信誉的二阶段溯源区块链共识策略

基于区块链技术的产品溯源系统在现代供应链系统中被广泛应用,溯源区块链适合采用联盟链来构建,其参与利益方多、共识网络差异化高的特性影响了此类区块链系统的性能和安全性。对区块链共识过程进行分析,构建模拟溯源区块链的系统模型和信誉模型,以排除拜占庭故障节点。在此基础上,设计包含代表选择和代表共识两个阶段的共识过程,并提出一种基于信誉的二阶段溯源区块链共识策略RTsBFT。实验结果表明,在相同的配置环境和条件下,相比CSBFT和PBFT策略,RTsBFT可取得更高的系统吞吐量、更短的延迟和更低的故障节点率,能够有效提高联盟链场景下溯源系统的性能和安全性。     

需求跟踪与平滑过渡

本文讨论了在面向对象的系统开发中存在的各开发阶段之间的不平滑过渡问题，通过讨论，建立了一个需求跟踪模型并开发了相应的支持工具，在此基础上，文章讨论了如何通过需求跟踪技术支持面向对象开发中各个开发阶段之间的平滑过渡。     

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

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

物联网中的智慧溯源服务系统Petri网建模与分析

物联网（IOT）为人类社会的智慧化进程提供了革命性的信息技术,已广泛应用于社会各个领域。智慧农业是物联网的重要应用领域之一,农产品溯源是智慧农业的一个典型应用。在学习Petri网理论的基础上,围绕物联网在智慧农业领域的应用实际,结合农产品溯源系统需求,设计了一个基于物联网技术的农产品智慧溯源服务系统架构,分析了系统的整体业务流程,建立了系统的Petri网模型。采用关联矩阵和不变量对所建模型的可达性、有界性、安全性和活性等性质进行了分析,使用PIPE工具进行了仿真验证,证明了模型系统的合理性、可靠性和健壮性。     

Patterns and technologies for enabling supply chain traceability through collaborative e-business

Industrial traceability systems are designed to operate over complex supply chains, with a large and dynamic group of participants. These systems need to agree on processing and marketing of goods, information management, responsibility, and identification. In addition, they should guarantee context independence, scalability, and interoperability. In this paper, we first discuss the main issues emerging at different abstraction levels in developing traceability systems. Second, we introduce a data model for traceability and a set of suitable patterns to encode generic traceability semantics. Then, we discuss suitable technological standards to define, register, and enable business collaborations. Finally, we show a practical implementation of a traceability system through a real world experience on food supply chains.     

基于信息检索和本体的动态需求追踪方法

在对现有追踪方法的研究和分析的基础上,提出了一个新的基于信息检索和本体的动态需求追踪模型,由概率相似度计算公式和本体推理相互补充来建立需求追踪关系。通过对模型实现系统的验证,实验结果表明该模型是有效的,并且与常规概率模型相比,需求追踪的精度和效率都得到了一定的提高。     

面向软件安全性需求分析过程的追踪模型

追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。     

基于物联网技术的乳业食品质量安全跟踪追溯系统研究

传统乳业食品跟踪追溯系统不能有效地应对三聚氰胺等乳业食品质量安全问题,因而需要研究基于物联网技 术的乳业食品安全跟踪追溯系统。在探讨了物联网技术与乳业食品安全跟踪追溯系统的概念和关系后,着重分析了当前一些 较为重要的跟踪追溯系统,并指出了这些策略的优缺点。最后分析了当前亟待解决的问题,展望了其未来的发展趋势。