Existence results for impulsive differential inclusions with nonlocal conditions

In this paper, we shall establish sufficient conditions for the existence of mild solutions for nonlocal impulsive differential inclusions. On the basis of the fixed point theorems for multivalued maps and the technique of approximate solutions, new results are obtained. Examples are also provided to illustrate our results.     

Consensus of multiple Euler-Lagrange systems using one Euler-Lagrange System’s velocity measurements

International Journal of Control, Automation and Systems - This brief paper studies the stationary consensus of multiple Euler-Lagrange systems with nonlinear protocols. Two consensus protocols are...     

Topology optimization based on level set for a flexible multibody system modeled via ANCF

A topology optimization methodology is proposed for the flexible multibody system undergoing both large overall motion and large deformation. The system of concern is modeled via the absolute nodal coordinate formulation. The equivalent static load method is employed to transform the topology optimization of the nonlinear dynamic response of the system into a static one, and evaluated to adapt to the absolute nodal coordinate formulation by splitting the elastic deformations of the flexible components from the overall motions of those components. During the static topology optimization, the material interface is implicitly described as the zero level set of a higher-dimensional scalar function. Then, the semi-implicit level set method with the additive operator splitting algorithm is employed to solve the corresponding Hamilton-Jacobi partial differential equation. In addition, the expert evaluation method of weights based on the grey theory is utilized to define the objective function, and a modified augmented Lagrange multiplier method is proposed to treat the inequality volume constraint so as to avoid the oscillation and drift of the volume. Finally, two numerical examples are provided to validate the proposed methodology.     

New receipt-free voting scheme using double-trapdoor commitment

It is considered to be the most suitable solution for large scale elections to design an electronic voting scheme using blind signatures and anonymous channels. Based on this framework, Okamoto first proposed a receipt-free voting scheme [30] for large scale elections. However, in the following paper, Okamoto [31] proved that the scheme [30] was not receipt-free and presented two improved schemes. One scheme requires the help of the parameter registration committee and the other needs a stronger physical assumption of the voting booth. In this paper, we utilize the double-trapdoor commitment to propose a new receipt-free voting scheme based on blind signatures for large scale elections. Neither the parameter registration committee nor the voting booth is required in our scheme. We also present a more efficient zero-knowledge proof for secret permutation. Therefore, our scheme is much more efficient than Okamoto’s schemes [30] and [31] with the weaker physical assumptions. Moreover, we prove that our scheme can achieve the desired security properties.     

Parameterized complexity of coloring problems: Treewidth versus vertex cover

We compare the fixed parameter complexity of various variants of coloring problems (including List Coloring, Precoloring Extension, Equitable Coloring, L(p,1)-Labeling and Channel Assignment) when parameterized by treewidth and by vertex cover number. In most (but not all) cases we conclude that parametrization by the vertex cover number provides a significant drop in the complexity of the problems.     

大纯滞后过程的采样控制及其工程实现中的若干问题

提出了采样控制机制的新观点,介绍控制器参数确定的新方法,分析了采样控制的质量,指出了在工程实施应考虑的若干问题。     

PC机与多单片机组成串行通信的新尝试

以实际应用的小型集散变频调速系统为例 ,介绍一种PC机与多AT89C2 0 51单片机之间串行通信的接口电路 ,并提出一种新的通信方法 ,即采用QBASIC语言提供通信语句来编写多机通信程序。该方法硬件紧凑 ,软件编程简单可靠。     

实现动态网页的一种新技术ColdFusion

介绍了ColdFusion技术的定义、工作原理、具体实例、应用前景。     

基于p范式模型的检索

随着电子文本的大量涌现,人们对信息检索工具提出了更高的要求。本文介绍一种扩展的布尔检索模型及其在中文信息检索系统中的应用,并利用相关反馈技术改善检索系统性能。