基于一阶动态逻辑的Agent行为推理及其哲学反思 郝一江 著.pdf
《基于一阶动态逻辑的Agent行为推理及其哲学反思》从人工智能的视角，研究了“基于一阶动态逻辑及其扩展系统的Agent行为推理”，并对相关问题进行了哲学反思。具体内容包括：作为一阶动态逻辑的基础系统的命题动态逻辑、一阶动态逻辑系统及其复杂性与表达力、基于类型命题动态逻辑的行动类型
一江
再生混凝土损伤分析 彭一江,应黎坪 著.pdf
再生混凝土材料的应用技术是一项重大的工程课题，其细观结构与宏观力学性能关系及破坏机理研究是十分重要的科学问题及学科前沿热点。本书结合这一学科热点课题，针对再生混凝土材料细观结构的细观力学分析方法开展系统深入的研究，提出了平面和空间的静动态损伤问题的基面力单元法模型，发展了多种再生
单片微机原理与接口技术.pdf
本书包括微机原理基础知识、MCS-51单片机指令系统、汇编语言程序设计、单片机并行和串行总线扩展技术等内容。
再生混凝土细观分析方法.pdf
再生混凝土材料的细观结构与宏观力学性能关系问题是一项重要的工程与科学问题及学科前沿研究课题。本书内容围绕静、动态损伤问题的新型有限元法——基面力元法及再生混凝土材料细观损伤仿真模拟分析方法探索方面展开。 全书分三部分。第一部分包括第2章~第5章，介绍基于势能原理的基
细胞生物学考研精解.pdf
本书介绍了细胞的基本知识、细胞生物学的研究方法、细胞膜与细胞表面、细胞基质与内膜系统、线粒体与叶绿体等内容。
基面力单元法.pdf
基面力单元法是一种以基面力为基本未知量的新型有限元法。本书内容围绕基于余能原理的基面力单元法理论体系及其应用展开，共13章。第1章介绍基面力单元法的研究背景、特色和展望；第2章介绍基面力的概念和基本理论；第3章研究二维线弹性问题的余能原理基面力单元法；第4章研究凸多边形网格的
细胞生物学考研精解（第二版）.pdf
本书在第一版的基础上，以高等院校细胞生物学教学大纲为依据，以国内通行教材为基础，参考各高等院校和科研院所研究生入学考试试题，精心编撰而成。全书分三部分，第一部分按章节知识体系对各章重要考点加以解析，并附有大量试题；第二部分为试题的参考答案；第三部分为全真模拟试题，主要参考各重点院