锅炉吹灰器枪管环缝焊接机床的设计

介绍了锅炉吹灰器枪管环缝焊接机床的基本组成和工艺过程，设计了基于可编程控制器的电气控制系统和软件系统。该焊接机床由机械系统、电气系统、气动装置和水冷系统组成。可编程控制器是机床控制系统的核心，能够时机床的外围设备展开精确控制，这些外围设备包括：弧压控制器、焊接电源、送丝机控制器、电动机和电磁阀等。实验表明，使用该焊接设备焊接质量显著提高，焊工劳动强度大大降低。     

An entropy-based persistence barcode

In persistent homology, the persistence barcode encodes pairs of simplices meaning birth and death of homology classes. Persistence barcodes depend on the ordering of the simplices (called a filter) of the given simplicial complex. In this paper, we define the notion of “minimal” barcodes in terms of entropy. Starting from a given filtration of a simplicial complex K, an algorithm for computing a “proper” filter (a total ordering of the simplices preserving the partial ordering imposed by the filtration as well as achieving a persistence barcode with small entropy) is detailed, by way of computation, and subsequent modification, of maximum matchings on subgraphs of the Hasse diagram associated to K. Examples demonstrating the utility of computing such a proper ordering on the simplices are given.     

UML模型和Java代码之间的一致性检测方法

针对代码与模型之间的不一致性问题,提出了一种基于UML模型和Java代码之间的一致性检测方法.首先,对UML类图和时序图进行形式化描述,并提出时序调用图(SD-CG)这一概念,在此基础上完成类的关联关系到关联属性的转换以及UML时序图到时序调用图SD-CG的转换;其次,通过方法调用图CG来表达类方法之间的调用关系,从而反映代码动态行为,由此通过对Java源代码的词法分析与语法分析,可获得类的信息及方法调用图CG;然后设计了UML模型与Java源代码间一致性检测算法,包括对类间静态信息以及时序调用图SD-CG与方法调用图CG间的一致性检测;最后,通过开发UML模型与Java源代码一致性检测工具,验证了所提出的方法是可行有效的.     

基于场景的联锁软件形式化模型生成方法

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础.以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法.首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型.该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑.     

Single display gamut size metric

To measure the relative gamut sizes of wide‐gamut displays, it is herein proposed that the CIE 1931 xy chromaticity diagram be used rather than the nominally perceptually uniform CIE 1976 u′v′ chromaticity diagram. High correlations were found between the area‐coverage ratios in the xy diagram and the volume‐coverage ratios in the CIE 1976 L^*a^*b^* color space for major standard wide‐gamut color spaces. It is also demonstrated herein that performing planimetry in the uniform u′v′ diagram does not yield accurate relative display gamut sizes, even though the large sizes obtained using the u′v′ diagram are often reported regardless of the fact that its uniformity is valid only when the luminance factor is constant. The single display gamut size metric using the xy diagram will facilitate the unbiased development of wide‐gamut displays.     

Adaptive chatter mitigation control for machining processes with input saturations

Chatter is an unstable nonlinear dynamical phenomenon often encountered in machining operations because of the self‐excitation mechanism, which may lead to overcut or rapid tool wear, and hence, greatly influence the surface quality and productivity in milling operations. Recent years have witnessed an increasing industrial demand of high quality and high efficiency machining. This paper hereby develops a constrained active adaptive control method to mitigate the chatter dynamics with input saturations. To guarantee the feasibility of the proposed approach, moderate stable conditions of the closed‐loop system are afterwards derived by using the LaSalle–Yoshizawa theorem as well. Finally, numerical simulations are conducted to show the substantially enlarged stable region in the Lobe Diagram. Thus, the method can be expected to improve the efficiency of milling processes. Copyright © 2015 John Wiley & Sons, Ltd.     

基于ARMA NExT和稳定图方法的飞行器工作模态指示研究

研究了基于飞行遥测数据,使用环境激励模态辨识方法辨识系统的模态参数时,挑选真实模态的方法.首先,详细介绍了ARMA-NEx T环境激励模态辨识方法的理论.接着,给出了模态指示因素,并详细分析了基于稳定图方法、频域和时频分析方法的真实模态筛选的方法.最后通过算例研究了飞行模态筛选的过程.研究发现,通过该方法得出结果与频域和时频分析结果基本一致.     

康山蓄滞洪区洪水风险图研制分析

根据康山蓄滞洪区基础资料,分析不同洪水风险图编制方法,并研制了康山蓄滞洪区洪水风险图,给防汛部门实施指挥决策、抢险救灾提供依据,确保康山蓄滞洪区分洪运用前人员安全及时转移,最大限度地避免人员伤亡,减轻财产损失.     

PLC在老虎潭引水工程加压系统中的应用

目前大多数引水工程建设,远距离输水需要中途加压,才能使水源满足城市供水要求,为此采用PLC,使控制程序既具有处理复杂逻辑控制的能力,又具有方便修改流程参数的能力。在分析具体监测系统控制流程的基础上,介绍了利用PLC的梯形图编程进行逻辑控制的方法,给出了程序原理图,讨论了温度保护、变频调速控制、数据采集和处理等主要问题的处理方法。具体应用说明采用PLC通过编写梯形图进行引水工程加压控制,可有效地提高加压系统的工作效率。     

软件开发框架模型——现实世界问题的结构化分析

对软件开发框架模型提出了一种新的构化的分析方法,同时介绍了常用的结构化分析的工具及其更实用情况。