AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design(e.g. freeness of deadlock and unspecified reception,and temporal constraints) is an important and challenging problem in web services. Most existing approaches require a detailed specification of the desired behaviors of a composite service beforehand and then perform certain formal verification to guarantee the correctness of the design,which makes the composition process both complex and time-consuming. In th...     

定转子圆度智能测量装置驱动研究

本文讲述了水电站机组定转子圆度测量装置的基本原理和构成,重点阐述圆度测量装置步进电机驱动部分的电路设计及如何使用TILF2407A DSP芯片来设计驱动程序.     

基于ARM9的嵌入式火灾预警系统的设计与实现①

设计了一种基于ARM9的嵌入式火灾预警系统,在ARM9上完成了视频图像的采集,火情识别和GPRS图像传输等功能的相应的系统构建和软件实现。改进的基于小波分析、混合高斯模型、RGB和HIS模型的火情识别算法能很好的排除干扰,准确判断火情。     

基于蕴涵算子族Lλ0λG的反向三I支持算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的反向三I支持算法。     

Association Rule Mining Frequent-Pattern-Based Intrusion Detection in Network

In the network security system, intrusion detection plays a significant role. The network security system detects the malicious actions in the network and also conforms the availability, integrity and confidentiality of data information resources. Intrusion identification system can easily detect the false positive alerts. If large number of false positive alerts are created then it makes intrusion detection system as difficult to differentiate the false positive alerts from genuine attacks. Many research works have been done. The issues in the existing algorithms are more memory space and need more time to execute the transactions of records. This paper proposes a novel framework of network security Intrusion Detection System (IDS) using Modified Frequent Pattern (MFP-Tree) via K-means algorithm. The accuracy rate of Modified Frequent Pattern Tree (MFPT)-K means method in finding the various attacks are Normal 94.89%, for DoS based attack 98.34%, for User to Root (U2R) attacks got 96.73%, Remote to Local (R2L) got 95.89% and Probe attack got 92.67% and is optimal when it is compared with other existing algorithms of K-Means and APRIORI.     

泡沫钢的制备及压缩吸能特性

为制备高强轻质泡沫钢吸能材料,本文以430L不锈钢粉为原料、CaCl₂为造孔剂,采用粉末冶金烧结-溶解法制备了孔隙率为64%~80%,孔径1~4 mm的泡沫钢.利用SEM和XRD对试样进行微观组织结构分析,并对试样进行轴向准静态压缩测试,分析讨论了孔隙率和孔形对泡沫钢压缩变形行为和吸能特性的影响,以及变形过程中孔结构变形和坍塌机理.研究表明：泡沫钢孔结构呈近球形且分布均匀,孔之间通过孔壁上的微孔形成有效连通.在压缩变形过程中,变形区首先发生在孔形不规则且孔壁较薄处,后诱发周围孔变形并形成多个变形带.泡沫钢试样压缩屈服平台应力随着孔隙率的增加而减小,当孔隙率为64.81%~78.82%时,其对应的屈服平台应力为59.37~17.04 MPa.在孔隙率相同的条件下,孔形为近球形的泡沫试样,其屈服平台应力远高于孔形不规则的试样.当应变量为40%时,孔隙率为64.81%~78.82%的泡沫钢,其单位体积的能量吸收值为23.92~7.32 MJ/m³,约为泡沫铝的5~7倍.4种不同孔隙率泡沫钢样品的理想吸能效率(I)均达0.85以上,表明泡沫钢可以作为一种理想的吸能材料.     

nRF24L01在ABS试验平台上的应用

介绍了无线通信模块NRF24L01的结构和特点,设计无线通信的ABS参数测量系统,系统通过对ABS试验平台轮速进行采集,将轮速转化成频率信号,利用周期测量法测出频率,经无线通信模块NRF24L0将数据发送出去。在终端通信模块与主接收模块之间采用TDMA通信方式进行数据交互,主接收模块接收到数据传送到上位机上显示。     

A leakage-aware L2 cache management technique for producer-consumer sharing in low-power chip multiprocessors

This paper proposes a novel leakage management technique for applications with producer-consumer sharing patterns. Although previous research has proposed leakage management techniques by turning off inactive cache blocks, these techniques can be further improved by exploiting the various run-time characteristics of target applications in CMPs. By exploiting particular access sequences observed in producer-consumer sharing patterns and the spatial locality of shared buffers, our technique enables a more aggressive turn-off of L2 cache blocks of these buffers. Experimental results using a CMP simulator show that our proposed technique reduces the energy consumption of on-chip L2 caches, a shared bus, and off-chip memory by up to 31.3% over the existing cache leakage power management techniques with no significant performance loss.     

On the convective nature of the instability of a front undergoing a supercritical Turing bifurcation

Fronts are traveling waves in spatially extended systems that connect two different spatially homogeneous rest states. If the rest state behind the front undergoes a supercritical Turing instability, then the front will also destabilize. On the linear level, however, the front will be only convectively unstable since perturbations will be pushed away from the front as it propagates. In other words, perturbations may grow but they can do so only behind the front. It is of interest to show that this behavior carries over to the full nonlinear system. It has been successfully done in a case study by Ghazaryan and Sandstede [A. Ghazaryan, B. Sandstede, Nonlinear convective instability of Turing-unstable fronts near onset: a case study, SIAM J. Appl. Dyn. Syst. 6 (2007) 319–347]. In the present paper, analogous results are obtained for the same system as in Ghazaryan and Sandstede (2007), but for a different parameter regime.     

General linear methods for ordinary differential equations

General linear methods were introduced as the natural generalizations of the classical Runge–Kutta and linear multistep methods. They have potential applications, especially for stiff problems. This paper discusses stiffness and emphasises the need for efficient implicit methods for the solution of stiff problems. In this context, a survey of general linear methods is presented, including recent results on methods with the inherent RK stability property.