(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

故障条件下的联邦滤波鲁棒信息分配方法研究

研究了某个子系统发生传感器故障时,信息分配对无故障子系统的鲁棒性影响问题。基于提高无故障子系统的抗故障污染能力考虑,从使故障影响极小化出发提出了一种鲁棒信息分配思想。对于仅由双子滤波器组成的联邦滤波结构,给出了一种基于故障检测函数的自适应信息分配方法。从概率的角度,根据这种方法可使其他无故障子滤波器具有较强的抗干扰能力。对于具有主滤波器的联邦滤波结构,给出了一种给定故障衰减系数条件下的鲁棒信息分配系数设计方法。理论分析表明,该方法可使其他无故障子滤波器对故障具有很强的抗干扰能力,从而有利于提高联邦滤波器的快速重构能力。仿真说明本文思想是可行的。     

协同设计中基于DSM过程重构的研究

将设计结构矩阵方法应用到复杂产品的协同设计开发过程中，通过分析设计行为之间的信息交互获得DSM的量化表达，利用图论中的强连通分支问题算法识别耦合活动集，并在此基础上根据DSM重构原则对DSM进行模块化的过程重构，同时对块内设计任务进行聚类、撕裂，获得协同设计开发过程中的优化重组，为复杂产品的设计开发提供了有效的解决方法，并通过实例说明了该方法的实用性。     

一类矩阵秩的恒等式及其推广

从Sylvester公式出发,发现一个用以刻画矩阵秩的很漂亮的公式。对这一公式进行推广,并猜想它有更一般的结果。部分地解决了该猜想,并得到了一系列结果。     

可重构制造系统的车间作业调度策略

提出了一种实用的分层调度策略 ,通过对制造系统组织的重构 ,以最小作业生产延迟和最大系统设备利用率为目标产生可行的次优调度方案 .该策略分 3个阶段 :首先 ,采用增广拉格朗日松弛法获得复杂可重构制造系统的车间作业预调度方案 ,该方法能将复杂作业调度问题分解成多个任务层的子问题 ,通过求解子问题获得任务的作业时间和对应工序加工的生产设备类型 ;然后 ,对制造系统进行组织重构以形成多个虚拟制造单元 ,旨在使制造单元内的生产设备间物流传送 (由自动导航小车承担 )费用最小 ;最后 ,通过离散动态规划形成虚拟制造单元的生产作业调度次优可行方案 .通过数值仿真分析 ,该策略能针对快速变化的产品需求 ,有效地重构生产制造系统 ,产生次优的调度方案 .     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

Lorentz变换修正公式

Lorentz变换的根源在于,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个传播速度为光速c的光信号。经过Lorentz变换,认为光速c是一切实际物体运动速度的极限。本文假设,当t’=t=0时,两惯性坐标系K’和K的原点O’与O重合,这时,在其公共原点发出的是一个超光速信号。由此导出了Lorentz变换修正公式,并证明了超光速没有极限值,ds2仍然是Lorentz不变量。同时还导出了相对论速度变换修正公式。由此还可以导出在超光速条件下,惯性坐标系之间的其它变换公式。     

二维非结构三角形网格的非振荡方法

对非结构三角形网络给出了一种非振荡有限体积方法，该方法在最小平方意义下的构造了非振荡重构良好，对二维Burgers方程国标绕流进行了数值计算，得到比较满意的结果．     

n次积分C-半群的表示定理

利用指数有界的n次积分C-半群的基本性质，用两种不同的方法证明了它的指数公式。     

网络系统中的公式表达方法研究

为了探讨网络系统中的公式表达，提出了一种基于XML(eXtensible Markup Language)的公式标记语言FML(Formula Markup Language)．首先分析了FML与网络系统的关系以及FML与MathML的联系和区别，阐述了、ML和MathML并不适合于网络上的传输应用，而且不能作为成熟的规范指导实际应用；然后描述了FML语法，阐述了用FML来表达公式的实现技术，提出了在网络系统中解析和再现FML的工具FML Viewer．探讨FML及其应用，对于XML的研究，具有一定的理论和应用价值．