软件体系结构模型单层化的一致性保障方法

在软件体系结构(software architecture,简称SA)设计中,复合构件是具有内部结构的构件,它可以对复杂的SA模型进行层次化的组织.尽管大多数体系结构描述语言都支持复合构件,但常见的SA模型分析与验证工具仅支持单层的SA模型作为输入,且目前的主流构件运行平台都不支持带有内部结构的复合构件模型.因此,有必要将多层的SA模型转化为单层的SA模型(即"单层化")."单层化"的关键在于如何保证"单层化"前后SA模型的一致性.对该问题及其解决方案进行了系统而深入的研究,给出了SA模型一致性的形式化定义.在此基础上,提出了SA模型"单层化"的基本原则以及过程指南,并以一个构件化的邮件客户端为例,验证了该方法的可行性.  

支持协商的网构软件体系结构行为建模与验证

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.  

立体化学在计算机中的识别和表征

利用奇偶值在计算机中对立体化学进行表征可以避免复杂的CIP规则。本文对立体化学在计算机中的表征方法进行了讨论，并具体描述了立体化学的奇偶表征方法。文中将立体中心进行了分类，对每一类立体中心的构型的计算进行了讨论。并将奇偶方法的应用范围扩展到了对阻转异构体构型的表征，以及对虚拟轴立体中心的表征。此表征方法在化合物登录系统中的应用得到了很好的结果。  

质量流量计在高粘度液体流量测量中的应用

1引言在电解铝生产工艺中，需要大量阳极和阻极炭块。这些炭块质量的好环，直接影响电解槽的出铝效率，而炭块质量在一定程度上又是由沥青粘结剂的使用量的多少所决定的。沥青用量过少则生产炭块的糊料的塑性差，挤压成型需要相应提高压力，而且产生裂纹废品的可能性增加。沥青用量较多，糊料塑性较好且成型压力较低，成型的成品率也高一些，但过量的粘结剂则使生坯在挤出或脱模后容易变型。因此，沥青流量的精确测量是非常重要的。管道输送液体沥青温度通常在200℃左右，即使在这样高温下的沥青，其粘性还是很高的，且里面还含有少量固体颗…  

支持自适应过程中分析与规划的软件体系结构模型

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用性和集成性,总结了分析和规划中所需的模型以及模型上的操作,并考察了如何在体系结构建模语言中引入标准模型技术进行支持.基于分析所得的设计原则,对ABC-ADL进行扩展,并且在实现中使用模型转换和模型查询等标准化技术来支持分析和规划.以ECPerf系统中一个性能相关的不良模式自适应分析和规划的过程为例,展示了如何使用扩展后的ADL对分析规划过程进行支持.此外,其中使用2种不同的分析方法,展示了如何使用ADL复用和集成不同的分析和规划方法.  

融合结构与语义特征的代码注释决策支持方法

代码注释是辅助编程人员理解源代码的有效手段之一.高质量的注释决策不仅能覆盖软件系统中的核心代码片段，还能避免产生多余的代码注释.然而，在实际开发中，编程人员往往缺乏统一的注释规范，大部分的注释决策都取决于个人经验以及领域知识.对于新手程序员来说，注释决策显然成为了一项重要而艰巨的任务.为了减少编程人员投入过多的精力在注释决策上，文章从大量的代码注释实例中学习出一种通用的注释决策规范，并提出了一种新颖的CommentAdviser方法用以辅助编程人员在代码开发过程中做出恰当的注释决策.由于注释决策与代码本身的上下文信息密切相关，因此，从当前代码行的上下文代码中提取代码结构特征以及代码语义特征作为支持注释决策的主要依据.然后，利用机器学习算法判定当前代码行是否为可能的注释点.在GitHub中的10个大型开源软件的数据集上评估了我们提出的方法，实验结果以及用户调研表明代码注释决策支持方法CommentAdviser的可行性和有效性.  

基于关键类判定的代码提交理解辅助方法

软件代码提交是最重要的软件版本演化数据之一，被广泛应用于软件审查和软件理解中.对于程序员，提交的理解难度随着受影响的类数量、修改的代码量的增加而增加.本文通过对大量数据的分析发现，识别出提交中核心的修改类（关键类），以及为了完成这个核心修改所进行的依赖性改动的类（非关键类），能够辅助代码提交的理解.受机器学习技术在分类领域有效性的启发，本文提出一种基于机器学习的关键类识别方法，将判定提交中的关键类建模为二分类问题（即：关键和非关键类），从软件演化过程中产生的海量提交数据中抽取可判别性特征来度量类的关键性.在多个数据集上的实验结果表明，我们的方法判定关键类的综合准确率达到了87%；相比于开发人员直接理解提交，使用关键类信息提示来辅助理解提交能够显著提高开发人员的效率和正确率.  

一种基于浏览代价优化的电视网页重构方法

随着智能家庭概念的发展与推广,出现了大量面向电视机用户的Web应用。由于用户与电视机之间通过遥控的方式进行交互,一方面使得网页浏览代价受页面元素排布的影响较大,而另一方面,电视机网页元素类型和数量少的特点,使得对其进行自动优化成为可能。考虑到包括按键式遥控器、手势、触屏等电视机交互方式,根据不同的交互方式的特点提出了页面浏览代价的计算方法;考虑到元素类型、位置、大小、内容关键字、网页结构等信息,提出了一种页面元素可替换性评估方法;在这两种方法的基础上,基于网页浏览代价全局最小化的原则,提出了根据页面的访问情况动态对网页进行自动重构的方法。在一个包含116个页面的电视机Web应用中采用该方法进行的实验验证了方法的正确性和有效性。