期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于SPEC#的功能性冗余软件开发
1
作者 王侃 郑宇军 范宏伟 《计算机工程与设计》 CSCD 北大核心 2009年第15期3487-3490,共4页
软件的功能性冗余能够有效提高计算机系统可靠性和安全性。研究了SPEC#语言中的前后置断言和对象不变式等契约机制,分析了如何通过这些机制来实现输入输出域控制、主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过... 软件的功能性冗余能够有效提高计算机系统可靠性和安全性。研究了SPEC#语言中的前后置断言和对象不变式等契约机制,分析了如何通过这些机制来实现输入输出域控制、主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过程中应用契约设计和冗余技术的若干准则和建议。这种基于契约的冗余技术能够显著地提高软件的可靠性、可维护性和可测试性,进而提高软硬件系统的整体可信性水平。 展开更多
关键词 软件可靠性 SPEC# 契约 功能性冗余 异常
下载PDF
复杂体系的动态适应性结构设计
2
作者 张送保 张维明 +1 位作者 刘忠 黄金才 《火力与指挥控制》 CSCD 北大核心 2008年第1期13-16,共4页
针对战场环境的动态不确定性及其所产生的系列问题,并根据复杂体系的概念和特性,提出了采用多功能性冗余元的设计思想进行复杂体系的动态适应性结构设计。在此基础上,分析了多功能性冗余元及其调度中心的工作原理,充分利用冗余元知识库... 针对战场环境的动态不确定性及其所产生的系列问题,并根据复杂体系的概念和特性,提出了采用多功能性冗余元的设计思想进行复杂体系的动态适应性结构设计。在此基础上,分析了多功能性冗余元及其调度中心的工作原理,充分利用冗余元知识库中知识对体系的协助请求消息进行匹配,并遵循一定的协作策略,使冗余元能够灵活地发挥其功能,重新进行复杂体系结构的有效构造,从而适应新的任务环境,并为复杂体系的构建以及体系改进和优化提供一定的理论指导。 展开更多
关键词 复杂体系 动态适应性 结构设计 功能性冗余 知识匹配
下载PDF
政府机构人员与职位适应性配置的质性测度——“匹配”与“反匹配”的双向视域 被引量:1
3
作者 徐刚 《软科学》 CSSCI 北大核心 2011年第6期54-58,共5页
作为困扰政府机构高效运行的高端难题,编制管理不应仍停留于体制视角的理性探讨,而须更多专注人员与职位的适应性配置。而在匹配形态上,质量标准应和数量标准形成双层面测度路径,以质量指数表征政府机构任职人员素质和绩效与所任职位职... 作为困扰政府机构高效运行的高端难题,编制管理不应仍停留于体制视角的理性探讨,而须更多专注人员与职位的适应性配置。而在匹配形态上,质量标准应和数量标准形成双层面测度路径,以质量指数表征政府机构任职人员素质和绩效与所任职位职能强度比对关系并在"匹配"与"反匹配"双向视域中验证人员与职位的适配性,竭力杜绝政府机构"功能性"人员冗余积弊。 展开更多
关键词 人职适配 质性测度 质量指数 功能性冗余
下载PDF
刑事诉讼中的图像电子证据初论 被引量:17
4
作者 刘广三 李文伟 《法学论坛》 CSSCI 北大核心 2009年第1期31-38,共8页
在日常生活和刑事诉讼过程中,电子形式的图像证据已经较为常见。对这种与传统的图像证据截然不同的新型证据形态,需要从证据规则、证明过程等角度进行新的探索。图像电子证据的证明能力和证明力的认定,具有鲜明的技术特征,离不开刑事鉴... 在日常生活和刑事诉讼过程中,电子形式的图像证据已经较为常见。对这种与传统的图像证据截然不同的新型证据形态,需要从证据规则、证明过程等角度进行新的探索。图像电子证据的证明能力和证明力的认定,具有鲜明的技术特征,离不开刑事鉴定和法庭科学的支持。更重要的是,它为传统的证据规则和刑事证明理论提供了新鲜而又充满挑战的内容。 展开更多
关键词 图像电子证据的数据内容 表达内容 目的性冗余 功能性冗余
原文传递
Functional diversity and redundancy of subalpine meadows subjected to anthropogenic disturbances
5
作者 Xiaoxia Huang Zhilu Sheng +4 位作者 Kejian He Yong Zhang Bin Kang Jiao Ding Dongmei Liu 《Journal of Plant Ecology》 SCIE CSCD 2021年第5期870-883,共14页
Aims The aims of this study were to assess how functional diversity(FD)and functional redundancy respond to subalpine meadow ecosystem degradation under anthropogenic disturbance and how species contribute to function... Aims The aims of this study were to assess how functional diversity(FD)and functional redundancy respond to subalpine meadow ecosystem degradation under anthropogenic disturbance and how species contribute to functional redundancy along the disturbance gradient.Methods The study was carried out in the subalpine meadow in Mount Jade Dragon,which is located at the southeastern edge of the Tibetan Plateau.Four disturbance intensities[no disturbance(ND),weak disturbance(WD),moderate disturbance(MD)and severe disturbance(SD)]were identified.Species richness,soil properties and five key plant functional traits were assessed along the disturbance gradient.Simpson’s diversity index,FD based on the Rao algorithm,functional redundancy,community-weighted mean of each functional trait and species-level functional redundancy were determined.Important Findings Unimodal change pattern of FD and functional redundancy along the disturbance gradient were found in the present study,with their maximum in MD and WD,respectively.Species diversity showed a decreasing trend with increasing disturbance intensity.As disturbance intensified,species with traits related to conservative growth strategies,such as low specific leaf area(SLA)and high leaf dry matter content(LDMC),decreased,whereas species with resource acquisitive strategies,such as small plant,high SLA and low LDMC,increased in the community.At the species level,species showed species-specific roles in functional redundancy.Notably,some species were important in the community in terms of their unique function.For instance,Ligularia dictyoneura in ND and Potentilla delavayi in MD and SD. 展开更多
关键词 anthropogenic disturbance functional diversity functional redundancy functionally unique species subalpine meadow
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部