朱朝晖
【姓名】 朱朝晖
【职称】 教授;
【研究领域】 自动化技术;计算机软件及计算机应用;数学;
【研究方向】 计算机科学中的逻辑学
【发表文献关键词】 泛模型,布尔模态逻辑,Vakarelov问题,情境演算,小模型规模的上界,有限模型性,KR-结构的扩充,行动理论,知识表示系统,模态词,信念更新,信息逻辑,智能体理论,智能体模型,非Horn型规则,标...
【工作单位】 南京航空航天大学
【曾工作单位】 南京航空航天大学;
【所在地域】 江苏南京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/16 13 15 8 38 1427
中国期刊全文数据库    共找到16篇
[1]张晋津;张严;朱朝晖;.带扰动控制系统的形式化设计[J]控制理论与应用.2015,(02)
[2]张晋津;张严;朱朝晖;.(η,α)-互模拟的分层及判定算法[J]计算机工程与科学.2015,(03)
[3]肖文洁;朱朝晖;肖奚安;.认知态的相似性与等价性[J]解放军理工大学学报(自然科学版).2009,(02)
[4]肖文洁;朱朝晖;.有缺指派下的信念修正逻辑[J]软件学报.2010,(01)
[5]苏静,朱朝晖.公文流转系统中工作流分析及其数据库实现[J]华中科技大学学报(自然科学版).2003,(S1)
[6]骆斌,戈也挺,朱朝晖,陈世福.行动推理中循环因果关系的研究[J]计算机学报.2005,(05)
[7]朱朝晖,陈世福,朱梧槚.赋值层化占先模型[J]计算机学报.2000,(10)
[8]张东摩,朱朝晖,陈世福.面向行动的信念更新[J]软件学报.2000,(09)
[9]朱朝晖,李斌,陈世福,朱梧檟.单可表示类的特征[J]计算机学报.2001,(06)
[10]朱朝晖,李斌.有限语言下占先模型的赋值结构[J]南京航空航天大学学报.2001,(03)
更多
承担国家科研项目    共找到3个
[1]朱朝晖;.占优结构的相似性与局部相似性研究[A].南京航空航天大学;.项目经费 23万元.2005-03-31.资助文献数 2 篇
[2]朱朝晖;.面向智能体的信念变化研究[A].南京航空航天大学;.项目经费 18万元.2001-03-31.资助文献数 0 篇
[3]朱朝晖.余代数框架下的近似行为等价理论与模态逻辑研究[A].南京航空航天大学.项目经费 28万元.2009-03-20.资助文献数 0 篇
更多