M-Petri网的组合并运算及性质

本文提出了M-Petri网的组合并运算，包括M-Petri网的笛并运算和广义笛并运算、M-Petri网的I型组合并运算和Ⅱ型组合并运算，讨论了保持网的结构性质的条件，为M-Petri网的分析与综合提供了新方法。     

基于广义贝叶斯网的图像模式识别框架研究

为增强机器自适应筛选能力和减少人工干预并最终实现机器自动认知的目标,通过对贝叶斯网的改进,提出了广义贝叶斯网.在其基础上结合图像模式识别理论,定义了图像知识的集合运算、新知识加入等运算以及基于广义贝叶斯网的图像模式识别框架的知识映射变换、表达、存储的统一的抽象结构.在理论上找到了一种图像模式识别框架中知识表达的统一方法,而且对提高图像模式识别过程的机器参与度具有实际的指导意义.     

不等权泛平均运算模型研究

泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的.鉴于现有的泛平均运算模型描述的是一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指出加权算术平均算子、加权几何平均算子、加权调和平均算子、广义加权平均算子等都是其对偶模型的特例.最后比较了广义加权平均运算模型和不等权泛平均运算模型的异同.     

一种利用扩展广义表来实现逻辑表达式自动推导的算法

探讨了如何将数据结构中广义表进行扩展 ,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构 ,以及在这种结构上如何实现逻辑表达式的基本运算 ,进而实现其它复杂的表达式自动推导     

Petri网的笛加运算及性质研究

本文提出了Ｐｅｔｒｉ网的笛加运算、广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。     

Petri网的笛加运算及性能研究

本文提出了Ｐｅｔｒｉ网的笛加运算，广义笛加运算，讨论了保持网的结构性质的条件，为Ｐｅｔｒｉ网的分析与综合提供了新途径。     

软Vague关系再研究

给出了软Vague关系的广义交、狭义交、狭义并、相对补运算的概念,并分别研究了这些运算的若干代数性质。     

不等权泛平均运算模型研究

泛平均运算模型是为了满足连续值逻辑中逻辑折衷的需求而提出的。鉴于现有的泛平均运算模型描述的是 一种理想的等权情况,给出了两种加权算子泛平均运算模型,提出了一种不等权泛平均运算模型及其对偶模型,并指 出加权算术平均算子、加权几何平均算子、加权调和平均算子、广义加权平均算子等都是其对偶模型的特例。最后比 较了广义加权平均运算模型和不等权泛平均运算模型的异同。     

区间复模糊软集的距离测度及其应用

基于区间复模糊软集的概念,定义了多种区间复模糊软集的距离测度公式,包含Hausdorff距离、Hamming距离、Euclidean距离、广义Hausdorff距离、广义Euclidean距离、广义加权Hausdorff距离、广义加权Euclidean距离、加权Hausdorff距离、加权Hamming距离、加权Euclidean距离。提出了除交、并、补运算外的区间复模糊软集的加法、乘法、部分隶属度和部分非隶属度运算以及距离测度之间的运算性质。基于区间复模糊软集距离测度构造了一种TOPSIS决策方法,并将这种决策方法应用于经济分析中,验证了所提方法的可行性。     

线性定常系统的Petri网解耦控制

将Petri网与现代控制理论相结合,应用于连续系统的性能分析如可控性、可观性和稳定性等已日益普遍,但Petri网应用于系统的解耦控制研究很少.提出了广义连续自控网系统的形式化定义,描述了线性定常系统的广义连续自控网系统模型并分析了广义连续自控网系统模型与状态空间描述的等效性.基于状态反馈动态解耦的基本原理,探讨了利用Petri网模型结构实现线性定常系统解耦控制的新方法.该方法采用图的遍历算法,可有效的判断系统的可解耦性以及实现解耦控制律,避免了传统解耦控制方法中计算所需的大量矩阵运算.最后给出了两个具体的应用实例.     

船舶辅机电气控制仿真系统

在WINDOWS操作系统和VisualC 集成开发环境下,利用FlashMX2004开发了一种船舶辅机仿真系统软件。软件设计以方便课堂教学、贴近实际操作、画面生动友好为目标,实现了课堂讲解和实训操练合而为一,该仿真软件已在某海运学院的船员培训中心用于轮机员的培训。文中简单介绍了仿真系统的软硬件结构,并着重介绍了系统设计中采用的几种通信方法。     

广义量子Loop程序初探

在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量子Loop程序在给定输入态上终止的充要条件以及程序终止的充要条件。作为应用,验证了体为酉运算的量子Loop程序嵌套是一个广义的量子Loop程序。     

一种基于对象信息的MIS自适应生成器

为解决MIS在开发和运行过程中因需求频繁变更所带来的开发和维护的工作量上升问题,提出一种新的MIS软件基础模块自适应生成管理器。通过信息化管理MIS的版本、用户与权限、系统结构、系统模块、对象信息、通用视图元素、通用业务逻辑元素和通用数据访问方式,并基于通用的界面层基础元素、业务逻辑层基础元素、数据访问层基础元素和对象信息自适应生成或重构MIS软件基础模块的数据库、交互界面、业务逻辑、数据交互部分和软件内部结构,以达到动态构建和管理MIS软件基础模块,实现基础模块信息化和系统对自身信息化、自动化管理的目的。通过将该生成器技术实现并实际应用于MIS开发,验证其能够较好地应对MIS基础模块的快捷构建与变更,有效降低MIS开发与维护的工作量。该生成器较好地解决了MIS软件基础模块快速构建与重构问题,能较好地应对MIS在开发和运行过程中的频繁变更。     

基于一般逻辑拓扑结构的广播通信研究和实现

在分布存储并行计算消息传递系统中,许多广播通信中的消息传递路径是对程序员透明的,程序员不能改变消息传递路径,但应用程序运行时的情况很复杂。程序员根据计算环境及应用程序特征选择消息传递路径,有助于提高广播通信的效能。在通信过程中,消息标志是用来区分消息的,以便接受进程能正确接受消息。然后,消息标志易导致应用程序出错,而且消息标志增加编制程序的复杂性。文中首先给出了逻辑拓扑结构的形式定义及基本性质,提     

一种基于元数据的柔性操作模型研究

首先介绍了元数据及其发展历程．然后针对行政事务处理系统，提出了一种基于元数据的柔性操作模型（MBFOM）．最后，对微操作的功能、结构和实现进行了具体研究．实践表明，MBFOM具有较强的实用性和普遍性，对提高系统的柔性以及软件重用的程度具有很强的现实意义．     

开放式数控CAM软件关键模块库的设计与开发

针对国内现有数控CAM软件操作复杂和可重用性差的现状,分析了数控CAM软件结构,采用模块化及可扩展性C语言接口设计思想,基于开源C＋＋库dxflib及高效的数控算法开发了DXF文件数据读取、刀具补偿、插补与速度规划、G代码生成的通用CAM软件模块动态链接库。最后,基于通用CAM库开发了一款数控五轴双面铣专用CAM软件,验证了通用CAM软件库的可靠性和实用性。     

可定制办公自动化系统的设计与实现

通过对办公自动化系统现状的分析,提出了一种基于模板的可定制办公自动化系统的结构.强调了文档在流程处理中的重要性,并从界面显示、操作流程和数据存储3个层次构建系统架构.同时还介绍了通用办公集成环境以及系统的动态执行过程,并举例说明系统的使用过程,最后总结出系统各项技术特点以及在安全方面所采取的措施,充分显示了系统在实际应用中的使用价值.     

Combined frequency and time domain technique for the design of compensators for non-linear feedback control systems

Computer based methods are developed for the analysis, synthesis and design of linear compensators for a wide class of single-loop non-linear feedback systems characterized by a separable non-linear element of any general multivalued form. Preliminary analysis is performed in the complex frequency domain applying approximate analytical methods to predict and quantify possible modes of limit cycle operation. Graphical displays are used to determine initial compensator structure which will ensure the avoidance of the critical region in this domain. Subsequently, a numerical synthesis procedure is applied to adjusting the compensator parameters to meet a set of additional time domain functional subject to specified system constraints and, if possible, the absence of autonomous limit-cycle operation.     

一个多机容错系统MPFTS故障恢复的设计与实现

本介绍我们研制的一个多机容错系统MPFTS的故障恢复技术。首先对MPFTS的结构和工作过程进行了概要介绍。在此基础上,分析了该系统不同类型故障恢复的可能性、恢复时机的选择、恢复所要达到的目标等问题。中详细讨论了利用异常中断返回技术实现系统故障恢复所涉及的数据结构及具体运行过程,并对上电升级重构这种特殊的故障恢复情况进行了分析。     

防汛综合数据库集成元数据库设计

根据防汛综合数据库的异构、分布特征,提出集成防汛综合数据库的元数据方法。在介绍元数据的基本内容、元数据标准的基础上,探讨了防汛综合数据库集成的元数据编码原则与总体结构,分析设计了支持防汛综合数据库多数据库集成的元数据库,并在某水库调度决策自动化系统中实现了基于元数据库的分布式多数据库系统的集成。