A framework for determining design correctness

Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modern system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration.     

Modelling and FDI of Dynamic Discrete Time Systems Using a MLP with a New Sigmoidal Activation Function

In this paper we investigate the use of the multi-layer perceptron (MLP) for system modelling. A new sigmoidal activation function is introduced and the study is focused at the utilization of this function on a MLP that performs modelling of dynamic, discrete time systems. The role of the activation function in the training process is investigated analytically, and it is proven that the shape of the activation function and it's derivative can affect the training outcome. The method is simulated at a well known benchmark, namely the three tank system, and is incorporated in a Fault Detection and Identification (FDI) method, also applied and simulated at the three tank system. Finally, a comparison is made with an approach that utilizes local model neural networks for system modeling.     

多用户检测技术的发展与应用

CDMA系统是一个自干扰系统，多址干扰是限制其容量和性能的主要原因之一，传统的相干接收机不能从根本上解决消除多址干扰的问题，因此如何抑制多址干扰引起了通信界学者们的关注．多用户检测技术能从根本上消除多址干扰，提高系统的性能。文中主要介绍了多用户检测的思想和检测器的分类，以及衡量多用户检测器性能的三个重要指标，还阐述了多用户检测技术的新发展和该技术在几个具体系统中的应用。     

井下粉尘多参数检测的自适应方法

为提高井下粉尘计重含量检测精度并同时获得粒度分布参数,根据井下粉尘衍射光的角谱特征,提出了一种适合于在单片机上运行的算法。首先将衍射光角谱归一化,使得不同浓度但粒度分布相同的尘样具有相同的归一化角谱,而该角谱与给定模式的角谱的贴近程度则用差值平方和表征。由几个优选模式求得的计重含量或粒度分布取加权平均即可获得待求参数。考虑到现场环境中噪声抑制能力和对尘样多样性的适应能力至关重要,本文中最后给出了针对这两个方面的仿真实验结果。     

纳焦飞秒激光在有机材料表面刻划微结构光栅的研究

使用振荡器产生的飞秒激光在透明有机材料PMMA表面进行了刻划微结构光栅的研究．通过理论分析得到了飞秒激光参数和平台移动速度对线宽的影响，进行了系统的加工实验，加工结果与理论分析基本吻合．在透明有机材料PMMA表面进行了多种光栅的刻划，并对刻划的光栅进行了衍射和色散测试，调整光栅的尺寸和排列方式，得到了形状各异的衍射图案。     

采用量化MCLT变换系数的音频数字水印盲检算法

提出了量化 MCLT 变换系数的音频数字水印盲检新算法。嵌入的水印为视觉可辨的二值标志图像,对水印降维处理后,利用密钥通过 PN 序列发生器产生的伪随机序列调制水印信息,然后通过量化 MCLT 系数的方法将其嵌入音频中。通过大量实验,得到了决定水印鲁棒性和不可感知性的量化参数选择上限。实验结果表明,该算法对所嵌水印的音频质量未见降低,对信号处理和随机裁剪型的攻击具有很高的鲁棒性。     

The Attentional Dynamics of Masked Detection.

A dichoptic masking procedure was used to test whether the mask-dependent cuing effects found in luminance detection by P. L. Smith (2000a) were due to integration masking or interruption masking. Attentional cuing enhanced detection sensitivity (d') when stimuli were backwardly masked with either dichoptic or monoptic masks, whereas no cuing effect was found with unmasked stimuli, implying the mask dependencies were due to interruption of stimulus processing in visual cortex by the mask. The effect is predicted by a gated diffusion process model in which masks interrupt stimulus processing and attention controls the flow of information to a sequential-sampling decision mechanism. The model correctly predicts different patterns of performance for detection and discrimination and cuing effects in simple reaction time. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

声表面波谐振器无源无线传感虚拟仪器系统

分析了在通用硬件平台上结合软件设计的声表面波谐振器无源无线传感虚拟仪器系统。该系统通过设计虚拟仪器实现部分硬件功能,控制闭环系统实现自动检测,并采用数字信号处理方法提高检测系统的精度,从而避免了通常的复杂硬件系统,降低硬件成本,并使检测更灵活。本文介绍了设计原理和系统构成,并对系统的误差进行了分析。实验表明:该仪器系统能够达到5m的无线检测距离。     

Detection filter design for LPV systems—a geometric approach

This paper investigates fault detection and isolation of linear parameter-varying (LPV) systems by using parameter-varying (C,A)-invariant subspace and parameter-varying unobservability subspaces. The so called “detection filter” approach, formulated as the fundamental problem of residual generation (FPRG) for linear time-invariant (LTI) systems, is extended for a class of LPV systems. The question of stability is addressed in the terms of Lyapunov quadratic stability by using linear matrix inequalities. The results are applied to the model of a generic small commercial aircraft.     

Nanometer edge and surface imaging using optical scatter

Imaging of edges to nanometer resolution using a novel non-contact technique is presented. This technique relies on positioning an optical beam to the edge, and simultaneously scanning, and measuring differential changes in off-specular scatter. Data may be used to calculate the radius at the edge to high accuracy. The experimental apparatus is capable of producing diffraction images of features on surfaces arising from processes used in sample preparation. Images of the cleaved edge of an optical fiber, an Au pad on Si, and cleaved quartz measured on this apparatus are presented. This technique could also be utilized to analyze cleaved laser diodes, micro-optics, MEMS devices, and diamond cutting tools.