智能工作站英汉规则知识库设计

本文介绍了中日国际合作开发研究的Ａ１型智能网络（Ａ１型ＩＮ）智能工作站（ＩＷ）中英汉规则知识库（ＲＫＢ）的设计模型。该模型采用概念编码的方法构造规则知识库，具有效强的扩充性和实用性。规则知识库支持智能工作站进行自然语言交互和理解。     

IW的基于神经网络的SVKB的实现

本文介绍了中日国际合作开发研究的Ａｌ型智能网智能工作站主机的植物分类服务知识库的实现。     

Al型智能网络的智能工作站开发研究：一个多微机并行…

本文介绍了中日国际合作开发的Ａｌ型智能网络智能工作站的重要组成部分－－多微机并行推理系统，提出了一个“立方体式结构”的并行处理硬件支持环境的实现方案。     

IW的基于神经网络的SWKB的实现

本文介绍了中日国际合作开发研究的Ａｌ型智能网（Ａｌ型ＩＮ）智能工作站（ＩＷ）主机的植物分类服务知识库（ＳＶＫＢ）的实现。植物分类ＳＶＫＢ由基于神经网络的植物分类专家系统生成．生成的植物分类领域的ＳＶＫＢ为全互连式多微机并行推理系统的实现提供领域知识。     

融合工业控制操作的攻击建模

现有工业环境攻击图缺少协议漏洞、攻击语义和控制操作的关联展示，导致智能制造系统攻击图的表述存在缺失，且系统流程操作对底层设备影响无法在图中进行描述。为此，该文对攻击图语义和攻击图模型进行研究，提出了工业环境下专有协议和特定攻击的攻击图关联规则，基于搜索算法生成扩展语义的智能制造系统攻击图。同时，设计了包含漏洞层、主机层、操作层的三层攻击图模型，利用操作与主机的映射关系将智能制造系统业务操作融入到攻击图中进行关联展示。实验结果表明，所提的扩展规则和模型可以较好地丰富和描述智能制造系统的多步攻击过程。     

A1型智能网络的智能工作站开发研究──一个多微机并行处理系统的硬件环境

本文介绍了中日国际合作开发的Ａ１型智能网络（Ａ１型ＩＮ）智能工作站（ＩＷ）的重要组咸部分一多微机并行推理系统（ＭＭＰＩＳ，提出了一个“立方体式结构”的并行处理硬件支持环境的实现方案。     

焊接机架智能设计系统

研制了一个面向焊接机架的智能设计系统。通过建立基于层次数据结构的焊接机架模型,用以表示机架的功能特征、几何信息、杆件组成和连接关系,利用该模型支持焊接机架从概念设计到详细设计全过程的智能设计活动,包括基于知识规则的杆件方位的自动确定、杆件端部拼接形式的自动确定、二维工程图自动生成和尺寸自动标注。     

IW主机的多微机并行推理系统研究

本文介绍中日国际合作开发研究的Ａ１型智能网智能工作站主机的多微机并行堆理系统硬件实现方案。     

ICAI系统结构模型与知识库的研究与实现

本文阐述了智能计算机辅助教学的定义、特点以及ICAI系统在研究中存在的难题,并提出了智能计算机辅助教学(ICAI)系统的结构模型和知识库的实现方法.     

智能LED照明系统的研究与设计

分析了学校、办公室等地点照明和LED灯的的特点,利用人工智能原理,设计了智能高效LED照明系统,并进行了分析说明,利用基于专家知识的数据融合技术,建立了知识库,设计了温度、人体检测、照度检测及PWM电路,经过实验达到了要求,本研究成果可组合应用到照明领域,对近一步开发智能LED照明系统具有一定的意义.     

SlightDetection：一种以太坊智能合约安全漏洞的静态分析工具

以太坊智能合约若存在安全漏洞，则会导致无可估量的损失。为缓解该问题，提出了一种以静态程序分析技术实现代码全覆盖的智能合约漏洞检测工具SlightDetection。该工具将智能合约源代码转化为对应的抽象语法树，并翻译为XML中间表示；以几个经典漏洞的特征为例，书写自定义的XPath规则库；将XML中间表示与XPath库作为输入不断遍历XPath规则库并进行匹配，最终得到漏洞检测的报告。该文测试了3个经典合约，充分展示了SlightDetection具有更快、更准确的检测特性；对Etherscan上提供的大量智能合约进行测试并对其中100多份合约进行了手动验证，进一步证明了该工具的有效性。     

基于智能门禁的匙锁多类关系共存机制及实现算法研究

在提出多类关系并存智能门禁工作模型的基础上,通过对门禁匙锁进行概念抽象,匙锁关系数学分类,建立了较为全面的可计算性”匙—锁”多类关系。提出用映射机环节配置方法实现智能门禁中多类关系共存机制,并对环节配置规则进行了严格证明,设计了实现这一机制的实用算法,本机制已付诸实施,各项功能发挥正常,本机制有益于促进智能门禁的后期智能开发,提高智能门禁的整体智能程度,满足社会发展对智能门禁的新要求。     

计算机智能导师系统（ITS）的构思

计算机智能导师系统ITS(Intelligent Tutor System)是智能化教学的一个分支．通过分析智能导师应承担的工作．即对学生所起的教育作用及对教师所起的创作课件和选择教学策略的辅助作用，给出了计算机智能导师系统ITS的模型．并描述了模型中的知识库、学生模型及推理机的实现方法．     

一种实用的知识库模型

提出了一种分级索引知识库的模型，并讨论了一种有效搜索知识库的方法和对知识库的动态管理．该模型自然而动态地表达了知识的层次结构，亦便于在分布环境实现     

考虑柔性负荷接入技术的智能电网线路 规划模型构建

电力建设单位在规划建设智能电网线路过程中，没有重点考虑电网的柔性负荷影响因素，导致智能电网线路覆盖率低、信号强度弱和传输性能差等问题，文章提出了一种考虑柔性负荷接入技术的智能电网线路规划模型构建方法首先，对不同类型智能电网的柔性负荷进行分析，根据分析结果建立对应补偿成本函数，在此基础上将通信可靠性和链路成本作为约束指标，以此构建智能电网线路规划模型，再采用改进小生镜遗传算法求解模型，实现智能电网线路的最优规划建设方案实验结果表明，所提方法的线路覆盖率广、信号强度高、传输性能好，具有较高推广和使用价值     

智能主体间的自动协商及其在电子商务中的应用

定义了智能主体间自动协商中的概念，提出了一对一（one to one）基于智能主体的自动协商的协商模型，并基于此模型构造了一个箕于智能主体的虚拟电子市场原型系统。     

基于agent的并行GA

采用遗传进化技术和多智能体技术相结合的方法，实现了基于粗粒度的并行GA，该方法有利于改进遗传算法的性能，提高遗传算法搜索的效率，文中讨论的并行模型，最大的特点是通讯开销小。     

个体工商户登记智能审批系统设计与实现

【目的】随着建设全国统一大市场、建设高标准市场体系步伐的加快，为更好服务个体工商户创业经营，提供更加高效智能化的服务系统，进一步优化营商环境、激发市场活力、助力经济持续健康发展，需要构建个体工商户登记智能审批模型。【方法】以河南省企业登记全程电子化系统为基础，采用大数据、人工智能等技术，从个体登记智能审批模式的发展背景、工作内涵、课题攻关难点、技术实现路径等方面探索了个体登记智能审批实现的方式方法及技术要求。【结果】构建了一套业务规范、流程标准、运行高效的个体工商户登记智能审批模型，解决了长期悬而未决的堵点难点问题，提高了行政审批效能。【结论】对当前全国推行个体登记智能审批、企业登记智能审批乃至“政务服务智能审批”建设都起到一定的参考和借鉴价值。     

一种基于多库协同的人脸绘制方法

本文通过管理智能化的方法，把建立在数据库、知识库、模型库等多库之上工作的协同器与人脸绘制相结合，由用户通过人机智能界面交互来获取知识，使用知识库驱动的多库协同的软件系统，实现对人脸的绘制功能．     

DBASEⅢ演绎功能的扩充

叙述了为DBASEⅢ扩充演绎功能的方法,将数据库中的记录作为事实,与用户定义的规则结合起来形成知识库,通过建立知识库的内部存贮结构和推理机制,实现了对数据库进行演绎查询的功能。