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

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

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

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

结构化证明搜索

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

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

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

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

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

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

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

基于任务和角色的分布式工作流授权控制模型

针对传统工作流访问控制模型的缺陷和分布式工作流管理系统的特性，在基于角色的访问控制模型的3层访问控制结构的基础上明确引入任务的概念，构造了4层访问控制结构（用户-角色-任务-权限），对系统中的任务进行了较好的访问控制，有效解决了传统工作流安全模型的缺陷。同时使管理员的安全控管工作更加灵活、简便。     

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

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

利用UML开发J2EE应用

J2EE是目前开发网络业务应用的理想平台，而UML是可视化建模的工业标准。本文首先简单介绍了J2EE和UML，然后重点介绍如何有效运用UML对基于J2EE的应用进行可视化建模，并通过对一个网上购物系统的实际建模，简要说明了运用UML对基于J2EE的应用进行建模的过程。     

图像半色调化算法研究综述

半色调化算法是图像打印输出的关键技术之一。介绍了简单阈值比较算法、使用随机数的半色调化算法、误差扩散算法、点扩散算法、按序抖动算法和抖动算法等一系列半色调化算法,并揭示了这些算法之间的联系。为了高效率地对图像做半色调化操作,商用光栅图像处理器一般使用抖动算法。抖动算法生成的半色调化图像的质量取决于所采用的抖动矩阵。基于几何分割设计半色调化抖动矩阵的方法可以在满足堆栈限制的前提下优化半色调化图像的质量。使用随机数的半色调化算法可以消除图像半色调化中产生的莫尔纹。随机半色调化算法的基础是将一定数量的随机点均匀地分布到一个正方形区域中。Asano提出了随机点均匀分布问题等价于圆形装填问题的命题,本文对该命题给出了初步的证明。最后,给出了一些有待进一步研究的图像半色调化课题。