软件体系结构设计原理的哲学思考

软件体系结构的研究已经成为当前的研究热点,软件体系结构的设计已经成为软件生命周期中的一个重要环节.本文介绍了软件体系结构的概念以及软件体系结构中常用的一些原理,并用自然辩证法中的一些哲学思想来说明软件体系结构原理.     

基于统一建模语言的软件体系结构描述

系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键。目前对软件体系结构的研究主要集中在软件体系结构的分析,描述等方面。利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构当前主流的面向对象软件开发方法相结合,给出了软件体系结构的核心模型,并从多个视图描述了软件体系结构。这样,就可在软件开发方法中和软件体系结构,也可利用开发方法众多的支持工具。     

软件体系结构研究概述

近年来,软件体系结构逐渐成为软件工程领域的研究热点．分析了软件体系结构发展的背景,给出了几种重要的软件体系结构的定义并进行了对比,介绍软件体系结构近十年来的研究进展,概述了国内外软件体系结构的研究方向及应用情况．     

软件非功能属性研究

软件非功能属性在保证一个软件系统的质量中扮演关键角色. 本文分析了软件非功能属性研究的重要意义和发展历史,从软件非功能的需求描述、设计和分析、实现机制、软件体系结构、软件开发过程以及软件质量评价6个方面介绍了软件非功能属性研究的主要进展,同时对已有研究中存在的非功能属性定义不一致、求精知识库缺乏、完整的开发过程欠缺等问题和不足进行了探讨, 最后指出了软件非功能属性研究最有前途的发展趋势.     

基于分布式组件对象模型的软件总线结构及其实现

分析了软件体系结构的演变过程，论述了软件体系建模的目标，分析了四种系统模型的特点和局限性，在传统模型的基础上，结合当前软件开发的领先技术，提出了基于分布式组件对象模型的软件总线结构，并以管经院内部管理信息系统分析为基础，设计和实现了这种新的软件体系结构模型。     

一种基于ACME的面向方面软件体系结构设计方法

软件体系结构对于控制软件系统复杂性、提高软件质量具有重要意义.随着对软件体系结构研究的不断深入,研究者们发现其中存在着横切现象.通过使用方面,AOP在代码层次很好地解决了横切问题.因此,根据现阶段研究成果,本文把AOP中方面的概念引入到软件体系结构设计过程中,提出了一种基于ACME的面向方面软件体系结构设计方法.ACME可以实现对面向方面软件体系结构设计过程的形式化验证.依据该方法,使用AcmeStudio设计了网上书店系统的体系结构.     

领域构件库技术在信息系统开发中的应用

为提高软件的复用程度,采用了基于软件体系结构的开发方法,提出了机场领域的软件体系结构;重点讨论了领域构件库及其在信息系统中的作用,设计了一个领域构件库系统,为构件的检索和管理提供了基础;初步实现了领域构件库中对构件的分类、查询、存储和管理功能,并在领域特定的软件体系结构框架下,实现了对机场领域的信息系统的开发。     

一种软件体系结构动态变动影响分析方法

提出一种基于构件交互序列的软件体系结构动态变动影响分析方法,对于给定的软件体系结构变动,该方法确定导致该变动的软件体系结构元素集合、受该变动影响的软件体系结构元素集合以及回归测试用例集合。提出基于组装的软件体系结构,定义构件交互序列,给出通过软件体系结构的静态结构模型和对象顺序图生成构件交互序列的算法。列举软件体系结构元素的变动并对其进行分类。针对每一类变动,给出一系列影响传递规则来确定变动在构件内及构件间的传递。     

一种新的面向对象的软件体系结构*

面向对象的软件体系结构本身存在着一些缺点, 最重要的一点是一个对象若要和其它对象交互(通过过程调用)就必须知道那个对象的标识.另外, 面向对象的软件体系结构中存在着副影响问题.为了减少或克服这些缺点, 提出了一种将隐式激发与面向对象结合起来的软件体系结构, 并对两种软件体系结构的连接本质进行了深入的理论分析.在这种混合型的软件体系结构中, 分离的原则起着非常重要的作用.     

可拓创新软件体系结构研究

为了将可拓创新方法基本原理制作成软件,方便用户利用可拓创新软件进行产品创新设计,设计了可拓创新软件体系结构和主要构件,结构中包含了可拓创新方法中创新产品的3个创造法.该软件体系结构有利于用户利用构件制作可扩展可演化的可拓创新软件,以适应不同领域应用.实验结果说明了该体系结构的有效性.     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.