搜索筛选:
搜索耗时0.8635秒,为你在为你在102,285,761篇论文里面共找到 45 篇相符的论文内容
发布年度:
[期刊论文] 作者：曹子宁,
来源：数学研究与评论 年份：2002
本文证明了Ramsey数R（a,b)是初等函数。...
[学位论文] 作者：曹子宁,
来源：清华大学 年份：2001
该文就MAS的语义模型等进行了研究.主要工作包括:(1)提出了一个多Agent信念逻辑MBL,定义了MBL的Aumann语义,证明了MBL的Kripke语义与Aumann语义等价.提出了一个多Agent概率信...
[期刊论文] 作者：马艳,曹子宁,
来源：南京邮电大学学报:自然科学版 年份：2019
概率假设-保证推理(Probabilistic Assume-Guarantee Reasoning)是一种用于缓解随机模型检测中状态空间爆炸的方法,其将整个系统的验证分解为对较小组件的验证,组合较小组件...
[期刊论文] 作者：李勇, 曹子宁,,
来源：计算机技术与发展 年份：2017
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误，降低开发成本，精确、简明地验证和规范软件系统和性......
[期刊论文] 作者：曹子宁,石纯一,
来源：计算机研究与发展 年份：2000
在信念逻辑基础上，引入概率，给出了一种概率信念逻辑PBL，增强了信念逻辑的表述能力和推理能力。并为PBL建立了两种语义：首先将知识逻辑的Aumann语义进行推广，给出了PBL逻辑的概率A......
[期刊论文] 作者：曹子宁,石纯一,
来源：计算机研究与发展 年份：2000
文中介绍了一个程序规范自动检测与修正系统ＡＤＲＳ的理论模型，在开放逻辑的思想基础上，文中提出了一种自动修正模型，并试图对李未提出的３个问题给出解决方案。作为对第１个问题的解决，作者......
[期刊论文] 作者：高正,曹子宁,
来源：计算机技术与发展 年份：2017
结构分析与设计语言（Architecture Analysis and Design Language,AADL）是针对嵌入式实时系统领域中的软件开发复杂度问题而提出的一种基于模型驱动开发的体系结构建模语言,可...
[期刊论文] 作者：曹子宁,石纯一,,
来源：计算机科学 年份：2000
人工智能研究的一个重要目标是设计出能代表其拥有者或用户的、有一定自主性的决策体Agent。为此通常是赋予每个Agent一种自身利益(偏好),Agent在行动中寻求自身的利益...
[期刊论文] 作者：李揭阳,曹子宁,,
来源：计算机与现代化 年份：2017
结构分析与设计语言（Architecture Analysis and Design Language，AADL）是复杂嵌入式实时系统体系结构建模的语言标准，但是对于嵌入式实时系统中大量存在的并发和交互，AADL并没有...
[期刊论文] 作者：曹子宁,石纯一,
来源：计算机科学技术学报 年份：2004
In this paper, we present a logic system for probabilistic belief named PBL,which expands the language of belief logic by introducing probabilistic belief. Furt...
[会议论文] 作者：高静;曹子宁;,
来源：2009年中国高校通信类院系学术研讨会 年份：2009
模型检测是一种很重要的自动验证技术.在已有的对移动进程演算的研究中,用于刻画移动环境演算系统性质大多使用的是空间逻辑,而时序逻辑作为形式化方法中一个十分重要的应用...
[会议论文] 作者：许梅,曹子宁,
来源：2009年中国高校通信类院系学术研讨会 年份：2009
模型检测是近二十几年来最成功的自动验证技术之一,一直以来主要用于检测时态逻辑,人们很少注意空间逻辑的模型检测问题,而在分布式系统领域,为了能够描述系统的空间结构性质,已经广泛地采用空间逻辑来描述.本文以带赋值符号迁移图和扩展的模态图分别作为并发系......
[期刊论文] 作者：李国拯,曹子宁,
来源：计算机与现代化 年份：2015
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先介绍一种混成ZIA形式规范；然后,基于建模语言M...
[期刊论文] 作者：倪水妹,曹子宁,,
来源：小型微型计算机系统 年份：2015
带数据约束的概率系统是指一种既带有概率约束,又带有数据变量约束的计算系统,应用非常广泛.对这类系统而言,确保其正确性和可靠性是至关重要的.目前对带数据约束的概率系统...
[期刊论文] 作者：曹子宁,朱梧檟,,
来源：数学研究与评论 年份：2004
本文证明了Ramsey数R(a,b)是初等函数....
[期刊论文] 作者：李勇,李揭阳,曹子宁,
来源：计算机技术与发展 年份：2017
构件式系统是一种采用构件组合技术实现的结构系统，即在采用单个构件封装简单的业务功能基础上，通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能。在开发构件式......
[期刊论文] 作者：程义,庄毅,曹子宁,
来源：小型微型计算机系统 年份：2021
单粒子翻转是计算机中的元器件受到高能粒子的照射,引起的电位状态跳变,使器件逻辑状态翻转的现象.故障注入是研究针对单粒子翻转故障容错技术的有效方法基础.针对传统的故障注入方法仅侧重于数据流或控制流故障中的某一种故障,并且存在注入的故障有效性不足的......
[期刊论文] 作者：黄涛, 曹子宁, 李晴,
来源：计算机技术与发展 年份：2023
信息物理融合系统（CPS）是一个多维复杂系统，随着系统的复杂性不断增加，设计人员对它们的行为几乎无法理解。针对许多复杂系统无法使用传统的方法来建模的情况，采用构建自动机的方法，对复杂CPS系统的输入输出轨迹进行处理生成混成自动机。混成自动机可以清楚地描述CPS......
[期刊论文] 作者：张君华, 黄志球, 曹子宁,,
来源：计算机研究与发展 年份：2008
模型检测基于概率系统的反例产生问题，在最近引起人们的关注．已有的工作主要围绕模型检测Markov链的反例产生而开展．基于概率时间自动机（PTA）是Markov链的不确定性和系统时钟的扩......
[期刊论文] 作者：祝义,黄志球,曹子宁,
来源：东南大学学报：自然科学版 年份：2010
针对实时系统软件设计难以有效兼顾功能与非功能需求的问题,提出了一种支持实时软件资源建模与分析的方法.首先,通过在通信顺序进程上扩展资源信息,得到资源通信顺序进程,并...
相关搜索：
