基于状态迁移的网络安全联动策略模型

针对网络安全联动系统中安全策略结构日益复杂,数量不断增多所带来的策略冲突、效率低下、冗余等问题,文章采用形式化分析的方法对安全联动防卫策略的完备性、一致性和冗余性进行了定义及分析,提出了一种基于状态迁移的网络安全联动策略模型。该模型由实体、状态、服务三层构成,通过状态迁移过程分析实体之间的关系,并由服务层提供构造、检测等分析组件确保系统稳定运行。该模型实现了策略从生成、应用到失效的全生命周期管理。     

石质急流滩碍航水流的形成条件与碍航流态分析

分析了石质急流滩形成的原因和碍航水流时形成条件，较为详细地论述了急流滩的主要流态与水力特性。以及各种流态对船舶航行的影响。     

基于S-57自定义海图数据转换及优化

通过对IHOS-57标准的研究,介绍将电子海图(ENC)转换为系统电子海图(SENC)的方法,实现一种用于海图数据存储结构优化的格式转换器,描述其工作流程,并对自定义格式数据的优化效果进行说明。     

典型石质汊流滩航道整治二维水流数值模型研究

在石质汊流滩航道整治工程中,通常采用开挖河槽的方法来降低流速,改善航道水流条件。本文应用二维水动力数学模型研究典型石质汊流滩——广西浔江鲫鱼滩航道整治工程方案,通过各方案计算结果比较,分析了工程后分流比及局部河段流速的变化规律,并就流速和流量的变化与开挖面积、开挖范围以及开挖方式之间的关系进行了探讨。     

浅谈高速公路自动化收费系统车道设备的维护

阐述了高速公路自动化收费系统的维护管理,介绍了自动化收费系统的构成和车道设备的维护,并分析了主要设备故障现象及处理方法.     

Controllability, Observability and Stability for a Class of Fractional-Order Linear Time-Invariant Control Systems

IntroductionThe concepts of controllability and observabil-ity,introduced by Kalman[1] ,are of extreme im-portance in control theory and engineering. Thereal objects are generally fractional[2 ] ,however,the control systems used so far are all consideredas integer- order systems.Disregarding the real or-der of the systems was caused mainly by the com-plexity and the absence of adequate mathematicaltools.The fractional calculus theory was devel-oped by a lotof mathematicians and the applicatio…     

鱼骨坝工程中刺坝最佳布置间距的研究

结合水槽实验数据,利用数学模型,对不同刺坝间距的鱼骨坝工程方案进行比较,根据坝体上游近岸水位单位长度壅高、坝体两侧及两岸岸边流速增加情况,确定刺坝布置的最佳间距。     

工业物资企业建立现代企业制度中发展方向的探讨

论述了工业物资企业在建立现代企业制度中，进行公司制改造的选型，以及发挥行业优势，进入本行业企业集团，发挥冶金物资企业应有的作用。