业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.      

椭圆-箱型-预切分三道次孔型轧制过程的有限元仿真分析

为了优化φ16 mm棒材产品的切分工艺,提高孔型设计精度,借助于ANSYS/LS-DYNA软件,建立有限元实体模型,对φ16 mm棒材产品轧制过程中间道次的椭圆-箱型-预切分3个孔型进行仿真分析,得到各道次轧件在变形过程中的金属流动性规律和应力应变结果.分析表明,在切分工艺生产中,椭圆和箱型孔均在与轧辊表面接触处的金属位移量最大,且呈对称分布.预切分孔型中切分处金属位移量最大;而金属所受的最大有效应力在箱型孔中位于与轧辊接触的圆弧部位.预切分孔型则仍在切分部位.     

基于局部多元判决的稳健的分布式检测算法

为提高基于二元判决的N雷达分布式检测算法在各个雷达的信噪比未知且可能时变条件下的检测性能,提出了基于局部N门限量化的分布式检测算法和衡量不同检测算法性能的一般性方法。仿真结果表明:该算法性能优于各种基于"N选k"融合的检测算法,在特定情况下比基于OR融合的方案有2-2.5dB的信噪比改善,相对于极大似然准则下的集中式检测器的信噪比损失不到0.8dB。在各个传感器的信噪比差异明显时,和基于OR融合的方法有同样的稳健性,因而是一种稳健且高性能的检测算法。     

原位合成Cu-TiC复合粉末

原位合成的复合材料具有优良的性能 .利用反应球磨可以原位合成Cu -TiC复合粉末 ,用XRD技术证实了TiC的生成 ,并结合测温手段和金相技术论证了合成TiC的机械诱发自蔓延合成反应机理     

自组装膜电极上烟酸的电化学行为及其分析应用

报道了烟酸在 2 -巯基苯并噻唑自组装膜修饰金电极 (MBT/SAM/Au)上的电化学行为 ,建立了新的测定烟酸的电分析方法。在 p H1 1 .92 B-R溶液中 ,烟酸在 MBT/SAM/Au上出现了两对氧化还原峰 ,对应的氧化还原峰电位为 Epa,1=-0 .0 40 V、Epa,2 =0 .5 0 9V、Epc,1=-0 .1 87V、Epc,2 =0 .1 66V;Epc,2 处的还原峰电流与烟酸的浓度在 2 .44× 1 0 -2 ～ 2 .44× 1 0 -7mol/L的范围内呈线性 ,检测限达 1 .2 2× 1 0 -7mol/L,方法用于片剂中烟酸含量的测定 ,结果令人满意     

在机检测中STL格式自然二次曲面特征参数的提取

根据工件的几何特征及其参数进行测量轨迹规划是在机检测系统中重要的环节之一.为了从STL(stereo lithographic)文件中提取出其所描述的工件模型的几何特征及参数,给出了一种针对其数据文件格式特点的自然二次曲面特征参数提取新方法.该方法首先根据三角面片法向量在高斯球面的映射图像判定自然二次曲面几何特征,然后将快速聚类法和Gauss-Newton法相结合,对STL文件中坐标点进行几何特征参数的计算.计算实例表明,该算法能够稳定、准确地提取出自然二次曲面的几何特征参数.     

基于二阶循环统计量的LMS算法

证明了二阶周期平稳随机信号通过线性时不变系统后，仍是二阶周期平稳随机信号，且循环频率不变。定义了基于二阶周期自相关函数的误差准则，给出了新的LMS算法，并讨论了新算法的性能。仿真结果表明，在收敛速度和抗噪声方面，新算法的性能有一定提高。     

Snort下模式串匹配算法的研究与改进

在阐述入侵检测技术研究现状的基础上,通过对入侵检测系统snort下BM和Wu-Manber两个模式匹配算法的研究,然后对其分别改进,并进行实验验证,实验结果表明使用改进的算法提高了匹配效率,减少了存储需求,从而进一步提高了入侵检测系统的检测性能。     

香烟包装质量检测装置设计

设计了与国产YJ17-YJ27香烟卷接机组配套使用的烟支外观质量检测、圆周检测、负压缺盒检测三种在线检测装置.分别实现了对空松头、缺嘴、外观缺陷的检测、烟支圆周度的检测、香烟包装缺盒的检测,提高了香烟包装生产过程检测的自动化水平,保证了产品质量.     

冰激动载荷下自升式平台桩腿结构的安全评估

为了保证自升式平台冬季在冰区海域安全作业，应对桩腿结构在动冰载作用下的强度进行评估。应用ANSYS软件建立自升式平台和冰相互作用的仿真计算模型，实现了自升式平台结构的冰激瞬态动力分析，提出冰激动载荷下平台桩腿的静强度和疲劳强度校核的计算流程。对渤海某自升式钻井平台桩腿进行了强度校核，计算出不同海冰参数下平台桩腿的冰激疲劳损伤。计算结果表明，该平台的桩腿在冰激动载荷下的强度满足安全要求，冬季继续在冰区海域进行钻井作业是可行的。