摘要：验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。

摘要：作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动。业务规则不仅可以对单个业务逻辑构件内部的运行流程进行驱动,还可以对涉及多个业务逻辑构件的运行过程进行控制,并允许施加在业务逻辑构件上的规则构件可以同时为多个。同时,考虑到软件系统所处环境的日益复杂化,引入自适应机制,建立了三层的面向方面动态模型体系结构,设计出面向方面动态模型体系结构描述语言,基于Bigraph理论,建立了面向方面动态模型体系结构的语义模型,通过定义Bigraph反应系统来描述模型的动态变化,最后对模型动态变化后的完整性进行了验证。

摘要：作业练习是教学流程中重要的一个环节，是课堂教学的延伸和继续，其效度直接关系到数学教学质量的高低。合理的练习是发展学生数学思维的一项经常性的实践活动，也是师生信息交流的一个窗口。练习应是一种生活。一种活动，着眼于学生的发展，而非单一的、千篇一律的重复。新课标下的数学练习设计应如何体现它的效度，

摘要：采集安徽省4个燃煤电厂的燃煤、烟气以及燃煤副产物样品,通过离子色谱测定样品中氯(Cl)的含量,并对其残留、赋存和迁移特征进行了研究.结果表明,研究的煤中Cl含量偏低,煤中Cl与煤中铅、汞以及全硫含量存在显著相关,而与煤中水分、灰分相关性较弱.煤燃烧过程中Cl的释放率与燃烧温度和挥发分具有较高的相关性,煤燃烧过程中Cl大部分转移到烟气中,除尘器对颗粒态Cl具有很好地除尘效果,且布袋除尘器对颗粒态Cl的脱除效果高于静电除尘器的脱除效果,石灰石-湿法脱硫装置对烟气中HCl具有较高的脱除效果.

摘要：通过某工程实例,介绍了水泥土墙内插门架工字钢支护的优势特点、设计方法和施工工艺;根据基坑开挖后监测数据的对比分析,证明运用该方法对深厚软土区基坑进行支护可以有效控制位移,并对邻近建筑物进行有效保护;为类似的基坑工程提供了可供参考的支护方法。

摘要：在软土区的基坑支护工程,常需对基坑坑底进行被动土加固设计,但是现行的规范没有给出明确合理的设计方法。本文通过安徽芜湖某基坑工程实例,提出了针对深厚软土区悬臂支护被动土加固高度和宽度的确定方法,同时通过理正深基坑7.0软件进行分析计算和后期对基坑位移沉降监测数据的分析对比,证明了运用该方法对该基坑进行被动土加固设计是成功的、可行的,也为类似工程的设计提供了可供参考的设计方法。