短TCP数据流传输时间的建模

推导出短TCP数据流传输时间的一个新模型。该模型是在考虑传输通道丢失率和超时后的慢启动过程的条件下,利用随机点过程理论推导出的,并使用在互联网上实测统计方法对该模型进行了验证,该模型对分组丢失率的适合范围广,与互联网实际TCP数据流传输情况能很好地匹配。     

基于Petri网的位置敏感工作流建模与正确性验证方法。

针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。     

赛博空间攻击关键技术体系研究

赛博空间攻击关键技术是实施赛博行动和形成赛博威胁的重要因素和基础。按照网络电磁技术的组成和层次结构关系,解析了赛博空间攻击技术体系构建的基础和前提,研究了赛博空间攻击技术的体系框架结构、关键技术组成及其具体内容,探讨了赛博空间攻击技术的应用和发展影响。     

基于嵌入式Linux养路机械防碰撞系统设计与开发

基于Raspberry PI(ARM11)的嵌入式Linux系统,利用GPS模块获取机车的坐标与速度信息,利用ZigBee模块构建近程通信网络,利用QML进行前端快速、灵活的GUI开发,构建一个基于嵌入式Linux下Qt/C++开发框架的多线程铁路养路机械防碰撞系统RACSMM。提出了基于速度补偿的坐标修正算法,提高了系统定位精度,同时提高了系统的稳定性与可靠性。     

用于地铁隧道形变监测的图像处理系统

地铁隧道形变监测系统对于长时间运营、结构体受到多种应力影响的隧道安全性保障有重要意义。以解决现存隧道健康监测系统过于高昂的成本为目的,提出了一种图像处理系统用于完成监测系统的测量工作。测量设备基于嵌入式系统,以数字图像处理技术为核心,具有适应性强、成本低、易于维护等特点。     

盾构关键部件在线监测与远程诊断技术研究

为了提高盾构的使用效率,提出了一种对于盾构关键部件的在线监测与远程诊断技术,并且详细阐述了其总体设计方案以及有关液压油温杂质、轴承故障等几个子系统的具体设计内容.     

基于嵌入式Linux的隧道变形监测系统的设计与研究

隧道在地铁长期运营后会出现横向与纵向上的变形.为保证地铁在隧道空间中运行的安全性,必须对隧道进行可靠的健康监测.提出将嵌入式Linux应用于隧道的纵向变形监测系统中,该方案包括了嵌入式终端的硬件组成与软件设计,通过自定义串口通信协议实现主机和多个嵌入式终端之间的命令控制和数据传输,并提供了寻址、差错检验和一定的冲突检测能力.     

自动化立体仓库在FMS中的应用

通过对实际工程项目的介绍，着重分析和研究ＦＭＳ系统中自动化立体仓库的主要特点及功能，介绍在仓库总体布局和设计计算机管理与控制软件时的基本原则和思路。     

烟气轮机叶片损伤原因分析及改造

通过对烟气轮机叶片损伤的原因分析，提出了造成三旋系统分离效率低的几个设备问题，并且提供了相应的修复和改进措施，保证了机组的安全平稳运行。     

国外网络安全产品新动向——Aladdin公司的eSafe、eToken和ASE

eSafe产品提供了“从桌面到网关”的解决方案,能抵御Internet病和“故意破坏者”(专门破坏数据或偷窃信息,诸如口令、信用卡详细资料等),具有独立的网络和网关版本。最近,Al-addin公司发布了一种eSafe桌面和eSafe2.2的新版本。