BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

浅谈随书附盘的特点及其管理与利用

分析了目前出现的各种随书附盘的特点,归纳出对随书附盘进行管理的几种模式,探讨了如何更好地利用随书附盘的途径。     

外国政府研发资助体制研究

为提高本国的竞争力，各国政府纷纷增加财政研发投入。然而仅有大量的资金并不能保证研究的高质量，如何分配才是问题的关键。当前，政府主要通过两种方式来对其进行分配，一种是不通过竞争性程序直接把资金拔给研究机构的非竞争性资助方式，另一种是把资金拨付给竞争获胜者的竞争性资助方式。研究表明，尽管各国政府的研发资助体制都以非竞争性方式为主，他们却在加大对竞争性资助方式的使用力度。然而，竞争性资金并非越多越好，合理的研发资助体制应该是一个平衡的体制。     

实现我国节能减排目标的对策建议

为实现国家节能减排目标，我国应有近期工作重点和中长期安排，分阶段按步骤加以推进，既抓重点解决突出矛盾，又建立长效机制，为长期节能奠定基础；近期应从源头控制能源需求快速增长的势头中远期应加快制度建设、调整经济结构、优化能源利用方式。     

柿树结果中后期的管理

及时施肥在果实横径4～5厘米大小时和果实大小基本定型时，施壮果肥和采前肥，以速效速溶氮磷钾肥为主。五年生以上的结果树每株施尿素1．5～2千克、磷酸二氢钾0．75～1千克；或施氮磷钾复合肥1-1．5千克。施肥方式有：雨后撒施；或兑清水60～80千克后淋施，也可以兑沤制腐熟的粪水40～60千克后淋施；或围绕树冠滴水线挖深、宽各20～30厘米的环状沟施。施肥前，必须先铲除树盘上各种杂草；施肥后。用稻草或其他杂草将树盘覆盖住，草厚3-5厘米，以提高施肥效果。     

民营企业家体育锻炼与生活方式及健康现状的调查分析

对浙江沿海3城市(温州市、宁波市、台州市)208名(25岁～59岁)民营企业家的身体健康状况、体育锻炼情况与生活方式等进行调查,结果表明:浙江沿海3城市民营企业家身体健康状况不容乐观.体质测试总体合格率为65.86%,低于全国的合格率(71.40%)和浙江省的平均水平(79.70%).大多数民营企业家日常生活方式差,参加体育锻炼的人数少.建议民营企业家要养成良好的生活习惯,重视卫生保健知识的自我教育,积极参加体育锻炼.     

西方网上银行的发展及对我国的启示

阐述了网上银行的含义,分析了当前西方网上银行的发展状况,介绍了我国网上银行发展的现状以及西方网上银行的发展对我国的启示。     

炮采对拉工作面机头大棚支护和回采步距分析

在采煤作业中,为了防治水或探明、揭露断层或回采运输方便等需要,在设计布置工作面时,会形成两个工作面对拉出煤回采的情况.这样,机头大棚需支护的面积明显增大,采用原来"四对八根"控制顶板(图1)显然满足不了现场工作需要,这就给机头大棚的支护提出了新的要求.在现定工作中我们摸索出了如下图2的支护方式,支护效果比较明显,确保了安全生产.     

新时期计算机病毒的动态分析与防范

简单介绍了计算机病毒的新特征和分类,及其破坏和攻击的目标,对计算机病毒的技术进行详细分析,以及研究计算机病毒注入方式,介绍了几种新的典型计算机病毒主要特点与发展情况,从计算机的特点入手,阐述了防范计算机病毒的对策。     

LED光源典型驱动电路

引言 不同形式的LED光源已广泛应用于汽车、装饰灯具、功能照明、路灯、背光显示、工业指示和户外显示等系统设备中。LED光源具有环保、节能和长寿命等优点，选择合适的驱动方式能够使LED光源的优点充分体现。