零知识证明的新进展

本文介绍零知识证明方面的两个最新成果，多验证者的广播式证明协议（ＭＶＢＩＰ）与非交互式的知识的零知识证明（ＮＩＺＫＰＫ），给出它们的定义和主要结论，以及在密码体制设计中的应用。     

网页清洗系统基于静态正则表达式的实现

本文介绍了一种新的基于c＋＋模板技术实现的正则表达式引：Xpressive．并通过应用Xpressive技术中的静态正则表达式来实现网页清洗。该实现有效的避免了传统方法分析网页DOM树算法复杂不易实现的缺点．在保证算法简单和结果正确的同时，还以测试数据证明应用静态正则表达式运行速度上的优势。     

双环戊二烯-马来酸酐共聚物的合成、表征及其与聚氨酯反应性共混研究

合成了双环戊二烯-马来酸酐交替共聚物(DCPD-co-MA),产率约25%。采用红外、核磁共振氢谱和碳谱对共聚物进行了表征,差热分析和热重分析表明该共聚物具有较好的热性能,其T_g为210℃,起始热失重温度为310℃。采用反应性共混方法合成了DCPD-co-MA与聚氨酯(PU)的共混物(PU/DCPD-co MA),反应温度为80℃。该共混物具有较好的综合性能,其起始热失重温度较纯PU提高了约41℃,共混后,其耐热性能有较大改善。     

新的数字多签名体制

本文给出了基于Ｓｃｈｎｏｒｒ体制的新的数字多签名体制，包括同时签名和顺序签名的两种类型，文中分别描述了这两个多签名体制的密钥生成，多签名生成和多签名验证过程指出它们对多签名生成的有效性，此外我们还讨论了顺序签名类型的多签名体制的安全性，利用计算复杂度理论证明了它对抗被动攻击用Ｓｃｈｎｏｒｒ体制是同样安全的。     

集成膜技术在甲醇生产中的应用

论述集成膜甲醇分离技术的机理,集成膜甲醇分离器的结构,集成膜技术在甲醇生产中的应用及前景.     

依兰长焰煤的鲁奇气化技术的吸收与发展

一、前言 长焰煤是一种硬质褐煤,燃烧时为长焰,长焰煤最典型的气化方法是鲁奇工艺气化。鲁奇炉自1932年实现加压气化以来,已经半个多世纪,这期间煤气化几起几落,主要由于石油和天然气的大量开采和廉价供应,使工艺研究工作受到影响。在国外,西方一些经济学家称煤化工的大装置生产为     

基于SolidWorks Composer的火车轮毂智能锻造生产线可视化设计研究

以CAXA CAD和SolidWorks为平台,设计建立火车轮毂智能锻造生产线所需的环形加热炉、工业机械手、快速锻造液压机等三维模型,完成生产线系统模型集成优化,后将模型导入SolidWorks Composer软件进行可视化交互设计,即通过设置属性关键帧、位置关键帧、时间关键帧等内容,完成生产流程的可视化设置,生动呈现智能化生产过程,实现机械设计制造与可视化设计耦合,为火车轮毂智能锻造生产线系列化设计和运动联动设计提供基础与依据。     

竹帘胶合板的科技创新与发展方向

针对竹帘胶合板结构及其生产工艺中存在的问题，提出了全方位利用竹材资源和竹材高效加工利用的方法，总结了改进产品结构、降低板材密度、改进工艺技术、研制专用设备等方面的科技创新成果，指出了加强产品应用研究，扩大产品应用领域的重要性。通过全面系统的科技创新，使竹帘胶合板转型为中密度径向竹篾帘复合板系列产品，从而使这一具有中国特色的建筑模板品种增强其市场竞争力。     

中国竹材人造板的科技创新历程与展望

概述了中国利用其丰富的竹材资源与竹材的优良特性,以现代木材工业的工艺与技术装备为依托,研制开发竹材人造板系列产品的情况。介绍了竹材人造板各主要品种在产品结构的改进,工艺技术的创新,胶粘剂的改性以及竹材专用加工设备的研制等方面的科技创新成果和形成竹材工业化利用的历史进程,并探讨了竹材人造板的发展前景。