Controller design for distributed parameter systems with time delays in the boundary feedbacks via the backstepping method

For a distributed parameter system with an input delay in the boundary, a feedback control law is presented by means of the backstepping method. The square integrability of input signal is verified based on the target system. Then, the boundedness and invertibility of the corresponding backstepping transformation are proved under the regularity of system and the admissibility of feedback operator. Thus, the resulting closed-loop system is shown to be exponentially stable. Finally, as an application, a numerical simulation of a one-dimensional Schrödinger equation with a delay input is carried out, and the simulation results demonstrate the effectiveness of the suggested control law.     

Protecting the integrity of Rorschach expert witnesses: A reply to Grove and Barden (1999) re: The admissibility of testimony under Daubert/Kumho analyses.

The Rorschach Comprehensive System has been considered by W. M. Grove and R. C. Barden (1999) as inadmissible for expert psychological testimony according to the guidelines from the Daubert (1993), Joiner (1997), and Kumho (1999) decisions. This article refutes W. M. Grove and R. C. Barden's conclusions, arguing that the Rorschach Comprehensive System is (a) testable, (b) valid and reliable, (c) extensively peer reviewed, (d) associated with a reasonable error rate, (e) standardized, (f) accepted by a relevant and substantial scientific community, and (g) appropriate for a wide range of forensic issues. In drawing their negative conclusions, W. A Grove and R. C. Barden overlooked or minimized a substantial body of empirical data supporting the reliability and validity of the Rorschach Comprehensive System and misinterpreted the language and intent of the Supreme Court decisions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

H∞ filtering for a class of discrete-time singular Markovian jump systems with time-varying delays

The problem of _H∞$H_{\infty }$ filtering for a class of discrete-time singular Markovian jump systems with time-varying delays is investigated in this paper. The transition probabilities under consideration are time-varying, i.e., Markovian chain is nonhomogeneous. By using the Lyapunov functional approach and reciprocally convex technique, a less conservative delay-dependent bounded real lemma is developed in terms of linear matrix inequalities. Moreover, a sufficient condition for the existence of the desired filter which guarantees the stochastic admissibility and the _H∞$H_{\infty }$ performance index of the resulting filtering error system is presented. Numerical examples are employed to show the usefulness of the proposed results.     

对几个小波基本概念的理解

讨论实际应用中经常涉及但容易产生误解的小波基本概念,以期提高电力系统小波应用研究水平。这些小波基本概念是:容许性条件;二进离散与二进小波;连续小波的离散条件;小波基;A=B=1的紧框架与正交小波;小波滤波器长度与时域分辨率;小波的滤波特性与不同尺度小波的频带交叠;线性相位小波与信号完全重构;双正交小波的小波包及小波包分解与1/2频程分解;整数倍伸缩小波变换与分数倍伸缩小波变换;小波的正则度与消失矩;Motlet函数与Morlet小波;小波变换模极大值(定义、与突变点位置的关系、与Lipschitz指数的关系、对小波的要求);时域、频域同时紧支小波;(时域)紧支正交线性相位小波;表征小波特性的基本指标与有价值的新小波。     

计及运行风险和备用可用性的含风电系统两阶段优化调度

针对风电和负荷的不确定性对系统日前调度的影响,提出一种计及运行风险和备用可用性的日前两阶段优化调度方法。首先,考虑风电和负荷的不确定性及容许误差区间,利用条件风险价值(Conditional Value-at Risk, CVaR)度量系统调度运行风险。然后,建立日前两阶段优化调度模型。其中第一阶段优化模型以包含风险成本的系统运行成本最小为目标函数,优化制定有功调度及备用计划,保证系统运行经济性。基于第一阶段优化结果生成极限潮流场景集,第二阶段优化模型校验极限场景下的备用可用性并将结果反馈至第一阶段模型,确保系统运行鲁棒性,并提出迭代求解算法。最后,以IEEE39 节点系统和实际区域电网为算例验证了该方法的可行性和有效性。     

Electronic Evidence and the Law

Today, documents and data are likely to be encountered in electronic form. This creates a challenge for the legal system since its rules of evidence evolved to deal with tangible (physical) evidence. Digital evidence differs from tangible evidence in various respects, which raise important issues as to how digital evidence is to be authenticated, ascertained to be reliable and determined to be admissible in criminal or civil proceedings. This article explains how digital evidence differs from traditional physical evidence and reviews the current state of the law with regard to the processes of authentication, reliability and admissibility.     

面向网络取证的网络攻击追踪溯源技术分析

定位网络攻击事件源头然后进行有效电子证据的收集是网络取证的任务之一.定位网络攻击事件源头需要使用网络攻击追踪溯源技术.然而现有的网络攻击追踪溯源技术研究工作主要从防御的角度开展,以通过定位攻击源及时阻断攻击为主要目标,较少考虑网络取证的要求.这导致网络攻击追踪溯源过程中产生的大量有价值的数据无法成为有效电子证据在诉讼中被采用,因而无法充分发挥其在网络取证方面的价值.为此提出了一套取证能力评估指标用于评估网络攻击追踪溯源技术的取证能力,总结分析了最新的网络攻击追踪溯源技术,包括基于软件定义网络的追踪溯源技术,基于取证能力评估指标分析了其取证能力并针对不足之处提出了改进建议,最后提出了针对网络攻击追踪溯源场景的网络取证过程模型.该工作为面向网络取证的网络攻击追踪溯源技术的研究提供了参考.