网构软件技术体系:一种以体系结构为中心的途径

来源 :中国科学(E辑:信息科学) | 被引量 : 99次 | 上传用户:yylove51
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
作为Internet环境下的一种新型的软件形态,网构软件对传统的软件开发理论、方法与技术提出了一系列的挑战.我国学者在国家"973"计划支持下,经过5年的研究与实践,形成了一套以体系结构为中心的网构软件技术体系.在网构软件模型方面,通过开放协同模型、情境驱动模型和智能可信模型实现了网构软件基本实体的构件化、主体化、服务化以及实体间开放的结构化的按需协同;在网构软件中间件方面,以构件化的中间件平台体系为基础,实现了支持网构软件基本实体运行的容器、支持按需协同的运行时体系结构、以及基于反射的网构软件自治
其他文献
利用印度和中国地区的降水资料及NCEP/NCAR再分析环流资料,通过相关分析和合成分析,详细讨论了印度夏季风的爆发与中国长江流域梅雨的遥相关关系.结果发现:印度西南部的克拉拉邦地区夏季风爆发后两周左右,中国长江流域梅雨开始.印度夏季风爆发后,形成从印度西海岸经孟加拉湾到达中国长江流域及日本南部地区的遥相关型,它在时间和空间上都不同于盛夏期间印度夏季风经青藏高原影响中国华北降水的遥相关型.前者可称为
期刊
为研究大气成分对雾的影响,2006年12月份在南京市郊进行了雾的综合外场观测试验.12月24~27日,南京出现了持续4d的浓雾过程.揭示了这次浓雾过程一些罕见的特征:持续时间长,浓度大,雾顶高,雾水酸,爆发性增强.对这些特征进行了详尽的分析和成因的探讨.结果表明,这次雾是在夜晚辐射条件下形成,而后在暖湿平流作用下维持、发展,是一次平流辐射雾过程.
期刊
采用大涡模拟方法和小球运动方程及内置边界条件等方法,进行了三维湍流风沙跃移运动和三维沙波纹演化过程的数值模拟.最终得到的沙波纹迎风坡平缓,背风坡陡峭,这与自然形成的沙波纹的形态是一致的,并且实现了三维沙波纹的自我修复过程,这从另一个方面说明了数值模拟方法和所采用的跃移、蠕移模型等是合理的,可以再现沙波纹演化过程中的典型特征.最后,分析了沙波纹对三维湍流风场的影响,发现沙波纹地形的出现和发展使得湍流
期刊
选取铜陵矿集区5个典型的中生代侵入岩体—沙滩脚石英二长斑岩、冬瓜山辉石二长岩、新桥二长岩、凤凰山花岗闪长岩、小铜官山石英二长闪长岩,进行了系统的SHRIMP锆石U-Pb定年,给出了(151.8±2.6)~(142.8±1.8)Ma的年龄值,对该区侵入岩的形成时代提供了精确约束,表明晚侏罗世末是该区岩浆活动的高峰期.岩浆侵入的总体顺序为石英二长(斑)岩→二长岩→花岗闪长岩→石英二长闪长岩→辉石二长闪
期刊
金属-配体多重键配合物的反应性研究有助人们深入理解许多重要的金属催化过程,如生物体系中的氧化和固氮及有机合成中的金属催化原子或基团转移反应.含Os≡N多重键的锇(VI)氮合物在还原剂存在下发生氮偶合反应生成双核氮分子桥连配合物,为与固氮机理有关的金属氮合物氮偶合反应提供实验证据.一系列具有可调结构和氧化性含M=O,M=NR,M=CR1R2(M=Ru,Os)多重键的活性钌/锇氧合物,钌亚胺基配合物,
期刊
运用全细胞膜片钳技术研究慢性铅暴露和急性给二氧化硫衍生物对大鼠海马神经元钠电流的影响,结果发现,慢性铅暴露组钠电流在-70mV激活,-30mV达到峰值;对照组钠电流在-70mV激活,-40mV达到峰值.两组峰值不具有显著性差异.急性给二氧化硫衍生物于慢性铅暴露组,钠电流在-80mV开始激活,-40mV达到峰值,I-V曲线显著下移.慢性铅暴露使穿越钠通道离子的绝对数量稍微有些减少,但不具有统计学差异
期刊
良好的空气质量是居民生活环境的重要条件之一,大气微环境研究与居民区的空气质量密切相关.大气环境由多尺度的空气运动主宰,而城市居民区空气流动属于微尺度大气流动.介绍城市居民区微尺度大气环境的现代数值方法——大涡数值模拟方法.针对居民小区复杂流动的特点,讨论如何正确应用大涡数值模拟方法,比较不同数值方法对预测城市微环境流动的影响,如:下垫面阻力元法与浸没边界法,亚格子模式的影响等.以模型小区和实际小区
期刊
运用能量极小原理,研究了磁性薄膜-非磁衬底悬臂梁系统的弯曲问题,着重分析了悬臂梁体系的中平面、磁膜内应力和应变与构成悬臂梁的两种材料的几何参数和物理参数的关系,给出了这些参数对磁膜-衬底悬臂梁系统弯曲特性的影响.结果表明,由于磁致伸缩效应是各向异性膨胀,体系的中平面在一般情况下是各向异性的.随着磁膜厚度的增加,中平面迅速下降,同时衬底对磁膜的束缚减小,从而释放了磁膜内应力,即应力减小;而磁膜应变随
期刊
钙、镁、硅元素是土壤圈、水圈和生物圈的重要组成元素,其迁移与转化过程不仅影响到生态系统生产力,而且对全球碳循环起着重要的调控作用.大气CO2浓度升高可能直接通过影响土壤理化性状,或间接通过影响植物而作用于陆地生态系统矿质元素的迁移和转化过程,目前这方面的研究主要集中在旱地生态系统.为此,本研究借助国际上唯一的稻田FACE(Free Air CO2 Enrichment)实验(位于江苏省江都市,始于
期刊
文章给出了由Atkin提出的一种非常有效的素性测试方法即椭圆曲线素性证明算法,详细讨论了具体实施该算法的所有细节,而且通过在计算机上编程获得了其软件实现,并用该软件来测试一般的大整数的素性,取得了很好的效果。为了清晰地展示该算法的过程,文章在最后给出了一个详细的算例。
期刊