Web服务安全关键技术研究综述

Web服务是一个新的分布式计算模型,是Web上数据和信息集成的有效机制。Web服务安全是制约Web曲服务发展的关键问题之一。Web服务安全的实质就是运用WS-Security和其它规范结合XML安全技术保障SOAP通信的安全。本文介绍了Web服务的基本概念,阐述了传统Web安全技术并指出了它们的不足,重点分析了当前Web服务安全的核心技术,包括XML签名、XML加密、SAML、WS-Security等,指出存在的问题,总结了目前Web安全的现状及其面临的挑战。     

基于开放编译的面向对象程序静态分析器*

采用反射和开放编译技术,设计并实现了一个面向对象程序静态分析器,对开放编译器OpenC++进行了扩展与改进。通过实验研究表明,该程序静态分析器可以得到全面的系统依赖信息,可以有效地辅助程序理解。     

基于S3C2440的嵌入式Linux内核设计

该文介绍了三星公司的基于ARM9内核S3C2440芯片嵌入式Linux系统设计。在确认已经移植好的U-boot的基础上,进行控制模块基于ARM9的Linux嵌入式系统设计方案,裁剪并移植Linux内核。     

基于SCA的遗留系统移植研究与实现

针对传统遗留系统在面向服务计算移植过程中存在的重复性和多样性问题,提出一种基于服务组件框架（SCA）的遗留系统移植方案,将遗留系统移植到SCA组件系统中,通过python扩展生成器生成可以被该脚本调用的模块,在硬件平台上进行模拟,实验结果表明,该方案是可行的,能够避免因面向服务实现形式的差异而造成的重复移植。     

面向系统能力的形式化分析和测试方法

国内软件业界实施系统测试时,大部分采用对系统规格说明描述的功能点进行逐一测试的方法,很少从系统能力的角度进行测试,难以充分说明系统软件产品满足系统能力需求的要求。同时,系统规格说明使用自然语言进行描述,存在语义不准确的现象,直接影响系统测试的质量。针对上述问题,提出了一种面向系统能力的形式化分析和测试方法。通过该方法,测试工程师可得到语义清晰的系统能力需求描述,并实施面向系统能力的系统测试,有效地提高系统测试的充分性和准确性,从而提高系统软件质量。     

一种基于内容的HTML到XML转换策略

互联网应用系统中传统ＨＴＭＬ内容数据的重用及其与Ｗｅｂ中标准ＸＭＬ格式数据的互交换非常重要。通过对ＨＴＭＬ结构和语法特点的分析,文章定义了一种分离ＨＴＭＬ格式信息与表达有效语义的内容数据的标记规则,建立了该标记规则到ＸＭＬ模式的一种影射,从而实现了一种从ＨＴＭＬ内容到ＸＭＬ结构数据的转换策略。最后,在网页在线维护系统ＷＯＭＳ中应用该策略实现网站管理者对网页的在线维护。     

网络通信中间件的设计及实现

从网络通信中多点数据传输的特点入手,提出基于无连接模式可靠传输设计方案,并介绍实现中的关键技术。     

芳纶纤维及其织物复合材料在电子电气领域中的应用

本文简要地介绍了芳纶纤维的性能及特点，论述了芳纶纤维及其织物复合材料在特种印刷电路板、雷达天线罩、雷达天线馈源功能结构部件以及特殊电子元器件等方面的应用。     

安徽省淮河干流生产圩处理措施分析

安徽省淮河干流现分布有25处生产圩,由于圩堤逐年加高加固,减小了河道的泄洪能力,淮河生产圩的处理是治淮工程的内容之一。本文提出要从淮河防洪大局出发,以扩大淮河泄量为目标,按照局部利益服从整体利益,同时兼顾局部利益的原则对生产圩进行治理,采取废除、维持现状、提高标准三种处理措施。     

凉山州并网小水电调度自动化管理方案研究

在分析四川省凉山州小水电发展概况和并网小水电调度管理现状的基础上,阐述了加强并网小水电调度自动化管理的重要性,提出了三种性价比较好的并网小水电调度自动化管理解决方案,并对三种方案的优缺点进行了分析比较。