车轮踏面擦伤自动检测方法的研究和试验

论述了机车车辆车轮踏面擦伤自动检测研究的重要意义 ,并总结了国内外研究发展现状 .提出了一种新型的采用等臂叉形机构检测擦伤的踏板法 ,介绍了该系统的工作原理和动态自动测量的实现 .在对试验结果进行分析的同时 ,就有关实际应用问题作出相应理论分析和解决方法     

科技期刊中数据表的设计与审核

列举了科技论文中常见的数据三线表设计不规范、表中数据有误等问题.提出了表格设计应有自明性,应从表格中单位的审核着手,采用验算、前后对照等方法发现差错,提请作者修改.     

Model Checking-Based Testing of Web Applications

A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria.     

论公司法人治理结构的制衡约束机制

公司法人治理结构是现代企业内部运行操作的核心。本文通过对公司法人治理结构内、外部制约机制及其运作的分析，旨在使公司所有者与经营者之间形成相互制衡的激励与约束机制，促使公司法人治理结构的健康发展，以最大限度地提高公司运营效率。     

交-直-交变频技术在机车轮箍加热炉上的应用

电力机车轮箍更换工作量大，耗电量大，加工时间长，直接影响电力机车检修任务的顺利完成。采用交－直－交变频技术的中频加热炉，不仅可极大提高工作效率，节约电力,资源资源，而且可改善工作环境。     

检验实时系统的有序时段性质

模型检验是一种被广泛应用于对设计或系统正确性进行自动验证的技术。实时系统的性质包括瞬间性质和时段性质，显然后的检验要比前复杂得多。介绍了一类新的时段性质——有序时段性质，并检验了时间正则表达式的有序时段性质，最后分析了算法的复杂度，和相关工作进行了比较，并探讨了今后的工作方向。     

面向语义的元数据模型一致性检验

面向语义的元数据模型检验用于判断待建元数据在语义上是否一致．首先,借鉴本体的思想,利用描述逻辑建立了面向语义的元数据模型,它是一个7元组,包括术语集、实例集、术语定义集、实例声明集、属性分配集、术语注释集和术语约束集．然后,将元数据模型检验抽象为术语检验和实例检验2类问题．最后,对术语检验和实例检验的判定方法进行分析．研究表明,2类检验问题可分别细化为4类和2类子问题,这些子问题可以相互转换。     

基于模型检测的TLS协议实现库安全性分析

针对传统模糊测试方法虽能发现传输层安全性(transport layer security,TLS)协议实现库内存漏洞,但无法找到其中逻辑漏洞的问题,基于模型检测的方法,提取TLS协议实现库的状态机模型,建立协议安全属性模型,寻找协议实现中可能存在的异常行为,实现对协议实现库的自动化和系统化的分析.对利用测试用例生成的...     

基于机器视觉的镀锌板粉化区域的提取方法

提出了一种在镀锌板粉化双球冲试样中提取粉化区域的方法．首先在对试样硬件定位的基础上,利用不变矩方法计算出试样图像的重心,应用Canny算子提取出图像边缘,运用Sobel算子实现边缘检测图像的细化．考虑到硬件定位装置无法精确地将试样固定在同一位置,提出了一种改进的Hough圆检测算法来实现试样的软定位校正;然后提出了基于标准差的粉化区域分析方法,将机器视觉技术和统计学知识结合起来,利用粉化区域与正常区域间标准差的不同,有效地识别出了粉化区域的大小．试验证明,该方法提取镀锌板粉化区域大小的准确率达到99％,达到了实用化的要求．     

基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析

近年来,传感器技术得到了长足而有效的提升,无线传感网络（WSN）以其开放、动态的特征获得了极大的关注,并成为了互联网计算的一个重要组成．WSN系统行为复杂,经常面临信息丢失、节点动态变化等不确定因素,且网络中的节点一旦部署将很难更改、维护．因此,为了保证相关应用的正常工作,在系统设计阶段对WSN中的底层协议进行质量保障就成为了一项非常重要的研究问题．系统设计人员不仅需要保证协议功能上的正确性,还应该评估协议在目标工作环境下的性能,以保证其可以胜任相应的工作需求．针对以上问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径．在建模阶段,首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模．考虑到WSN系统实际工作中会遇到的各种不确定性因素,将用带权分枝来对模型进行扩展,生成协议的随机时间自动机．在验证阶段,首先采用经典模型检验技术,在理想时间自动机上检验相关功能性质,保证协议工作逻辑的正确性．为评估协议在不同条件下的具体性能,则在随机时间自动机上用统计模型检验技术对其进行数值分析,以进行参数配置、性能预测、协议比较等工作．为展示该途径的可用性及其技术细节,本文对两种著名的WSN时间同步协议,TPSN和FTSP分别进行了完整的建模与评估．