公共文化服务平台

曹子宁: 作品数：44 被引量：101H指数：6; 供职机构：南京航空航天大学计算机科学与技术学院更多>>; 发文基金：国家自然科学基金中国航空科学基金国家重点基础研究发展计划更多>>; 相关领域：自动化与计算机技术理学哲学宗教建筑科学更多>>

合作作者

交错时序认知逻辑在安全协议中的应用: 在分布式系统的形式化规范和验证中分支时序逻辑CTL是一个非常成功的工具。作为它的生成逻辑,交错时序逻辑ATL把路径算子用合作模态词来代替。在ATL基础上再加入知识算子得到了交错时序认知逻辑ATEL。ATEL继承了其父辈A...; 冯荷飞曹子宁; 关键词：认知逻辑安全协议; 文献传递

一种基于并发的AADL建模方法被引量：1: 2017年; 结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础。; 李揭阳曹子宁; 关键词：并发进程代数

不完全信息数据库的逻辑基础研究: 2006年; 不完全信息问题存在于每一种数据库模型中。传统的二值逻辑难以适应不完全信息处理的需求,而多值逻辑能更多地捕获不完全信息的直觉含义。在关系数据库系统的实现中,对不完全信息的处理通常采用三值逻辑。为满足实际应用的需要,本文选取了适用于不完全信息处理的一组联结词∧、∨、→、和μ作为构造逻辑系统的原始联结词。构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。M FM可作为研究不完全信息数据库理论的逻辑基础。; 毛宇光曹子宁任凯周勇; 关键词：不完全信息三值逻辑空值命题演算谓词演算

最小扰动混合角色挖掘方法研究被引量：6: 2013年; 绝大部分的角色挖掘方法都是从无到有地进行构建,所有角色都是新挖掘出来的,而没有考虑事先已经存在的角色集合.而且从已有角色集合的方法中提出的相似度定义均不满足交换律;提出一种混合角色挖掘方法,以top-down方法预先定义部分角色,以bottom-up方法挖掘候选角色集合.定义加权结构复杂度并以此作为系统状态优化的指标.给出满足交换律的相似度定义,以此作为与原有角色集近似度量的指标,并提出相似度计算算法.在此基础上提出最小扰动混合角色挖掘的定义和算法;分析算法复杂度并作出性能评估,评估结果表明算法准确率和效率均有明显提高.; 翟志刚王建东曹子宁毛宇光; 关键词：基于角色访问控制相似度

基于价格进程代数的Web服务组合描述和成本分析被引量：5: 2009年; 进程代数可有效地用于Web服务组合的描述和验证,然而缺乏对服务组合成本建模和分析的能力.提出一种扩展了价格信息的进程代数PPA,在CCS基础上为进程动作和状态扩展价格函数,给进程动作的执行标记价格,给进程的迁移状态标记成本.给出了PPA的语法和语义,定义了PPA成本弱互模拟并分析了其与CCS弱互模拟的关系,证明了PPA在CCS基础上扩展了成本建模能力,给出了成本状态空间构造算法,该算法支持选择成本优化的组合服务.实验分析了PPA用于Web服务组合成本建模和分析的可行性.; 肖芳雄黄志球曹子宁袁敏张君华; 关键词：WEB 进程代数

多Agent信念逻辑及其在概率意义下的推广被引量：5: 2001年; 首先建立了一种多 Agent信念逻辑 MBL(multi- agent belief logic) ,在经典信念逻辑基础上增加了普遍信念算子和公共信念算子 ,给出 MBL的 Kripke语义与广义 Aumann语义 ,讨论了两者的等价性 ,证明了 MBL对于上述两种语义的可靠性和完备性 .其次 ,建立了一种多 Agent概率信念逻辑 MPBL(multi- agent probabilisticbelief logic) ,通过在广义 Aumann语义基础上引入概率空间 ,给出了 MPBL的概率 Aumann语义 ,证明了它的可靠性 ,并给出 MPBL的一些推论 .; 曹子宁董红斌石纯一; 关键词：多AGENT系统人工智能

面向CPS的混成AADL建模与模型转换被引量：1: 2019年; 信息物理融合系统(CPS)是将物理过程和计算过程紧密结合的混成系统,是由多个异构的组件通过通信设施联系起来。组合式建模通过对信息物理融合系统组件分别建模,再使用组合机制将组件整合成一个复杂的系统。进程代数经常用于通信系统建模,能够描述进程间的并发关系,但是缺乏对连续变化和随机行为的描述能力。文中在经典进程理论上扩展并提出CPS建模语言HPCCS,同时在模型中使用谓词公式来描述数据间的约束关系。AADL是目前广泛使用的建模语言,但是缺少连续行为的建模能力,文中结合HPCCS扩展AADL提出CPS系统建模机制HPCCS-AADL。为了对半形式化的HPCCS-AADL进行形式化验证,给出了混成AADL到HPCCS的转换规则。最后通过飞行控制系统的例子说明提出的混成AADL建模能力足够描述CPS系统,并且通过模型转换可以转换到形式化的HPCCS。; 曹雪岳曹子宁卜星晨; 关键词：进程代数信息物理融合系统 AADL

多Agent系统的语义模型研究: 该文就MAS的语义模型等进行了研究.主要工作包括:(1)提出了一个多Agent信念逻辑MBL,定义了MBL的Aumann语义,证明了MBL的Kripke语义与Aumann语义等价.提出了一个多Agent概率信念逻辑MPB...; 曹子宁; 关键词：多AGENT系统模态逻辑非单调推理

带有数据约束的信息物理融合系统的建模方法: 2020年; 信息物理融合系统由具有连续性的物理系统和具有离散性的信息系统组合而成,是一种复杂的混成系统。针对现有的建模方法不能够直接对信息物理融合系统进行建模,采用基于模型的体系结构建模方法,对信息物理融合系统的不同部分采用不同的建模方法进行建模,将不同的建模语言进行相应的转换整合成一个完整的系统。AADL建模语言提供了较为全面的图表和结构,适合用来对系统的体系结构进行建模,针对于其无法描述概率迁移的问题,扩展了概率行为附件。作为AADL的补充,Modelica语言可以利用微分代数方程对物理系统的连续动态性进行建模。根据AADL与Modelica的映射规则,对AADL的属性集进行相应的扩展,将Modelica建立的模型转换为AADL模型,使得信息系统和物理系统融合。在Modelica与AADL建模的基础上,采用Z规范对信息物理融合系统交互过程中产生的大量数据进行形式化的约束。; 卜星晨曹子宁胡名光; 关键词：信息物理融合系统 MODELICA AADL Z规范

一种扩展了价格信息的进程代数被引量：2: 2009年; 针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性。; 肖芳雄黄志球曹子宁张君华覃志东; 关键词：进程代数

曹子宁

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

曹子宁

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈