CDIO模式下软件工程硕士培养过程的探索与实践

针对软件工程硕士培养存在的问题,借鉴CDIO工程教育模式,结合国情和软件工程硕士培养的要求,提出软件工程硕士培养的SE-CDIO方法,从构思、设计、实现、运作等4个阶段阐述如何建立软件工程硕士分阶段的人才培养过程,实施软件工程硕士培养的教学改革与创新。     

一种挖掘二度循环的扩展Alpha算法

为解决现有挖掘算法无法从不具有显式行为特征"aba"的局部完备性的日志文件中挖掘最简2度循环的问题,对经典的alpha算法进行了扩展,提出了αL算法,用于从具有行为特征或不具有行为特征的局部完备性日志中挖掘出最简2度循环。给出了最简2度循环的形式化定义。从全局角度根据不同结构具有不同行为轨迹来区分最简2度循环与并发结构。通过紧邻关系的强弱,来有效识别并发分支上同类型的最简2度循环结构。通过大量模型实验表明了所提算法的有效性,并将算法集成在开源框架ProM中。     

还原-酶联合法抗起毛起球整理研究

针对羊绒衫起毛起球现象比较严重的特点,分析了羊绒针织物起毛起球的产生机理和影响因素,采用还原-酶联合法对羊绒针织物进行抗起毛起球整理,介绍了该整理方法的工艺流程和实验步骤,并测试了酒红、灰色和粉色3种颜色的羊绒针织物整理后的抗起毛起球性能。研究表明:还原-酶联合法抗起毛起球整理技术可以有效提高羊绒针织物的抗起毛起球等级2～3级,整理后织物耐摩擦色牢度和耐洗涤色牢度变化不大,但手感有所下降。     

基于二级电压控制的河南电网分区和主导节点选择

划分控制区域和选取主导节点是二级电压控制的基础.针对河南电网,基于谱系数平均距离法和模糊C均值聚类算法( FCM),提出了一种电压控制区域的综合划分方法.利用一种考虑节点可控性和代表性加权的目标函数,给出了主导节点的选取方法.仿真计算验证了该方法的有效性.研究成果可为河南电网的二级电压控制提供一定的理论依据.     

从私有过程提取公共过程构建业务协同的方法

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明：相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.     

罗布麻内生细菌的分离鉴定及抑菌活性

目的:研究罗布麻内生细菌及其抑菌活性,旨在深入开发新资源。方法:以红花罗布麻为研究对象,采用平板分离法从中分离内生细菌,利用牛津杯法对其发酵物进行抑菌活性研究,对有抑菌活性的菌株进行形态特征观察和16S rRNA序列同源性分析。结果:筛选出的D1菌株对大肠杆菌、金黄色葡萄球菌、藤黄微球菌和枯草芽孢杆菌四株供试指示菌均有明显的抑制作用,D3菌株对藤黄微球菌和枯草芽孢杆菌有一定的抑菌作用。结合菌株的形态学特征和16S rRNA序列同源性分析,将D1鉴定为假单胞菌,D3鉴定为菠萝泛菌。结论:罗布麻中蕴含着具有抑菌活性的内生细菌资源,可进一步的开发利用。     

基于鞍座布置的高压加热器壳体适宜长径比应力分析

高压加热器通常以双鞍座或三鞍座为支承结构。鞍座的数量和位置变化可能引起壳体结构的应力集中,构成高压加热器的长期稳定运行安全风险,基于鞍座数量和位置设置优化壳体结构尺寸具有重要工程意义。对某火电厂百万兆瓦机组高压加热器,设计以长径比为单一控制变量的壳体结构优化分析方案,建立高压加热器的有限元分析简化模型,计算壳体不同长径比对应的壳体最大Tresca当量应力、一次局部薄膜应力、轴向压应力及周向弯曲应力,分析单种应力随长径比的变化规律,综合分析各种应力随长径比的变化规律,提出了适宜长径比概念,给出了高压加热器壳体厚度分别为5 mm、10mm、15 mm时的推荐壳体适宜长径比。     

基于Petri网分析编排的可实现性

为了解决编排建模中存在的可实现性问题,即给定一个编排,检测编排生成的参与者间的交互与编排规约是否完全匹配,从同步通信和异步通信两个方面,提出了一种使用Petri网分析编排可实现性的方法。首先,使用映射和约简操作,实现了从编排中自动生成参与者。然后,使用强互模拟关系,分析了同步通信下编排的可实现性。最后,使用弱互模拟关系,分析了有界异步通信下编排的可实现性。实验结果表明了所提方法的有效性。     

一种从无“aba”模式的日志中挖掘2度循环的方法

现有过程挖掘算法依赖于“aba”模式来挖掘2度循环,而满足局部完备性的日志文件中不一定出现该模式.为此,本文扩展经典alpha算法,提出了α^L+算法,用于从没有“aba”模式的日志文件中挖掘出2度循环.首先,建立任务间的次序向量矩阵,用于抽象2度循环结构的变体结构.然后,从全局视角,根据事件的出现次数及位置,来区分2度循环和并发关系.最后,提出紧邻度和回路抽象,以排除并发分支上同类型循环带来的干扰.实验表明,与现有挖掘算法相比,α^L+算法能从具有“aba”模式或不具有“aba”模式的日志文件中挖出2度循环.此外,该算法实现且集成在开源框架ProM中.     

协同业务过程的随机行为分析方法

参与组织随机行为是评价业务协同有效实施的一个关键因素。结合进程代数和马尔科夫链,提出了一种协同业务过程的随机行为分析方法。首先,使用有限状态自动机建模每个参与组织的业务过程,通过引入异步消息通信关系定义协同业务过程。其次,提出将参与组织业务过程转换成通信顺序进程（Communication Sequential Process,CSP）方法,进而将每个参与组织业务过程对应CSP进程并发组合得到协同业务过程对应的CSP进程,并根据CSP操作语义构建协同业务过程的状态迁移模型。最后,引入状态迁移模型正则化概念,从理论上证明正则化的状态迁移模型与一个齐次马尔科夫链相对应,进而根据平衡方程求得状态迁移系统中每个状态的稳定概率,以此为基础实现参与组织随机行为分析。通过对电设备采购过程建模与随机行为分析阐述该方法的可行性和有效性。