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

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

VaR下两相依风险的最优停止损失再保险

采用双泊松分布的风险模型和方差保费原理,从保险人的角度考虑了两相依风险的最优停止损失再保险,得到了VaR标准下的最优保留值及其存在条件,最后给出例子验证了结果.     

岩石破坏德鲁克-普拉格准则的探讨

岩石的强度理论，反映了岩石在复杂应力状态下的破坏法则，它与岩石的破坏机理密切相关。强度理论，不仅要能解释岩石破坏的原因、破坏的形态，而且要能确定岩石破坏时的应力状态或变形状态．目前的强度理论则多数是从应力的观点来考察材料破坏的．本文就德鲁克-普拉格准则进行探讨。     

试论公允价值计量下的利润操纵及其防范

文中从公允价值相关的背景和理论问题入手,讨论了公允价值在我国的运用和对利润所产生的影响,集中分析了导致利润操纵的原因,重点结合我国国情对公允价值利润操纵的防范问题提出了若干建议。     

新旧会计准则中资产、负债内容比较

自2007年1月1日开始，新企业会计准则率先在上市公司中实施，包括中石油、中石化、中国移动和中国电信在内的24家中央企业同时启用新准则。本文对新旧会计准则中的资产、负债内容进行比较，分析了其中的区别和联系。     

经济语言学视域下的广告语言

经济学对人类经济行为进行了比较成功的分析,语言的经济原则和语用学中合作原则的数量准则都体现了经济学中的效用最大化原理。从语言经济学角度,分析广告语言的经济原则、效用原理和合作原则的数量原则。     

正态分布随机参数的一种估计方法

本文提出了一种最大似然估计方法,可对一般非线性模型中服从正态分布的随机参数的均值、协方差矩阵及其在各观测时刻的取值进行合理的估计。     

钢材冷锻的破裂准则研究

为预测冷锻钢材的延性破裂和变形极限,本文针对静水应力对金属材料内部微孔表面能的影响、静水应力与应力偏量对内部微孔扩展的影响,提出了钢材冷锻时的理论破裂准则,并通过压缩实验和扭、压实验得到验证.     

双剪应力四参数和五参数准则

本文在作者1962年提出的普遍形式强度理论和1983年的广义双剪应力强度理论的基础上,进一步考虑材料强度性质在π平面和拉伸子午线及压缩子午线上的不同变化规律,得出了适用于描述岩土类材料破坏规律的双剪应力四参数准则和双剪应力五参数准则.其特例可适用于金属类材料.研究结果表明,近年来国内外提出的一些著名的强度理论和多参数准则可以作为本文结果的特例或逼近.     

鲁棒极点配置方法

研究一类线性多变量系统的鲁棒极点配置问题，提出了一种基于极点配置和目标函数优化的鲁棒极点配置方法。基本思想是，利用极点配置的参数化表示结果，以系统输出的Ｌ∞范数作为极点配置寻优的准则函数，通过解优化问题的途径确定极点配置问题中的自由参数。