利用UML开发J2EE应用

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

结构化证明搜索

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

下立交通道上增设人行通道桥工程的设计与研究

上海徐家汇地区已变成人文景观的集中地,对人行桥的景观要求非常高。在漕溪北路下立交通道工程的设计过程中,针对地铁管理部门对上承荷载的特殊要求,因地制宜,采用了具有重量轻、景观好、强度大、养护方便的铝合金桁架桥。借鉴国外已有规范和国内建筑相关经验,对桥梁结构计算参数和重点构造进行了系统论证,作了有益的研究探索和创新设计。在桥梁出厂前对上部结构进行了静荷载试验,桥梁竣工开通前又进行了动力测试。试验结果表明,新建桥梁的强度、刚度、稳定性和自振频率均满足现行人行天桥和地道规范的限值要求。     

分布式压力测试工具的研究与设计

随着系统规模越来越复杂,对性能测试的要求也越来越高。但是,目前的主流压力测试工具测试效率较低,对分布式的支持也不完善,不能够很好的满足需求。为了应对这样的情况,本文设计了分布式压力测试工具,该工具简单易用,扩展性好。     

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

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

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

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

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

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

面向业务的Drools规则引擎改进

针对Drools只能解析与执行由专业人员定义的业务逻辑问题,提出基于语言解析程序ANTLR(Another Tool for Language Recognition)的解决办法,并给出相应改进后的开发框架ADF(ANTLR-Drools developing framework)及其关键实施方法。业务人员可以利用ADF提供的领域规则元模板直接定义业务逻辑,由基于ANTLR的元模板解析程序完成相应业务逻辑到Drools逻辑的转换。事实证明该框架的可行性和有效性。     

无线传感器网中线性网络编码的安全检查

线性网络编码作为一种新型的数据编码方式,它可以提高无线传感器网络的数据吞吐率、降低节点能耗、减少数据的传播延迟.由于无线传感器网络自身的特点,直接使用已有的线性网络编码协议将面临许多严重的安全攻击.指出了线性网络编码应用于无线传感器网络所面临的安全问题;并提出了一种安全的线性网络编码协议SEC.SEC既能够实现线性网络编码的优点,还解决了其在无线传感器网络中所面临的安全问题.     

增强上下文的错误定位技术

错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文,显示了导致失效的语句之间传播依赖关系;然后,基于可疑值度量来区分上下文片段中不同语句的可疑度;最后,Context-FL以标记可疑值的上下文作为定位结果.实验结果表明,Context-FL优于8种典型错误定位方法.