基于知识的注塑模顶出设计

针对顶出设计中顶杆类型选择和顶出位置的确定，提出了塑件形状特征模型．在此基础上，运用产生式规则推理获得适合该塑件的最优类型顶杆，运用基于实例的推理确定顶出位置和所需顶杆数量；对实例的框架表示法和基于模糊相似度的实例相似性度量等进行了研究，并给出了相应的算例．规则推理和实例推理是使用已有经验来解决新问题的两种不同的方法，将这两种技术用于顶出设计，以克服设计者经验不足的问题．     

基于复合表的近似拓扑推理

采用宽边界模型表示不确定区域，基于4-交模型对简单不确定区域间的拓扑关系进行了完备分类，得到在较粗粒度上的不确定区域间的11种完备拓扑关系，即disjoint，meet，α-meet，β-meet，γ-meet，overlap，covereclBy，covers，inside，contains，equal．然后给出了这些基本拓扑关系之间的复合规则，并将这些规则总结在一个复合表中．关系复合表的建立为空间数据不确定性处理建立了推理基础，并为建立能处理不确定性的空间数据库和地理信息系统做了理论准备．     

利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题

提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生.最后,以一个真实的案例说明模型的应用.本方法适用于着色Petri网的仿真工具CPN Tools.     

专家系统中不确定推理模型研究

根据现有不确定推理模型的组成和推理特征,抽象归纳出一种基于产生式规则的不确定推理模板模型。该模板模型具有合理的组成框架结构和接近人类专家推理方式的工作过程。该模型可以帮助我们对不确定推理模型的不确定性知识表示和推理机制进行分析比较。     

基于模糊推理的青铜器鉴定专家系统

目的辅助青铜器鉴定,提高鉴定的准确性和效率。方法采用基于加权模糊逻辑的模糊知识表示方法和模糊推理方法。同时,讨论了青铜器鉴定专家系统的结构与功能。结果所采用的模糊推理方法解决了原系统中采用传统逻辑推理方法带来的子证据对于结论地位完全平等的问题。结论实验证明,该模糊推理方法可以极大地提高青铜器鉴定的准确性和效率。     

基于分级规划的工艺决策推理与知识管理策略

论述了基于分级规划的工艺决策推理控制策略,混合式推理策略以及工艺决策知识和数据管理策略。推理控制策略将复杂的工艺决策推理机分解成性质不同的三个子推理机,简化了推理机的结构,混合式推理策略综合了变异性,创成法以及人机交互法的优点,便于解决复杂多变的工艺决策问题,工艺决策知识管理策略使工艺决策知识和数据按三个子推理机分类存储,从而便于规则的搜索,存储,管理与维护。     

改革高师数学教育专业应用数学课程结构,提高学生综合能力 --实例教学法的研究与实践

就实例教学法的意义进行了讨论,研究了实施实例教学的三个步骤,并指出了在面向２１世纪的人才培养中,实施实例教学、改革旧的教学模式的必要性和紧迫性。     

次协调逻辑下的自动推理

引进了一套次协调逻辑系统－注解逻辑的线性归结方法后,在探讨的过程中提出了若干命题,并用一个推理实例表明在该系统中产生次调性后,仍然可以进行正常的推理。     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

用于故障诊断的集成型智能系统

故障诊断是人工智能的一个重要研究内容．分析了现有故障诊断方法（基于规则、基于模型、基于人工神经网、基于案例）的各自特点和局限性．提出了集成现有故障诊断方法（规则、模型、人工神经网、案例）的故障诊断系统及其系统结构．从知识获取和表示、推理和诊断、机器学习方面,说明该新系统能结合现有故障诊断方法的互补性并克服存在的局限性,并且能提高故障诊断的智能性及效率．