Delay-dependent criteria for robust stability of time-varying delay systems

This paper deals with the problem of delay-dependent robust stability for systems with time-varying structured uncertainties and time-varying delays. Some new delay-dependent stability criteria are devised by taking the relationship between the terms in the Leibniz-Newton formula into account. Since free weighting matrices are used to express this relationship and since appropriate ones are selected by means of linear matrix inequalities, the new criteria are less conservative than existing ones. Numerical examples suggest that the proposed criteria are effective and are an improvement over previous ones.     

PLC梯形图向结构文本转换的算法及实现

通过分析IEC61131-3标准规定的PLC梯形图语言及结构文本语言,提出对梯形图不同图元分类处理实现梯形图向结构文本转换的算法.该算法引入了虚节点,通过对虚节点的合并建立AOV图,按AOV图拓扑排序的顺序对不同类型节点分类处理,实现梯形图向结构文本的转换,并给出转换实例.该算法具有通用性,能转换任何复杂逻辑梯形图,已成功应用到高档数控国家工程研究中心的蓝天系列数控系统.     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

Liquid Letters

Using the interfacial jamming of cellulose nanocrystal (CNC) surfactants, a new concept, termed all‐liquid molding, is introduced to produce all‐liquid objects that retain the shape and details of the mold with high fidelity, yet remain all liquid and are responsive to external stimuli. This simple process, where the viscosity of the CNC dispersion can range from that of water to a crosslinked gel, opens tremendous opportunities for encapsulation, delivery systems, and unique microfluidic devices. The process described is generally applicable to any functionalized nanoparticles dispersed in one liquid and polymer ligands having complementary functionality dissolved in a second immiscible liquid. Such sculpted liquids retain all the characteristics of the liquids but retain shape indefinitely, very much like a solid, and provide a new platform for next‐generation soft materials.     

结构化控制流程图（N－S图）的改进与模块化程序设计图的设想

本文简要回顾了结构化程序设计和Ｎ－Ｓ图的产生,不难看出：Ｎ－Ｓ图是应结构化程序设计的需要而产生的。近年来模块化结构化程序设计思想有了新的发展,本文正是为了适应新的情况,在反复推敲与使用的基础上,第一,提出了结构化控制流程图的改进方案,它比Ｎ－Ｓ图有更高的集成度,表示能力更强,使得用图形表示算法更方便;第二,提出了各种模块图的方案,它可以使模块化程序设计图形化,合起来就构成了一套完整的模块化结构化程序设计盒图系统,简称ＭＳ图。     

符号M阵列面结构光多分辨解码方法研究

研究了符号M阵列面结构光图像的多分辨解码方法,结合基于形心特征的标准符号的分类和识别,着重提出了多分辨解码过程中未识别区域的提取方法,并结合实际问题提出了图像标记和符号识别的特殊处理方法,如分割符号间隔、填充十字型区域等,进而实现照度不均面结构光图像解码率最大化的目的.同时该解码方法也大大提高了照度不均模式图像解码的执行效率.     

结构化学习的噪声可学习性分析及其应用

噪声可学习性理论指出,有监督学习方法的性能会受到训练样本标记噪声的严重影响.然而,已有相关理论研究仅针对二类分类问题.致力于探究结构化学习问题受噪声影响的规律性.首先,注意到在结构化学习问题中,标注数据的噪声会在训练过程中被放大,使得训练过程中标记样本的噪声率高于标记样本的错误率.传统的噪声可学习性理论并未考虑结构化学习中的这一现象,从而低估了问题的复杂性.从结构化学习问题的噪声放大现象出发,提出了新的结构化学习问题的噪声可学习性理论.在此基础上,提出了有效训练数据规模的概念,这一指标可用于在实践中描述噪声学习问题的数据质量,并进一步分析了实际应用中的结构化学习模型在高噪声环境下向低阶模型回退的情况.实验结果证明了该理论的正确性及其在跨语言映射和协同训练方法中的应用价值和指导意义.     

An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents

Several important questions still need to be answered regarding the maintainability of object-oriented design documents. This paper focuses on the following issues: are object-oriented design documents easier to understand and modify than structured design documents? Do they need to comply with quality guidelines such as the ones provided by Coad and Yourdon? What is the impact of such quality standards on the understandability and modifiability of design documents? Answers can be based on informed opinion or empirical evidence. Since software technology investments are substantial and contradictory opinions exist regarding design strategies, performing empirical studies on these topics is a relevant research activity. This paper presents a controlled experiment performed with computer science students as subjects. Results strongly suggest that quality guidelines based on Coad and Yourdon principles have a beneficial effect on the maintainability of object-oriented design documents. However, there is no strong evidence regarding the alleged higher maintainability of object-oriented design documents over structured design documents. Furthermore, results suggest that object-oriented design documents are more sensitive to poor design practices, in part because their cognitive complexity becomes increasingly unmanageable. However, because our ability to generalise these results is limited, they should be considered as preliminary, i.e., it is very likely that they can only be generalised to programmers with little object-oriented training and programming experience. Such programmers can, however, be commonly found on maintenance projects. As well as additional research, external replications of this study are required to confirm the results and achieve confidence in these findings.     

Delay-dependent robust stability criteria for uncertain neutral systems with mixed delays

This paper concerns the problem of the delay-dependent robust stability of neutral systems with mixed delays and time-varying structured uncertainties. A new method based on linear matrix inequalities is presented that makes it easy to calculate both the upper stability bounds on the delays and the free weighting matrices. Since the criteria take the sizes of the neutral- and discrete-delays into account, it is less conservative than previous methods. Numerical examples illustrate both the improvement this approach provides over previous methods and the reciprocal influences between the neutral- and discrete-delays.     

一种基于实测的高维动态负载平衡方法

针对大规模科学计算中的强非规则结构负载问题,作者开发出一种基于实测的动态负载平衡方法．首先,将由规则结构化网格组成的模拟区域剖分成多块;其次,把块的高维坐标转换成一维Hilbert空间填充曲线（HSFC）索引;然后,基于实测信息采用多层均权法剖分按一维HSFC索引排列的块;最后根据剖分信息重分配块以平衡负载．它把仅适用于一维的多层均权法扩展到二维和三维,并引入更多的实测信息和块数据结构．与ISP方法相比,该方法在64个CPU上提高负载平衡效率10％,在某MPP的500个CPU上模拟强非规则结构负载问题时,获得了88％的负载平衡效率和84％的并行效率．