切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
软件体系结构的形式化与面向状态的形式化风格
软件体系结构的形式化与面向状态的形式化风格
来源 :计算机科学 | 被引量 : 0次 | 上传用户:coolboywcp
【摘 要】
:
1.引言软件体系结构的重要性已被越来越多的软件人员所重视,体系结构从全局的、整体的角度去理解和分析整个系统的行为和特性,在更高层次上把握系统各组件之间的内在联系,有
【作 者】
:
胡劲松
郭荷清
郑启伦
【机 构】
:
华南理工大学计算机学院
【出 处】
:
计算机科学
【发表日期】
:
2003年12期
【关键词】
:
软件体系结构
形式化
形式化风格
软件工程
软件系统
Formalizing
Architecture
State-oriented
【基金项目】
:
国家自然科学基金,广东省自然科学基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1.引言软件体系结构的重要性已被越来越多的软件人员所重视,体系结构从全局的、整体的角度去理解和分析整个系统的行为和特性,在更高层次上把握系统各组件之间的内在联系,有助于解决当前开发复杂的大型软件所存在的困难,保证软件质量,提高软件可靠性、可重用性和可维护性.
其他文献
微合金结构钢板的应用和加工
<正>1 应用钢结构要承受不同的负荷和不同的使用条件.这就要求针对具体用途生产既经济又质量优良的各类钢种.1.1结构钢用于结构的钢材一般采用最小屈服强度为235~355N/mm~2范
期刊
钢结构
结构钢
微合金钢
钢板
新钢中板轧机压下控制系统的应用
<正>1 前言 新余钢铁公司中板厂2500mm四辊中板轧机压下控制系统,是钢铁研究总院和新钢中板厂在国内新建中板轧机上投入的第一套数字式压下控制系统,该系统集成了电动压下、
期刊
中厚板
轧机
压下控制系统
数字城市:创建21世纪的智能服务平台
数字城市是从数字地球这一概念演化而来的,是数字地球的理念、技术和发展战略在城市领域的具体应用和发展演化的结果。它是数字地球的骨干节点和具体体现,是城市信息化的必然发展趋势和当前研究前沿,是实现城市可持续发展的必然选择。数字城市要满足城市可持续发展的总体需求、城市新兴产业发展和传统产业改造的需求,以及政府、商户和公众的信息应用服务需求。
期刊
数字城市
智能服务平台
数字地球
地理信息系统
城市规划
城市建设
Digital City
Application Service Platform
In
连续箱梁桥温度效应有限元分析
箱梁桥是裸露在地表上的结构物,温度变化对结构内力的影响不可忽略,我国公路规范对温差的规定适合大部分地区,但对于昼夜温差变化极大的地区不太适合;运用有限元建模实例进行分析
期刊
箱梁桥
温差作用
有限元分析
Box girder bridge
Temperature difference
Finite Element Analysi
山岭重丘区高速公路的选线研究
高速公路在山岭重丘区的路线设计受到地形、地势、地质、水文等诸多自然条件的制约和限制。结合工程实例,对山岭重丘区高速公路选线进行分析和研究,寻找出运行安全、生态环保
期刊
高速公路
山岭重丘
路线选线
Expressway
Mountainous areas
Route selection
16Mn钢碳当量,规格,性能优化
本文分析了低合结构钢16Mn的碳当量和规格,对强度性能的影响,用多元回归得到屈服点和抗拉强度的回归方程,并且获得合适的碳当量范围,当Ceq=0.48~0.56%(连铸坯碳当量=0.50~0.60%)时,轧制16~150mm钢板都能保证强度性能符合标
期刊
碳当量
强度
性能
回归方程
结构钢
规格
Ceq
Strength Properties
Regression Equation
Low -alloy 16M
辊型对薄规格中板生产影响的分析
<正> 1 前言 轧辊是直接使轧件产生变形的工具,辊型的变化将直接影响轧材的质量,特别在薄规格中板生产中,这种影响更为突出。6mm、8mm中板的生产,是首钢中板厂拆除炉卷轧机进
期刊
中板
轧辊
辊型
轧机
轧制
智能调节仪表在外机炉上的应用
<正> 1998年,舞阳钢铁公司轧钢厂根据生产要求,恢复建设两台外部机械化热处理炉。外机炉原设计是1973年由北京钢铁设计研究总院完成。主要用于厚板的淬火和回火。其结构性能
期刊
热处理炉
智能调节仪表
智能调节器
含铌低合金高强度钢的开发与应用
<正>1 前言 对已描述的有关多种产品(厚板、铸件)以及这一系列含铌钢的技术和冶金设计是可行的,重点放在合金设计和工艺控制上。本文所描述和讨论的是目前市场上铌合金钢的多
期刊
含铌
低合金高强度钢
微合金钢
Dalamine钢厂提高90吨电炉的生产率
<正>Dalamine钢厂通过加大使用吹氧,氧—燃料烧嘴和增大变压器容量,使其90t电弧炉的产量在6年中翻了一番。1995年,安装一个100MVA的变压器,以期获得更多的二次燃烧,从而使产
期刊
电弧炉
电炉炼钢
连铸
连铸机
与本文相关的学术论文