通用报表处理系统中报表计算汇总关系的参数设计

报表计算汇总是管理信息系统的关键部分。本文介绍以通用报表为基础设计的报表参数描述方法。     

一维大变形固结的空间描述和物质描述

本文分别用空间描述和物质描述方式，分析了饱和软土的一维大变形固结行为，推出了线弹性假定前提下基于空间构形和物质构形的一维大变形固结微分方程。这组方程在小变形条件下，可直接退化为太沙基一维固结方程。     

安全苛求系统的形式化开发方法

从系统工程的角度出发，基于形式化理论，对安全苛求系统的开发方法进行了研究。首先介绍了安全苛求系统的形式化方法，分析了形式化方法对安全苛求系统的作用；提出了一种安全苛求系统的形式化开发模型（FDM），给出了具体的应用实例。     

基于有色Petri网的RBC行车许可生成建模与仿真

CTCS-3级列控系统行车许可是保证高速列车安全运行的关键信息,及时准确地为辖区内列车计算和发送行车许可是RBC(无线闭塞中心)子系统的主要功能之一。在分析CTCS-3级列控系统不同运营场景下行车许可生成机制的基础上,采用层次化描述思想,建立基于CPN(有色Petri网)的RBC行车许可生成模型,并运用动态仿真和状态空间分析工具对模型进行了仿真分析。结果表明,所建模型能够满足不同运营场景下计算行车许可的要求,无死锁,并具有活性、回归性和公平性,为分析列控系统性能提供了很好的试验平台。     

线路电子地图一体化趋势——关于城市轨道交通信号系统互联互通的思考

目前,与同样快速发展的干线铁路相比,城市轨道交通的信号系统在技术标准体系上还存在较大差距,这将对其进一步发展产生制约. 在干线铁路领域,CTCS-2级技术系列标准定义了应答器的设置规则及报文编制原则,同时规定了用于描述线路数据的用户信息包格式;CTCS-3级技术系列标准定义了线路电子地图(线路限速、线路坡度、应答器链接等)设计规范.     

基于CPN的联锁系统选岔网络建模及验证

在详细分析联锁系统选岔电路的前提下,抽象出选岔网络的联锁逻辑条件,并采用有色Petri网(Colored Petri Net,CPN)为其建立形式化验证模型,同时采用CPN TOOLS对所建立的模型进行仿真及状态空间分析,结果表明所建立的模型能够很好的描述选岔网络的工作状态。     

列车运行控制系统多分辨率模型描述方法研究

列车运行控制系统仿真是研究列控系统的一个十分有效的手段。采用多分辨率建模理论,能够准确建立列控系统仿真模型,而多分辨率模型描述是多分辨率建模理论研究的基础环节。针对列控系统结构明确、仿真分布式的特点,提出了一种新的多分辨率模型描述方法,该方法将多分辨率建模与多分辨率仿真进行区分,提出了多分辨率模型域的概念,从而在仿真过程中,不同分辨率模型结构可以实现动态切换且不影响仿真系统的正常运行,为了维护模型间以及模型与仿真系统的一致性,设计了接口模型,以此解决了模型分辨率切换的数据正确性问题。对列控系统运行的简单过程进行了建模,通过仿真可以看出该方法的优势所在。     

基于多描述编码的自恢复脆弱水印算法

兼顾水印嵌入容量和篡改恢复质量,基于多描述编码提出一种自适应图像内容的可恢复脆弱水印算法。该算法在图像块自适应分类的基础上,将图像块的DCT系数分为两个独立且互补的变长描述编码,每个描述能独立地近似恢复图像块的内容,两个描述编码一起得到的恢复质量更高。水印嵌入时,两个描述编码基于密钥随机嵌在不同图像块中,以提高算法在不同攻击下的篡改检测性能。被篡改图像块,只要有一个描述有效即可恢复该篡改块,若两个描述同时有效,可进一步提高篡改块的恢复质量,有效缓解了同步攻击与数据浪费之间的矛盾。实验结果证明,该算法不仅有效降低了生成的恢复水印容量,同时提高了不同攻击下的篡改检测性能和篡改恢复质量。