Continuity properties of the integrated density of states on manifolds

We first analyze the integrated density of states (IDS) of periodic Schrödinger operators on an amenable covering manifold. A criterion for the continuity of the IDS at a prescribed energy is given along with examples of operators with both continuous and discontinuous IDS. Subsequently, alloy-type perturbations of the periodic operator are considered. The randomness may enter both via the potential and the metric. A Wegner estimate is proven which implies the continuity of the corresponding IDS. This gives an example of a discontinuous “periodic” IDS which is regularized by a random perturbation.     

Lifschitz tail in a magnetic field: the nonclassical regime

We obtain the Lifschitz tail, i.e. the exact low energy asymptotics of the integrated density of states (IDS) of the two-dimensional magnetic Schr?dinger operator with a uniform magnetic field and random Poissonian impurities. The single site potential is repulsive and it has a finite but nonzero range. We show that the IDS is a continuous function of the energy at the bottom of the spectrum. This result complements the earlier (nonrigorous) calculations by Brézin, Gross and Itzykson which predict that the IDS is discontinuous at the bottom of the spectrum for zero range (Dirac delta) impurities at low density. We also elucidate the reason behind this apparent controversy. Our methods involve magnetic localization techniques (both in space and energy) in addition to a modified version of the “enlargement of obstacles” method developed by A.-S. Sznitman. Received: 20 July 1997 / Revised version: 20 April 1998     

A structured modeling technology

This paper presents the methodological background and implementation of a structured modeling environment developed to meet the requirements of modeling activities undertaken to support intergovernmental negotiations aimed at improving European air quality. Although the motivation for the reported work came from the actual complex application presented in the paper, the actual scope of the paper covers a wide range of issues related to model-based decision-making support. The paper starts with a summary of the context of modeling composed of: the role of models in decision-making support; modeling paradigms; and state-of-the-art aspects of modeling complex problems. The modeling process is then characterized, and the requirement analysis for implementation of structured modeling is specified. The main part of the paper presents the structured modeling technology which was developed to support the implementation of the structured modeling principles for modeling complex problems.     

A system dynamics model for intentional transmission of HIV/AIDS using cross impact analysis

The system dynamics approach is a holistic way of solving problems in real-time scenarios. This is a powerful methodology and computer simulation modeling technique for framing, understanding, and discussing complex issues and problems. System dynamics modeling and simulation is often the background of a systemic thinking approach and has become a management and organizational development paradigm. This paper proposes a system dynamics approach for modeling the phenomenon of intentional transmission of HIV/AIDS by non-disclosure. The model is built using the Cross Impact Analysis (CIA) method of relating entities and attributes relevant to the risky conduct of HIV+ individuals in any given community. The proposed model uses a hypothetical cross impact matrix that relates pairs of attributes. The factors that impact non-disclosure are identified by simulating the model through dynamic difference equations. After the simulation results are reviewed, two policies are introduced and tested in order to observe the progress in the system state.     

数学建模思维方法论

数学建模过程是一个复杂的思维过程,全国大学生数学建模竞赛又加以竞赛的形式,有其特殊性,其中如何研究问题、如何做出成果、如何争取获奖,本文探讨其思维规律、方法技巧.     

Hamiltonians on discrete structures: jumps of the integrated density of states and uniform convergence

We study equivariant families of discrete Hamiltonians on amenable geometries and their integrated density of states (IDS). We prove that the eigenspace of a fixed energy is spanned by eigenfunctions with compact support. The size of a jump of the IDS is consequently given by the equivariant dimension of the subspace spanned by such eigenfunctions. From this we deduce uniform convergence (w.r.t. the spectral parameter) of the finite volume approximants of the IDS. Our framework includes quasiperiodic operators on Delone sets, periodic and random operators on quasi-transitive graphs, and operators on percolation graphs.     

一种智能入侵检测系统设计与模拟实现

针对目前大多数的入侵检测系统存在的局限性,提出一种较完善的入侵检测模型,将专家系统和神经网络技术同时应用于入侵检测系统中.设计专家系统模块检测已知攻击,设计神经网络模块实现未知攻击的检测,提高了检测准确性.同时在神经网络模块应用PCA方法降低入侵数据维数,提高检测效率.仿真实验验证,该设计能有效降低入侵检测系统的漏报率和误报率.     

The uniqueness of the integrated density of states for the Schrödinger operators with magnetic fields

The integrated density of states (IDS) for the Schr?dinger operators is defined in two ways: by using the counting function of eigenvalues of the operator restricted to bounded regions with appropriate boundary conditions or by using the spectral projection of the whole space operator. A sufficient condition for the coincidence of the two definitions above is given. Moreover, a sufficient condition for the coincidence of the IDS for the Dirichlet boundary conditions and the IDS for the Neumann boundary conditions is given. The proof is based only on the fundamental items in functional analysis, such as the min-max principle, etc. Received August 26, 1999; in final form February 21, 2000 / Published online February 5, 2001     

Activity graphs: A language for flexible consultation systems

An intelligent decision system (IDS) uses artificial intelligence principles to deliver automated, interactive decision analysis (DA) consultations. Network methods adapted from operations research underlie two key IDS components: influence diagrams and activity graphs. Influence diagrams, which are familiar to DA researchers and practitioners, represent decision problems inevent space. Activity graphs, which are introduced in this paper, represent processes inaction space. While activity graphs can represent any process, we use them as a knowledge-engineering and programming language to represent the process knowledge of skilled decision analysts in the context of a specific class of decisions. This paper defines activity graphs as an extension of directed AND-OR graphs. Anactivity tree is a directed AND-OR tree consisting of nodes, which may contain activities (small computer programs) and connectors that establish logical relationships among nodes and define logical resolution agendas. Anactivity graph is a directed, multiply connected network of activity trees. Activity graphs may involve recursion. Development of the activity graph language is motivated by our desire to enable professional decision analysts — or other experts — with limited advanced programming experience to design and build consultation systems that combine the guidance offered by protocol systems with the flexibility and generality of transaction systems. This paper defines the activity graph language in detail. A simple example illustrates key concepts. The paper also discusses our experience using a computer system that implements activity graphs for developing commercial IDSs.     

一种新的声椭球无限单元

提出了一种新的声椭球无限单元．这种声无限单元基于一种新的声压表达式,这种声压表达式能够更准确地代表着椭球声场的声传播模式．这种新方法的形函数类似于Burnett方法,而权函数定义为形函数和一个附加因子的乘积．因为仅需要一维的数值积分,这种新方法的代码生成十分容易,就像处理一维单元一样．耦合标准的有限元程序,这种声无限单元理论上能够高效地求解任何形状的声源的声辐射和声散射现象．简要地推导了这种新方法,并给出了这种方法详尽的推导结果．为更有效地检验该无限元方法的可行性,文中例子仅考虑无限元求解的精度,而不包括相应的有限元．使用这种新方法,精确地推导出了摆动球的理论计算公式．而长旋转椭球的例子则表明了这种方法优于边界元方法和其他声椭球无限元方法．这些例子表明了这种新方法是切实可行的．     

Induced polarization forward modelling using finite element method and the fractal model

The modeling of induced polarization data from 2D and 3D geological medium was developed. We applied the finite element method and the fractal model to complex resistivity of rocks as an intrinsic electrical property of geological medium. The LU factorization and pre-conditioned complex bi-conjugated gradient method were applied to solve the complex linear equation system. The modeling implemented in this work was efficient and prompt. In addition, the induced polarization survey using the fractal model as intrinsic property of the medium is a promising method for environmental investigation.     

A software review for extreme value analysis

Extreme value methodology is being increasingly used by practitioners from a wide range of fields. The importance of accurately modeling extreme events has intensified, particularly in environmental science where such events can be seen as a barometer for climate change. These analyses require tools that must be simple to use, but must also implement complex statistical models and produce resulting inferences. This document presents a review of the software that is currently available to scientists for the statistical modeling of extreme events. We discuss all software known to the authors, both proprietary and open source, targeting different data types and application areas. It is our intention that this article will simplify the process of understanding the available software, and will help promote the methodology to an expansive set of scientific disciplines.     

多项式混沌方法在偶然不确定度量化中的应用

复杂工程建模与模拟中必然存在误差与不确定度,分析与辨识其不确定度的来源,对不确定度进行量化,对建模与模拟可信度评估具有重要意义。本文给出建模与模拟中误差与不确定度的概念及不确定度的量化过程,并以质量弹簧阻尼系统为例说明量化偶然不确定度的过程,验证了非嵌入多项式混沌方法在非光滑系统不确定度量化中的有效性,对建模与模拟中不确定度量化具有重要的参考价值。     

Analysis,modeling, emergence & integration in complex systems: A modeling and integration framework & system biology

Analysis and Modeling is the first “phase” of understanding or developing a system. It is also, maybe more importantly, the foundation of understanding a natural science or system. It's abstract and conceptually difficult but, being foundational, contributes the most to the quality of understanding of (designed or natural) systems. Complex Systems have a natural hierarchy of levels and multiple subsystems. The character and functionality of each level or subsystem “emerges” across its boundaries. Both sides of these boundaries must be understood within that side's natural thought patterns. Integrated interdisciplinary collaboration is essential for making sense of complex systems; but collaboration among disciplines is difficult, because of their different ways of thinking. This creates a dilemma, “understanding complex systems” is one horn; “integrated interdisciplinary collaboration” is the other. This dilemma in complex system analysis/modeling and interdiscipline collaboration, is currently addressed by “grabbing the bull by the horns.” This takes on this doubly complex problem, by painstakingly building up abstract “bull wrestling” skills in and across domains and disciplines. There's another wrinkle; complexity requires interdisciplinary collaboration at deeper, more dissimilar, levels. The usual approach, finding a way to “pass between the horns of the dilemma” will not work here, due to this cross coupling. Rather than trying to pass between the horns, by abstracting away the coupling, we overtly organizing this coupling. We weave a semantic unification space of conceptual connections linking each side of a boundary to its appropriate way of thinking. This allows us to abstracting away the dilemma and iron out the wrinkle. The threads of common image schemas, cognitive metaphors and conceptual interfaces, weave a bridge between the semantics foundations and organizations of each problem. These allow addressing the problems synergistically. This paper presents and explores a naturally valid way for discipline specific and discipline integrating addressing complex systems. We start with the methodological insights from analysis and modeling from the perspective of object orientation, with its ontologies, organizing lexical semantics. We advance from there by integrating in imagistic, imaginative semantics and affordance based interaction methodology, as the keys to addressing complex systems analysis, modeling and integration. © 2007 Wiley Periodicals, Inc. Complexity, 2007     

On the modeling of nonlinear interactions in large complex systems

This work deals with the modeling of large systems of interacting entities in the framework of the mathematical kinetic theory for active particles. The contents are specifically focused on the modeling of nonlinear interactions which is one of the most important issues in the mathematical approach to modeling and simulating complex systems, and which includes a learning–hiding dynamics. Applications are focused on the modeling of complex biological systems and on immune competition.     

A semi-analytical model for dynamic analysis of non-uniform plates

Dynamic properties of the plate structures can be enhanced by introducing discontinuities of different kinds such as using surface-bonded discrete patches or spatially varying the stiffness and mass properties of the plate. Fast and reliable design of such complex structures requires efficient and accurate modeling tools. In this study, a novel semi-analytical model is developed for the dynamic analysis of plates having discrete and/or continuous non-uniformities. Two-dimensional Heaviside unit step functions are utilized to represent the discontinuities. Different from existing numerical methods based on Heaviside functions, a numerical technique is proposed for modeling the discontinuities that are not necessarily aligned with the plate axes. The governing equations are derived using Hamilton's principle and Rayleigh–Ritz method is used for determining the modal variables. The surface-bonded patches are used to demonstrate discrete non-uniformities where variable-stiffness laminates are selected to represent continuous non-uniform structures. Natural frequencies and mode shapes obtained using the proposed method are validated with finite element analyses and the existing results from the literature. The results show that the developed model performs accurately and efficiently.     

A Phase Field Model for Three-Dimensional Dynamic Fracture and its Efficient Numerical Implementation

The numerical modeling of dynamic failure mechanisms in solids due to fracture based on sharp crack discontinuities suffers in situations with complex crack topologies and demands the formulation of additional branching criteria. This drawback can be overcome by a diffusive crack modeling, which is based on the introduction of a crack phase field. We focus on the extension of a recently developed phase field model for fracture from the quasi-static setting towards the dynamic setting. It is obtained by taking into account inertial terms and associated dynamic integrators. The introduction of a history field, containing a maximum fracture-driving energy, provides a very transparent representation of the balance equation that governs the diffusive crack topology. In particular, it allows for the construction of an extremely robust operator split technique. In a subsequent step, the proposed model is extended to three dimensional problems. The dynamic treatment opens the door to the analysis of complex fracture phenomena like multiple crack branching and crack arrest. (© 2011 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Nonlinear regression modeling using regularized local likelihood method

We introduce a nonlinear regression modeling strategy, using a regularized local likelihood method. The local likelihood method is effective for analyzing data with complex structure. It might be, however, pointed out that the stability of the local likelihood estimator is not necessarily guaranteed in the case that the structure of system is quite complex. In order to overcome this difficulty, we propose a regularized local likelihood method with a polynomial function which unites local likelihood and regularization. A crucial issue in constructing nonlinear regression models is the choice of a smoothing parameter, the degree of polynomial and a regularization parameter. In order to evaluate models estimated by the regularized local likelihood method, we derive a model selection criterion from an information-theoretic point of view. Real data analysis and Monte Carlo experiments are conducted to examine the performance of our modeling strategy.     

A genetic algorithms simulation approach for the multi-attribute combinatorial dispatching decision problem

This paper presents a genetic algorithms (GA) simulation approach in solving a multi-attribute combinatorial dispatching (MACD) decision problem in a flow shop with multiple processors (FSMP) environment. The simulation is capable of modeling a non-linear and stochastic problem. GA are one of the commonly used metaheuristics and are a proven tool for solving complex optimization problems. The proposed GA simulation approach addresses a complex MACD problem. Its solution quality is illustrated by a case study from a multi-layer ceramic capacitor (MLCC) manufacturing plant. Because GA search results are often sensitive to the search parameters, this research optimized the GA parameters by using regression analysis. Empirical results showed that the GA simulation approach outperformed several commonly used dispatching rules. The improvements are ranging from 33% to 61%. On the other hand, the increased shop-floor-control complexity may hinder the implementation of the system. Finally, future research directions are discussed.     

非定常Stokes方程一种基于POD方法的简化有限差分格式

特征正交分解(proper orthogonal decomposition,简记为POD)方法是一种可对偏微分方程的物理模型(如流体流动)做简化的技术．这种方法已经成功地用于对复杂系统模型降阶．推广应用POD方法,将POD方法应用于具有实际应用背景的非定常Stokes方程经典的有限差分格式,建立一种维数较低而精度足够高的简化差分格式,并给出简化差分格式解与经典差分格式解的误差估计．数值例子说明数值计算结果与理论结果相吻合．进一步表明基于POD方法的简化差分格式对求解非定常Stokes方程数值解是可行和有效的．