Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

“926”植物生长调节剂的经济效益与生态环境

简要评估了“９２６”植物生长调节剂的经济效益和生态环境。分析了开发应用的前景。     

金属工件内部残余应力的振动消除研究

本文针对传统的消除金属工作内部残余应力的热时效处理法的不足，从激振角度，运用材料力学、动力学中的振动理论等知识，并通过大量试验验证，研究了振动消除应力的方法－－振动时效法的原理及其有关问题。说明这种新的方法具有节能、高效等一系列优点。     

省道002线（分水岭—仲宫段）地层划分与岩土工程分类

详细阐述了省道002线分水岭到仲宫段跨越地带地层的时代、岩性,划分了岩、土的工程类别,为道路和桥梁设计、支挡物设置及工程概算提供了依据。     

带有约束的缺省逻辑

提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．     

印染助剂结构的光谱分析

本文利用紫外光谱、红外光谱、元素分析等方法,采用红外与计算机联机检索技术对未知物的可能结构进行了研究,得到了满意的结果.     

斜拉桥钢索的振动与张力问题

本文用弦振动理论分析了斜拉桥钢索的简谐振动和强迫振动，结合对钢索在常温下振动频率的测量，计算了常温某一温度的张力．采用线性插值由该张力值推算出其它气温下钢索的张力，并与实际的测量结果作了比较．     

拖拉机主减速主动锥齿轮轴的辅助设计

本文对拖拉机主减速主动锥齿轮轴提出了一种新的设计方法，为提高该件的设计水平提供了可靠数据．     

416例湘西苗族学生手纹研究

<正>皮纹是人体稳定的体表特征.它的各种性状具有遗传特征,种族差异和民族差异,并且在刑侦及其某些遗传性疾病的诊断中起重要作用.为积累我国各民族正常群体的皮纹学参数值,为人类学、遗传学及临床医学等相关研究提供正常对照数据,我们对416例湘西苗族学生的手纹进行了研究,为了对照分析,引用了有关文献.     

切削刀具倒棱刃口挤压力的理论计算

根据试验观察．揭出了刀具刃口带负倒棱时的切削模型。在此模型中,刀具刃口 存在一个“金属死区”。以新模型为基础．采用能量法,对高温、高应变率下刀具刃 口的挤压力进行了理论计算。所做工作的特点是：１）在材料变形分析中计入了挤压 层金属绕过刀具刃口时的过剩变形;２）进行有关材料变形与物理特性的计算时,考 虑了温度与应变率的影响。利用新研制的压电式切削测力仪进行验证试验,其结果表 明,理论计算值与实测数据较好一致。