软件体系结构的形式化与面向状态的形式化风格

来源 :计算机科学 | 被引量 : 0次 | 上传用户:coolboywcp
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1.引言软件体系结构的重要性已被越来越多的软件人员所重视,体系结构从全局的、整体的角度去理解和分析整个系统的行为和特性,在更高层次上把握系统各组件之间的内在联系,有助于解决当前开发复杂的大型软件所存在的困难,保证软件质量,提高软件可靠性、可重用性和可维护性.
其他文献
<正>1 应用钢结构要承受不同的负荷和不同的使用条件.这就要求针对具体用途生产既经济又质量优良的各类钢种.1.1结构钢用于结构的钢材一般采用最小屈服强度为235~355N/mm~2范
<正>1 前言 新余钢铁公司中板厂2500mm四辊中板轧机压下控制系统,是钢铁研究总院和新钢中板厂在国内新建中板轧机上投入的第一套数字式压下控制系统,该系统集成了电动压下、
数字城市是从数字地球这一概念演化而来的,是数字地球的理念、技术和发展战略在城市领域的具体应用和发展演化的结果。它是数字地球的骨干节点和具体体现,是城市信息化的必然发展趋势和当前研究前沿,是实现城市可持续发展的必然选择。数字城市要满足城市可持续发展的总体需求、城市新兴产业发展和传统产业改造的需求,以及政府、商户和公众的信息应用服务需求。
箱梁桥是裸露在地表上的结构物,温度变化对结构内力的影响不可忽略,我国公路规范对温差的规定适合大部分地区,但对于昼夜温差变化极大的地区不太适合;运用有限元建模实例进行分析
高速公路在山岭重丘区的路线设计受到地形、地势、地质、水文等诸多自然条件的制约和限制。结合工程实例,对山岭重丘区高速公路选线进行分析和研究,寻找出运行安全、生态环保
本文分析了低合结构钢16Mn的碳当量和规格,对强度性能的影响,用多元回归得到屈服点和抗拉强度的回归方程,并且获得合适的碳当量范围,当Ceq=0.48~0.56%(连铸坯碳当量=0.50~0.60%)时,轧制16~150mm钢板都能保证强度性能符合标
<正> 1 前言 轧辊是直接使轧件产生变形的工具,辊型的变化将直接影响轧材的质量,特别在薄规格中板生产中,这种影响更为突出。6mm、8mm中板的生产,是首钢中板厂拆除炉卷轧机进
<正> 1998年,舞阳钢铁公司轧钢厂根据生产要求,恢复建设两台外部机械化热处理炉。外机炉原设计是1973年由北京钢铁设计研究总院完成。主要用于厚板的淬火和回火。其结构性能
<正>1 前言 对已描述的有关多种产品(厚板、铸件)以及这一系列含铌钢的技术和冶金设计是可行的,重点放在合金设计和工艺控制上。本文所描述和讨论的是目前市场上铌合金钢的多
<正>Dalamine钢厂通过加大使用吹氧,氧—燃料烧嘴和增大变压器容量,使其90t电弧炉的产量在6年中翻了一番。1995年,安装一个100MVA的变压器,以期获得更多的二次燃烧,从而使产