面向方面程序的属性推断

为简化面向方面程序(aspect-oriented programming,AOP)的形式化验证问题,Djoko等人对aspect进行了系统的分类,并确定了每类aspect能够保持的属性.分类之一的observer指一类对基程序的变量只读不写,且不修改其控制流的aspect,这类aspect能够保持所有的不包含Next算子的安全属性和活性属性.Djoko等人的工作可以避免针对织后程序的直接验证.在Djoko等人工作的基础上,提出了一种新的aspect分类——functor,并提出了属性推断的概念.functor是一种仅在特定条件下修改基程序性质的aspect.functor的确会造成基程序已有性质的失效,但却是以一种可预测的方式.属性推断就是根据基程序已有的性质和functor的特有性质,直接推断出织后程序的性质.functor同样避免了针对织后程序的直接验证,是对Djoko等人工作的重要补充.     

一种有效的服务资源自动语义标注方法

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

一种基于数据流分析的故障序列生成方法

故障注入是一种测评容错机制的有效方法,它通过有意识地向目标系统引入故障来加速测试容错机制的试验过程.目前大多数故障注入实验中采用的故障序列都是通过随机抽样获取的,容易造成故障潜伏,从而导致容错机制的评测结果不准确.本文提出一种基于数据流分析的故障序列生成方法.提出<故障注入位置,故障注入时间,故障类型,故障掩码>的单粒子故障模型.在此基础上,通过数据流活跃变量分析计算得出故障注入位置属性,以及定值-引用分析确定了故障注入时间属性.并以PowerPC8548处理器和它对应的Trace模拟器为实验平台,验证了该故障序列生成方法具有90%以上的失效加速比,较好地解决了故障潜伏问题.     

证明开发环境中的元语言设计

本文通过对数型赋予操作解释，将ＬＦ的逻辑定义风格的λＰｒｏｌｏｇ的逻辑程序设计风格融于一体，提出了旨在对定理证明过程进行元级编程的元语言ＴＭＬ及其抽象解释器，然后，利用项推理过程给出了ＴＭＬ元程序的正确性检查算法。     

一种严格的软件开发方法框架

本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具．     

面向大型网络的单元网管系统的实现

有效的管理大型计算机网络成为目前网络管理中研究的热点和难点。XML技术可以实现采用不同管理模型的异构管理应用之间管理信息的交换,针对CERNET(China Education and Research Network)的管理,提出采用基于精简功能模型的独立于互连节点的单元管理技术来实现特定目的的网络管理功能,将整个管理系统划分为多个异构且功能相对完整的功能模块负责对不同管理域中被管对象的管理,并给出了基于XML技术的网管单元集成策略和被管对象的定义策略。     

基于J2EE的分布式工作流管理系统方案

在企业业务日益网络化的今天，传统的工作流技术不再能满足企业过程重组、自动化日益增长的需要，为了顺应这种需要，文中提出了一个基于J2EE和Web Serice技术的分布式工作流管理系统方案。与以往分布式工作流管理系统相比，更具有平台无关性，更能适应当代企业发展的需要。     

基于面向对象模型的自动知识获取方法

本文提出了一个以自然语言为通讯媒介的自动知识获取系统,它不仅能理解用自然语言描述的专家知识,还能按照面向对象模型诱导人类专家系统地、结构化地描述其知识。这种诱导既降低了自然语言理解的复杂度,又为人类专家提供了自然的知识描述方式,避免了知识遗漏与散杂。面向对象模型与目标知识表示风格的统一则大大简化了知识获取过程,提高了知识获取的效率。     

JSR 168 Portlet应用中保持mvc模式带缓存服务调用方案的研究和实现

Portlet和Webservice都是适合开发分布式应用的技术。分布式系统存在很大的性能问题,本文通过研究拟提出一种能保持mvc模式调用服务并引入缓存系统提升性能的方案。     

桥面种植景观绿化设计关键技术初探

本文结合崇明陈家镇区域一工程实例，详细介绍了桥面种植景观绿化的设计要点。通过对种植绿化形式、种植植物、种植土等方面的选择，对上部结构的验算，以及对桥面防水、排水的构造措施做了有益地研究探索和创新设计。虽然总体经济指标略有提高，但社会效益、生态效益明显，达到预期目标。