【摘 要】
：
构件理论在软件工程领域正扮演着越来越重要的角色.为了规范化地描述和设计构件,提出了一种形式化的构件模型框架,利用偏序事件多集来表示构件的行为模式,取代了常用的形式语
论文部分内容阅读
构件理论在软件工程领域正扮演着越来越重要的角色.为了规范化地描述和设计构件,提出了一种形式化的构件模型框架,利用偏序事件多集来表示构件的行为模式,取代了常用的形式语言表示法,使顺序进程控制的构件和并发控制的构件能够在该框架下得到一致的处理.论文关于构件模型、任务合同及系统模型的概念,结合构件完备性、服务可满足性和系统一致性的检验方法,可以直接被用于设计构件支撑环境的仿真算法.
其他文献
在我国青少年缺乏系统而正确的性教育，尤其是青春期生理发育及性的相关知识的传授很少，而近年来青少年的性观念逐渐开放，但不健康的错误的性观念、性行为、性知识及性道德观等引
结合某工程现场大剪及地应力实测资料 ,采用非线性三维刚体弹簧元分析了地应力对现场大剪试验的影响。分析结果表明 ,若计入地应力的影响 ,该工程岩体强度C ,φ值 ,在 φ值不
采用基于 S- R定理的大变形理论 ,运用拖带坐标描述法 ,研究了锚杆在节理岩石中的拉剪局部大变形行为 ;推求了锚杆大变形应变的计算公式 ,得出了锚杆拉剪应变分量的理论规律
通过对市场经济条件下铁路运输产品生产决策过程的分析 ,建立了在满足市场需求的情况下 ,以企业效益最大为目标的生产决策模型 ,求解该模型 ,可确定出运输供给 (产品 )的种类
在综合考虑静风荷载与结构非线性影响的基础上 ,采用增量与内外两重迭代相结合的方法对大跨径斜拉桥静风稳定性进行了全过程分析。以一座主跨 1 0 0 0 m的斜拉桥为例 ,验证了
针对大型土石方工程施工中施工机械的配套组合问题 ,提出了一种施工机械联合作业的最低成本控制方法 ,并以实际工程项目为背景 ,分析了推土机与铲运机联合施工的实例。
根据能量比拟原理 ,通过对箱梁桥面板作用车轮荷载后的应变能计算 ,得到其比拟简支正交异性板的刚度参数 ,再利用G -M法图表计算横向分布影响线 ,从而得到箱梁桥面板的荷载有
根据深基坑桩排式支护中护壁桩的受力变形特点 ,分析了被支护土体中的成拱作用。将间隔布桩时护壁桩侧土压力分为直接土压力和间接土压力两部分。给出了用主应力拱应力分析计
由喷油泵、高压油管和喷油器组成的喷油系统是柴油机的"心脏"部件,燃油喷射的工作质量与气缸内混合气的形成及其燃烧过程有着极为密切的联系,它直接影响着柴油机的技术经济指
借助 3自由度的摊铺机压实机构的非线性动力学模型 ,研究了该压实机构中的有关部件的振动规律 ,分析了构成这些振动信号的有关成分随激振频率、激振力大小以及熨平板平台自身