朱朝晖
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [i11] Yu Wang(王宇) , 朱朝晖 , 罗布·范·格拉贝克 , 张金进(Jinjin Zhang) , 李兴坛 :
关于离散事件系统的最大允许相似控制的更多内容。 CoRR公司 abs/2407.08068 ( 2024 ) 2023 [公元22年] 李兴坛 , 朱朝晖 , 张金进(Jinjin Zhang) :
抽象论证中基于扩展的语义的一般方法。 Artif公司。 智力。 315 : 103836 ( 2023 ) [公元21年] 李兴坛 , 朱朝晖 , 王福君 , 张金进(Jinjin Zhang) :
抽象论证的分级标签。 国际期刊近似原因。 152 : 59-93 ( 2023 ) [公元20年] Yuewei余 , 赵雷雷(Leilei Zhao) , 林阳(Lin Yang) , 周长城 , 朱朝晖 , 田连顺 :
根对角线少片主辅抛物线钢板弹簧力学特性的分析建模与计算。 Int.J.模型。 模拟。 科学。 计算。 14 ( 2 ) : 2350032:1-2350032:19 ( 2023 ) 【c8】 梅艾 , 蔡启文 , 云凡 , 李伯文(Bowen Li) , 黄若南 , 刘淑娅(Shuya Liu) , 于欣冉 , 王瑞康 , Yanna Wang(王燕娜) , 张开河 , 劉紀範 , 郑邹 , 莱弗 , 黄太宇 , 肖梦珍 , 朱朝晖 , 刘伟(音译) :
BOLE如何识别、培养和评判用户体验(UX)人才? 激发和设计明天的有趣体验。 HCI(20) 2023 : 16-26 2022 [公元19年] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) :
CLL中的编码安全 R(右) . 西奥。 计算。 科学。 897 : 64-82 ( 2022 ) 【c7】 朱朝晖 , 马克·卡斯特纳 , Shin’ichi佐藤 :
通过模拟患者行为辅助诊断鹦鹉螺。 MMM(1) 2022 : 299-310 [i10] 慧丽星 , 朱朝晖 , 张金进(Jinjin Zhang) :
认知交互的微积分。 CoRR公司 abs/2206.14506 ( 2022 ) 2020 [公元18年] 丁晓 , 王倩玉 , 蔡铭(Ming Cai) , 朱朝晖 , 赵伟明 :
A3ID:一种基于知识图的智能家居隐式干扰自动检测方法。 IEEE互联网事物杂志。 7 ( 三 ) : 2197-2211 ( 2020 ) [第九章] 李兴坛 , 朱朝晖 , 张金进(Jinjin Zhang) :
抽象论证的分级语义:基于扩展的案例。 CoRR公司 abs/2012.10592 ( 2020 )
2010 – 2019
2019 [公元17年] 慧丽星 , 朱朝晖 , 张金进(Jinjin Zhang) :
协方差-逆变精化模态逻辑。 拍打 6 ( 1 ) : 1-30 ( 2019 ) 【c6】 林忠阳 , 金祥龙 , 朱朝晖 , 潘少军 , 赵旭东 :
基于大数据分析的长江三角洲平原BZK01孔上新世以来沉积相及古环境意义。 CSIA公司 2019 : 265-276 2017 [公元16年] 朱朝晖 , 黄文生 :
有限理性、股票错误定价和公司投资。 高级计算杂志。 智力。 智力。 信息学 21 ( 6 ) : 1056-1064 ( 2017 ) 2015 [公元15年] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) :
关于CLL中方程的最大解 R(右) . 信息处理。 莱特。 115 ( 11 ) : 903-907 ( 2015 ) [公元14年] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) , Yong Zhou(永州) :
公理化Lüttgen和Vogler对CLL中有限过程的现成模拟 R(右) . J.应用。 日志。 13 ( 4 ) : 654-675 ( 2015 ) [j13] 张燕(音译) , 朱朝晖 , 张金锦 :
关于逻辑LTS上的递归操作。 数学。 结构。 计算。 科学。 25 ( 6 ) : 1382-1431 ( 2015 ) [i8] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) :
CLL中方程的最大解 R(右) . CoRR公司 abs/1502.03629 ( 2015 ) [i7] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) :
CLL中有限过程的公理化Lüttgen和Vogler就绪模拟 R(右) . CoRR公司 abs/1502.03636 ( 2015 ) 2014 [公元12年] 张金进(Jinjin Zhang) , 朱朝晖 :
交替近似双相似的模态特征。 形式方法系统。 设计。 44 ( 三 ) : 240-263 ( 2014 ) 【c5】 魏牧 , 哲晨 , 杰田 , 朱朝晖 , 狄东 :
一种新的基于Pansharp的PET/CT图像融合方法。 ISBI公司 2014 : 1140-1143 [i6] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) :
$\text中方程的最佳解 {CLL}_R $及其应用程序。 CoRR公司 abs/1411.0756 ( 2014 ) 2013 [i5] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) :
关于逻辑LTS上的递归运算。 CoRR公司 abs/1301.3350 ( 2013 ) 2012 【c4】 张金进(Jinjin Zhang) , 朱朝晖 , 王丽松 :
控制系统和有限抽象对时序逻辑的满足。 ROCOND公司 2012 : 734-739 [i4] 张燕(音译) , 朱朝晖 , 张金进(Jinjin Zhang) , Yong Zhou(永州) :
带逻辑运算符的过程微积分。 CoRR公司 abs/1212.2257 ( 2012 ) [i3] 张金进(Jinjin Zhang) , 朱朝晖 :
交替近似相似性的模态表征。 CoRR公司 腹肌/1212.5139 ( 2012 ) [i2] 张金锦 , 朱朝晖 , 杨建飞 :
有限交替转换系统的控制策略算法。 CoRR公司 abs/1212.6607 ( 2012 ) [i1] 朱朝晖 , 张燕(音译) , 张金进(Jinjin Zhang) :
合并过程代数和基于动作的计算树逻辑。 CoRR公司 abs/1212.6813 ( 2012 )
2000 – 2009
2008 [公元11年] 张金进(Jinjin Zhang) , 朱朝晖 :
用(eta,alpha)-双相似性表征分支距离。 Inf.计算。 206 ( 8 ) : 953-965 ( 2008 ) 【c3】 张金进(Jinjin Zhang) , 朱朝晖 :
基于lambda-Bisimilarity的行为伪度量。 QAPL公司 2008 : 115-127 2007 [公元10年] 张金进(Jinjin Zhang) , 朱朝晖 :
λ-双相似性的模态表征。 国际期刊软件。 信息学 1 ( 1 ) : 85-99 ( 2007 ) [公元9年] 张荣 , 朱朝晖 :
等价优先模型的代数特征。 J.塞姆。 日志。 72 ( 三 ) : 803-833 ( 2007 ) [j8] 朱朝晖 , 肖文杰 :
非单调推理关系的两个表示定理。 J.日志。 计算。 17 ( 4 ) : 727-747 ( 2007 ) 【c2】 张伟(音译) , 滕绍华 , 朱朝晖 , 傅秀芬 , 朱海滨 :
一种改进的周期任务可变时间片Least-Laxity-First调度算法。 国际电工委员会 2007 : 548-553 2006 [j7] 朱朝晖 :
优先模型之间的相似性。 西奥。 计算。 科学。 353 ( 1-3 ) : 26-52 ( 2006 ) [j6] 朱朝晖 , 张荣 , 山路 :
用一般规则公理化的内射模型类的特征定理。 西奥。 计算。 科学。 360 ( 1-3 ) : 147-171 ( 2006 ) 2003 [j5] 朱朝晖 , 李斌(Bin Li) , 西安晓 , 陈师父 , 吴家柱 :
一个恢复满足wci的收缩关系的表示定理。 西奥。 计算。 科学。 290 ( 1 ) : 545-564 ( 2003 ) 【j4】 朱朝晖 , 西安晓 , Yong Zhou(永州) , 吴家柱 :
推理关系和内射模型的正规条件。 西奥。 计算。 科学。 309 ( 1-3 ) : 287-311 ( 2003 ) 2002 [j3] 朱朝晖 , 潘振华 , 陈师傅 , 朱伍佳 :
估价结构。 J.塞姆。 日志。 67 ( 1 ) : 1-23 ( 2002 ) 2001 [注2] 朱朝晖 , 张东墨 , 陈师父 , 吴家柱 :
非单调结果的一些贡献。 J.计算。 科学。 Technol公司。 16 ( 4 ) : 297-314 ( 2001 ) 2000 [j1] 张东墨 , 朱朝晖 , 陈师父 :
默认推理和信念修正:一种句法独立的方法。 J.计算。 科学。 Technol公司。 15 ( 5 ) : 430-438 ( 2000 ) 【c1】 朱朝晖 , 本·李 , 陈师父 , 吴家柱 :
估值排名优先模型。 韩国 2000 : 647-653