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.