基于广义归纳逻辑因果模型的知识发现与算法实现

以语言场、广义细胞自动机和广义归纳逻辑因果模型为理论依据，分析了广义因果联系类知识的发现机理，给出了因果联系类知识发现的实现算法。该算法为解决具有随机不确定和模糊不确定性特征的因果联系类知识的发现提供了行之有效的方法。通过算法的运行实例，验证和说明了算法的正确性和有效性。     

基于模糊状态描述的不确定因果归纳自动推理机制

文中提出基于模糊语言场和模糊语言结构的知识表示新型框架，并提出能够综合处理模糊不确定性与随机不确定性的广义细胞自动机和广义归纳逻辑因果模型。在此基础上，又提出基于模糊状态描述的新型不确定因果归纳自动推理机制，并讨论其在智能控制器研制中的应用。     

广义标准自动机及其商自动机

文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。     

基于细胞自动机理论的交通流模拟模型

以细胞自动机理论为基础,结合我国城市道路情况及交通流特性,把车辆在路段上运动的变化规律表述为细胞自动机的演变规则,建立了基于细胞自动机理论的交通流模型,标定了细胞长度和最大速度等参数,继而提出了反映车辆在路段上自由驶、跟驰行驶和减速行驶等交通行为的细胞自动机规则,并对各种规则进行了详细说明。     

论现代归纳逻辑的科学认知功能

现代归纳逻辑以帕斯卡概率逻辑、非帕斯卡概率逻辑和因果陈述逻辑为主体,它们的一个共同价值趋向是具有强大的科学认知功能。     

广义因果理论上基于模型诊断过程的形式化

对广义因果理论上基于模型诊断的一般过程进行形式化 ,对它与本原蕴涵 /蕴涵式的直接关系进行论证 ,从而将理论结果与实现联系起来 .表明该结果不仅能够计算只已知部件的部分故障行为方式时基于模型的诊断 ,还能够计算已知每个部件的各种故障行为方式下基于模型的诊断 ;指出对广义因果理论上基于一致性的中心诊断过程、中心溯因诊断过程的形式化只是文中给出形式化的特例     

基因交互逻辑网络的自动机模型

阐述最近几年来国外应用自动机理论到基因组系统作用与行为的研究新进展,分析了有限状态自动机和细胞自动机应用于基因网络的原理、方法与机制。结合基因网络研究,本文首次提出了一个引入时间自动机模型的思路。     

归纳逻辑程序设计综述

归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景,提出了归纳逻辑程序设计领域需要深入研究的若干问题。     

归纳逻辑程序设计研究

在概述机器学习的基础上,介绍归纳逻辑程序设计这一机器学习方法所使用的逻辑技术,以及ILP的一般问题背景。指出:逻辑在推动计算机系统处理复杂问题上发挥着越来越重要的作用,ILP利用逻辑技术来推进机器学习的过程无疑是它的创新之处,在赞赏ILP优点的同时,也要看到ILP的不足之处。     

模糊极小自动机与约简模糊自动机

引进了模糊极小自动机与约简模糊自动机的概念 ,讨论了模糊有理语言与二者的关系 ,得到了几个重要结论 .     

舰船主甲板模型感应磁场的计算

应用电磁场的积分方程法，对大型舰船主甲板模型的感应磁场进行分析与计算．计算结果与实测数据进行比较，其相差在工程允许范围之内．这表明该计算方法可以发展成为获得舰船原始磁场的一种途经     

A cellular automaton evacuation model based on mobile robot''''s behaviors

The research of evacuation in some emergencies, e.g. fire, is of great benefit to reducing the injuries of persons. In this paper, a cellular automaton evacuation model based on mobile robot's behaviors is presented. Each person is treated as an intelligent mobile robot, and motor schemas, including move-to-goal, avoid-obstacle, swirl-obstacle and nervous-motion, drive persons to interact with their environment. The motor schemas are combined with cellular automaton theory, and an evacuation model is built. Evacuation simulation of persons with different move velocities shows that the pre-sented model can predict accurately the evacuation phenomena in some emergencies.     

元胞自动机双车道模型耦合效应研究

将元胞自动机的演化与交通规则相联系，建立元胞自动机交通流模型。研究由快慢双车道组成的交通系统当车道的车辆密度不对称时所引起的系统交通流特性的变化。计算机数值模拟结果表明，在不同的初密度分布条件下，双车道模型呈现出无耦合的自由运动相，有耦合的自由运动相，有耦合的两道各为局部阻塞相与畅通相的混合相似及无耦合的局部阻塞相等各种自组织行为。     

有限扰动模糊逻辑代数及其广义重言式

讨论了有限扰动模糊逻辑代数，给出了判别其子代数的充要条件：将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中，证明了在I^2n中不存在（1，0）-重言式，广义重言不随系统的增大而增多，广义重言式前缀是不灵敏的。     

GAL器件输出逻辑宏单元的通用等效电路

建立了ＧＡＬ器件的输出逻辑宏单元ＯＬＭＣ（ｎ）分别在组态１、组态２及组态３的通用等效电路．它们适用于ＧＡＬ器件中任何一个宏单元；并且各宏单元不仅可以处于相同的组态，而且可以处于同一模式中不同的组态     

舰船主甲板模型感应磁场计算中等效磁化率的应用

利用积分方程法计算舰船主甲板模型的感应磁场时，将甲板下的钢质网格部分应用等效磁化率的概念使其化解成为数不多的钢质实心体单元，从而使计算时剖分单元大为减少，计算速度提高．计算结果能满足工程实际的需要．     

六方格子行人疏散元胞自动机模拟研究

在正六边形网格上建立六方格子行人疏散元胞自动机模型,模拟研究房间内的行人疏散过程,并在3种人员密度（O．1,0．3,0．5）下,比较分析六方子格模型与四方格子模型在房间出口宽度,行人平均速度和平均流量与疏散时间等参数下的差异。结果表明,在同样人员密度下,六方格子模型比四方格子模型平均疏散时间更短,行人疏散得更快,四方格子模型系统平均速度与平均流量比六方格子更大。行人在疏散过程中为了更快地逃离房间可以考虑往多个的方向运动,但是要最大限度地避免出现阻塞,并尽快减少出现阻塞的区域,这样才更有利于疏散。     

一类代数上的诱导代数及广义Kleene—Dienes三值系统

引入诱导代数与广义Ｋｌｅｅｎｅ－Ｄｉｅｎｅｓ三值系统等概念，研究一类代数及其诱导代数的性质，得到若干有用结果。