形式化分析验证一种改进的NSSK协议

认证协议是保证网络安全的基础,NSSK协议是最早最经典的一种认证密码协议.本文分析了NSSK协议的安全特性,提出了一种改进的NSSK协议,并利用形式化建模语言CSP和模型检测工具FDR分别对其建模和验证.实验结果表明改进的NSSK协议可以满足期望的安全目标,达到保障网络安全的目的.     

坚持科学发展观 促进物流企业健康蓬勃发展——试论中小物流企业营销策略

中小物流企业如何运用现代营销策略,改变经营模式,快速融入现代物流之中,加快实现产业升级,以便更好地适应经济发展和市场竞争,有鉴于此,就中小物流企业营销策略谈几点看法。     

改进我国现行海事调查制度的几点建议

尽管国际海事组织制定了海事调查章程，但是不同的国家根据不同的国情和制度的历史演进，实行不同的海上事故调查体制。随着航运产业的不断发展，需要一个较高的水上安全环境，然而我国现行的海事调查体制难以进一步提高水上交通安全度。影响调查体制作用发挥的主要不合理因素有机构设置、调查人员的培养与调配、调查的范围与方式、调查程序以及事故建议的应用等五个方面，通过比较西方发达国家的海事调查体制，提出了对现行海事调查体制的改进建议。     

浅析公路工程施工投标策略

阐述了投标过程中所需的策略及注意的问题,以及增加中标机会的措施.     

宽幅现浇箱梁Y形桥墩受力特性分析及监控策略

上部结构为宽幅现浇箱梁,下部结构采用Y形桥墩,是城市快速路高架桥常见的一种结构布置形式,该形式对下部结构的受力要求较高。本文通过对该类型结构典型Y形桥墩施工过程及运营期受力的有限元分析,分析其受力特性,提出改善建议,并基于分析结果,提出施工过程相应的监控策略,供同类型桥梁设计、施工和建设管理参考。     

鼎汉电源屏两路电源输入切换电路的改进

鼎汉电源屏PZ系列采用的H型输入电路，在外电网质量不高、电压不稳的情况下，容易发生部分设备不能正常工作，尤其在1路优先的情况下，当1路电压不稳，极易造成输出电源“跳舞”模块保护，影响大面积设备正常工作。为此提出对切换电路进行改进，防止或减少设备故障的发生。     

东风型机车柴油机喷油泵滚轮故障原因及解决措施

内燃机车喷油泵是其燃油系统中一个重要的精密部件，与供油凸轮共同决定了柴油机的供油量和供油规律。通过对东风型机车柴油机喷油泵滚轮故障的调查，分析产生的原因，并提出具体的改进措施。     

浅谈黑龙江省对俄边境旅游和贸易的市场分析与开发策略

我国黑龙江地区边境旅游市场和贸易市场起步晚，但发展快，边境旅游与边境贸易相互依存、相互促进。黑龙江边境旅游市场要继续加大开发力度，也需要解决发展中存在的问题，这就需要制定一系列发展策略，加强中国与俄罗斯的联系和合作，规范边境旅游管理秩序，加强边境口岸管理，充分发挥边境地区的各种优势，促进黑龙江地区对俄边镜旅游业的持续健康发展。