论文部分内容阅读
中国列车运行控制系统的形式化分析与验证
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2014年期
其他文献
该论文对建立软测量模型所需要的学习样本预处理进行了初步的研究,分析了随机误差和过失误差的处理方法,并对输入变量选择中的主成分分析方法作了一定的探讨.软测量技术作为
企业应用集成(Enterprise Application Integration,简称EAI)是近年来企业信息技术建设的热点.EAI旨在连接企业中相关的应用系统和数据源,改变企业内应用系统孤立的现状,在企
该文提出了一种基于组件技术的分层式应用程序设计方案.利用该方案,我们实现了无锡市热电厂HN-2000-WF型热网数据采集与管理系统.该方案将应用程序划分为持久数据层、逻辑运
该文的研究内容是建立光线跟踪技术中的实时显示模型和真实感的光照理论模型并对提出的模型进行实验验证.在探讨了当前VR领域图形方面的重要思想和算法后,针对目前光线跟踪技
该文的主要目的是:通过对XMI(XML MetaData Interchange)标准化的研究和探索,把XMI广泛的应用于元数据交换领域,从而为开放信息交换提供了一个新的方法.该文的主要内容如下:
该论文提出一种新的软件数字水印算法,并在该算法的基础上设计一个数字水印追踪系统,该系统同时集成了电子商务功能.并在该系统中,首次提出利用移动代理到普通主机上搜索并分
该文首先对GPRS的系统体系结构、传输平面、信令平面、网络工作模式、分组逻辑信道应用等进行了阐述,对GPRS系统的移动性管理、MM上下文、MS的附着/分离、位置管理、PDP上下
韵律的研究是言语科学和语音合成研究的一个重要组成部分.过去,模型的建立不是采用规则,就是运用一些训练算法来实现.在韵律建模的研究中,始终存在着如下的缺陷:(1)、缺乏一