基于XML重写的SOAP安全

基于传统Web安全方法实施防护的Web服务常常受到XML重写攻击的威胁,而SOAP作为Web服务的关键技术,其安全也成为了Web服务安全的重要组成部分.文章首先分析了各种XML重写攻击技术,阐述了各种XML重写攻击技术的手段和特点;针对不同XML重写攻击手段提出了预防XML重写攻击的技术和方法,并重点分析了基于SOAP消息本身的方法和基于安全策略内容的方法;最后,总结归纳了预防XML重写攻击的两种方式,并提出了下一步的工作.     

A Novel CAPP System Based on SML for Variant Design of Process Planning

The production model of“multi-specification and low-quantity”is becoming the main trend of manufacturing industry.As a key activity in the manufacturing chain,traditional computer aided process planning(CAPP)system fails to adapt to the production model of customization.Therefore,a novel method for variant design of process planning was proposed to develop CAPP system based on Tabular Layouts of Article Characteristics(Sach-Merk Leisten in German and SML for short). With the support of standard database of master process planning documents which are developed by parameterization technique, and instance process planning for special product(instance product)can be generated automatically by the sub-system of variant de- sign of process planning.Finally,a CAPP system was developed for process design of rotor of steam turbine to validate the feasibil- ity and applicability of the method.     

A Functional Programming Framework for Latency Insensitive Protocol Validation

Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to implement LIPs on long interconnects stems from the fact that with increasing clock frequencies, the signal delay on some interconnects exceeds the clock period. Correctness of a system composed of synchronous blocks communicating via LIPs is established by showing latency equivalence between a completely synchronous composition of the blocks, and the LIP based composition. A design flow based on a synchronous composition specification, and stepwise refinement to LIP composition can be easily conceived, and a proof obligation to show latency equivalence between the synchronous specification and the refinement needs to be discharged. In this work, we propose a functional programming based framework for modeling and simulating LIP, and implement the semantics of various refinement steps in the programming model, so we can validate the LIP model against the original system within this functional programming framework. Such validation becomes easier due to the inherent denotational model of functional languages. We specifically use Standard ML to model the original system implementation as well as its latency insensitive version and compare the two by creating a model that contains both, giving them the same inputs and checking their outputs to be latency equivalent.     

基于过程集成的ETO产品快速设计研究

该文通过分析面向订单设计产品配置设计中多学科、高耦合、多迭代和系统性等基本特性,提出基于事物特性表的ETO产品快速设计方法.研究了ETO产品快速设计过程中的几个关键技术:提出了设计过程与产品数据的集成模型;分析了过程管理与产品报价系统的集成方法.通过与过程管理的集成,以配置设计和变型设计为主要手段,能够实现ETO产品的...     

SML：BCF丝的革新性纺丝设备

奥地利ＳＭＬ公司的纺丝生产线可以生产各种各样的长丝。在巴黎ＩＴＭＡ’９９上,ＳＭＬ公司展出了第一台用复丝来生产ＢＣＦ丝的设备－Ａｕｓｔｒｏｆｉｌ,这套设备会给生产商带来极大的便利。     

使用着色Petri网实现调度仿真系统中的启发式算法

提出了在着色Petri网中运用标准元语言（SML）实现逻辑计算的方法。将着色Petri网与SML函数的组合体称为着色Petri网的运算单元，利用运算单元实现了调度系统NEH启发式算法。给出了使用着色Petri网组建流水车间（FlowShop）调度仿真系统的实例。     

基于提升静态小波变换与联合结构组稀疏表示的多聚焦图像融合

为抑制传统小波变换在多聚焦图像融合中产生的伪吉布斯现象,以及克服传统稀疏表示的融合方法容易造成融合图像的纹理与边缘等细节特征趋于平滑的缺陷,提高多聚焦图像融合的效率与质量,采用一种基于提升静态小波变换（LSWT）与联合结构组稀疏表示的图像融合算法。首先对实验图像进行提升静态小波变换,根据分解后得到的低频系数与高频系数各自不同的物理特征,采用不同的融合方式。选择低频系数时,采用基于联合结构组稀疏表示的系数选择方案;选择高频系数时,采用方向区域拉普拉斯能量和（DRSML）与匹配度相结合的系数选择方案。最后经逆变换重构得到最终融合图像。实验结果表明,改进的算法有效地提高了图像的互信息量、平均梯度等指标,完好地保留图像的纹理与边缘等细节信息,融合图像效果更好。     

基于事物特性表的产品配置模型

在通用BOM的基础上引入事物特性表,将类和特性的思想相结合建立产品配置模型。模型中的零部件被抽象为构件类,构件类中封装一个事物特性表对象属性,事物特性表中定义了构件类的各种特性。零部件之间的相互关系转化为构件类的事物特性表的特性之间的约束、关联关系及参数传递。该产品配置模型能使产品设计方法与软件实现有机结合,便于产品配置软件系统和开发应用。     

基于事物特性表的参数化产品变型设计研究

在面向大批量定制开发设计技术的基础上,提出了基于事物特性表参数化产品变型设计系统的总体框架,以Pro/E为具体应用平台,起重机大车机构为研究对象,借助SQL Server软件的表处理功能建立事物特性表,并利用VB.NET软件对Pro/E的变量表进行二次开发,再加入模块化的设计思想,实现了产品变型设计。     

事物特性表驱动的省煤器产品族敏捷设计平台

针对当前锅炉省煤器产品的设计难度大、设计效率低且无统一设计标准等问题,提出了一种基于事物特性表(SML)的参数化快速设计方法,建立了省煤器产品族设计模板,并详细论述了关键部件的智能装配技术及参数化几何模型的优化设计.最后,开发出了系统实例,实现了省煤器从结构设计、几何变形到产品数据文档生成的完整流程,极大地提高了设计效率.