中文版 | English

在结果中检索

CASIA OpenIR

浏览/检索结果: 共13条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Machine Learning Methods in Solving the Boolean Satisfiability Problem 期刊论文
Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655
作者:  Wenxuan Guo;  Hui-Ling Zhen;  Xijun Li;  Wanqian Luo;  Mingxuan Yuan;  Yaohui Jin;  Junchi Yan
Adobe PDF(1518Kb)  |  收藏  |  浏览/下载：8/3  |  提交时间：2024/04/23
Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization  
A Brief Overview of ChatGPT: The History, Status Quo and Potential Future Development 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2023, 卷号: 10, 期号: 5, 页码: 1122-1136
作者:  Tianyu Wu;  Shizhu He;  Jingping Liu;  Siqi Sun;  Kang Liu;  Qing-Long Han;  Yang Tang
Adobe PDF(4650Kb)  |  收藏  |  浏览/下载：774/647  |  提交时间：2023/04/26
AIGC  ChatGPT  GPT-3  GPT-4  human feedback  large language models  
A Scalable Adaptive Approach to Multi-Vehicle Formation Control with Obstacle Avoidance 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 6, 页码: 990-1004
作者:  Xiaohua Ge;  Qing-Long Han;  Jun Wang;  Xian-Ming Zhang
Adobe PDF(5284Kb)  |  收藏  |  浏览/下载：188/42  |  提交时间：2022/05/30
Adaptive control  collision avoidance  distributed formation control  multi-vehicle systems  neural networks  obstacle avoidance  repulsive potential  
Maximizing Convergence Speed for Second Order Consensus in Leaderless Multi-Agent Systems 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2022, 卷号: 9, 期号: 2, 页码: 259-269
作者:  Gianvito Difilippo;  Maria Pia Fanti;  Agostino Marcello Mangini
Adobe PDF(1663Kb)  |  收藏  |  浏览/下载：188/38  |  提交时间：2021/11/03
Consensus protocols  directed spanning tree  multi-agent systems  networked systems  second-order consensus  
Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 4, 页码: 905-915
作者:  Chuanliang Xia;  Chengdong Li
Adobe PDF(1761Kb)  |  收藏  |  浏览/下载：134/40  |  提交时间：2021/04/09
Modeling  Petri nets  property preservation  subnet  synthesis  
Computation of an Emptiable Minimal Siphon in a Subclass of Petri Nets Using Mixed-Integer Programming 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 1, 页码: 219-226
作者:  Shouguang Wang;  Wenli Duo;  Xin Guo;  Xiaoning Jiang;  Dan You;  Kamel Barkaoui;  MengChu Zhou
Adobe PDF(1617Kb)  |  收藏  |  浏览/下载：166/46  |  提交时间：2021/04/09
Automated manufacturing systems  deadlocks  discrete event system  mixed-integer programming (MIP)  Petri nets (PN)  siphons  
Resilient Fault Diagnosis Under Imperfect Observations–A Need for Industry 4.0 Era 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 5, 页码: 1279-1288
作者:  Alejandro White;  Ali Karimoddini;  Mohammad Karimadini
浏览  |  Adobe PDF(6170Kb)  |  收藏  |  浏览/下载：145/59  |  提交时间：2021/03/11
Cyber-physical systems  discrete event systems  fault diagnosis  imperfect communication  imperfect observation  Industry 4.0  resilience  
人工智能发展近况 期刊论文
中国计算机学会通讯, 2008, 卷号: 8, 期号: 4, 页码: 15-27
作者:  高小山;  孙吉贵;  李三江;  姚天顺;  陆汝占;  欧阳丹彤;  石纯一;  韩战钢;  曹存根;  郑晓龙;  曾大军;  王飞跃;  陆汝钤
浏览  |  Adobe PDF(2358Kb)  |  收藏  |  浏览/下载：289/93  |  提交时间：2018/03/09
人工智能  
The invariant representations of a quadric cone and a twisted cubic 期刊论文
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2003, 卷号: 25, 期号: 10, 页码: 1329-1332
作者:  Wu, YH;  Hu, ZY
收藏  |  浏览/下载：135/0  |  提交时间：2015/11/08
Automated Theorem Proving  Computer Vision  Invariant Representation  Quadric Cone  Twisted Cubic  
Automated short proof generation for projective geometric theorems with Cayley and bracket algebras - II. Conic geometry 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2003, 卷号: 36, 期号: 5, 页码: 763-809
作者:  Li, HB;  Wu, YH
收藏  |  浏览/下载：182/0  |  提交时间：2015/11/08
Bracket Algebra  Cayley Algebra  Automated Theorem Proving  Projective Conic Geometry