公钥加密算法Rabin-OAEP安全性证明

针对Rabin-OAEP算法在自适应选择密文攻击下是否安全,采用Adversary和Simulator进行的合理交互,论证“分解大整数N=pq是困难的（其中P,q为2个大素数）,则Rabin-OAEP算法在自适应选择密文攻击下是安全的”的逆否命题,结果证明了Rabin—OAEP算法的安全性。     

分布式故障诊断在SNMP中的模拟与应用

分析传统网络管理集中式及分层次体系结构的缺陷,提出分布式网络管理的体系结构,把用于大规模集成电路故障诊断的系统级故障诊断算法ADSD应用到计算机网络故障诊断中。为了验证计算机网络分布式故障诊断的可行性,在NS中嵌入ADSD算法,模拟整个算法的执行,对算法的执行效率如诊断延时、报文流量进行分析。在此基础上对原算法进行改进,以减小算法对正常网络应用的影响。通过对SNMP的模拟实验,验证在网络管理中引入分布式故障诊断的可行性。     

基于层次管理的按需路由协议研究

动态源路由（DSR）协议能较好适用中小型对等自组网络环境,但在非对等网络环境中面临一定应用局限。针对该问题,分析DSR协议的特点和存在问题,结合非对等环境和层次路由思想,提出新的协议CDSR,对CDSR路由协议进行性能评估。仿真结果表明,该协议具有较好的执行效能,可提升网络性能。     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

时间序列分析在轨道交通客流预报中的应用研究

时间序列分析是动态数据分析的重要方法,在多学科领域中得到广泛的研究和运用.研究时间序列分析在城市轨道交通自动售检票系统数据分析中的应用方法,并结合某线路AFC系统的历史沉淀数据,给出两个完整的时间序列分析案例,其分析方法能够为AFC运营管理提供有效决策的手段.     

Robust stabilisation and L2 -gain analysis for switched systems with actuator saturation under asynchronous switching

Robust stabilisation and L₂-gain analysis for a class of switched systems with actuator saturation are studied in this paper. The switching signal of the controllers lags behind that of the system modes, which leads to the asynchronous switching between the candidate controllers and the subsystems. By combining the piecewise Lyapunov function method with the convex hull technique, sufficient conditions in terms of LMIs for the solvability of the robust stabilisation and weighted L₂-gain problems are presented respectively under the dwell time scheme. Finally, a numerical example is given to demonstrate the feasibility and effectiveness of the proposed results.     

Resilient overlay network for real-time interactive multimedia sessions in corporate networks

Real-time interactive multimedia communications are becoming increasingly useful for education, business, e-commerce and e-government, providing an enriched user experience in teleconferencing, e-meetings, distance training and product demonstrations. Large corporations are usually located at several sites, so real-time multipoint sessions within corporations are especially difficult. IP multicast is available or feasible within each site of an organization. Thus, corporate networks can be considered as various multicast-capable networks interconnected through a wide area network without multicast connectivity. This paper proposes a resilient self-managed overlay network to support real-time multipoint interactive sessions within corporate networks. The proposed overlay takes advantage of the configuration of corporate networks to self-organize and provide an efficient media delivery service, making use of multicast communications wherever available. Various self-healing techniques are implemented allowing for the continuity of ongoing sessions in spite of network disruptions and entity failures. Extensive simulations and tests have been carried out to assess the performance and resilience of the overlay facing several types of disruptions.     

Image compression-encryption scheme combining 2D compressive sensing with discrete fractional random transform

Multimedia Tools and Applications - Most of the existing image encryption algorithms based on compressive sensing are too complex to operate. An image compression-encryption scheme with simple...     

基于Android的PC无线控制器的设计与实现

介绍一个基于Android平台的人机交互设计方案:通过编程将手机变为PC的无线控制器,可提供PPT遥控、无线游戏手柄、远程关机及锁屏等功能。     

An Analysis of Edge Detection by Using the Jensen-Shannon Divergence

This work constitutes a theoretical study of the edge-detection method by means of the Jensen-Shannon divergence, as proposed by the authors. The overall aim is to establish formally the suitability of the procedure of edge detection in digital images, as a step prior to segmentation. In specific, an analysis is made not only of the properties of the divergence used, but also of the method's sensitivity to the spatial variation, as well as the detection-error risk associated with the operating conditions due to the randomness of the spatial configuration of the pixels. Although the paper deals with the procedure based on the Jensen-Shannon divergence, some problems are also related to other methods based on local detection with a sliding window, and part of the study is focused to noisy and textured images.