OPNET网络仿真技术及其应用

网络仿真是一种新的网络设计和优化技术,它能够为网络的规划设计提供可靠的定量依据,也能够验证实际方案或比较多个不同的设计方案.介绍了OPNET网络仿真软件,并对其主要特性、建模机制以及仿真步骤进行了深入的阐述.最后,给出了OPNET软件在预测网络性能方面的一个应用实例.实验结果表明,OPNET网络仿真软件能够准确地分析复杂网络的性能和行为.     

Web video thumbnail recommendation with content-aware analysis and query-sensitive matching

In this paper, a unified and adaptive web video thumbnail recommendation framework is proposed, which recommends thumbnails both for video owners and browsers on the basis of image quality assessment, image accessibility analysis, video content representativeness analysis and query-sensitive matching. At the very start, video shot detection is performed and the highest image quality video frame is extracted as the key frame for each shot on the basis of our proposed image quality assessment method. These key frames are utilized as the thumbnail candidates for the following processes. In the image quality assessment, the normalized variance autofocusing function is employed to evaluate the image blur and ensures that the selected video thumbnail candidates are clear and have high image quality. For accessibility analysis, color moment, visual salience and texture are used with a support vector regression model to predict the candidates’ accessibility score, which ensures that the recommended thumbnail’s ROIs are big enough and it is very accessible for users. For content representativeness analysis, the mutual reinforcement algorithm is adopted in the entire video to obtain the candidates’ representativeness score, which ensures that the final thumbnail is representative enough for users to catch the main video contents at a glance. Considering browsers’ query intent, a relevant model is designed to recommend more personalized thumbnails for certain browsers. Finally, by flexibly fusing the above analysis results, the final adaptive recommendation work is accomplished. Experimental results and subjective evaluations demonstrate the effectiveness of the proposed approach. Compared with the existing web video thumbnail generation methods, the thumbnails for video owners not only reflect the contents of the video better, but also make users feel more comfortable. The thumbnails for video browsers directly reflect their preference, which greatly enhances their user experience.     

Eventual Clusterer: A Modular Approach to Designing Hierarchical Consensus Protocols in MANETs

This paper proposes a modular approach to the design of hierarchical consensus protocols for the mobile ad hoc network with a static and known set of hosts. A two-layer hierarchy is imposed on the network by grouping mobile hosts into clusters, each with a clusterhead. The messages from and to the hosts in the same cluster are merged/unmerged by the clusterhead so as to reduce the message cost and improve the scalability. The proposed modular approach separates the concerns of clustering hosts from achieving consensus. A clustering function, called eventual clusterer (denoted as diamC), is designed for constructing and maintaining the two-layer hierarchy. Similar to unreliable failure detectors, diamC greatly facilitates the design of hierarchical protocols by providing the fault-tolerant clustering function transparently. We propose an implementation of diamC based on the failure detector diamS. Using diamC, we design a new hierarchical consensus protocol. As shown by the performance evaluation results, the proposed consensus protocol can save both message cost and time cost. Our proposed modular design is therefore effective and can lead to efficient solutions to achieving consensus in mobile ad hoc networks.     

基于力反馈技术的三维模型表面绘制技术研究

本文将力反馈技术引入虚拟绘制过程中,提出一种基于力反馈技术的三维模型表面绘制方法。首先分析毛笔在三维绘制过程中的受力和变形,采用弹簧-振子模型建立三维毛笔模型;然后由毛笔碰撞变形后的最小包围球找出碰撞相关点,计算碰撞相关点的平均法矢确定投影平面,通过计算毛笔的变形得出在投影平面上的笔触,将该笔触投影到三维模型表面,同时控制毛笔的受力和运笔路径叠加笔触获得具有特定书法效果的三维笔道;最后介绍了仿真系统,使用Phantom Desktop力反馈设备在该系统中实现了三维模型表面的绘制。仿真结果表明,该方法再现了三维模型表面绘制的力觉控制过程,增强了绘制过程中的真实感。     

SSL VPN在电子政务网中的应用

本文首先介绍了SSL VPN的概念和基本原理,然后根据Y省电子政务外网的建设要求,阐述了Y省电子政务外网中SSL VPN接入平台的建设与应用。     

Simulation study of single‐cell‐gap transflective liquid crystal display with nonuniform potential

A single‐cell‐gap transflective liquid crystal display with a nonuniform electric potential is demonstrated. The top substrate has a top planar common electrode, a transparent dielectric layer with a general dielectric constant is coated on the bottom substrate, and two planar pixel electrodes with the same size are coated on the dielectric layer and the bottom substrate, respectively. With the different gaps between the two planar pixel electrodes and top planar pixel electrode, the nonuniform electric potential from the transmissive region (T region) to the reflective region (R region) is generated, while a bumpy reflector is coated under the bottom substrate. In this device, with the dielectric layer, the pixel and common electrodes generate a strong electric potential in the T region and a relatively weak electric potential in the R region. Consequently, the T and R regions accumulate the same optical phase retardation. The simulation results show that the display exhibits reasonably low operating voltage, high optical efficiency, and well‐matched voltage‐dependent transmittance and reflectance curves. Besides, the fabrication process and the driving mode of the transflective liquid crystal display are relatively simple, and it is suitable for mobile applications.     

VMIC下基于联邦范型的虚拟试验支撑环境研究

针对虚拟试验的实时性需求,分析了现代军工领域虚拟试验的特点和需求,借鉴HLA联邦泛型的思想,提出了在VMIC反射内存网下基于联邦泛型构建试验支撑环境的思路,设计并实现了声明管理、联邦管理、对象管理和时间管理四种服务;结合某武器系统的分布仿真试验,构建了一套虚拟试验模型,测试了模型的性能数据,与MAK RTI的性能数据进行了对比,验证了系统在VMIC环境下具有较高的实时性,符合试验要求。     

Coinduction for Exact Real Number Computation

This paper studies coinductive representations of real numbers by signed digit streams and fast Cauchy sequences. It is shown how the associated coinductive principle can be used to give straightforward and easily implementable proofs of the equivalence of the two representations as well as the correctness of various corecursive exact real number algorithms. The basic framework is the classical theory of coinductive sets as greatest fixed points of monotone operators and hence is different from (though related to) the type theoretic approach by Ciaffaglione and Gianantonio.     

Special issue on distributed computing and artificial intelligence

4:1! Google’s artificial intelligence (AI) program, AlphaGo, has won Go Master Lee Sedol in a best-of-five competition held in Korean March 9?15, 2016. Seen by many as a landmark moment for AI, the outcome did not come as a surprise, considering the excellent combination of 1920 CPUs with sophisticated AI algorithms, including neural networks and Monte Carlo tree search (Gibney, 2016; Silver et al., 2016). Indeed, research on distributed computing and artificial intelligence (DCAI) has matured during the last decade and many effective applications are now deployed, performing an increasingly important role in modern computer science, including the two most hyped technologies: Internet of Things and Big Data. Indeed, it is fair to say that the application of artificial intelligence in distributed environments is becoming an essential element of high added value and economic potential.     

基于SQL Server的演绎规则处理器

设计并实现了一种基于SQLServer的演绎规则处理器,其主要功能是把演绎规则转换为含有SQL语句的过程代码,利用该处理器用户可用一阶逻辑谓词定义和查询IDB关系。