论文部分内容阅读
XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.
基于时序逻辑语言XYZ/E的软件体系结构描述方法
【摘 要】
：
XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的
【出 处】
：
淮阴师范学院学报：自然科学版
【发表日期】
：
2002年1期
【基金项目】
：
国家科技攻关项目，国家自然科学基金，国家高技术研究发展计划(863计划)，中国科学院计算机科学重点实验室基金
其他文献
文章阐述高档成衣品牌的创立、保持高档成衣品牌的价值增量、保持旺盛的品牌生命力及品牌管理对建立、维护、巩固品牌的全过程，只有通过品牌管理才能实现品牌远景，才能最终确立
设计基于扫描电镜（SEM）的岩石破裂全过程数字化细观损伤力学试验方案，实现了岩石破裂全过程的显微与宏观实时的数字化监测、控制、记录及分析的岩石力学试验。应用于四川锦屏大
提出了反滤系统极限保土状态的概念,分别采用4种不同孔径的钢丝编织网进行粉土反滤试验,研究反滤系统的极限保土状态。试验表明,当滤网孔径O和粉土特征粒径d85的比值等于12时
【摘要】文章根据当前体育教育专业学生的基本状况和特点，针对学生管理过程中职业素质教育的关键环节，从教育的内容到管理途径进行研究，旨在通过有专业特色的管理方法与手段，提高管理效果和育人效果。 【关键词】体育教育专业；学生管理；职业素质教育 【中图分类号】 G807 【文献标识码】A 【文章编号】1671-5969（2007）23-0044-03 “第十一个五年规划纲要”明确指出
【摘要】“只有民族的才是世界的” 中国企业要迈向国际市场。企业进军国际市场要对市场和环境进行分析，确定经营范畴和经营策略，适应当地文化习俗，引领世界流行“轻、我、华、鲜、绿”，打造中国民族品牌 【关键词】国际化； 经营理念； 国际市场 【中图分类号】F270【文献标识码】A 【文章编号】1671-5969（2007）05-104-01 提到国际化问题肯定会很多人大谈特谈，什么经济全球化
通过大量实践和理论分析，在Baguelin公式的基础上推导出水平地基系数的公式。提出了一套用幂函数模拟水平地基系数的逐步回归的方法，获得了较好的效果。同时，推导出这种情形下的
根据快速拉格朗日法的基本原理，讨论了在其中实现应力释放法的理论根据。通过不同侧压系数下脆性岩体中圆形隧洞开挖卸荷过程的应力释放法模拟和真三维模拟，分别讨论了应力路径