Web服务事务处理的模型化方法研究

Web服务技术的出现为解决跨组织的过程集成问题提供了一种模式。在集成和交互的过程中,Web服务需要事务的支持来保持数据的一致性。传统协议规范已经能够支持Web服务下的事务处理,但仍然存在着问题,比如不同事务处理规范之间兼容性处理、消息格式不匹配、补偿机制、超时和事务范围确立等问题还有待解决。本文介绍了一种Web服务系统的层次设计,并给出了一种Web服务事务处理的模型化方法。这种方法在设计初期就对事务的补偿机制、超时和事务范围这些问题进行考虑和解决,使事务处理过程更加清晰和直接。     

软件可信评估研究综述:标准、模型与工具

安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件可信性、可信评估的定义,并在研究了与可信性密切相关的软件质量的联系与区别之后,从相关国际标准、评估涉及的模型(包括质量属性模型、证据模型、分级规范等)以及软件工具支持等方面综述了软件可信评估研究工作.并且区分了这些方面中领域相关、领域无关的不同之处.目前软件可信评估已取得了一定的理论成果,并开发了若干工具辅助进行可信评估,但仍需在通用性、可伸缩性等方面有所加强.     

水系局部改变对河网水情及水质影响的分析

给出了平原水网地区水系局部改变后用于预测水情变化的水力边界条件的确定方法,以及因水系改变造成的水情、水质变化的计算方法,并将该方法应用于苏州市区水系水质变化分析。得出结论:水系变化必然产生局部水流形态的改变,最终影响污染物的对流扩散输运;局部水域水系改变愈大,模拟边界涵盖的范围应愈大。     

硬朗且关怀的建筑景观设计——西村• 贝森大院研究

现代主义建筑大多拥有相对硬朗的外表和均一的空间特质,虽获得经济和快速的建设成果,却导致了地域特色和历史文化脉络的缺失。文章以刘家琨所设计的西村·贝森大院为例,探讨如何运用现代建筑景观语言,提取和融入具象的地方元素和抽象的文化意蕴,来创造既独具空间个性,又具有人文关怀的人工环境,并且从建筑和景观二者的有机联系为切入点,研究物化精神感知的途径和方法。     

工民建的结构加固设计研究

建筑结构的稳定性是影响其使用功能的重要因素。对工业和民用建筑来说,如何增强建筑结构的稳定性是一项重要的工作。对于已经建成并且投入使用的工业和民用建筑来说,会受到自然因素和人为因素的影响,而导致其结构稳定性受到影响,危害到使用者的生命和健康安全。为了增强建筑结构的稳定性,一般需要进行适当的加固方法。本文就主要针对工民建结构加固的相关问题进行了简单的探讨。     

结合本体和规则推理的SFMEA方法研究

安全关键软件一旦失效将造成严重后果。软件失效模式和影响分析(Software Failure Modes and Effect Analysis,SFMEA)是一种工业界常用的软件安全性分析方法。由于SFMEA依赖人工分析,存在信息共享性差、分析准确性低等问题。针对上述问题,提出一种结合本体和规则推理的SFMEA方法。首先,构建了支持失效知识表示的SFMEA本体,实现软件失效知识的精确语义描述。在此基础上,以规则描述语言SWRL来定义失效规则,通过分析失效原因,实现对失效造成影响的自动化推理。最后,结合一个发动机熄火判断模块的案例分析,说明该方法的可行性和实用性。