可行性研究报告中项目“建设必要性”评议依据概述

2010年1月7日,国务院法制办拟制的《政府投资条例(征求意见稿)》(下称《条例》)在中国政府法制信息网上公布,向社会各界征求意见,以便进一步研究、修改后报请国务院常务会议审议。解读《条例》,我认为最重要的有两点:第一为《条例》第一条〖立法目的〗。开宗明义:该《条例》是"法",它是首次将政府投资从政策性引导上升到了法律层面的约束。"立法"是"为加强政府投资管理,规范政府投资行为,建立健全科学的政府投资决策、建设和监督管理制度,提高     

母乳喂养的烦恼

母乳喂养的好处,大家都晓得,各种提倡和鼓励母乳喂养的标语也几乎随处可见,在这里,咱就不给它锦上添花了。只是在我看来,任何一种喂养方式,既有它的优点,自然也会有它的不足之处。今天,就由我这头合格的＂奶牛＂来跟大伙叨叨母乳喂养的烦恼吧。     

组件式地理信息系统技术

组件化是软件发展的潮流。本文在阐述组件式地理信息系统的概念和技术的基础上,讨论了组件式地理信息系统的技术、对象模型和特点,进而探讨组件式GIS的开发和应用。     

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

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

通用逻辑门电路的SET实现及应用

通用逻辑门具有更强的逻辑功能,相比传统逻辑门更适合作为阵列逻辑单元。单电子晶体管（SingleElectronTransistor,SET）被认为是众多纳米电子器件中的强有力竞争者。为了拓展SET的应用,减少逻辑综合所用逻辑门的种类,提出了通用逻辑门的SET电路实现方案,设计出基于sET的通用逻辑门树形结构的全比较器等电路,用Hspicer软件对所设计的电路进行仿真,结果表明,该电路具有正确的逻辑功能,为SET通用逻辑门的进一步研究应用奠定了基础。     

基于TAP参数的汽车避撞系统算法的优化与仿真

为帮助驾驶人更好地规避潜在危险,在分析Mazda和Honda汽车避撞系统算法的基础上,提出了一种基于可调避撞参数TAP的主动避撞系统算法,并考虑驾驶人因素,选择了算法的报警方法。简述Mazda、Honda的安全距离逻辑算法,在Mazda算法的基础上引入参数TAP,推导出优化的临界报警距离算法;以Honda算法推导出优化的临界制动距离算法。对该算法和Mazda、Honda算法进行了仿真对比分析,分析结果表明TAP优化算法使系统拥有保守的临界报警距离和非保守的临界制动距离,验证了TAP算法的可行性和优越性。     

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

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

一种策略驱动的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流程。最后通过引入供应商流程案例,阐述了该方法的具体使用过程。     

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

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