检索结果-维普期刊中文期刊服务平台

随机模型检验研究被引量：12: 1; 作者刘阳李宣东 +1 位作者马艳王林章《计算机学报》 EI CSCD 北大核心 2015年第11期2145-2162,共18页; 随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛... 展开更多; 关键词形式验证马尔可夫随机过程随机模型检验定量分析; 在线阅读下载PDF 职称材料

未知真实类标记条件下数据流中的变化发现方法被引量：1: 2; 作者王勇李战怀张阳《西北工业大学学报》 EI CAS CSCD 北大核心 2006年第2期209-213,共5页; 目前对数据流挖掘的研究主要关注有标记的实例可以学习时,怎样发现模式中的变化以及怎样更新模型反映这种变化。然而有标记的数据流难以立即得到。文中给出了一种基于累积和(CU SUM)控制图的变化发现方法。该方法在未知真实类标记的情况... 展开更多; 关键词概念变化的数据流变化发现累积和控制图; 在线阅读下载PDF 职称材料

并发面向对象中的继承反常现象被引量：1: 3; 作者王生原杨良怀 +1 位作者袁崇义杨萍《软件学报》 EI CSCD 北大核心 2002年第6期1148-1154,共7页; 如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考... 展开更多; 关键词并发面向对象继承反常现象渐增式继承范畴论程序设计; 在线阅读下载PDF 职称材料

隐私规避的网络调查与间接估计方法被引量：1: 4; 作者吕欣刘楚楚 +1 位作者蔡梦思陈洒然《管理科学学报》 CSSCI CSCD 北大核心 2023年第5期103-120,共18页; 在管理决策中,管理对象的真实状态往往因隐私、敏感等因素导致自我报告数据质量不高,样本数据存在较大偏差,进而难以掌握目标对象的真实情况.针对这一问题,同时为了满足数字经济时代下的数据隐私保护需求,本文开发了一类基于社交网络间... 展开更多; 关键词隐私数据真实性网络抽样间接估计统计推断; 在线阅读下载PDF 职称材料

题名随机模型检验研究被引量：12: 1; 作者刘阳李宣东马艳王林章; 机构南京大学计算机软件新技术国家重点实验室新加坡国立大学计算学院计算机科学系南京航空航天大学计算机科学与技术学院; 出处《计算机学报》 EI CSCD 北大核心 2015年第11期2145-2162,共18页; 基金国家自然科学基金项目(61303022 91318301) +3 种基金山东省泰安市科技发展计划项目(201330629)资助~~; 文摘随机模型检验作为模型检验理论的延伸和推广,可用于验证分析系统模型的定性或定量性质,其已经应用到随机分布式算法验证、通信协议性能分析甚至是系统生物学等跨学科领域.从20世纪90年代末至今,随机模型检验引起了形式验证等领域的广泛关注,并取得了很大的进展.该文追溯了随机模型检验的渊源,系统地概括了其最基本的原理及几类典型的PCTL、概率的LTL、PCTL*和CSL模型检验随机系统的算法框架.然后归纳总结了随机模型检验的主要研究方向及其进展,分析了基于随机模型检验的验证过程及其优势与劣势,并分类列出了目前出现的随机模型检验工具.最后介绍了随机模型检验的应用领域并指出了其未来的应用挑战.; 关键词形式验证马尔可夫随机过程随机模型检验定量分析; Keywords formal verification Markov stochastic process stochastic model checking quantitative analysis; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名未知真实类标记条件下数据流中的变化发现方法被引量：1: 2; 作者王勇李战怀张阳; 机构西北工业大学计算机学院新加坡国立大学计算学院; 出处《西北工业大学学报》 EI CAS CSCD 北大核心 2006年第2期209-213,共5页; 基金国家自然科学基金(60573096)资助; 文摘目前对数据流挖掘的研究主要关注有标记的实例可以学习时,怎样发现模式中的变化以及怎样更新模型反映这种变化。然而有标记的数据流难以立即得到。文中给出了一种基于累积和(CU SUM)控制图的变化发现方法。该方法在未知真实类标记的情况下,可以发现数据流中的概念流动和分布变化。实验验证表明,该方法是有效的。; 关键词概念变化的数据流变化发现累积和控制图; Keywords data stream, detecting changes, cumulative sum （CUSUM） control chart; 分类号 TP181 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名并发面向对象中的继承反常现象被引量：1: 3; 作者王生原杨良怀袁崇义杨萍; 机构清华大学计算机科学与技术系新加坡国立大学计算学院计算机科学系北京大学计算机科学技术系兰州大学信息科学与工程学院; 出处《软件学报》 EI CSCD 北大核心 2002年第6期1148-1154,共7页; 基金国家自然科学基金资助项目(69973003) 国家重点基础研究发展规划973资助项目(G1999032706) 甘肃省自然科学基金资助项目(ZS991-A25-014-G)~~; 文摘如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了在并发面向对象语言中应将inheritance层次和subtyping层次区别对待这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示.; 关键词并发面向对象继承反常现象渐增式继承范畴论程序设计; Keywords concurrency object orientation inheritance anomaly incremental inheritance category theory; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名隐私规避的网络调查与间接估计方法被引量：1: 4; 作者吕欣刘楚楚蔡梦思陈洒然; 机构国防科技大学系统工程学院新加坡国立大学计算学院盲信号处理国家重点实验室; 出处《管理科学学报》 CSSCI CSCD 北大核心 2023年第5期103-120,共18页; 基金国家自然科学基金资助重大研究计划项目(91846301) 国家杰出青年科学基金资助项目(72025405) 国家社会科学基金资助重大项目(22ZDA102)。; 文摘在管理决策中,管理对象的真实状态往往因隐私、敏感等因素导致自我报告数据质量不高,样本数据存在较大偏差,进而难以掌握目标对象的真实情况.针对这一问题,同时为了满足数字经济时代下的数据隐私保护需求,本文开发了一类基于社交网络间接报告的数据采集方法,并在网络抽样与统计推断理论的基础上,设计了基于间接报告样本数据的总体估计方法(ECM).该方法操作简单,可对调查对象进行随机采样或实施普查,除采集样本的自我陈述数据外,同时采集每个样本关于其密切社交对象的报告数据,从而避免了自身因敏感原因等不愿提供数据或提供不真实数据的问题,提出的估计方法能在样本报告数据的基础上实现对总体的高精度估计,并能实现自报告数据和他报告数据的交互验证.本文的研究方法在一个多达556627名活跃用户的难接触人群在线社交网络上进行了充分验证,抽样实验表明ECM对全网平均好友数和总体特征的估计误差低于3%.进一步地,本文开展了实证研究,通过设计自报告和他报告问卷,对某企业职员的一般和隐私性问题进行了问卷调查,并通过间接估计方法实现了对目标的总体估计,展示了该方法的实用性和有效性.; 关键词隐私数据真实性网络抽样间接估计统计推断; Keywords privacy data authenticity network sampling indirect estimation statistical inference; 分类号 C811 [社会学—统计学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	随机模型检验研究	刘阳李宣东马艳王林章	《计算机学报》 EI CSCD 北大核心	2015	12	在线阅读下载PDF 职称材料
2	未知真实类标记条件下数据流中的变化发现方法	王勇李战怀张阳	《西北工业大学学报》 EI CAS CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
3	并发面向对象中的继承反常现象	王生原杨良怀袁崇义杨萍	《软件学报》 EI CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
4	隐私规避的网络调查与间接估计方法	吕欣刘楚楚蔡梦思陈洒然	《管理科学学报》 CSSCI CSCD 北大核心	2023	1	在线阅读下载PDF 职称材料