对一个基于RSA门限代理签名方案的分析与改进

对HLL方案的可操作性进行了分析,证明了HLL方案存在严重缺陷,代理签名者根本无法产生自己的签名。文章通过修改签名算法对原方案进行了改进,使得改进后的方案仍然保持了原方案安全、实用的特性,其计算量虽有少量增加,但仍远远低于其它门限代理签名方案。     

构件检索维度匹配模型及算法研究

随着构件复用研究的深入和构件库规模的扩大,构件的描述、检索及适配技术成为当前研究的热点。然而传统的构件描述与检索方法存在查准率和查询效率低,查询结果也不利于下一步构件适配的问题。针对这些问题并结合分而治之和树匹配思想,提出了一种新的易扩展的维度匹配模型,并给出了相应的构件检索匹配算法,有效提高了构件的查询效率和查准率,缓解了适配的压力;且该算法的时间复杂度和空间复杂度是线性的。     

谐波电压下的并网逆变器电流与功率协调控制

通过对电网电压中的高次谐波进行分析,其对并网逆变器功率波动与电流谐波影响较大.首先分析高次谐波电压对电流和功率产生的影响,进而提出一种电流与功率协同控制策略,设计级联低通滤波器滤除指令电流中的高次谐波分量,采用加权思想实现电流/功率协同控制,根据系统控制频率设计准比例谐振(QPR)控制器实现并网电流无谐波.避免了锁相环...     

基于Promela的UML建模方法及其应用

针对形式化方法与可视化方法的优缺点,本文提出形式化方法与可视化UML互补的建模方法,主要探讨用形式化方法验证UML模型,将UML模型转换为Promela模型,再用模型检测工具SPIN对Promela模型进行验证。最后通过实例对此转换方法进行验证,实验结果表明了此方法的有效性。     

嘧菌酯的新合成方法

报道了一种广谱高效杀菌剂嘧菌酯的新合成方法,首先以2-氯苯甲腈与4,6-二羟基嘧啶为原料催化合成4-羟基-6-（2-氰基苯氧基）嘧啶,氯化得到4-氯-6-（2-氰基苯氧基）嘧啶.将4-氯-6-（2-氰基苯氧基）嘧啶与（E）-2-（2-羟基苯基）-3-甲氧基丙烯酸甲酯耦合,生成（E）-2-（2-（6-（2-氰基苯氧基）嘧啶-4-基氧）苯基）-3-甲氧基丙烯酸甲酯（嘧菌酯）.3步总收率为79.8％（以2-氯苯甲腈计）,原药质量分数为97％.     

泵站CAD软件开发初探

着重介绍了泵站的计算机优化辅助设计软件的开发模式及一些编程技巧,并且通过AutoCAD的二次开发工具Autolisp语言完成C语言与AutoCAD的接口处理。     

各具匠心的奥运设计 中国印＆倒计时

上期看到“美不胜Show”栏目里开设了一个全新的小板块“奥运设计秀”之后,作为一名网友世界的读者、一名奥运支持者,我也萌发了投稿的冲动,这不有幸成为此板块的第一个投稿者。本期向大家介绍脸部绘制奥运标志的制作方法。奥运精彩的体育项目,让所有的人都为之疯狂,很多人都将奥运相关的图标描绘在脸上、身上,来表达自己对奥运的情缘,下面我们就来揭示奥运中国印是如何印在人物漂亮的脸蛋上的。     

网络认证协议攻击的非形式化分析

随着密码协议在计算机网络和分布式系统中的广泛应用,协议的安全性显得越来越重要,对协议的安全性分析和研究也成为目前一个非常紧迫的课题。协议安全性分析包括非形式化和形式化两种方法。论文通过对Woo-Lam,Helsinki和Otway-Rees三个典型协议攻击的非形式化分析,归纳出协议漏洞产生的原因,并探讨了相应的改进的方法。     

基于改进 GNY 逻辑的 Kerberos *协议安全性分析磁

为了增强通讯网络安全性,研究者致力于通讯协议的形式化分析与验证。 Abdelmajid 在 Kerberos 协议中添加用户物理位置作为新的认证因素得到改进协议,并用改进 BAN 逻辑说明改进协议的安全性。针对添加用户物理位置这一因素进一步完善后的协议 Kerberos *,结合可识别性和管辖性构造一种新的管辖规则,运用改进 GNY 逻辑对协议 Ker-beros *进行安全性分析。分析结果表明,协议 Kerberos *是安全的,运用改进 GNY 逻辑证明过程比改进 BAN 逻辑更详细、更严谨,此方法可运用于其它类似协议形式化分析。     

基于无线射频技术的BIM预制构件物流管理平台研究

为了适应市场经济和社会的生产发展趋势, 国内外都对预制装配式的建筑技术进行着深入的研究。本文基于现在已有的技术形式对预制化构件的物流管理方式和维护保修方式进行探讨, 以实际项目运用成果作为反馈。旨在做到对预制构件从生产加工到运输堆放再到调试安装最后到维护检修整个过程的全程可视, 便于管理人员根据工程的实际情况调整方式, 这样利用有限的维护资源可以最大限度地保障预制构件的后续使用质量, 进而提高了预制构件在物流方面和维护方面资源配给的精确性和总体调度效能。