【摘 要】
：
首先对不同的软件体系结构描述语言(ADL)进行分析,找出软件体系结构的共性.用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述,探讨不同
【基金项目】
：
科技部科技型中小企业技术创新项目，国家高技术研究发展计划(863计划)，高等学校优秀青年教师教学科研奖励计划
论文部分内容阅读
首先对不同的软件体系结构描述语言(ADL)进行分析,找出软件体系结构的共性.用抽象代数和一阶逻辑理论对组件、连接器和软件体系结构的属性和动态行为进行讨论和描述,探讨不同连接形式下的软件体系结构,给出基于组件的软件可靠性模型.在此模型基础上,对基于组件的软件系统的可靠性计算模型进行研究,提出一种半Markov模型,并在理论上证明该模型的可用性.最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用.
其他文献
为减少写回型Cache的总线通信量及总线访问时间，本文提出了以字为单位进行数据更新的Cache管理方式，给出了这种管理方式的组成原理、管理算法和工作流程，并通过模拟分析指出这种
107杨具有速生、质优、抗病等特点,已成为北方地区最主要的速生丰产林树种。特别是随着107杨大面积的种植,对107杨苗木需求量增大,对107杨苗木的经营管理也提出了更高的要求,
利用演化算法的思想,给出了一种在不同的受限环境下,可动态变化的RSA算法密钥对生成的最佳算法生成方案,它综合考虑了算法的时间、空间和安全性等因素,具有较强的实用性.
直肠癌是临床较为普遍的恶性肿瘤,发病率每年上涨,威胁患者生命健康[1]。手术是治疗直肠癌有效的治疗方式,但多数患者在接受直肠癌手术切除后,还需接受永久性造瘘口,因肠道改
在以前提出的离散余弦变换 (DCT)类定义的基础上 ,给出了一维 DCT的归一化正交性的一种简洁证明 ,为同类问题的证明奠定了基础
文章针对高职院校创新创业竞赛成绩不佳,难以获得投资资金关注等问题,提出了构建高职院校复合型创新创业竞赛团队的方法,阐述了理想的高职院校复合型创新创业团队的结构形式,
公司创建于1999年,位于武汉市江夏经济开发区汤逊湖畔,公司注册资金五千万元,拥有大树苗木基地一千多亩,是全国规模最大的专业制作景观树第基地之一。对节景观树适应范围广,
2008年南方重大冰雪干扰导致我国800多个自然保护区严重受损,生态环境受到严重破坏。如何及时准确地获得自然保护区冰雪干扰程度,确定具有代表性的受损评价因素和评价指标,对
生态休闲旅游与乡村振兴存在互动关联关系,发展生态休闲旅游是促进农村现代化的可行之路。但乡村旅游发展存在全天候休闲旅游未实现,水域旅游资源开发不深入,全域乡村旅游发
提出了一种以智能化、主动搜索为标志的互联网中文信息获取方法,实现了一种互联网中文信息智能获取工具,该工具采用智能Agent的体系结构,通过学习用户日常的文档和用户的交互