模糊一致理论及层次分析法在岸坡风险评价中的应用

首先介绍模糊一致理论FCT的提法,在此基础上进一步分析了这一理论在大系统决策分析中的优势,对层次分析法AHP在决策分析中的良好性态进行论述,将此两者相嵌套,并对工程实例作出了评价.     

Synthesis of PID controllers for a class of time delay systems

In this paper we use the Hermite-Biehler theorem to establish results on the design of proportional plus integral plus derivative (PID) controllers for a class of time delay systems. Using the property of interlacing at high frequencies of the class of systems considered and linear programming we obtain the set of all stabilizing PID controllers. As far as we know, previous results on the synthesis of PID controllers rely on the solution of transcendental equations. This paper also extends previous results on the synthesis of proportional controllers for a class of delay systems of retarded type to a larger class of delay systems.     

Simplicity in Eulerian circuits: Uniqueness and safety

An Eulerian circuit in a directed graph is one of the most fundamental Graph Theory notions. Detecting if a graph G has a unique Eulerian circuit can be done in polynomial time via the BEST theorem by de Bruijn, van Aardenne-Ehrenfest, Smith and Tutte (1941–1951) [15], [16] (involving counting arborescences), or via a tailored characterization by Pevzner, 1989 (involving computing the intersection graph of simple cycles of G), both of which thus rely on overly complex notions for the simpler uniqueness problem.In this paper we give a new linear-time checkable characterization of directed graphs with a unique Eulerian circuit. This is based on a simple condition of when two edges must appear consecutively in all Eulerian circuits, in terms of cut nodes of the underlying undirected graph of G. As a by-product, we can also compute in linear-time all maximal safe walks appearing in all Eulerian circuits, for which Nagarajan and Pop proposed in 2009 [12] a polynomial-time algorithm based on Pevzner characterization.     

Schauder fixed point theorem based existence of periodic solution for the response of Duffing’s oscillator

An initial-boundary value problem that is Duffing’s oscillator with time varying coefficients will be studied. Using Banach’s fixed-point theorem, the existence of periodic solution of the equation will be predicted. The method applied in this paper is the Schauder second fixed point theorem, which includes the response of structures under vibratory force systems. As an example, the dynamics of nonlinear simply supported rectangular thin plate under influence of a relatively moving mass is studied. By expansion of the solution as a series of mode functions, the governing equations of motion are reduced to an ordinary differential equation for time development vibration amplitude, which is Duffing’s oscillator. Finally, a parametric study is developed, after that some numerical examples are solved, and the validity of the present analysis is clearly shown. This paper was recommended for publication in revised form by Associate Editor Maenghyo Cho Hossein Ali Sepiani received his B.S. degree in Mechanical Engineering from University of Kashan, Iran, in 2003. He then received his M.S. degree from University of Tehran, in 2006. Currently, Hossein is continuing his research at University of Tehran. His research interests include new materials (FGMs, Nano-materials, SMAs, SMPs, etc), Composites (Woven Fabrics and Fiber Metal Laminates), Smart Materials (Shape Memory Alloy, Magnet/Electro-rheological and Piezoelectric Sensors and Actuators), Intelligent structures (Structures integrated with smart materials), Vibration and control of Intelligent Structures and their application. Ahmad Feyz Dizaji got his B.S. degree from University of Tehran, Iran, in 1970. Then he continued his study in U.S. and received his PhD. degree from Michigan State University in 1983, in Applied Mathematics under the supervision of Professor Shui-ni Chow and Professor J. Mallet-Paret. Since then he has been a member of the Faculty of Engineering in University of Tehran, teaching mathematics in both undergraduate and graduate levels.     

Implicit Riquier Bases for PDAE and their semi-discretizations

Complicated nonlinear systems of pde with constraints (called pdae) arise frequently in applications. Missing constraints arising by prolongation (differentiation) of the pdae need to be determined to consistently initialize and stabilize their numerical solution. In this article we review a fast prolongation method, a development of (explicit) symbolic Riquier Bases, suitable for such numerical applications. Our symbolic-numeric method to determine Riquier Bases in implicit form, without the unstable eliminations of the exact approaches, applies to square systems which are dominated by pure derivatives in one of the independent variables.     

复杂平面机构运动分析的速度瞬心法

根据平面机构中构件之间的联接关系，建立了复杂平面机构的模型；给出了用三心定理求解其速度瞬心的递推关系及其应用实例。为ＣＡＤ在机构速度分析上的应用提供了理论基础。     

关于L-P_1-紧映射的不动点定理

本文定义了正常的 L-A-proper 映射,对一类与有界、demi-连续、正常的 L-A-proper 映射有关的半线性映射建立了不动点定理。     

Robust Output Feedback Control for Uncertain Discrete Systems with Time Delays

Based on design of an observer,the issue of dynamic output feedback control is studied for uncertain discrete systems with delays.A comparison theorem is given for nonlinear uncertain discrete systems with multiple time delays.Based on the comparison theorem with some inequalities, some delay-independent sufficient conditions for the robust stabilization of the systems are presented by means of output feedback.     

数字地形模型转换算法研究

文章主要探讨数字地形模型(DTM)中的数字高程模型(DEM)转换为不规则三角网模型(TINM)的算法,重点探讨Delaunay三角网的构网原理与构网算法。     

Mark, a Reasoning Kit for Mobility

The experience gained to date in the development of network applications has shown the difficulties of using traditional software technologies: reasoning about network applications is subtly different from reasoning about ordinary programs because of stronger requirements on security, different forms of termination, and phenomena like mobility and network-awareness. There are currently no standard methods, techniques and tools to support specification, development and (property) certification of these applications.To support property certification of network applications, we propose to use the network-aware logic Mobadtl and its proof assistant, Mark (Mobadtl Reasoning Kit). In the paper we present the prototype implementation of Mark and, as a validating example, we consider applications where mobile components are allowed to carry some resources with them when moving around the network.