第29卷第10期煤炭技术Vol.29,No.102010年10期CoalTechnologyOctober,2010PLC编程的优化程光德（重庆工商大学派斯学院计算机科学系，重庆401520）摘要:PLC编程的优化可以使程序更简洁、可读性更好，程序运行效率有所提高。笔者根据多年工作经验，就PLC编程的优化方法提几点粗浅看法。关键词:PLC编程；优化；方法中图分类号:TP31文献标识码:A文章编号:1008-8725（2010）10-0231-02DiscussesPLCProgrammingShallowlyOptimizationCHENGGuang-de（ChongqingTechnologyandBusinessUniversity,SchoolofComputerScienceDepartmentPais,Chongqing401520,China）Abstract:ThePLCprogramming'soptimizationmaycausetheproceduretobemoresuccinct,thereadabilitytobebetter,theprogramrunefficiencyimproves.Theauthoractsaccordingtomanyyearworkexperiences,proposesseveralspotshallowviewsonthePLCprogramming'soptimizedmethod.Keywords:PLCprogramming;optimization;method仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪仪上转第页（222）RP,HPjnnnHIDA1,…,IDAn,IDB,mA1,…,mAn,KA1,…,KAn=dHID,…,ID,ID,m,…,m,K,…,K+srHk+σ4B4A1AnBA1AnA1AnΣk5Σ=ePpub,QBePpub,Rj仪eP,dAi仪ek=0i=1i=1i=1AinP,kiHAieRP,HPnnID,…,ID,ID,m,…,m,K,…,K=dHID,…,ID,ID,m,…,m,K,…,K+sR+σH4A1AnBA1AnA1AnB4A1AnBA1AnA1AnjΣAii=1=ePpub,QBePpub,Rj仪ePpub,QB仪e计算完成之后立即删除则为负责人代i=1i=1rj,Rj-1,skpj-1；Rj,skpjK,HeR,H理签名人在第j时段的代理签名密钥。AiAiPP由上面推导可知，根据本方案代理签名的生成能推导出验证公（6）代理多重签名方案设计中代理签名的生成：式的成立，也就是当正确签署签名时，检验能通过；但是假如没有按负责人代理签名人用第j时段的代理签名密钥对R,skp的jj照本方案进行签名则不满足验证公式成立的条件签名的验证公签名实施过程如下，，：式也就不能不成立由此就可证明本方案的正确性令。。①T=Rj；随机选取，计算，ID,m,R；②rp∈Zq*RP=rpP∈GHP=H3BP∈G2小结计算③VP=skpj+rPHP∈G；文中设计了一种能抵抗公钥替换的代理多重签名方案，该方案负责人代理签名人对m的代理签名为：能够抵抗公钥替换和合谋攻击，在电子商务和网络安全等方面有着j,T,R,V,ID,K,…,K,m,…m。PPBA1AnA1An非常广泛的应用前景，有较高的实用价值。（7）代理多重签名方案设计中代理签名的验证参考文献：代理签名的接收者收到代理签名[1]HWANGMS,LINIC,LUEJL.AsecurenonrepuDiablej,T,R,V,ID,K,…,K,m,…m后验证P,VP,QPPBA1AnA1An，：eP=epubBthresholDproxysignatureschemewithknownsigners[J].Inter-nnHIDA1,…,IDAn,IDB,mA1,…,mAn,KA1,…,KAn4是否nationalJournalofInformatica,2000,11(2):1-8.仪ePpub,T仪eKAi,HAieRP,HPi=1i=1[2]ZHANGK.ThresholDproxysignatureschemes[A].1997Infor-正确无误，若正确无误则认为签名有效，否则认为签名无效。mationSecurityWorkshop[C].Japan,1997.1.3代理多重签名方案设计中签名方案