ID-based non-interactive zero-knowledge proof system based on one-out-of-two non-interactive oblivious transfer

In this paper, we propose an ID-based non-interactive zero-knowledge proof system based on the 1-out-of-2 noninteractive oblivious transfer protocol. This zero-knowledge proof system is secure against a newly discovered cheating attack.     

Computational study of transport processes in a single-screw extruder for non-newtonian chemically reactive materials

A numerical study of the transport phenomena arising in a single-screw extruder channel is carried out. A non-Newtonian fluid is considered, using a power law model for the variable viscosity. Chemical reaction kinetics are also included. Finite difference computations are carried out to solve the governing set of partial differential equations for the velocity, temperature and species concentration fields, over a wide range of governing parameters for the case of a tapered screw channel. The numerical treatment for this combined heat and mass transfer problem is outlined. A marching procedure in the down-channel direction is adopted and the validity of the scheme for practical problems discussed. For large viscous dissipation, the material heats up considerably due to the prevailing shear field, affecting the viscosity significantly, and results in large changes in the pressure development at the end of the channel. The rate of reaction controls the mass diffusion rate which in turn affects viscosity and the flow significantly. The dimensionless throughput,q _v , is one of the most important parameters in the numerical solution. The dimensionless pressure variation is very sensitive toq _v , and orders of magnitude changes are possible for small variations inq _v . Schemes for dealing with other important effects such as back flow, heat transfer by conduction in the barrel, and the effect of the die are also outlined. A list of symbols is given at the end of the paper This is publication No. F-10544-4-91 of the New Jersey Agricultural Experiment Station supported by State Funds and the Center for Advanced Food Technology (CAFT). The Center for Advanced Food Technology is a New Jersey Commission on Science and Technology Center. This work was also supported in part by the US Army Research Office.     

Influence of the surface conditions on permeation in the deuterium–MANET system

The condition of the surfaces is of crucial importance for the deuterium permeation through materials. In this work a study of the surface constants for the adsorption (σk₁) and release (σk₂) of deuterium under different surface conditions on the martensitic steel DIN 1.4914 (MANET) has been carried out. The growth of an oxide surface layer (Cr₂O₃) of about 25–30 nm in a MANET sample, heat treated in an oxidizing environment, compared to the bare MANET that have a ‘natural' oxide of about 5 nm has provoked a reduction of both the permeation rate and the recombination coefficient (about 3 orders of magnitude). In addition, the permeation governing process has changed from diffusion-limited to surface-limited. The measurements of the permeation rate of deuterium were performed by a gas-phase permeation technique over the temperature range 574–746 K and for deuterium driving pressures in the range from 3 to 10⁵ Pa.     

分偏移距动校正方法的改进

在地震资料处理中，速度分析和动校正对资料品质的影响很大。由于动校正速度是随偏移距变化而变化的，而常规速度分析并没有考虑这一因素，动校正效果往往不是很理想，从而影响资料的叠加和成像效果。分偏移距动校方法是在不同偏移距上采用不同的速度进行动校正。但由于是在不同偏移距组上分别独立进行速度分析和动校正，因此不能将不同偏移距组的同一反射同相轴校正到同一to层位上。这样就需要进行繁琐的后续处理，而且还会降低同相轴的连续性和平滑性。为此，对该方法进行了一些改进，即固定to在不同的分偏移距段进行速度扫描，段与段之间的衔接问题采用平滑处理解决。理论模型分析表明，采取上述改进措施后，动校正效果得到了一定提高，改善了同相轴的连续性和平滑性。     

智能型可控硅低频电源系统中的零电流检测电路

在矿井提升系统中,低频电源被广泛应用于提升的减速、爬行阶段,大大地提高了提升系统的运行效率和安全性。简单介绍了智能型可控硅低频电源系统的工作原理,并主要针对系统中的零电流检测问题,应用高速光耦合元件6N137设计了零电流检测电路,给出了高速光耦合元件6N137的结构和工作原理。该电路缩短了检测的时间,并提高了检测的准确性,使系统的输出性能得到很大的改善。     

基于ECC-ZKP的农产品供应链可控身份管理与认证模型

基于区块链的农产品供应链中,当参与主体数量规模越来越大时,节点与企业之间的1：1匹配关系将造成节点数量众多,从而造成网络开销大、共识效率低等问题。针对这些问题,引入中间件使得节点与企业之间1：1关系变为1：n的关系,对所涉及到的企业身份管理以及相互之间的认证,提出一种基于ECC-ZKP（elliptic curve cryptosystem-zero—knowledge proof）的可控身份管理与认证模型,实现身份的可控管理和完成可信交易前所需要的身份认证。通过模型分析和仿真实验分析结果表明,该模型能够提供较高的安全性,能够有效进行身份的管理和认证,且节点与企业之间1：n关系相比较于1：1关系减少了网络开销并提高了共识效率。     

Snort入侵检测系统中数据包捕获模块的分析与设计

随着网络的高速发展,网络带宽得到了极大的提升。高速网络环境下对入侵检测系统提出了更高的要求,其中入侵检测系统的数据包捕获能力成为其发展的瓶颈。目前大多数系统使用传统的Libpcap库来实现数据包捕获功能,文章对一个基于Snort入侵检测系统中数据包捕获模块进行了分析设计,给出了设计架构,详细说明了工作流程,并对系统的性能进行了对比分析。     

Transport properties of critical dilute solutions

On the basis of the isomorphism of critical phenomena, the behavior of transport properties of binary mixtures in the vicinity of the vapor-liquid critical line is considered. In particular, the renormalization of the singularity of the thermal conductivity in dilute critical solutions has been analyzed in detail. It is shown that the behavior of the thermal conductivity is determined by the critical background, i.e., the fluctuation-induced regular part, which diverges at the critical point of a solvent.     

3DGIS环境下雨雪天气实时仿真

3D GIS最重要的特征之一就是虚拟现实表现,其本质是可视化技术与GIS数据库的整合,以满足各种应用如生态农业、灾害预测等方面的需求。以GIS数据库的环境数据和气象数据为基础,通过对雨雪的效果模拟,将GIS气象数据以实时的可视化形式逼真地表现出来。实验方法采用粒子系统,对单个点元赋予利用Photoshop制作的大面积纹理,这样采用的粒子数减少到普通粒子系统的十分之一,渲染速度为普通粒子系统的十倍以上,以较小的系统资源消耗达到了更加实时逼真的效果,对雪的动态堆积和雨水地面效果采用GPU加速3维渲染,原型系统同时能接受用户对实验环境如粒子纹理、雨雪量的设置。提出根据气象数据进行天气模拟的自适应策略,从而更加适应实际应用需要。