业务流程建模与测试方法研究

针对复杂业务流程设计测试效率低、自动化程度不高、测试用例正确性难以保证的问题,在研究接口自动机模型的基础上,提出了一种基于模型的业务流程测试方法。该方法首先采用扩展带约束的接口自动机对业务流程设计进行形式化描述,并给出了从业务流程设计模型到带约束的接口自动机模型的转换算法;然后基于模型完成了对业务流程设计与需求的一致性验证,将验证后的接口自动机模型作为业务流程的测试模型,通过其特有的"乐观方法"和博弈思想实现了流程间的嵌套调用组合;最后定义了业务流程的测试覆盖准则,并在满足活动约束条件组合覆盖准则的前提下,设计了相应的测试用例生成算法。实例分析表明:该方法能够简化测试过程,可用于业务流程设计的测试用例自动化生成,有效保证了测试用例的正确性,提高了测试效率。     

结构化主体信息披露过程中相关问题研究

《企业会计准则第41号——在其他主体中权益的披露》的实施,使结构化主体备受关注.在国际会计准则理事会发布《国际财务报告准则第12号——在其他主体中权益的披露》的背景下,我国的第41号准则充分表达了国际趋同.针对第41号准则的核心内容——结构化主体做出分析,对信息披露存在的问题进行探讨,指出存在的问题并提出了改进的相关建议.     

质量控制图评价煎炸油极性组分检测结果稳定性

煎炸油中极性组分指标的检测结果,除了受样品本身均匀性之外还受到层析硅胶柱性能的影响,检测结果有不同程度的波动。结合质量管理中控制图统计方法(6σ原理)和数理统计小概率原理,利用在相对稳定的条件下在一段时间内积累的检测数据,运用控制图来评价实验室检测棉籽煎炸油中极性组分测试结果的稳定性,通过绘制均值-标准差控制图,提前预警测试结果是否处于稳定可控状态。     

岩土体结构失稳概率的二次二阶矩评估方法

常规二次二阶矩可靠性方法只适用于功能函数偏导数(一阶和二阶)能够简便地由解析法求解的工程,使得其难以解决复杂岩土体结构的稳定可靠度问题.针对这一局限,基于数值差分原理,导出功能函数在验算点处各阶导数近似表达式,结合随机变量在X空间和Y空间的变换,构建了基于差分方法的梯度矢量数值求解工具;以该工具置换Breitung二次二阶矩方法中的梯度计算准则,形成一种适用于任意形式功能函数的二次二阶矩可靠度算法,消除了经典方法的局限;利用所提方法解决了功能函数为隐式和未知形式的边坡可靠度问题,展示了该方法解决复杂岩土体结构概率稳定性问题的能力,并同时在基准Y空间内建议了具有普遍意义的合适步长系数值0.01.     

三维MHD方程的正则性准则

研究了三维不可压MHD方程柯西问题,证明了若速度场和磁场的某些分量属于Morrey-Campanato空间,则方程的解在(0,T)是光滑的。     

三维MHD方程在BMO空间中的正则性准则

利用能量估计的方法以及Bernstein、Young等不等式,在BMO空间中得到三维方程用水平速度场和水平磁场刻画的三维MHD方程弱解的正则性准则。     

基于正交子空间类标传播的单标记人脸识别

针对单标记人脸图像识别问题,提出基于正交子空间类标传播和不相关大间距准则的人脸图像识别方法.首先,将带类标样本集规范正交化,在正交化的子空间内进行类标传播,将类标传播到无类标样本上.然后,在所有带类标的样本集上使用不相关大间距准则对数据进行维数约简.最后,在低维空间使用欧式分类器对测试人脸完成识别.在3个人脸数据库PIE、Extended Yale B和AR上进行仿真实验,验证了该方法的可行性和有效性.     

基于模糊递归和最优硬阈值的局部投影降噪算法

针对原始局部投影降噪算法的局部邻域选取问题和子空间划分问题，提出了一种基于模糊递归图和最优硬阈值准则的局部投影降噪算法。首先，利用模糊递归图确定局部邻域范围；然后，再对邻域矩阵进行奇异值分解，并利用最优硬阈值准则对局部邻域的信号子空间和噪声子空间进行划分；最后，进行投影去噪。Lorenz信号的仿真结果表明，所提方法能够提高信噪比并降低均方误差，恢复原始吸引子的形态结构。对实测含噪心电图信号进行处理后，信噪比显著提高，验证了本方法的有效性。     

广义Ekeland变分原理的推广

给出了经典Ekeland变分原理的一个推广,完善并改进了已有文献的证明,并把它推广到了拟度量空间上.     

数列极限问题中夹逼准则的思想探究

通过对数列极限的夹逼准则的分析，以定理与推论的形式指出了夹逼准则解决相关数列极限的思想方法与基本原理，并通过实例说明。然后进一步通过定理与实例，说明借助于这一思想对于特殊和式极限计算时的巧妙之处．