离散混沌测量矩阵构造及其性能研究

若测量矩阵满足约束等距性(restricted isometric property, RIP),则样本能够完美恢复出原始信号。而对于给定矩阵很难验证其是否满足RIP需求,因此,本文采用李雅普诺夫指数作为一种针对离散混沌测量矩阵的验证指标。首先分析了RIP与李雅普诺夫指数之间的联系,然后给出了一种分段式混沌映射构造方法用以提高混沌性能,并从理论和仿真上证明了该方法的有效性。实验结果表明,这种方法不仅提高了混沌序列的随机性和自相关性,而且所生成的测量矩阵也具有更好的性能。因此,引进李雅普诺夫指数是一种有效的验证离散混沌测量矩阵性能的方法,提高李雅普诺夫指数能够提高混沌测量矩阵的性能。     

求解隐式差分方程的一类高精度并行迭代法

为提高并行迭代法的计算精度,提出了一类高精度、无条件稳定、三层格式的并行迭代算法。用矩阵理论证明了迭代的收敛性,推证了网格加密时的渐进收敛性质。结果表明:对三层格式进行迭代处理,不仅能保证其计算精确度,而且具有很好的收敛速度与渐进收敛性质。数值算例验证了理论分析的正确性,表明了算法的可行性与有效性。     

模糊划分有效性函数的构建与应用

首先在常规的Bezdek模糊划分模型的基础上,引入了考虑权重的模糊划分模型;并根据数理统计中的方差分析理论和信息论中的信息熵理论,构建了模糊F统计量、模糊划分熵,F统计量用来确定最佳划分数,模糊划分熵用来检验模糊划分的有效性.最后通过实际算例对这两个函数的判决功能和F统计量的鲁棒性进行了研究.     

数字系统模块化分割原理及其在EDA中应用

为了加快数字系统的设计仿真，提高设计效率，提出了IP核模块化仿真方法。应用数字系统模块化分割原理，通过将数字系统分解为若干个子模块，在EDA(Electronic Design Automation)中先建立子模块系统的IP(Intellectual Property)核，再应用子模块IP核构造数字系统进行数字仿真。证明了数字系统的可分割性理论基础。应用仿真结果表明：采用IP核模块化仿真方法能够简化数字系统设计仿真，提高设计效率。所提出的IP核模块化仿真方法具有较好的实用价值。     

组织决策过程及其涌现性研究

取得决策优势是信息化战争的关键问题之一。重大的战略决策往往是组织决策。如何对组织决策过程进行有效管理和控制，以实现整体大于部分之和的组织增效潜力，是组织决策理论需要研究解决的重点问题。本文研究了组织决策过程的复杂性及其中的涌现现象，分析了涌现性对组织决策效能的作用和影响，提出对组织决策过程中的涌现性进行控制，是组织决策过程管理控制的重心，也是提高组织决策效能的重要途径。     

最大速度恒定的连续Petri网(CCPN)的性质及判定方法

最大速度恒定的连续Ｐｅｔｒｉ网是由Ｄａｖｉｄ等最早提出的一类时延连续Ｐｅｔｒｉ网模型,但并未对其性质给出确切的定义及相应的判定方法。文「１」中给出了ＣＣＰＮ的演变图及其构造算法,本文在给出ＣＣＰＮ以对扬系统进行性能分析。     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

欧美关于数字图书馆的纷争与启示

近年来欧美国家关于数字图书馆的一系列纷争,从一贯的知识产权焦点深化至本国文化地位等多层视角,给中国的数字图书馆建设带来诸多启示与借鉴。     

基于区域叠合有限元技术预测三维编织复合材料弹性性能

本文基于区域叠合有限元技术预测三维四向编织复合材料弹性性能。在该方法中,分别建立相互独立的纤维增强相有限元模型和复合材料整体区域(包括所有增强相和基体相所占几何空间)有限元模型,两相模型在空间叠合组成复合材料模型,运用节点自由度耦合技术使两相模型满足变形协调关系,通过对两相模型赋予适当的材料属性以使所建复合材料模型具有与实际复合材料等效的力学特性。该方法较传统方法显著缩短了建模时间,降低了建模难度。区域叠合法的数值模拟结果与传统方法预测结果一致。本文的研究为进一步研究编织复合材料非线性宏观力学特性和渐进损伤过程模拟奠定基础。