基于V模型的ATS软件验证方法研究

轨道交通信号系统必须经过严格的验证才能进入工程应用。以ATS自动列车监控系统软件为例,研究信号系统在生命周期V模型下的验证方法,把开发周期简要划分为需求分析、设计实现、测试验证3个阶段,用以论述验证活动,阐述在产品生命周期各个阶段采用如评审、追溯分析、测试分析等不同验证方法,从而更大程度地保证系统的正确性。说明ATS系统的验证活动是一个庞大的工程,在产品开发生命周期的各个阶段都应执行充分的验证活动,收集足够的客观证据证明产品各个阶段的输出满足需求。     

短型热电偶基本误差的检定

介绍使用Fluke 9938 MET_TEMPⅡ系统对K分度短型热电偶基本误差的检定方法.通过对系统基本参数的合理设置测得基本误差,探讨Fluke 9938 MET_TEMPⅡ系统对短型热电偶检定的准确性和可靠性.     

具有可追查性的抗合谋攻击(t,n)门限签名方案

在分析王斌和李建华的无可信中心门限签名方案(王-李方案)以及X ie-Yu改进方案安全缺陷的基础上,提出了一种新的具有可追查性的抗合谋攻击(t,n)门限签名方案;对新方案的安全性进行了分析,并与现有方案的效率进行了比较.结果表明:该方案不仅能够从根本上抵抗合谋攻击和伪造签名攻击,而且在保证匿名性的前提下,能够真正实现签名成员身份的可追查性,同时通过构造安全的分布式密钥生成协议保证群私钥的不可知性,因此比现有方案具有更高的安全性.此外,新方案的计算量和通信量与王-李方案接近,但优于X ie-Yu方案.     

Provably secure and efficient proxy signature with untrustworthy proxy signer

Proxy signature has drawn great concerns.However, there still remains a challenge to construct a provably secure and effcient proxy signature scheme.In this paper, we propose an effcient proxy signature scheme based on factoring, and prove that it is secure in the random oracle.Furthermore, we present a new type of proxy signature, called Proxy Signature with Untrustworthy Proxy Signer, and construct a concrete scheme.     

Identity-based verifiably committed signature scheme without random oracles

An identity-based verifiably committed signature scheme （IB-VCS） was proposed, which is proved secure in the standard model （i.e., without random oracles）. It enjoys the setup-free property and stand-alone property, both of which make an exchange protocol more practical. The scheme is unconditionally secure against the cheating signer, its security against the cheating verifier is reduced to the computational Diffie-Hellman （CDH） problem in the underlying group, it is secure against the cheating trusted third party if the underlying Paterson Schuldt＇s identity based signature （IBS） scheme is secure, which is proven true based on the CDH assumption in the standard model.     

基于高斯过程的TGDI发动机充气模型试验研究

采用高斯过程(Gauss Process,GP)对增压直喷汽油机充气模型开展研究,首先以发动机进气过程物理特性为理论基础,阐述模型控制原理,并基于高斯过程的发动机充气模型,采用稳态和慢动态数据完成模型精度的验证,结果表明:模型精度较高,可作为黑盒模型用于ECU控制算法开发及离线标定功能开发。此外,研究了减少训练数据点和减少输入参数对高斯模型精度的影响。     

基于 GJB7691-2012的通用数字示波器自动检定关键技术的研究*

作为一款时域电子测试仪器,示波器在科研、电力、医疗等多个方面得到了广泛的应用,随着计算机技术的不断进步,性能强大的数字示波器应运而生,同时,自动控制技术的普及使得数字示波器自动校准检定成为可能。论文以最新的数字示波器检定规程GJB7691‐2012为基础,针对新规程在检定与计算方法上的调整进行了分析,结合虚拟仪器与数据库技术完成了一种基于FLUK E9500B的通用数字示波器自动检定系统的设计,并就其关键技术进行了研究,同时通过试验结果比较验证了该方案的可靠性与可行性,并在计量工作中得到应用。     

基于AHP的指挥控制系统效能评估改进方法

针对指挥控制系统的组成结构特点,建立效能评估指标模型,给出运用层次分析法进行效能评估的数学模型及实现方法,引入灰色理论解决评估过程中指标权重的调优问题,提高评估结果的客观性及合理性,通过实例说明方法的可行性。     

雷达回波波幅推求介电常数的误差分析与提高精度方法研究

介电常数计算误差是雷达路面基层与面层厚度测试误差的主要来源。介绍了雷达回波波幅推求介电常数的原理,分析了当前三种常见雷达回波波幅推求介电常数计算公式的误差和误差来源,并结合工程实际,提出了钻孔取芯法标定介电常数以及由已建的正演模型和雷达回波信息,反算介电常数两种方法提高测试精度,分析结果显示两种方法均能有效提高基层与面层厚度测试精度,效果较好。     

基于有限元分析的水泥混凝土面板脱空的验证模型

板底脱空是水泥混凝土路面的常见病害之一,但进行有效的评定相对困难。提出采用有限元分析软件ANSYS 10.0建立评价水泥混凝土面板脱空的计算验证模型,并结合FWD弯沉实测数据与模型计算出的弯沉值的关系,来判定某处是否发生了脱空。最后结合黑龙江某高速公路的实测数据,验证了该模型的正确性。