机构

• 软件研究所 [27]
• 理论物理研究所 [15]
• 计算技术研究所 [6]
• 数学与系统科学研究院 [4]
• 武汉物理与数学研究所 [4]
• 沈阳自动化研究所 [3]
• 更多

采集方式

• OAI收割 [65]
• iSwitch采集 [1]

内容类型

• 期刊论文 [48]
• 会议论文 [13]
• 学位论文 [5]

发表日期

• 2023 [2]
• 2021 [2]
• 2020 [2]
• 2018 [3]
• 2016 [7]
• 2015 [3]
• 更多

学科主题

• Physics [14]
• Mechanics [1]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共66条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem 期刊论文  OAI收割 MATHEMATICS, 2023, 卷号: 11, 期号: 1, 页码: 13 作者:  Zhang, Zhidong   |  收藏  |  浏览/下载：3/0  |  提交时间：2023/05/09 spin-glass 3D Ising model  Boolean satisfiability  computational complexity  topology   Machine Learning Methods in Solving the Boolean Satisfiability Problem 期刊论文  OAI收割 Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655 作者:  Wenxuan Guo   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/09/25 Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization   Control of Non-Deterministic Systems With μ-Calculus Specifications Using Quotienting 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 5, 页码: 953-970 作者:  Samik Basu;  Ratnesh Kumar   |  收藏  |  浏览/下载：6/0  |  提交时间：2021/04/09 Discrete event systems (DES)  non-deterministic plant  μ-calculus  supervisory control   Queue assignment for fixed-priority real-time flows in time-sensitive networks: Hardness and algorithm 期刊论文  OAI收割 Journal of Systems Architecture, 2021, 卷号: 116, 页码: 1-11 作者:  Lin YH(林宇晗);  Jin X(金曦);  Zhang TY(张天宇);  Han ML(韩美灵);  Guan N(关楠)   |  收藏  |  浏览/下载：13/0  |  提交时间：2021/05/15 Resource management  Industrial internet of things  Real-time scheduling  Time-sensitive networks   一种布尔公式的代数逻辑约化新方法 期刊论文  OAI收割 计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32 作者:  刘江;  周鸿昊   |  收藏  |  浏览/下载：11/0  |  提交时间：2020/08/24 NP complete problem  Boolean satisfiability problem  1-in-3-SAT  XCNF  X pure literal  NP完全问题  布尔可满足性问题  1-in-3-SAT  XCNF  X-纯文字   Spacecraft Fault Diagnosis Based on Improved A∗ Algorithm 会议论文  OAI收割 Shenyang, China, July 27-29, 2020 作者:  Gao S(高升);  Zhang W(张伟);  He X(何旭);  Zou, Yongming;  Li W(李伟)   |  收藏  |  浏览/下载：25/0  |  提交时间：2020/10/10 A* algorithm  fault diagnosis  fault search  health management system   Empirical investigation of stochastic local search for maximum satisfiability 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 期号: 1, 页码: 86-98 作者:  Chu, Yi;  Luo, Chuan;  Cai, Shaowei;  You, Haihang   |  收藏  |  浏览/下载：39/0  |  提交时间：2019/04/03 empirical investigation  stochastic local search  maximum satisfiability  industrial instances  additive BMS   A computational framework for Karl Popper's logic of scientific discovery 期刊论文  OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10 作者:  Li, Wei;  Sui, Yuefei   |  收藏  |  浏览/下载：11/0  |  提交时间：2019/12/10 belief revision  logic of scientific discovery  approximate deduction  approximation algorithms  feasible computation   Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文  OAI收割 Algorithms, 2018, 卷号: 11, 期号: 9 作者:  Gao, Wei;  Lv, Hengyi;  Zhang, Qiang;  Cai, Dunbo   |  收藏  |  浏览/下载：7/0  |  提交时间：2019/09/17 Monte Carlo methods  Chains  Formal logic  Graphic methods  Markov processes   A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文  OAI收割 中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101 作者:  Li Wei;  Sui Yuefei   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订