基于可拓学的自适应软件形式化方法

来源 :智能系统学报 | 被引量 : 0次 | 上传用户:kentron
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。
其他文献
在当今的道路建设中,隧道所占的比例越来越大,由于对掌子面前方的地质情况不明,盲目的施工,极易发生坍方、冒顶、涌水等事故[1],会对施工人员的人身安全造成极大的威胁,给投资方带来巨大的经济损失。为了防止和减少在隧道施工中间地质灾害的发生,需要对未开挖段的地质情况有必要的了解,因此地质超前预报受到了前所未有的重视。主要介绍了TSP203超前地质预报系统的技术特点和基本的测量原理;结合衡(衡阳)炎(炎陵
作为大学一年级的学生,我从高中紧张而充实的生活节奏骤然步入我向往已久的医学殿堂,既兴奋,又感到陌生。尤其是刚刚接触到医学专业基础课的时候,这种感觉尤为强烈。现将我在学习
基于重庆地区黑风洞石笋HF01的~(230)Th年代数据、灰度数据、氧同位素数据和Fe含量数据,重建了长江中上游地区全新世季风变化历史。结果显示石笋HF01的灰度值主要响应东亚季
论述了二甲醚的性质、用途及其生产方法,介绍了合成气一步法生产二甲醚反应体系的热力学性质、反应工艺、催化剂及其研究进展.
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
报纸