北京站运转班计划自动编制的SHE JI SI LU设计思路

针对车站班计划编制非结构化的特点，通过研究其经验编制方法的领域知识，构造形式化描述模型，使得开发班计划自动编制的系统软件有一定的参考，研究价值，本文旨在为客运站实现运输现代化管理提出一种思路和尝试。     

单调惯性系统控制理论的进一步研究

非线性未知系统的多目标最佳化控制一直是控制领域一个比较困难的问题，它是多目标最佳化问题与控制问题的结合体。其困难主要表现在几个方面，一是被控对象没有可利用的数学模型，仅能依据经验或其输人输出数据对它进行认识；二是系统各个控制目标不能用精确解析式子进行定量描述；三是系统的涉及的变量和因素较多，运行状态有很多不确定性。上述三方面的困难使得已有的基于模型的多目标最佳化理论不能有效解决。     

苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

高速公路智能交通控制系统的建模及多层描述

本文提出将神经网络和模糊推理用于高速公路交通控制系统的建模及多层描述的一般性方法和框架，其主要思想是：利用神经网络及其他智能方法建立高速公路稳态和动态模型，在此基础上结合交通系统的特点提出改进的多层描述方法，即把高速公路交通系统控制问题分为自组织层，最优化层和调节层，试图解决传统方法在高速公路交通系统的分析，建模和控制中遇到的问题。     

路虎价高 质不高

对于以车为伴的人而言,车就像是朋友,它的性能好坏自然也成了车主们经常交流、时常惦记的话题。而车辆出现故障就像朋友生病一样,令车主们忧心。《家用汽车》汽车投诉站为你提供一个诉说车辆纠纷的场所。     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统。本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证。通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间.验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现。在保证系统安全性的基础上,以全状态空间查找反例的检验方法进一步提升产品的质量。     

基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...     

使用元征X-431 PAD V进行保养周期归零——以2017款阿斯顿马丁车为例

实测车型2017款阿斯顿马丁车,发动机型号为AM29。功能描述当保养指示灯点亮时,说明车辆需要保养,在完成保养后,需要重置保养周期使保养指示灯熄灭。路径选择自动搜索扫描车辆信息-选择特殊功能T选择保养指示灯归零功能→按功能提示执行。操作说明(1)在元征X-431 PAD V汽车诊断设备上正确选择车型信息(图1)。     

Ontology的构建及在个性化检索中的研究

利用Ontology及其检索技术的研究,提出了个性化检索Ontology的概念,建立了其用户描述文件和个性化检索模型,并通过实验比较说明用户Ontology在个性化检索中的有效性,此研究对信息智能检索具有一定的促进作用.     

远程UUV指挥控制流程分层Petri网建模及延时分析

对于控制节点多、流程复杂的远程UUV指挥控制流程建模及延时分析问题,传统建模方法往往难于对其进行详细描述和分析。文中建立远程UUV指挥控制流程分层延时Petri网模型,采用基于Petri网的层次化建模方法提升模型对复杂流程的表达能力,将变迁引入时间参数,使模型具备对时间的描述和分析能力,并给出不同结构的延时计算方法。仿真结果表明所建模型可用于对远程UUV指挥控制流程进行分析和计算,分析方法正确、适用性好,可为远程UUV指挥控制系统评价及完善提供参考和技术支持。