改进型铜基甲醇合成催化剂XC209的热稳定性

在 Cu- Zn- Al三组份的 C2 0 7型联醇催化剂中 ,添加 2种适量的过渡金属氧化物研制的XC2 0 9型联醇催化剂 ,经 4 50℃热处理 5h后 ,CO转化率比 C2 0 7型提高 8.6个百分点 .XRD和FTIR表征显示 ,工作态的改进型催化剂表面 Cu+ 活性浓度比 C2 0 7型高 ,热处理后能维持工作表面具有较大的 Cu+ /Cu°比 ,金属间相互作用加强了 ,这与改进型催化剂具有较高的热稳定性密切相关

钾促进钴钼耐硫CO变换催化剂的XPS和TPR表征

用 XPS和 TPR谱学表征方法 ,研究钾助剂对负载型 Co-Mo-K-O/γ-Al2 O3水煤气耐硫变换催化剂的作用 .XPS表征显示 ,硫化态催化剂随着钾添加量的增加 ,低价态钼和 S2 - 增加 ,( S-S) 2 - 受抑制 ,( Mo4+ +Mo5 + ) /Mo6 + 质量比为 0 .8～ 1和较多的 S2 - 物种有利于提高催化剂的低温活性 .TPR表征结果示出 ,硫化态及工作态催化剂皆出现α、β 2个吸氢峰 ,可分别归属 Mo6 + → Mo5 + 和 Mo5 + → Mon+ ( n=4 ,3,2 )的还原过程 ;工作态催化剂 α峰峰温较硫化态低 ,β峰为宽峰带低价钼混合峰 ;吸氢峰的大小与催化剂低温活性密切相关

一种面向Mashup自动构造的目标分解方法

Mashup开发范型近年来受到广泛关注。目标驱动的Mashup自动化开发能够根据用户描述的任务目标自动检索到满足用户需求的mashlet构件,并将其组合在一起形成全新的应用。然而,终端用户描述的目标往往是粗粒度的,通常需要组合多个底层的、细粒度的mashlet构件共同完成。如何将用户高层、概括的目标需求映射为具体的mashlet构件是目标驱动Mashup开发范型中的一个关键问题。针对目标驱动的Mashup自动化开发这一应用场景,提出一个新的基于历史启发的目标分解与精化方法来解决上述问题,运用历史用户的集体智慧来指导当前用户的目标分解。一方面,采用基于历史启发的算法构建Mashup目标本体库,实现用户目标自动分解;另一方面,以系统推荐的方式引导用户参与目标分解过程,保证目标分解能够按照用户预期的方向进行。最后,通过一组实验验证了上述方法的有效性。国家重点基础研究发展规划(973计划)(2009CB320704)|国家自然科学基金(61003029)|国家科技重大专项“核高基”(2010zx01045-001-006-1)资

model transformation from bpmn to bpel2.o

随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用.为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持.这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性

model transformation from bpmn to bpel2.o

随着WS-BPEL2.0规范标准的提出,现有的BPMN到BPEL的组件转换方法已不再适用.为了适应BPEL的变化,对组件的转换进行改动和扩展,对错误处理活动在语义上提供支持,并且提供了显式的事务特性支持.这种设计已经在中国科学院软件研究所软件工程中心研制的OnceBPD建模工具中得到实现,并在实际运用中检验了其可用性

component-based software reengineering based on osgi

面向服务的构件模型可以解决当前大型软件系统难于管理、维护困难和缺乏动态性等问题,而OSGi框架为基于构件系统的服务化开发提供了有力支持.把OSGi作为基础框架对遗留软件系统进行再工程,设计了OSGi化软件的总体框架,提出了软件系统构件化方法,并针对再工程过程中普遍存在的问题给出了相应的解决方案.最后,通过对Web容器再工程的实例研究,验证了面向OSGi的构件化软件再工程方法的有效性

基于内容的Pub/Sub系统中分发器网络自重构的研究

提出了提高基于内容的Pub/Sub系统健壮性和交互效率的系统自重构方法。该方法包括系统的恢复策略和系统的自组织策略。系统的恢复策略,预防了节点的意外崩溃造成的系统瘫痪;系统自组织策略,有效地降低了系统的事件交互成本,提高了基于内容的Pub/Sub系统的效率。自重构方法在基于内容的Pub/Sub系统SOES中得到了体现

analysis of formal models and methods on mobile computing

移动计算是在网络技术发展中涌现出的一种新计算范型.文章旨在从形式抽象的角度来认识移动计算的本质特点.文中分析了网络计算平台的综合特征,总结了移动计算范型的典型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π-演算、环境演算和Seal演算、时序逻辑类的移动Unity,以及Actor扩充模型.针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点.通过综合比较与分析,对各个模型和方法给出了一定评价,为系统地建立移动计算形式理

Visual debugging concurrent programs with event structure

在多核和并发技术得到广泛应用的今天,如何有效地调试并发程序,成为一个重要且亟待解决的研究课题.并发程序的不确定性及其行为的复杂性,使得传统的调试 技术难以得到有效的应用;而软件维护场景中错误发现与错误调试过程的分离使得错误重现难以实现,面向缺陷报告的调试需求使得自动的错误定位技术难以应用, 加剧了调试的困难.针对软件维护阶段由缺陷报告导向的程序调试场景,提出了可视化的并发程序调试方法.该方法能够根据缺陷报告中的信息对程序进行切片,缩 小需要分析的代码范围;通过静态分析构造出程序行为的全局视图,帮助程序员发现隐含的程序执行路径;根据事件结构的语义简化程序行为视图,使得行为模型规 模可控;根据图形中的分支,引导用户关注路径中的关键操作,从而更快地发现程序中的缺陷.与动态调试方法相比,该方法能够避免错误重现的代价.借助缺陷报 告中的信息以及事件结构模型的特点,该方法能够尽量减少状态爆炸的发生.已开发出的交互式并发程序调试工具原型JESVis Debugger,初步实现了所提出的方法.The multi-core and concurrency technology are widely used today. How to debug concurrent programs effectively becomes an important topic. Due to nondeterministic and complex behavior of the concurrent program, traditional debugging techniques are inappropriate to apply. In bug-reports-oriented debugging scenarios, the separation of error detection and error debugging processes makes the failures more difficult to reproduce, which exacerbates the difficulty of debugging. For bug-report-oriented debugging scenarios, this paper proposes a method to visualize program behaviors to assist programmers to debug manually. The method reasons concurrent program behavior through static analysis, giving a global view to programmers to help them observe the behavior of the program and guiding their attention on suspicious operation. This approach can avoid the cost of reproducing concurrent failures. With the information in the bug report as well as the feature of the event structure model, it eliminates the state explosion problem that may arise during static analysis of concurrent programs. A prototype of interactive debugging tool for Java called JESVis Debugger, is developed as an initial realization of the proposed method. © Copyright 2014, Institute of Software, the Chinese Academy of Science. All rights reserved

oncermf: a middleware resource management framework driven by utility

中间件资源管理是保障Web应用性能的重要手段,然而目前系统驱动和业务驱动两种主要的资源管理视角没有在概念上取得统一,相关研究成果主要针对特定的资源,难以实施整体性的资源管理优化。针对中间件资源特征提出了一种层次化的中间件资源空间模型;通过效用函数实现系统驱动与业务驱动的协同资源管理,形成了一种效用驱动的中间件资源管理框架OnceRMF。通过仿真实验结果验证了OnceRMF的有效性