对信息化建设总体规划的几点建议

针对昆明铁路局信息化建设现状。提出对路局信息化建设进行总体规划的必须性、紧迫性，阐述了如何进行信息化建设总体规划3-作。     

信息化及工程管理信息系统应用的探讨

计算机资源动态管理系统是为了优化利用生产中宝贵的软硬件资源,最大限度地节约人力资源、提高工作效率而开发的网络管理系统。该系统实现了计算机资源信息管理、进程管理和系统监控、资源调度、数据分析和信息发布等功能。本文从系统结构、功能体系以及实际应用等方面介绍了系统的主要特点,论述了系统在数据采集、功能体系等方面采用的新思路、新方法和新技术。     

浅谈山区高速公路台阶式边坡的理念与应用

台阶式边坡是针对以水土保持为核心的生态建设目标，力求通过最简单的方法来解决最本质的问题。并达到生态能力长期持续的一种方法，有着广泛的应用前景，值得推广使用。     

A FORMAL SPECIFICATION LANGUAGE FOR DYNAMIC STRAND SPACE MODEL

IntroductionCryptographic protocols are the protocols usedto establish secure communication over insecureopen networks by exploiting cryptography,andthey are thought to be simple because just severalmessages are included. However,it is a subtleproblem to guarantee the correctness of a crypto-graphic protocol[1] .In order to solve this problem,many researchers have worked on applying formalmethods to analyze cryptographic protocols,andthey are notperformed on the executable code,butrather on Do…