|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 精准智能理论:面向复杂动态对象的人工智能显示文摘新一轮科技革命和产业变革正在萌发,以深度学习和大数据为基础,以Alpha Go等为典型应用场景掀起了人工智能的第3次高潮.传统的基于统计线性化动态建模的人工智能,在处理复杂对象时遇到了可解释性、泛化性和可复现性等发展瓶颈,迫切需要建立基于复杂性与多尺度分析的新一代人工智能理论,我们称之为精准智能.针对复杂系统的非线性特征,精准智能构建内嵌领域知识和数学物理机理的系统学习理论,包括复杂数据科学感知、复杂系统精准构建、复杂行为智能分析3个层次.具体而言,通过复杂数据科学感知建立内嵌时空特征与数理规律等具有可解释性的科学数据系统;通过复杂系统精准构建反演具有非线性复杂逻辑关系的多层次、多尺度、可解释的人工智能动态学习模型;通过对系统复杂行为智能分析建立面向系统行为演进和全局动态分析的可解释可调控人工智能新理论和新方法.将上述精准智能理论应用于群体智能,提出了群体熵方法,实现了群体激发和汇聚行为复杂性度量与有效引导调控. | 郑志明 吕金虎 韦卫 唐绍婷 | 2021 | 中国科学:信息科学2021，51，4： | 14 |
| 2 | 软件可信性动力学特征及其演化复杂性显示文摘可信软件已成为现代软件技术发展和应用的重要趋势和必然选择,而软件可信性建模已成为构造可信软件的先决条件和必要手段.为了探讨和阐明软件可信性的基本科学问题、建立软件可信性度量的理论基础,文中结合动力系统的基本思想探讨软件可信性及其演化规律,研究在各种内部和外部因素作用下软件可信性演化的动力学机制,并建立相应的动力学模型,从而软件系统的可信性可以认为是软件系统在动态开放环境下其行为的统计特性.通过对两个简单实例的建模分析,说明了软件系统可信属性的极限演化行为与动力系统特征的对应关系,诠释了软件可信性的动力学特征及其演化复杂性. | 郑志明 马世龙 李未 韦卫 姜鑫 张占利 郭炳晖 | 2009 | 中国科学(F辑:信息科学)2009，39，9： | 12 |
| 3 | 考虑短板效应的一种度量模型及其在软件可信性中的应用显示文摘为了解决传统的软件可信性度量模型很少考虑用户主观需求对模型度量的影响,通过引入容忍阈值提出了考虑短板效应的一种度量模型;分析了参数的意义和选取,并应用于软件可信性的度量和评估中,反映了软件可信性中的主观性和客观性,同时解释了其中存在的短板效应。 | 杨光宇 曾东方 罗平 | 2012 | 计算机应用研究2012，29，1： | 9 |
| 4 | 群体智能系统的动力学模型与群体熵度量显示文摘群体智能是自然界普遍存在的现象,受到了国内外研究者的广泛关注.网络和人工智能技术的高速发展,使得大规模群体在网络上通过个体智慧激发和群体智慧汇聚形成超越个体能力的群体智能成为可能.随之而来,如何认知和形成这样的群体智能系统成为了研究的热点.本文将在广义群体智能的概念体系之下,探索群体智能系统的度量理论和方法,以此来促进对群体智能形成机理的更深层认知.本文提出了群体智能系统的基本特性以及其形成的激发汇聚建模,指出群体智能系统实质上是一类复杂非线性动力学系统,包含微观个体激发、宏观群体协作、全局群智汇聚3个核心动力学属性.并以此为基础,讨论了群体智能系统群体熵度量所应满足的基本性质.最后以图的群体化搜索为例,说明了群体的激发和汇聚过程,以及在此过程中如何通过群体熵来度量群体行为的变化,验证了本文提出的群体熵度量思想的有效性. | 罗杰 姜鑫 郭炳晖 郑宏威 吴文峻 吕卫锋 | 2022 | 中国科学:信息科学2022，52，1： | 8 |
| 5 | 安全苛刻系统自动化测试的形式化语义模型显示文摘安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范. | 吕江花 马世龙 李先军 高世伟 | 2014 | 软件学报2014，25，3： | 5 |
| 6 | Optimized statistical analysis of software trustworthiness attributes显示文摘Software trustworthiness has become one of the key restrictions for software service quality and the development of the software industry.However,trustworthiness attributes interlace structured and dynamical coupling relations,which causes great barriers for trustworthiness measurements of large-scale software.According to the dynamical evolutionary characteristics of software trustworthiness attributes,this paper proposes a new approach for optimizing the trustworthiness measurement in terms the kernel trustworthiness attributes,and improves a downsize-optimized statistical analysis method for software trustworthiness attributes based on their nonlinear relations.The improved method considerably simplifies the trustworthiness assessment of largescale software.Using theoretical analysis and numerical simulations,the feasibility of this method is verified using two typical examples that illustrate the realization of the trustworthiness measurement. | ZHANG Xiao LI Wei ZHENG ZhiMing GUO BingHui | 2012 | Science China(Information Sciences)2012，55，11： | 3 |
| 7 | 改进的基于属性的软件可信性度量模型显示文摘对基于属性的软件可信性度量需要满足的性质集进行了扩充,提出了一种改进的软件可信性度量模型,并通过证明其满足扩充后度量性质集对其进行了理论验证.相关工作比较表明相对于常用的两种基于属性的软件可信性度量模型以及作者之前所提出的3个模型,该模型对扩充后的度量性质满足程度方面更优. | 陶红伟 赵杰 | 2017 | 武汉大学学报(理学版)2017，63，2： | 2 |
| 8 | A high order collaboration and real time formal model for automatic testing of safety critical systems显示文摘 | Jianghua LV ShUong MA Xianjun LI Jiangong SONG | 2015 | Frontiers of Computer Science2015，9，4： | 1 |
| 9 | 一种面向Web服务的综合可信性度量模型显示文摘基于Web服务的可信应用程序构造的一个关键问题是如何度量Web服务的可信性.在遵循Web服务特点的基础上,提出一个综合的Web服务可信性度量模型TMM4WS,从Web服务的内部实现和外部使用两方面对Web服务的可信性进行度量,开发了相应的度量支持工具TMT4WS.采用Web服务实例对提出的度量模型与工具进行了验证.实验结果表明,度量模型TMM4WS及其支持工具TMT4WS具有较好的可操作性,能够定量地度量Web服务的可信性. | 孙昌爱 赵敏 何啸 | 2014 | 北京科技大学学报2014，36，4： | 0 |
| 10 | The stochastic semantics and verification for periodic control systems显示文摘Periodic control systems(PCS) are widely used in the embedded industry like aerospace and automotive.Such systems usually run periodic tasks and respond to the external signals.Based on our previous work on Mode diagram modeling(MDM) notations for specifying the periodic control system,we present the stochastic semantics for MDM in this paper.The stochastic semantics of MDM is based on the Markov chain.The semantics proposed here provides the basis for the satisfaction of formulae of the interval temporal logic(ITL) based specification language that is aimed to specify the properties of PCS.To verify whether the system satisfies the ITL-based properties,we apply the statistical model checking technique to efficiently estimate the probability of the system satisfying the given property with a desired level of confidence.The empirical experiments show that our approach is both effective and efficient. | YANG MengFei WANG Zheng PU GeGuang Qin ShengChao GU Bin HE JiFeng | 2012 | Science China(Information Sciences)2012，55，12： | 0 |
| 11 | 软件可信性演化的移动元胞自动机模拟显示文摘演化是软件可信性的核心问题。为了研究在动态、开放、多变环境下,干扰对软件可信性的影响,在分析软件系统可信性传递过程的基础上,结合元胞自动机机理和耗散理论,构建基于用户视角的软件系统可信性演化的移动元胞自动机仿真模型,仿真研究了软件系统在受到干扰的情境下,软件可信性的变化过程。研究表明,软件系统在受到干扰的环境下,当运行状态发生变化时,其可信性评价值降低,在经历了多次干扰后,系统可信性评价值最终稳定,这为动态评价、预测软件系统可信性提供了一个新的模型与方法。 | 文杏梓 刘友金 欧阳军林 | 2015 | 计算机工程与应用2015，51，7： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员