面向组合式软件功能正确性和非功能满足性的统一建模方法

在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。     

宏基因组中可移动序列的精确检测问题研究

基因组组装是宏基因组分析的主要挑战之一。通常假设所有测序序列均来源于同一个基因组,微生物中非常活跃的可移动元件给这个前提假设提出了重大质疑。文章将该质疑抽象为可移动元件与宿主染色体之间的二分类问题,准确的二分类性能将进一步促进宏基因组学方面的研究。基于宏基因组测序数据的数值化特征,详细考察特征选择算法 ReliefF、卡方检验和 Fisher判别t检验,并结合分类模型逻辑回归、极限学习机、支持向量机和随机森林,验证最优可移动元件检测模型的性能。实验结果表明,ReliefF特征选择算法和随机森林分类算法的融合模型,使用100个特征即可正确分类95%以上的宏基因组测序数据,优于使用全部的690个特征。     

2016 年中国高性能计算机发展现状分析与展望

本文根据 2016 年 11 月发布的中国高性能计算机 TOP100 排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。我们发现,由于神威太湖之光超级计算机的发布,中国 TOP100 的平均 Linpack 性能继续保持比国际 TOP500 平均 Linpack 性能高的局面,且 TOP100 的入门性能门槛仍然超过 TOP500。随着联想对 IBM X86 服务器并购的完成,中国 TOP100 上的超级计算系统已经几乎全部都是国产超算系统,曙光、联想和浪潮三强争霸的局面已经形成。在此基础上,本文根据十五届排行榜积累的性能数据和能够得到的其他公开历史数据,对未来几年中国大陆高性能计算机的发展趋势进行了分析预测。我们去年的预测累计 Linpack 性能将在 2016 年间达到 100Petaflops 和峰值 100Petaflops 的机器将在 2016 年出现都成功实现,预测准确。根据新的数据,我们认为：累计 Linpack 性能将在 2017 年到 2018 年间达到 1000Petaflops,峰值 Exaflops 的机器将在 2018 年到 2019 年间出现。     

负载平衡无关的并行程序最适处理器网格选择

用户在编写并行程序时,通常是把物理处理器看成逻辑的处理器(进程)网格,以便于算法的实现.随着用户可用处理器的不断增多,可选择的网格形状也随之增加,如何为基于消息传递的并行程序选择合适的、能发挥出并行机潜在性能的处理器网格形状,是一个迫切需要解决的问题.在提出基于通信点概念的最小度数通信点集合法之后,通过对并行程序通信模式的分析,试图解决与负载平衡无关的并行程序的最适处理器网格选择问题.通过对ScaLAPACK软件包中的一个并行测试程序——并行Cholesky(对称正定矩阵分解)通信点集合度的分析,此方法成功地选择了最适处理器网格形状,并与实验结果相一致.     

黄水泉陶瓷艺术

~~黄水泉陶瓷艺术@黄水泉$景德镇市陶瓷研究所~~     

系统推进墙材革新工作

发展和推广使用新型墙材,替代已经沿用几千年的"秦砖汉瓦",是一项功在当代、利在千秋的新事业,也是我市工业结构调整优化的一项重要内容.     

省消防总队举办全省消防部队篮球赛

为了丰富部队的文化体育生活，进一步激发基层官兵投身体能练兵的积极性，展示消防部队积极进取的良好形象，省消防总队举办了全省消防部队篮球赛。经过杭州、温州、舟山三个分赛区的预赛，杭州、宁波、温州、嘉兴、台州、丽水6支队伍进入了最后的决赛。     

我国未来城市小区的能源供应形式初探

1985年我国城市民用能源总量为1.06亿吨标煤,占当年全国能源消耗总量7.7亿吨标煤的13.7％,这是一个不小的数字。在城市民用能源中,炊事占53％,采暖占31.2％,照明、交通占15.8％。随着城市化的进程及居民生活水平的提高,城市民用能源的总量及占全国能源消耗比例将逐步增加。因此,探求未来城市民用能的合理形式,对于节约能源、治理环境污染,并在经济发展所允许的范围内逐步改善居民的生活条件,都有积极的意义。