Optimizing Epochal Evolutionary Search: Population-Size Dependent Theory

Epochal dynamics, in which long periods of stasis in an evolving population are punctuated by a sudden burst of change, is a common behavior in both natural and artificial evolutionary processes. We analyze the population dynamics for a class of fitness functions that exhibit epochal behavior using a mathematical framework developed recently, which incorporates techniques from the fields of mathematical population genetics, molecular evolution theory, and statistical mechanics. Our analysis predicts the total number of fitness function evaluations to reach the global optimum as a function of mutation rate, population size, and the parameters specifying the fitness function. This allows us to determine the optimal evolutionary parameter settings for this class of fitness functions.We identify a generalized error threshold that smoothly bounds the two-dimensional regime of mutation rates and population sizes for which epochal evolutionary search operates most efficiently. Specifically, we analyze the dynamics of epoch destabilization under finite-population sampling fluctuations and show how the evolutionary parameters effectively introduce a coarse graining of the fitness function. More generally, we find that the optimal parameter settings for epochal evolutionary search correspond to behavioral regimes in which the consecutive epochs are marginally stable against the sampling fluctuations. Our results suggest that in order to achieve optimal search, one should set evolutionary parameters such that the coarse graining of the fitness function induced by the sampling fluctuations is just large enough to hide local optima.     

Numerical Schemes for Variational Inequalities Arising in International Asset Pricing

This paper introduces a valuation model of international pricing in the presence of political risk. Shipments between countries are charged with shipping costs and the country specific production processes are modelled as diffusion processes. The political risk is modelled as a continous time jump process that affects the drift of the returns in the politically unstable countries. The valuation model gives rise to a singular stochastic control problem that is analyzed numerically. The fundamental tools come from the theory of viscosity solutions of the associated Hamilton–Jacobi–Bellman equation which turns out to be a system of integral-differential Variational Inequalities with gradient constraints.     

Classification of abnormal plant operation using multiple process variable trends

This paper illustrates two strategies for the detection and classification of abnormal process operating conditions in which multiple process variable trends are available. The first strategy uses a hidden Markov model (HMM) for overall process classification while the second method uses a back-propagation neural network (BPNN) to determine the overall process classification. The methods are compared in terms of their ability to detect and correctly diagnose a variety of abnormal operating conditions for a non-isothermal CSTR simulation. For the case study problem, the BPNN method resulted in better classification accuracy with a moderate increase in training time compared with the HMM approach.     

高性能BLAS在类Beowulf机群系统上的实现

Beowulf计划关于“基于COTS技术以满足特殊计算需要”的思想使得机群计算成为斋性能计算的一个重要流派,本文针对类Beowulf机群的Intel微处理器特点,讨论了BLAS的优化技术,在以软件DSM系统作为并行编程环境的类Beowulf机群系统上作出了性能评价。     

STL、DXF等通用文件格式图形的真实感显示

以AutoCAD作为图形输入环境,以STL、DXF等格式的图形文件作为数据交换接口,对图形进行交互式立体显示,通过分析文件格式,在Visual C 6.0编程环境下获取文件中的二、三维图形信息,对其中基于回转体的二维图形进行三维旋转造型,生成三维实体数据。并应用OpenGL图形处理技术对输入的三维图形实现真实感显示,进行变换、光照、材质等方面的处理。     

The relation between color discrimination and color constancy: when is optimal adaptation task dependent?

Color vision supports two distinct visual functions: discrimination and constancy. Discrimination requires that the visual response to distinct objects within a scene be different. Constancy requires that the visual response to any object be the same across scenes. Across changes in scene, adaptation can improve discrimination by optimizing the use of the available response range. Similarly, adaptation can improve constancy by stabilizing the visual response to any fixed object across changes in illumination. Can common mechanisms of adaptation achieve these two goals simultaneously? We develop a theoretical framework for answering this question and present several example calculations. In the examples studied, the answer is largely yes when the change of scene consists of a change in illumination and considerably less so when the change of scene consists of a change in the statistical ensemble of surface reflectances in the environment.     

A General Framework for Expressing Preferences in Causal Reasoning and Planning

We consider the problem of representing arbitrary preferencesin causal reasoning and planning systems. In planning, a preferencemay be seen as a goal or constraint that is desirable, but notnecessary, to satisfy. To begin, we define a very general querylanguage for histories, or interleaved sequences of world statesand actions. Based on this, we specify a second language inwhich preferences are defined. A single preference defines abinary relation on histories, indicating that one history ispreferred to the other. From this, one can define global preferenceorderings on the set of histories, the maximal elements of whichare the preferred histories. The approach is very general andflexible; thus it constitutes a ‘base’ languagein terms of which higher-level preferences may be defined. Tothis end, we investigate two fundamental types of preferencesthat we call choice and temporal preferences. We consider concretestrategies for these types of preferences and encode them interms of our framework. We suggest how to express aggregatesin the approach, allowing, e.g. the expression of a preferencefor histories with lowest total action costs. Last, our approachcan be used to express other approaches and so serves as a commonframework in which such approaches can be expressed and compared.We illustrate this by indicating how an approach due to Sonand Pontelli can be encoded in our approach, as well as thelanguage PDDL3.     

Molecular dynamics at the receptor level of immunodominant myelin basic protein epitope 87-99 implicated in multiple sclerosis and its antagonists altered peptide ligands: triggering of immune response

This work reports molecular dynamics studies at the receptor level of the immunodominant myelin basic protein (MBP) epitope 87-99 implicated in multiple sclerosis, and its antagonists altered peptide ligands (APLs), namely [Arg91, Ala96] MBP87-99 and [Ala91,96] MBP87-99. The interaction of each peptide ligand with the receptor human leukocyte antigen HLA-DR2b was studied, starting from X-ray structure with pdb code: 1ymm. This is the first such study of APL-HLA-DR2b complexes, and hence the first attempt to gain a better understanding of the molecular recognition mechanisms that underlie TCR antagonism by these APLs. The amino acids His88 and Phe89 serve as T-cell receptor (TCR) anchors in the formation of the trimolecular complex TCR-peptide-HLA-DR2b, where the TCR binds in a diagonal, off-centered mode to the peptide-HLA complex. The present findings indicate that these two amino acids have a different orientation in the APLs [Arg91, Ala96] MBP87-99 and [Ala91,96] MBP87-99: His88 and Phe89 remain buried in HLA grooves and are not available for interaction with the TCR. We propose that this different topology could provide a possible mechanism of action for TCR antagonism.     

Constructive Membership Predicates as Index Types

In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we motivate and explore this idea in the concrete setting of lists and trees. We show that the inhabitants of membership predicates are precisely the inhabitants of a generic shape type. We show that membership of x (of type T) in structure S, (x_TS) can not, in general, index all parts of a structure S and we generalize to a form ρS where ρ is a predicate over S. Under this scheme, (λx.True)S is the set of all indexes into S, but we show that not all subsets of indexes are expressible by strictly local predicates. Accordingly, we extend our membership predicates to predicates that retain state “from above” as well as allow “looking below”. Predicates of this form are complete in the sense that they can express every subset of indexes in S. These ideas are motivated by experience programming in Nuprl's constructive type theory and examining the constructive content of mechanically checked formal proofs involving membership predicates.