自动化技术、计算技术
-
脑信息数据分析方法研究杨孝敬本文以脑电、眼动、核磁共振实验及ACT-R仿真为基础，进行视觉决策及静息态、任务态的脑信号数据研究，针对眼动技术在人-Web交互中应用所遇到的几个主要问题提出相应的解决方案，并验证方法及模型的正确性。这些成果能够促进认知心理学与人机交互的融合，为构建自然、和谐、智能的人-Web交互提供支持。 -
人工智能小超人暂缺作者《人工智能小超人（中学版）》用轻松愉快、通俗易懂的语言，以及充满趣 味的图示，帮助读者了解什么是人工智能，学习编程 基础知识，通过一个个有趣的项目实施，锻炼逻辑思 维能力、创新能力和解决问题的能力。 -
Büchi自动机模型检测及其安全性分析应用研究王曦，欧阳城添在航空航天、交通运输、核电能源和医疗卫生等安全苛求领域，系统的安全性尤为重要，为了确保系统安全，防止灾难性事故的发生，科技人员提出了诸多理论和方法，其中模型检测以其简洁明了和自动化程度高的优点而引人注目，其算法和应用研究成了学术界和工业界研究的热点话题之一。《Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库》在讲解模型检测基础理论与基本方法的基础上，主要介绍笔者以广义Büchi自动机为研究对象，在模型检测算法及其安全性分析应用研究方面所取得的**性研究成果，主要包括基于启发式NDFS的模型检测算法、基于启发式SCCs的广义Büchi自动机判空检测算法、基于启发式on-the-fly的扩展TGBA模型检测算法、基于场景分析的系统形式化模型生成方法、基于模型检测的系统安全性验证方法、基于故障注入的模型检测分析、铁路车站联锁系统的安全性分析研究。《Büchi自动机模型检测及其安全性分析应用研究/江西理工大学优秀博士论文文库》可以作为计算机软件与理论、计算机应用、软件工程、自动化控制、信息安全、网络空间安全等专业类研究生课程教材，也可以作为相关领域科技人员的参考用书。 -
《陕西省安全生产条例》释义何少林暂缺简介... -
城乡维护特种机器人结构优化设计及力学分析史春雪，聂永红，庞小兵《城乡维护特种机器人结构优化设计及力学分析》内容来源于湖南省教育厅一般项目1项和长沙市科技局计划项目1项，并且由共计6～10项国家专利作为支撑，并由“湖南省十二五重点建设学科——机械设计及理论”和“湖南省硕士点重点建设学科——机械工程”提供资金支持。《城乡维护特种机器人结构优化设计及力学分析》重点阐述了有关于市政服务的，三种创新设计的智能机器人——道路自动检测修补机器人、电线杆攀爬机器人、飞碟式直升机的优化设计理论和方法，以及机器人结构的力学建模和分析研究，具备了较高的前沿性和参考价值。 -
西北地区矿产地质遥感应用研究李文渊，王永和暂缺简介... -
人机交互设计与人工智能暂缺作者《人机交互设计与人工智能》是作者在多年的科研实践基础上，吸取国内外多种人工智能教材的优点，参考国际上新的研究成果编写而成，具有科学性、实用性、可读性等特点。《人机交互设计与人工智能》共包括十一章，分别为：人工智能概述、互联网智能、物联网的传感器技术、物联网通信技术、计算机网络基础、云计算与移动互联网与移动IP等。《人机交互设计与人工智能》可以供从事人工智能研究与应用的科技人员学习参考。 -
信息物理系统典型应用案例集中国电子技术标准化研究院本书在系统阐述信息物理系统来源、发展与内涵的理论基础上，对中国制造业的信息物理系统优秀实践案例进行总结和提炼，通过28 个典型案例展现了制造企业与解决方案供应商2 个主体的实现方式，以及钢铁、轨道交通、石化、电子、汽车、航空、船舶等15 个行业的应用成效，实现了理论与实践的融合，对进一步推动信息物理系统的落地推广和创新发展具有借鉴意义。 本书可为致力于制造业转型升级的主管部门、制造企业、解决方案提供商、科研院所及有意了解信息物理系统的社会各界人士提供参考。 -
非线性共振式与耦合共振式振动时效装置研究蔡敢为，李岩舟，黄院星，王汝贵多自由度的可控机构式装载机是一种将可控机构应用到工程机械领域而开发的新型装载机，为了进一步研究此类多自由度可控装载机构新构型，本书分析研究了现有装载机工作装置的工作原理和结构特点，利用胚图插点的方法得出了平面两自由度五杆、七杆、九杆机构所有拓扑胚图类型；根据可控机构式装载机结构特点，确定拓扑胚图中的功能构件，将满足条件的拓扑图转换为装载机构；通过提出可控装载机构择优准则，对所得构型进行分析和优选，得到可控装载机构佳构型。 -
穿戴式与便携式生化传感检测技术暂缺作者暂缺简介...
