业务流程建模中流程校验的研究与实现

随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高.提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性.     

基于信息流的中枢疲劳脑电分析

为充分利用多导脑电信息,首次提出运用有向传递函数（DTF）方法,对不同中枢疲劳状态下导联间信息流的强度和方向的变化进行分析。研究结果表明,脑电功能耦合中额一到一顶方向的信息流是大脑皮层联系的一个固有特征,可以有效地刻画安静清醒和疲劳两个状态,长时间脑力劳动任务引起中枢疲劳的增加,进而导致整个频率段占优势的信息流的方向发生了反转,信息流占优势的方向从实验前的顶一到一额方向,转变为实验后的额一到一顶方向。     

引入块内码元频数抽样的块内频数检测识别方案

为识别链路层比特流是否加密,以未加密与加密数据在随机统计特性上的差异为依据,利用随机性检测的方法对加密比特流进行识别.在不同比特流长度条件下对3种典型随机性检测方法的识别率进行了比较研究.针对3种检测方法均对长度较短的未加密比特流识别率较低的问题,在块内频数检测的基础上,提出了基于块内码元频数抽样的比特流预处理方案,以及块内频数检测最优分块长度选择方案,并对预处理方案对识别率的影响进行了分析.实验结果表明,提出的方案可以显著提高块内频数检测对未加密比特流的识别率.     

分段函数在分界点求导的一种简单的方法

介绍了用多项式根的性质与导数极限定理求分段函数在分界点的导数的简单方法。从而拓广了用导数定义求分界点导数的传统方法     

非线性边值问题的一种高精度计算模型

讨论非线性边值问题的一种高精度计算模型 .利用积分值将边值问题转化为形式初值问题 ,构造了一类四阶精度的计算格式 ,证明了收敛性 .通过算例表明该方法收敛速度高 ,计算量小 .     

数值模拟类升力体外形高超声速粘性绕流

采用空间二阶精度的交替方向隐式分解的NND格式求解完全气体假定下的非定常薄层近似Navier Stokes方程 ,并采用抛物化的椭圆型方程生成复杂带翼外形的空间网格。最后给出了类升力体外形在M∞ =8 0 ,α =2 0°下的流场计算结果。     

高精度分数时延滤波器设计的边界拟合Remez算法

在卫星星间测距模拟信号仿真及实际测试中,为提高测距模拟信号精度和系统可用带宽,提出基于边界拟合Remez算法的高精度分数时延滤波器的设计算法。该算法利用Farrow结构的多项式近似思想,采用多项式拟合Remez算法设计滤波器的冲激响应边界系数,通过多相分解实现分数时延滤波器组。该算法改善了当设计的滤波器阶数较高时冲激响应边界的不连续现象,进而降低了群时延误差,提高了精度。仿真结果表明,该算法设计的滤波器的分数时延精度得到了提高,同时系统可用带宽提高近一倍,实现时需使用的乘法器数目也有明显降低。     

试论对抗模拟的基本原理

对抗模拟是作战模拟中的一种重要方法,文章就其基本原理作了系统深入的探讨.通过中外专家的论述,阐述了对抗模拟概念的关键要素.通过对信息流动的分析,进一步剖析了对抗模拟的内涵.对抗模拟这种作战模拟形式具有仿真性、拟剧性、博弈性和不可重复性等特征.按照层次、信息提供的方式、结果评价的方式、实施的方式、运用的工具以及地域等区分了不同类型的对抗模拟.对抗模拟需要的关键仿真技术包括分布交互仿真、人工智能、虚拟现实以及信息网格等方面.     

军用安全模型扩展及其应用

在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析.扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流关系情况下,允许同职权等级用户交流他们共知的信息,以及高职权等级用户访问低职权等级用户他们之间共知的信息.以数字文档安全管理系统为例对扩展模型应用进行了描述.实例表明扩展模型更适合实际系统对信息流控制的要求.     

超声速湍流混合层中小激波结构的实验研究

在对流马赫数为1.24的超声速湍流混合层风洞中,以NPLS实验技术为基础观察到了小激波结构。分析了小激波结构产生时的混合层流场参数,给出了从实验图像中确定对流马赫数的方法,避免了理论分析不必要的假设。探讨了小激波结构产生、发展的一般规律。