桥面上种植景观绿化的设计方案及设计要点

以崇明陈家镇区域某一工程为例，详细介绍桥面种植景观绿化的设计要点。对上部结构的验算，以及对桥面防水、排水的构造措施均作了有益的研究探索和创新设计。虽然总体经济指标略有提高，但社会效益、生态效益明显，达到预期目标。     

Web服务自动语义标注的本体定位方法研究

面向服务架构中,分布式网络计算的实现依赖于服务交互问题的有效解决。为此,服务接口必须采用机器可理解的方式描述,从而为服务的动态发现和组合提供底层支持。服务语义标注技术满足了上述需求,它是指通过共享域本体中机器可理解的元数据表示服务元素。本文将服务语义标注过程分解为域标注和概念标注两个阶段,重点针对域标注注问题,并提出了一种基于机器学习的域标注算法,对实际服务的标注实验验证了该算法的有效性     

程序控制流检测算法优化

暴露在太空辐射环境下的星载计算机,其电子元器件可能因受到高能带电粒子的轰击而造成硬件系统的瞬时故障,所以,需要使用容错技术来提高其可靠性。对一种面向硬件瞬时故障的纯软件控制流检测算法RSCFC(Relationship Signatures for Control Flow Checking)进行了有效的改进,通过对标签S进行分段编码,克服了原算法中存在的待加固程序的基本块总数受机器字长限制的问题,并给出了具体的计算证明。计算结果表明,如果机器字长为64位,那么改进后的算法在设定前提下能单层加固程序的最大基本块数可以超过218。与RSCFC相比,改进后的算法在加固基本块总数比较大的程序时,性能开销明显降低而且检错能力保持不变。     

基于类型理论的递归元程序设计

本提出在ＬＦ类型理论中定义一组相互递归类型的方法，并对递归类型赋予操作语义，递归类型不仅可以表示通常的递归通常的递归数据结构，还可描述一般的递归问题求解，递归证明构造和递归程序构造过程。     

结构化证明搜索

本文在简介证明开发环境的元语言ＴＭＬ之后，提出两类结构化设施；模块化机制为元级程序设计提供模块化手段；抽象理论机制用来描述定理证明赖以进行的背景理论．联合使用模块机制和结构化理论描述，系统可自动实现结构化证明搜索．     

基于本体论和标记图相似性的Web服务匹配算法

随着各种已有Web服务数量的日趋增加，如何快速发现可用的Web服务变得愈加重要。而随着语义Web服务的不断发展．Web服务发现也从原来的单纯采用关键字或简单分类逐渐转变为更多地使用语义信息。发现的关键在于匹配，而目前一些较成熟的技术，如OWL—S，采用了本体技术对Web服务进行描述．因此，文章提出了一个基于图相似性的本体匹配算法．通过构建Web服务本体并转化成标记图进行匹配．实现语义Web服务描述的匹配，从而准确快速地发现满足特定需求的Web服务。     

基于深度优先搜索的Web服务合成算法

本文通过提取Web服务的语义信息，研究了语义Web服务合成问题。Web服务合成的关键是对候选Web服务的输入输出数据关系进行建模，以及有效地利用这些已有的数据依赖关系实现服务合成请求。通过构建Web服务的依赖图，提出了一种基于图论中深度优先搜索的Web服务合成算法，以获取满足特定要求的Web服务。     

基于业务规则的工作流管理系统模型

ECA规则通过条件与处理集中定义业务流程中活动与活动间的转换关系,并通过事件驱动机制驱动业务流程中相应业务逻辑实现,在一定程度上增加了系统代码的可维护性,但是并没有改变业务逻辑发生变化时需要修改系统代码以维护系统的现状.业务规则可准确描述业务流程中所有业务逻辑,建立与业务流程事件无关的运行机制,更加直接明确地反映业务需求,适应业务需求变化,而无需修改系统代码,基于此建立基于业务规则的工作流管理系统模型.     

一种分布式工作流中基于负载平衡的调度算法

工作流管理系（Workflow Management System）帮助企业实现分布式异质环境中的人工和自动任务的全面流程化。本文提出一种新的分布式WFMS负载平衡调度算法，解决单节点引擎负载过重的问题。改进后的负载平衡技术比轮询调度算法更能保证多引擎间负载基本均衡。当多引擎间任务调度出现不平衡，导致某些节点负载过重或是某个节点出现故障时，多引擎能够根据相应模型策略和实际的信息来动态调整各节点的负载，这样也可以在一定程度上解决有大量分布式事务处理时的性能问题。另外，负载指数调度算法实现简单，尽可能地减少了引擎负担。     

基于非理想打印机模型的半色调化图像质量评价方法研究

胶印工艺中印刷的内容需要半色调化成二值图像。为了评价半色调化算法和图像的质量,就要对输出图像的设备建模。现有的建模方法都基于理想打印机,假定输出图像的像素和输出设备的一个矩形区域的状态对应。然而理想打印机反映不了实际胶印工艺中的像素点重叠、极小网点丢失、网点扩大等基本现象。本研究的目标是建立一个面向胶印工艺的打印机模型,用于半色调化图像质量评价算法的研究。