一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

基于SE-CDIO方法的软件工程国家精品课程教学条件建设

以云南大学软件学院"软件工程"国家精品课程为背景,讨论了基于SE-CDIO方法的"软件工程"国家精品课程教学条件建设情况.     

数字化技术在桥梁预应力工程中的应用研究

分析了桥梁工程中使用预应力数字化张拉技术的必要性和重要性,详细论述了桥梁工程中预应力数字化张拉技术的系统原理。研制出的预应力数字化张拉装置具有精度高、效率高、张拉过程全监控等优点,为桥梁工程中全面推广预应力数字化张拉技术奠定了基础。     

微服务技术：体系结构、通信和挑战

微服务是一种新型架构风格,受到了工业界和学术界的广泛关注.微服务架构通过高内聚的微服务和轻量级的通信机制能有效地解决单体系统难于维护和扩展等问题.采用系统评价方法,从微服务架构、通信、挑战三方面分析和概况了该领域的最新进展和研究现状.首先系统地比较了单体架构、面向服务架构(service oriented architecture, SOA)和微服务结构;其次概述了微服务间的通信;最后讨论了微服务面临的技术挑战.     

不同结构钢丝绳输送带接头制作方法

一、引言钢丝绳输送带的接头连接,主要是将接头处的钢丝埋入带体中,经过加压、加热硫化来实现的。在MT668-1997《煤矿用阻燃钢丝绳芯输送带》标准颁布以前,煤矿井下使用的钢丝绳输送带主要是按照企业标准生产的GX系列胶带,新、     

低杂波电流驱动等离子体中热电导的分析(英文)

研究了在HT-7托卡马克低杂波电流驱动实验中,等离子体环电压不为零时热电导与剩余环向电场之间的相互作用.实验发现在部分非感应电流驱动实验中,热电导增强了电流驱动.给出了低杂波电流驱动实验中等离子体的热电导.     

二苯甲酮腙生产废渣处理工艺研究

以二苯甲酮腙(BPH)为例,探讨将含有BPH的废渣提纯为符合工业要求的BPH的方法。利用活性炭脱色除杂的特点,通过溶剂的用量、活性炭的用量以及回流时间的筛选,使黄色废渣转变为白色高纯度的产品并得到最佳工艺条件:溶剂环己烷用量13∶1(与废渣质量比)、活性炭用量5%(占废渣质量百分数)、回流时间为2 h。     

等离子体锯齿中的硬X射线涨落行为(英文)

文章研究了低杂波电流驱动等离子体中存在软X射线锯齿时的硬X射线震荡行为。硬X射线通量峰值和软X射线通量峰值之间存在一个滞后时间。我们研究了硬X射线通量和软X射线通量之间的关系。     

基于矿工的改进哈希时间锁定协议

要：针对哈希时间锁定协议无法实现跨链资产转移的问题，提出一种基于矿工的改进哈希时间锁定跨链交互协议。首先，在原子交换过程中加入了椭圆曲线加密算法，该算法使矿工在目标链上安全的生成与锁定交易，以完成用户的跨链资产转移；然后，在协议中加入了矿工节点的竞争选取算法与奖惩算法，以实现一种新的币信证明共识机制；最后，对协议中的智能合约及其功能函数进行了详细阐述。在以太坊私链平台上进行仿真实验，结果表明该协议可安全地完成跨链资产转移，有效地激励矿工积极参与跨链交易。     

一种超协调的软件演化需求元模型

为了建模包含非协调信息的软件演化需求,提出一个超协调的元模型,其主要部件包括:特征、演化需求和演化意图.首先,分析了演化需求的5个重要特征;其次,在形式定义特征的基础上,研究了特征之间的协调、层次和交叠关系;再次,在分析特征属性间的依赖和互斥关系基础上,形式定义演化需求和演化意图,使得演化需求能包含非协调信息而演化意图...