高压流体量热热物性研究
基本信息
结项摘要
本课题组自1994年1月 开始执行本课题《基于发结方法的定理机器证明》以来，围绕归结推理方法，按照课题的研究计划和研究内容，深入细致地开展了研究工作，取得了一批重要的研究成果。发表学术论文26篇，其中中国科学1篇，计算机学报9篇，软件学报6篇，吉大学报3篇，计算机科学3篇，国际国内会议6篇；另有若干成果待发表；出版学术专著2本。获吉林省教委科技进步一等奖一次（1995年）。在一下几方面取得成果：1、经典逻辑基于归结方法的定理机器证明；2、布尔算子模糊逻辑及其归结形式推理；3、模态逻辑的归结推理方法；4、非单调逻辑的形式推理；5、约束可满足问题求解方法、溯因推时及其应用。
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
Numerical investigation on aerodynamic performance of a bionics flapping wing
赵冠春的其他基金
相似国自然基金
高压流体量热热物理性研究
铈的高压相变与物性研究
单分散Ⅲ-Ⅴ半导体量子点胶体合成及其物性调控研究
高温高压流体热物性的测定及热物性预示研究