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.     

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

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

基于p范式模型的检索

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

基于进程管理的气象文件监控处理

文件实时监控处理过程在控制程序处理过程中被广泛运用。本文结合文件处理的实际工作,描述了文件处理程序的监控处理过程,实现了基于进程管理的文件监控处理与预处理过程的协同工作。     

爆炸冲击波作用下核电站安全壳动力分析模型

根据某国防科研课题，建立核电站安全壳在爆炸冲击波作用下的动力分析模型，讨论并分析了质点杆模型在安全壳预应力混凝土结构中的应用。质点杆模型可用于计算爆炸冲击波作用下的结构响应。     

Applications of optimal mathematic-physical models in metallurgical manufacture scheduling system at Baosteel

The transfer of mass flow between ironmaking and steelmaking process at Baoshan Iron and Steel Co. Ltd. has been analyzed. The mathematic-physical models of transport scheduling for hot metal manufacturing have been researched combined with the practical problem in the metallurgical manufacture procedure. Taking into account these models, the scheduling software has been designed, programmed and tested on-line. The new automation system of production scheduling has been implemented successfully at Baosteel, which produces a great economic benefit.     

力控~应用于高压氧舱治疗监控及视频监视

本文主要谈了力控在医疗方面的应用,也就是力控应用与高压氧舱治疗监控及视频监视方面。