结合简短可链接环签名的智能合约选举方案

目前一些电子选举协议利用可链接环签名或一次性环签名来保护投票者的隐私,并防止重复投票的情况发生,但签名大小随投票人数的增大而增大,而简短可链接环签名大小始终固定不变,但已有简短可链接环签名算法效率较低。针对这些问题,利用累加器和基于知识证明的签名,构造新的高效的简短可链接环签名,结合匿名地址及星际文件系统,提出一种新的智能合约选举方案,分别设计了选举的创建、投票、计票等阶段的操作。对方案的不可伪造性、可链接性、匿名性、隐私性、公开验证性以及运行效率进行了证明和分析。最后进行了实验仿真评估,结果显示,随着投票者人数的增大,该方案选票的签名大小及Gas消耗保持不变且较少,生成时间及验证时间增长缓慢且较少。     

一种支持分级用户访问的文件分层CP-ABE方案

文件分层的密文策略基于属性的加密（FH-CP-ABE）方案实现了同一访问策略的多层次文件加密,节省了加解密的计算开销和密文的存储开销.然而,目前的文件分层CP-ABE方案不支持分级用户访问,且存在越权访问的问题.为此,提出一种支持分级用户访问的文件分层CP-ABE方案.在所提方案中,通过构造分级用户访问树,并重新构造密文子项以支持分级用户的访问需求,同时消除用户进行越权访问的可能性.安全性分析表明,所提方案能够抵御选择明文攻击.理论分析和实验分析均表明,与相关方案相比,所提方案在计算和存储方面具有更高的效率.     

Study on the Propagation Law of Shock Wave Pressure in Tunnels with Different Materials

The propagation of shock wave pressure in the tunnel is greatly affected by the tunnel structure, shape, material and other factors, and there are great differences in the propagation law of shock wave pressure in different kinds of tunnels. In order to study the propagation law of shock wave pressure in tunnels with different mate-rials, taking the long straight tunnel with the square section as an example, the AUTODYN software is used to simulate the explosion of TNT in the concrete, steel and granite tunnel, and study on the variation law of shock wave pressure in tunnels with different materials. By using dimensional analysis and combined with the results of numerical simulation, a mathematical model of the propagation law of shock wave pressure in the tunnel is established, and the effectiveness of the mathematical model is verified by making the explosion test of the warhead in the reinforce concrete tunnel. The results show that the same mass of TNT explodes in the tunnel with different materials, and the shock wave overpressure peak at the same measuring point is approximate in the near field. However, there is a significant difference in the middle-far fields from the explosion center, the shock wave overpressure peak in the steel tunnel is 20.76% and 34.82% higher than that of the concrete and the granite tunnel respectively, and the shock wave overpressure peak in the concrete tunnel is 24.91% higher than that in the granite tunnel. Through the experimental verification, getting the result that the maximum relative deviation between the measured value and the calculated value of the shock wave overpressure peak is 11.85%. Therefore, it is proved that the mathematical model can be used to predict the shock wave overpressure peak in the tunnel with different materials, and it can provide some reference for the power evaluation of warhead explosion in the tunnel.     

基于听觉效果的数字音频水印算法的设计

为了提高音频水印嵌入的数据量和嵌入的效果,提出了一种基于人耳听觉效果的数字音频水印嵌入算法;该算法利用人耳对声音的滞后掩蔽效应,在声音中的一些被屏蔽掉的区域嵌入水印信息,达到扩大水印信息量和减少对音频信息的影响;设计的算法采用过零率和音频信号能量实现水印的嵌入,使用同步信号实现水印信息的定位,利用水印信号和帧段数量的相互关系来实现水印的提取;测试结果表明,该算法具有较强的鲁棒性,能够抵御典型的水印攻击技术。     

一种基于RFID的文件管理系统设计方案

针对涉密文件特别是纸介质文件管理上存在的安全问题,基于RFID技术设计实现了涉密文件管理系统。该系统采用了文件监控与安全报警的方法,实现涉密文件高效安全的管理,降低了泄密事件的发生率,实现了利用自动化设备对纸介质涉密文件进行监控管理的设想。     

加密文件的“外发”交流模式

在电子文件加密系统的控制下,经过加密控制处理的电子文件通过一定的技术处理,向文件接收方发送,使接收者能够有效地阅读加密文件。本文通过对加密文件"外发"的形式,阐述加密文件"外发"的原理和方式。     

基于CBS模式的档案管理数字化系统的研究

随着我国经济和社会的飞速发展.人民对信息的要求日益提高.档案管理在这种新的形势下.面临巨大的挑战.传统的档案管理已经不能适应新形势的发展,档案管理数字化系统进行研究势在必行.本文主要对档案管理的涵义、数字化系统方案设计.文档图像处理和系统软件部分等进行了相应的阐述.本文的研究对以后指导档案管理工作具有一定的理论意义和现实意义.     

Arbitrary decay rate for two connected strings with joint anti-damping by boundary output feedback

In this paper, we are concerned with the boundary stabilization of two connected strings with middle joint anti-damping for which all eigenvalues of the (control) free system are located on the right complex plane. We first design an explicit state feedback controller to achieve exponential stability for the closed-loop system. Consequently, we design the output feedback by using infinite-dimensional observer. The backstepping approach is adopted in investigation. It is shown that by using one boundary stabilizer only, the output feedback can make the closed-loop system exponentially stable with arbitrary decay rate.     

Recovering the initial state of an infinite-dimensional system using observers

Let A be the generator of a strongly continuous semigroup T on the Hilbert space X, and let C be a linear operator from D(A) to another Hilbert space Y (possibly unbounded with respect to X, not necessarily admissible). We consider the problem of estimating the initial state z₀∈D(A) (with respect to the norm of X) from the output function y(t)=CT_tz₀, given for all t in a bounded interval [0,τ]. We introduce the concepts of estimatability and backward estimatability for (A,C) (in a more general way than currently available in the literature), we introduce forward and backward observers, and we provide an iterative algorithm for estimating z₀ from y. This algorithm generalizes various algorithms proposed recently for specific classes of systems and it is an attractive alternative to methods based on inverting the Gramian. Our results lead also to a very general formulation of Russell’s principle, i.e., estimatability and backward estimatability imply exact observability. This general formulation of the principle does not require T to be invertible. We illustrate our estimation algorithms on systems described by wave and Schrödinger equations, and we provide results from numerical simulations.     

Hull-form optimization in calm and rough water

The paper presents a formal methodology for the hull form optimization in calm and rough water using wash waves and selected dynamic responses, respectively. Parametric hull form modeling is used to generate the variant hull forms with some of the form parameters modified, which are evaluated in the optimization scheme based on evolutionary strategies. Rankine-source panel method and strip theories are used for the hydrodynamic evaluation. The methodology is implemented in the optimization of a double-chine, planing hull form. Furthermore, a dual-stage optimization strategy is applied on a modern fast displacement ferry. The effect of the selected optimization parameters is presented and discussed.