On the Controllability of Nonlocal Second‐Order Impulsive Neutral Stochastic Integro‐Differential Equations with Infinite Delay

In this paper, we investigate the controllability for a class of nonlocal second‐order impulsive neutral stochastic integro‐differential equations with infinite delay in Hilbert spaces. More precisely, a set of sufficient conditions for the controllability results of nonlocal second‐order impulsive neutral stochastic integro‐differential equations with infinite delay are derived by means of the Banach fixed point theorem combined with theories of a strongly continuous cosine family of bounded linear operators. As an application, an example is provided to illustrate the obtained theory.     

Security optimal power flow considering loading margin stability using hybrid FFA–PS assisted with brainstorming rules

This paper presents a new power system planning strategy which combines firefly algorithm (FFA) with pattern search algorithm (PS). The purpose is minimizing total fuel cost, total power loss and reducing total voltage deviation, with the objective of enhancing the loading margin stability and consequently the power system security. A new interactive and simple mechanism, inspired in brainstorming process, is proposed that allows FFA and PS algorithms to explore new regions of the search space. In this study the Static VAR compensator (SVC) is modeled and integrated in an efficient location which is chosen considering the voltage stability index. The proposed algorithm is interactive and tries to optimize a set of control variables at the same time, namely, active power generations, voltage of generators, tap transformers, and the reactive power of shunt compensators to optimize three objective functions such as: fuel cost, total power loss and total voltage deviation. These variables are optimized using a flexible interactive and competitive search mechanism. The proposed planning strategy has been examined and applied to two practical test systems IEEE 14-Bus and IEEE 30-Bus. Simulation results confirm the effectiveness of this hybrid strategy for solving the security optimal power flow.     

Interior-point methods for symmetric optimization based on a class of non-coercive kernel functions

In this paper, we generalize polynomial-time primal–dual interior-point methods for symmetric optimization based on a class of kernel functions, which is not coercive. The corresponding barrier functions have a finite value at the boundary of the feasible region. They are not exponentially convex and also not strongly convex like many usual barrier functions. Moreover, we analyse the accuracy of the algorithm for this class of functions and we obtain an upper bound for the accuracy which depends on a parameter of the class.     

Parametric modeling of microwave passive components using combined neural networks and transfer functions in the time and frequency

A novel parametric modeling technique is proposed to develop combined neural network and transfer function models for both time and frequency (TF) domain applications of passive components, where the neural network is trained to map geometrical variables to the coefficients of transfer functions. Built on our previous work, a new order‐changing module is developed to enforce stability of transfer functions and simultaneously guarantee continuity of coefficients. A constrained optimization strategy is introduced to enforce passivity of transfer functions through a neural network training process. A general equivalent circuit for two‐port passive components is generated directly from coefficients of arbitrary‐order transfer functions. Once trained, the parametric model can provide accurate and fast prediction of the electromagnetic behavior of passive components with geometrical parameters as variables. Compared to our previous work, the proposed method enables models to work well in the time domain providing good accuracy in challenging modeling applications. Two parametric modeling examples of spiral inductors and interdigital capacitors, and their application in both time and frequency domain simulations of a power amplifier are examined to demonstrate the validity of the proposed technique. © 2012 Wiley Periodicals, Inc. Int J RF and Microwave CAE , 2013.     

Image Super Resolution and Enhancement Using E-spline

E-splines （Exponential spline） polynomials represent the best smooth transition between continuous and discrete domains. As they are constructed from convolution of exponential segments, there are many degrees of freedom to optimally choose the most convenient E-spline, suitable for a specific application. In this paper, the parameters of these E-splines were optimally chosen, to enhance the performance of image zooming and interpolation schemes. The proposed technique is based on minimizing the total variation function of the detail coefficients of the E-spline based wavelet decomposition. In zooming applications, the quality of interpolated images are further improved and sharpened by applying ICA technique to them, in order to remove any dependency. Illustrative examples are given to verify image enhancement of the proposed E-spline scheme, when compared with the existing approaches.     

Adaptive Decentralized NN Control of Nonlinear Interconnected Time‐Delay Systems with Input Saturation

In this paper, a novel decentralized adaptive neural control scheme is proposed for a class of interconnected large‐scale uncertain nonlinear time‐delay systems with input saturation. Radial basis function (RBF) neural networks (NNs) are used to tackle unknown nonlinear functions. Then, the decentralized adaptive NN tracking controller is constructed by combining Lyapunov–Krasovskii functions and the dynamic surface control (DSC) technique, along with the minimal‐learning‐parameters (MLP) algorithm. The stability analysis subject to the effect of input saturation constraints are conducted with the help of an auxiliary design system based on the Lyapunov–Krasovskii method. The proposed controller guarantees uniform ultimate boundedness (UUB) of all of the signals in the closed‐loop large‐scale system, while the tracking errors converge to a small neighborhood around the origin. An advantage of the proposed control scheme lies in the number of adaptive parameters of the whole system being reduced to one and in the solution of the three problems of “computational explosion,” “dimension curse,” and “controller singularity”. Finally, simulation results along with comparisons are presented to demonstrate the advantages, effectiveness, and performance of the proposed scheme.     

C逆编译系统的中间语言的一种优化表示方法

数据类型的重新定义、控制流恢复和自定义函数或结构体的识别是结构化语言逆编译过程中的难点,以往研究多采用改进汇编语言的数据类型表示和增加自定义函数或结构体的特征量的方式来优化逆编译结果。使用中间语言抽象表示逆编译后得到的汇编语言的语言形式,并设计了一种新的逆编译模式,一定程度上提升了逆编译结果的识别率、可读性和完整性。     

基于Matlab与VC的弱视视功能检查系统的设计与实现

弱视是一种发育紊乱性疾病,我国弱视患者检出率高达2.8%。对弱视视功能进行检查可以帮助医生更准确判定病情,从而制定有效的个性化治疗方案。针对弱视患者存在的视功能缺损模式,采用心理物理学的阈限算法,设计了弱视视功能检查系统。系统软件部分利用VC中的MFC以及Matlab的Psychophysics Toolbox实现视功能检查模块,通过SQL Server建立后台数据库记录检查数据。同时,为了达到心理物理学上对视功能检查的特殊显示要求,硬件部分加入了Vedio Switcher进行输出视频信号的转换。系统经临床实际试用,表明系统稳定性好,能满足弱视视功能检查的特殊临床需要。     

论区间B样条曲线的升阶与割角的关系

为了解决区间B样条曲线的升阶理论问题,提出区间控制多边形概念,利用双次B样条基函数证明了区间B样条曲线具有升阶性质;并阐明了区间B样条曲线的升阶就是对其控制多边形的割角过程.最后证明了当升阶次数趋于无穷时,区间B样条曲线的控制多边形收敛到该曲线.