【摘 要】
:
潜在无限结构的建模需要使用递归机制,为此基于Wright语言构造了一种兼具组件和连接器特征的对象,提出了组件化连接器的概念.利用这一概念及软件体系结构组合机制,设计了一种
【机 构】
:
武汉大学软件工程国家重点实验室/计算机学院,华中师范大学数学与统计学学院,武汉理工大学自动化学院
【基金项目】
:
国家自然科学基金(60473066),湖北省青年杰出人才基金(2003ABB004)资助项目
论文部分内容阅读
潜在无限结构的建模需要使用递归机制,为此基于Wright语言构造了一种兼具组件和连接器特征的对象,提出了组件化连接器的概念.利用这一概念及软件体系结构组合机制,设计了一种规范潜在无限结构的形式化方法.实例表明该方法能为软件体系结构提供一种增量式的开发方式,从而能适用于体系结构重用的目的.
其他文献
介绍了一种在Windows NT平台下,利用Visual C+ +软件,采用多线程、显示缓存和压栈技术,提高实时测试软件显示性能的方法.这种方法解决了大容量数据下实时测试软件实时性与提
从2005年重庆市坠落的烟灰缸伤人事件,到之后山东济南某住宅区坠落旧菜板砸倒老太太案例,再到备受关注的深圳市“好来居”高空抛物案,法院分别根据过错推定原则、共同危险行为的
目的本课题旨在观察导师张春和教授运用《滇南本草》药物组方萆土公英汤治疗慢性前列腺炎湿热瘀滞证的临床疗效,并根据导师张春和教授的临床经验,结合中药学和药理学分析萆土
目的:鹦鹉热衣原体(Chlamydia psittaci,Cps)及其产物所诱导的炎症反应在介导Cps致病中发挥重要作用。本课题组前期证实Cps CPSIT0844蛋白定位于包涵体膜且能诱导THP-1细胞分泌
目的:观察强心胶囊对老年射血分数保留的心衰(阳虚水泛型)左心室舒张功能的影响及其临床疗效。方法:将72例经辨证为阳虚水泛型的老年射血分数保留的心衰患者随机分成对照组和
目的:观察浮针结合麦肯基疗法与传统电针结合麦肯基疗法对慢性非特异性下腰痛(Chronic nonspecific low back pain,CNLBP)的临床疗效对比,为慢性非特异性下腰痛患者治疗提供新思路。方法:选取广州体育学院20-30岁的慢性非特异性下腰痛患者23例,随机将其分为两组(实验组、对照组)。实验组采用浮针结合麦肯基疗法,对照组采用传统电针结合麦肯基疗法,治疗周期为4周。分别在治
中等职业教育和高等职业教育是我国职业教育体系的重要组成部分。国内中高职教育的衔接已进行20多年,取得一些进展,但还存在很多问题,如何继续做好中高职教育衔接问题,仍是当
随着互联网技术的普及和人们消费观念的变化,分享经济逐渐渗透我们的生活,成为推动经济发展的重要力量。"使用权分享"的本质有利于优化资源配置,减少浪费和污染。文章定义了
随人口基数的不断增长以及人类活动呈现的多样化趋势,人群拥挤场景随处可见,如空港、车站、体育场等,人群聚集往往会带来意料之外的安全隐患,随之而来的拥堵、踩踏甚至暴恐事件,给传统的公共安全系统带来了不小的挑战。由此,人群计数作为一项典型的统计任务,在过去几年中越来越受到关注。研究人员不断尝试将这一技术实用化,比如在公共安全,行人监控及灾害应急管理等实用领域。其中,基于计算机视觉的自动化人群分析解决方案
小麦育种研究室现有科技人员11人,其中,中国工程院院士1人,研究员4人,副研究员3人:本科以上学历9人,大专以上学历科研辅助人员11人;国家有突出贡献中青年专家1人,江苏省“333高层次人