一种用目标驱动技术扩充的用例分析方法

在UML规范中对于用例的分层、精化以及结构化问题没有相应的解决方案。论文引入目标驱动的方法对传统用例分析方法进行了扩充,提出了一种新的用例分析方法。     

轴的选材与失效案例分析

从实例出发对轴类零件选材不当导致的失效进行了讨论和分析.着重从材料、金相组织,断口学等方面进行了比较详细的分析,重点阐述了选材与失效的关系.轴类选材错误常导致显微结构和力学性能不能满足使用要求,尤其是疲劳性能大大下降最终导致使用过程中轴的早期疲劳断裂.基于上述分析从失效分析的角度提出了避免轴类零件早期失效的一些措施.     

热媒炉重油燃烧的控制分析

阐述了点火程序控制和热媒温度控制及相关故障的分析处理方法。采用仪表空气雾化重油 ,加长 2 0cm导杆连接导线连接热媒电阻 ,修改电路使风机和油泵同时开启 ,迅速上升油温油压等技术改造 ,减少故障 ,提高燃烧稳定性 ,保证聚酯生产负荷从 180t d扩容到 2 80t d。     

一种策略驱动的BPEL流程异常处理描述方法

针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结合制造执行系统领域的汽车装配流水线管理系统,讨论了基于BPEH/PDL的BPEL流程异常处理策略的应用过程,以供参考。     

2007年房地产市场形势分析及2008年走势预测

受宏观经济持续走强的影响,2007年房地产市场供需两旺,住房价格进一步升高。同时,国家加大了房地产市场的调控力度,一系列调控措施相继出台,使部分城市房地产市场年末出现销售量下降的变化。展望2008年,在宏观调控措施的作用下,住宅供给结构将进一步改善,投资性住房需求将得到遏制,住房价格涨势将有所回落。但要注重继续贯彻落实宏观调控的各项政策措施,保持房地产市场的平稳运行。     

考虑多源数据交互的配电网数字化"两票"研究与应用

提出了一种基于多元数据交互的配电网数字化两票系统.首先针对角色、权限管理机制、工作票和操作票的实现特征进行了基本思路的分析.结合目前已有的数字化操作票和工作票系统实现技术进行了分析,说明了建模方法、执行过程管控方法和接口数据交互方法.针对配电网运行数据、设备数据和决策分析数据的多元数据交互进行了数字化两票系统设计,给出了系统架构和系统功能,针对工作票和操作票的模型建立、典型票库构建进行了分析.     

一种支持软件体系结构重用的反射机制及其形式化

软件开发早期阶段软件资源的重用进展缓慢.反射机制在代码重用方面取得了成功,但还没有用于软件体系结构及其组成元素的重用.提出了一种支持软件体系结构设计时重用的反射机制,详细描绘了基于反射机制的反射式软件体系结构的基级元素模型和元级元素模型.还用形式规格说明语言Object-Z语言对基级元素模型进行了完整的描述;以基级元素模型的连接模式Connections为例,给出了它的初始化定理及其证明过程.     

一种软件体系结构关注点多维分离模型

传统方法设计出的体系结构中始终存在着一些横切现象,使得体系结构变得复杂、难以理解、难以演化和难以重用.基于关注点分离和面向方面软件开发的相关理论,探讨了体系结构中的关注点,提出一种体系结构层关注点多维分离模型.该模型通过形象地表示关注点之间的关系,识别那些在体系结构中可能产生横切的关注点,有效解决传统软件体系结构设计中存在的关注点横切问题,为软件体系结构的演化和重用提供了重要的指导作用.     

含各向异性尺度形变数据集匹配问题的Lie群方法

通过分析含各向异性尺度形变的数据集匹配问题, 将尺度约束引入模型, 再结合迭代最近点(Iterative closest point, ICP)方法的一般过程, 将含各向异性尺度形变的数据集匹配问题描述为Lie群约束优化问题. 通过Lie群的局部参数化和局部线性化方法, 将带尺度上下界约束的Lie群约束优化问题转化为一系列的二次规划问题, 最终形成了一个完整的匹配迭代算. 该方法不仅具有传统ICP方法的快速准确的特点, 而且还能够处理存在大尺度形变的数据集匹配问题. 由于对尺度参数进行约束, 因此比传统方法有更好的鲁棒性. 最后, 为确保匹配的全局性, 给出了一套初始变换的选择方案.     

一种基于CPN的BPEL异常处理逻辑的开发方法

针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网(CPN)形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处理语言成份,形成带有异常处理功能的BPEL流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。