车辆路径问题的形式化及其知识表示方法研究

针对目前车辆路径问题(Vehicle Routing Problem,VRP)求解方法缺乏动态自适应能力这一缺陷,从面向问题的角度出发,研究车辆路径问题的形式化和知识表示。通过深入分析车辆路径问题及其特点,提出了基于知识的车辆路径问题的形式化方法及车辆路径问题的树状知识表示方法,并以此为基础,实现了车辆路径问题的知识表示支持系统,为模型自动生成和问题求解创造条件。     

提案-验证通用推理及在铁路选线中的应用

为开发可直接利用软件工程中事实知识并能在智能铁路选线系统中重用的推理机,提出并实现了提案-验证通用推理模型．用面向对象技术表示知识,使用规则层次模型,把知识表示为事实知识、约束知识、启发知识、策略知识和目标验证知识;采用双层形式化模型,把知识可阅读和可执行形式联系起来;把问题求解知识表示为推理控制知识,用目标验证知识描述任务目标,实现推理机与控制策略分离．推理基于数据驱动方式,利用反射技术实现动态模式匹配和规则执行;用分类组织知识和按领域特征排列知识对象的冲突消解机制,使推理有序进行．提出的方法已成功应用于新建铁路的线路平面自动生成．     

PROLOG程序访问DBF文件的方法研究

对知识系统与数据库间的耦合问题进行了一些研究，在介绍了一般方法后，提出了利用Ｐｒｏｌｏｇ元程序设计实现的新方法，并能与一种面向对象的知识表示方法＾［１］相适应。     

肺癌诊疗专家系统的开发研究

介绍了实时肺癌诊断治疗专家的系统的组成,结构以及专家系统实现的知识表示,推理机制和实现方法。     

对称卡诺图计算机辅助设计及卡诺图高维块的双码表示

对称卡诺图计算机辅助设计(CAD)的开发是为数字电路逻辑设计服务的,应用本程序在进行逻辑化简时,既直观又不受变量数量限制,即使变量过多也不觉繁琐。本文还介绍了卡诺图高维块的双码表示的新方法。     

模式类及其上的知识表示和推理

指出知识之间的关系广泛存在，这些关系正是插值推理所需要的。然而还没有一种容纳知识之间的关系的知识表示的方法，模糊推理方法隐含了这些知识但没有明确地表示出来。文中还建立了一种表示不确定知识的框架－模式类，此框架用于表示知识之间的关系，并且建立了在此框架上进行知识推理的方法，该方法可以应用到传统模糊推理能够应用的地方，且应用范围更广。     

基于XSLT的知识表示方法研究

由于知识库缺乏统一的标准和规范,知识库资源存储格式各不相同,导致了严重的重复投资和信息资源的浪费.针对当前知识表示的共享问题,文中在XML表示知识方法的基础上,从技术的角度提出一种基于XSLT的知识表示方法,能有效增强知识表示可读性与可扩展性以及基于网络的共享问题.用实例验证该方法的可行性并简要地总结了该方法的优点、前景和值得改进之处.     

智能并行设计的知识状态研究

提出了一种产品设计知识的网络图表示及其运行机理模型。对产品设计的知识状态、知识表示及其影响因素进行了探讨，并着重研究了基于模型知识和基于实例知识的网络运行机理，最后对该模型的实际工程应用进行了展望。     

车辆动态称重系统的设计

介绍一种动态称重系统的结构和实现方法,主要功能是动态测量行驶车辆的轮胎受力,并计算相应静态车辆重量,实现全自动、不停车计量。硬件设计中重点介绍数字电路的构成,A/D转换器、信号放大与偏置电路和无线通信接口。软件设计中提出了根据实际采样波形而设计的数据处理方法。     

电容器在数字电路电磁兼容性设计中的应用

分析了数字电路常见的干扰种类及产生原因,根据电磁兼容性设计的要求,指出电容器在数字电路抗干扰中的重要作用,并提供了重要参数,给出了实际电路中电容器的选择及使用方法.