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

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

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

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

C4ISR体系结构设计方法

系统体系结构的设计在C4ISR系统开发中具有重要的地位,文章深入研究了目前运用广泛的三种C4ISR系统体系结构分析设计方法面向过程分析方法、面向对象设计方法和三维视图方法,分析了各种方法的优缺点并进行了比较;讨论了C4ISR体系结构设计方法和C4ISR系统本身的发展趋势以及两者之间的密切关系,对C4ISR系统体系结构的建设提出了自己的看法.     

三维高超音速复杂流场的分区数值计算

基于拼接网格系统 ,推导了一种适用于高超音速复杂流场分区数值计算的区域边界格式 ,通过区域边界格式对区域边界上的通量进行守恒性处理 ;在此基础上 ,发展了一个高超音速复杂流场分区算法。对高超音速粘性绕流流场进行了分区数值模拟 ,取得了较好的结果。     

三轴磁强计姿态确定

卫星的发展趋向于微小型化 ,研究小型化、廉价和中等精度的自主导航系统是非常必要的。利用三轴磁强计量测的地磁场矢量在仪表坐标系中的分量 ,通过卡尔曼滤波器可以确定低轨道卫星的姿态。根据卫星姿态动力学模型和地磁场模型可推导卫星姿态确定滤波模型 ,进一步提出低轨道卫星姿态确定的滤波算法。仿真算例结果表明 ,三轴磁强计定姿方案可以满足中等姿态精度要求 ,在低轨道卫星自主导航中具有良好的应用前景。     

不同热化学模型对表面传热影响的数值分析

研究不同热化学模型及壁面催化条件对表面传热的影响 ,包括 :(1)不同组元的高温空气模型 (7组元、 11组元 )的比较 ;(2 )热力非平衡 (双温度 )的化学动力过程与热力平衡 (单温度 )的化学动力过程的比较 ;(3)不同壁面催化条件的比较。     

火箭发动机燃烧室内气体非定常流动数值模拟

应用新的ＰＩＳＯ算法对液体火箭发动机内非定常流动过程进行了数值模拟计算。算法采用一步隐式预测、两步显式校正完成每一时间层计算,而不是通常的多次迭代计算,因而大大缩短计算时间。     

分段线性凸费用网络流的两个算法

本文讨论了分段线性凸费用网络流问题,推广了线性费用网络流中的负回路方法和最小费用路方法,从而得到了求分段线性凸费用网络的最小费用流的两个算法。     

带横向射流的绕后台阶超音速外流场的数值模拟

将一股射流喷入超音速外流是飞行器飞行控制的常用方法。本文通过应用MacCormack 显格式和Ba(?)dwin-Lomax 代数湍流模型求解二维可压缩的RANS 方程,对带横向射流的绕后台阶的超音速外流场进行了数值模拟,并给出了流场的速度向量图、等压线图和等马赫线图。与无喷射的情形相比,台阶底部压力增加了一倍左右。     

ARCPI辅助谐振电路优化控制

结合交流全电坦克炮控系统研究的一种三相软开关逆变器——辅助谐振换流极逆变器(Auxiliary Resonant Commutated Pole Inverter,ARCPI)的工作原理,提出了一种辅助谐振电路优化控制方法.采用这种方法,在保证三相逆变器主开关管零电压关断的前提下,可以使辅助开关管的工作次数减少一半,进...