摘要：区块链系统的核心价值是建立多方信任,在面对企业级应用场景时需要增强安全性、实时性、友好性设计;面对国内自主可控和技术发展需求,应积极倡导开源共赢.为此,提出了开源的响应式许可链基础组件RepChain(reactive permissioned chain),它通过全新设计系统架构,突出了响应式、松耦合、轻量级、协同性共识、合约分级部署、运行状态可视化等特点.通过在身份准入的基础上建立安全信道,采用协同性共识代替公有链的竞争性共识,提高了交易的实时性和交易通量.经实验证明,响应式许可链在交易通量、实时性和韧性方面有较大提升.

摘要：本文分析了博物馆数字化的应用需求特点,提出一个数字化建设的设计方案,并简要介绍了部分关键设计思路。

摘要：本文分析了博物馆底帐信息采集的特点,针对其批量、快速、准确和易于管理的要求,提出了一种基于双机流程控制设计思想的解决方案。

摘要：区块链上运行的智能合约具有一经部署难以修改、调用执行需经过共识等特点,现有的需要修改智能合约代码或打断其执行过程的调试方法难以直接应用到智能合约上.由于智能合约的运行过程由区块链交易顺序执行过程组成,实现对区块链交易执行过程的追溯是提升智能合约可调试性的一个有效途径.对区块链交易执行过程进行追溯主要目标是找出一条已经出块的区块链交易是如何得到当前的执行结果的.区块链交易的执行依赖于区块链内部状态,且该状态取决于之前区块链交易的执行结果,因此存在着传递性依赖.区块链交易的依赖性和区块链所提供的执行环境的特点给区块链交易执行追溯带来了挑战.区块链交易执行追溯面临的挑战主要有3方面,即如何从智能合约部署的生产环境中获取足够追溯的信息、如何获取区块链交易之间的依赖关系,以及如何保证追溯结果与实际在线执行过程一致.提出了一种基于录制重放的区块链交易执行追溯方法,在合约容器中建立录制重放机制,无需修改合约代码即可支持交易执行中对状态读写操作的录制,并且不会打断智能合约运行;提出了基于状态读写的交易依赖分析算法,支持对存在依赖关系的前序交易进行按需回溯;此外,设计了录制读写操作记录的验证机制,确保重放的执行过程与真实执行过程之间的一致性可被验证.所提出的方法能够追溯区块链交易调用智能合约的执行过程,可用于智能合约调试,并且当智能合约异常造成损失时可用于举证.在实验中对比了将录制的读写操作记录存储于链上和存储于链下之间的性能差异,通过案例研究展示了所提方法在追溯区块链交易执行方面的有效性和优点.

摘要：区块链平台可看作是一个分布式可信账本平台,其中分布式是必然,可信是关键,账本是核心。本文对比传统软件体系结构,对区块链、特别是联盟链组成结构进行分析,提出了区块链平台与应用的划分及变化焦点,明确了两者之间的一体化榫卯结构。进而从账本、可信、分布式等维度出发,阐述区块链平台的相关标准,针对"全封闭型"和"开放型"两种应用方式,对联盟链平台的具体设计提出工程化建议。

摘要：机器学习支撑的系统应用越来越普遍,但是此类系统的需求通常难以表达完整且可能存在一些难以检测的冲突,使得这些系统通常无法在生产环境中高效满足用户的综合需求。此外,对于在实际场景中使用的机器学习系统,用户信任通常取决于包含可解释性、公平性等非功能需求在内的综合需求的满足程度,且在不同领域内应用机器学习通常有特定的需求,为保证需求描述的质量及实施过程的决策带来了挑战。为解决以上问题,文中提出了一个机器学习系统的需求建模和决策选择框架,包括一个MLS(Machine Learning Systems)需求概念模型和机器学习管道过程元模型,以及对训练数据集、算法等组件的决策选择方法,旨在规范实际场景中机器学习系统的需求设计、开发和评估。实例研究表明,提出的MLS需求描述和实现方法是可行且有效的。

摘要：为研究重叠网格方法在背景网格和局部网格区域插值所引入的额外数值误差,本文结合正交试验方法和ITTC不确定度分析方法,对该数值误差、网格尺度、时间步长和湍流模型进行了多因子不确定度分析。数值计算工况采用L9(3^4)正交表进行设计,考虑网格形式、网格尺度、时间步长和湍流模型四个因子,每个因子采用3个水平。不确定度分析结果表明,因子时间步长和网格尺度得到了验证和确认。正交试验方法中的方差分析表明,因子湍流模型和网格形式对数值模拟误差的影响相比于时间步长和网格尺度并不显著,即量级相当。

摘要：介绍了应用系统开发工具ＰｏｗｅｒＢｕｉｌｄｅｒ的特点、面向对象的程序设计技术及 ＰｏｗｅｒＢｕｉｌｄｅｒ在市话计费系统开发中的应用。