IGCC技术在中国的发展前景──基于中美专家报告的综评

本文基于中美专家IGCC报告，对IGCC技术及其在中国发展前景进行全面的综合评述。归纳了IGCC技术的特点，综述了中美双方在IGCC技术研究与发展方面的进展，并鉴于中国能源结构背景和电力发展所面临的机遇与挑战，阐述了IGCC技术对中国的特殊意义及其发展前景．     

基于三变量通用阈值逻辑门的OC展开函数查表设计

阈值函数和阈值逻辑门具有众多独特的优点,但基于阈值逻辑门的逻辑综合却较为复杂.除逻辑函数在与-或-非系统中的最小项展开以及在与-异或系统中的RM展开外,在或-同或系统中的OC展开是另一常用的规范展开.在介绍了逻辑函数OC展开及分类基础上,讨论了通用阈值逻辑门的设计方法.给出了基于逻辑函数OC展开的三变量函数P分类表、接线顺序表以及P分类代表函数的接线方案表.对于以OC展开式表示的任意三变量逻辑函数,提出了基于三变量通用阈值逻辑门的查表设计方法,并给出了若干设计实例.通过设计实例证明了此方法具有直观、简单等优点.     

部分单元失效存储组件的有效利用

半导体存储器的生产表明,大量功能失效的芯片仅仅由于个别单元、或一行、一列失效,只要将这极少数失效单元剔除,则芯片仍可正常工作。分区替换法采取在存储系统设计时增加冗余组件的办法对部分单元失效存储组件中的失效单元实行替换,从而可使年导体存储器件的可用率提高2～3倍。本文详细论述了分区替换原理及实施方案;立足于国产测试仪提出了部分单元失效存储组件的测试方法;运用成品率模型讨论了分区替换法对可用率的贡献。分区替换法方法简便,代价小,效果好,尤其适用于成品率不高的半导体存储器。     

轴的选材与失效案例分析

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

一种基于UDDI构建软组件库的方法

为了满足软组件重用者在互联网环境下共享软组件资源的需要,提出了一种基于UDDI注册机制使用Web 服务技术构建软组件库的方法。利用UDDI 2.0支持外部分类法的特性,将改进后的刻面分类法以tModel的形式注册到UDDI注册中心,并给出与该分类法相对应的分类验证服务的简单描述。此外,扩充了UDDI的查询功能,将实现查询匹配的服务集成到UDDI中,提供对多种服务描述语言的支持。     

面向服务软件异常处理过程的可终止性验证

大规模面向服务软件运行环境的动态性和不确定性使其异常处理逻辑复杂度高,导致异常处理过程的可终止性验证异常困难。而异常处理过程的可终止性是确保其正确性的重要基础,如果异常处理过程不能终止将导致面向服务软件无法正常运行。目前缺乏异常处理过程的可终止性验证方法,从而无法保证异常处理达到预期的目标。基于着色Petri网(colored Petri net,CPN)提出了一种面向服务软件异常处理过程的可终止性验证方法。该方法建立了包括正常流程和异常处理逻辑的异常层次CPN模型(hierarchy CPN model for exception handling,HCPN4EH)。基于此模型验证了异常处理过程的可终止性。通过一个实例说明了该方法的可行性和有效性。得到的可终止性验证结果可为进一步分析异常处理过程的正确性提供基础。     

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

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

一种基于语义消息的Web服务组合方法

在重用现有Web服务的基础上,通过服务组合形成新的、功能增值的服务是语义Web服务领域的一个重要研究内容.本文在Web服务语义描述框架的基础上,提出一种基于语义消息的Web服务组合方法,该方法定义了能够描述不同服务输出、输入消息之间对应关系的语义消息,能够业务逻辑上紧密关联的Web服务有机的组合在一起,从而为Web服务组合者以及面向服务的应用开发人员提供一种简单、直观的组合方法.     

一种策略驱动的BPEL流程异常处理框架

如何提高BPEL流程异常处理的开发效率是策略驱动的BPEL流程异常处理方法亟待解决的关键问题之一.首先分析了基于策略的BPEL流程异常处理机制,设计了一种新的BPEL流程异常处理策略描述语言BPEH/PDL,然后结合BPEH/PDL异常处理策略,给出了一种新的BPEL流程异常处理框架BPEH/F,它具有一定的应用意义.     

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

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