高校网络安全建设的探索与思考

The construction of cybersecurity is an important part of the information construction in university. It is an indispensable condition to help the information construction and a strong guarantee to serve the information support of teachers and students in uni- versity. The cybersecurity environment, atmosphere and guarantee ability of university need to be improved. Based on the related work and achievements of cybersecurity construction, some general schemes are put forward to provide reference for cybersecurity construction in university.     

区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

基于SysML的嵌入式软件系统建模与验证方法研究

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。     

视觉跟踪算法综述

视觉跟踪是计算机视觉领域的重要研究热点。文章根据基于特征的跟踪、基于主动轮廓的跟踪、基于检测的跟踪、基于Meanshift的跟踪等多个分支展开。比较了几种算法的优缺点,并介绍每种算法的适用场景。最后展望了新的跟踪算法技术的发展。     

剪切流作用下浮泥层悬扬速率计算方法综述

浮泥的悬扬速率是反映其悬扬特性的重要指标,针对剪切水流作用下浮泥的悬扬过程,总结了表征悬扬强度的临界水动力指标,如悬扬流速、临界水流剪切力等;并进一步阐述了反映变化过程的悬扬通量计算模式,包括根据TKE方程建立悬扬模型,及基于Richardson数推算无量纲悬扬速率E,在此基础上分析了黏性、屈服应力、悬沙沉降、边壁阻力等因素对悬扬速率的影响。更深入的研究可从絮凝作用、盐度、生物扰动等多因素耦合影响或界面波的发展规律等问题展开,以期提高悬扬模型的计算精度。