There is, I think, something ethereal about i —the square root of minus one. I remember first hearing about it at school. It seemed an odd beast at that time—an intruder hovering on the edge of reality.

Usually familiarity dulls this sense of the bizarre, but in the case of i it was the reverse: over the years the sense of its surreal nature intensified. It seemed that it was impossible to write mathematics that described the real world in …

I and i

다중혈관 관상동맥 환자에서 y-문합을 이용하여 양쪽 내흉동맥만을 사용한 우회술의 조기 성적

抗原变异可使得多种致病微生物易于逃避宿主免疫应答。表达在感染红细胞表面的恶性疟原虫红细胞表面蛋白1（PfPMP1）与感染红细胞、内皮细胞、树突状细胞以及胎盘的单个或多个受体作用，在黏附及免疫逃避中起关键的作用。每个单倍体基因组var基因家族编码约60种成员，通过启动转录不同的var基因变异体为抗原变异提供了分子基础。

疟原虫var基因转换速率变化导致抗原变异[英]／Paul H, Robert P, Christodoulou Z, et al//Proc Natl Acad Sci U S A

Machine Learning is the study of methods for programming computers to learn. Computers are applied to a wide range of tasks, and for most of these it is relatively easy for programmers to design and implement the necessary software. However, there are many tasks for which this is difficult or impossible. These can be divided into four general categories. First, there are problems for which there exist no human experts. For example, in modern automated manufacturing facilities, there is a need to predict machine failures before they occur by analyzing sensor readings. Because the machines are new, there are no human experts who can be interviewed by a programmer to provide the knowledge necessary to build a computer system. A machine learning system can study recorded data and subsequent machine failures and learn prediction rules. Second, there are problems where human experts exist, but where they are unable to explain their expertise. This is the case in many perceptual tasks, such as speech recognition, hand-writing recognition, and natural language understanding. Virtually all humans exhibit expert-level abilities on these tasks, but none of them can describe the detailed steps that they follow as they perform them. Fortunately, humans can provide machines with examples of the inputs and correct outputs for these tasks, so machine learning algorithms can learn to map the inputs to the outputs. Third, there are problems where phenomena are changing rapidly. In finance, for example, people would like to predict the future behavior of the stock market, of consumer purchases, or of exchange rates. These behaviors change frequently, so that even if a programmer could construct a good predictive computer program, it would need to be rewritten frequently. A learning program can relieve the programmer of this burden by constantly modifying and tuning a set of learned prediction rules. Fourth, there are applications that need to be customized for each computer user separately. Consider, for example, a program to filter unwanted electronic mail messages. Different users will need different filters. It is unreasonable to expect each user to program his or her own rules, and it is infeasible to provide every user with a software engineer to keep the rules up-to-date. A machine learning system can learn which mail messages the user rejects and maintain the filtering rules automatically. Machine learning addresses many of the same research questions as the fields of statistics, data mining, and psychology, but with differences of emphasis. Statistics focuses on understanding the phenomena that have generated the data, often with the goal of testing different hypotheses about those phenomena. Data mining seeks to find patterns in the data that are understandable by people. Psychological studies of human learning aspire to understand the mechanisms underlying the various learning behaviors exhibited by people (concept learning, skill acquisition, strategy change, etc.).

Machine learning

In this paper, we discuss consensus problems for networks of dynamic agents with fixed and switching topologies. We analyze three cases: 1) directed networks with fixed topology; 2) directed networks with switching topology; and 3) undirected networks with communication time-delays and fixed topology. We introduce two consensus protocols for networks with and without time-delays and provide a convergence analysis in all three cases. We establish a direct connection between the algebraic connectivity (or Fiedler eigenvalue) of the network and the performance (or negotiation speed) of a linear consensus protocol. This required the generalization of the notion of algebraic connectivity of undirected graphs to digraphs. It turns out that balanced digraphs play a key role in addressing average-consensus problems. We introduce disagreement functions for convergence analysis of consensus protocols. A disagreement function is a Lyapunov function for the disagreement network dynamics. We proposed a simple disagreement function that is a common Lyapunov function for the disagreement dynamics of a directed network with switching topology. A distinctive feature of this work is to address consensus problems for networks with directed information flow. We provide analytical tools that rely on algebraic graph theory, matrix theory, and control theory. Simulations are provided that demonstrate the effectiveness of our theoretical results.

/pdf/consensus-problems-in-networks-of-agents-with-switching-25c3hqvtd8.pdf

Consensus problems in networks of agents with switching topology and time-delays

In this paper, we use control improvisation to synthesize voluntary lane-change policy that meets human preferences under given traffic environments. We first train Markov models to describe traffic patterns and the motion of vehicles responding to such patterns using traffic data. The trained parameters are calibrated using control improvisation to ensure the traffic scenario assumptions are satisfied. Based on the traffic pattern, vehicle response models, and Bayesian switching rules, the lane-change environment for an automated vehicle is modeled as a Markov decision process. Based on human lane-change behaviors, we train a voluntary lane-change policy using explicit-duration Markov decision process. Parameters in the lane-change policy are calibrated through control improvisation to allow an automated car to pursue faster speed while maintaining desired frequency of lane-change maneuvers in various traffic environments.

Voluntary lane-change policy synthesis with control improvisation

Thin-film deposition is an industrially important process that is highly dependent on the processing conditions. Most films are grown under constant conditions, but a few studies show that modified properties may be obtained with periodic inputs. However, assessing the effects of modulation experimentally becomes impractical with increasing material complexity. Here we consider periodic conditions in which the period is short relative to the time scales of growth. We analyze a stochastic model of thin-film growth, computing effective transition rates associated with rapid periodic process parameters. Combinations of effective rates may exist that are not attainable under steady conditions, potentially enabling new film properties. An algorithm is presented to construct the periodic input for a desired set of effective transition rates. These ideas are demonstrated in three simple examples using kinetic Monte Carlo simulations of epitaxial growth.

/pdf/effective-transition-rates-for-epitaxial-growth-using-fast-42ckjy897k.pdf

Effective transition rates for epitaxial growth using fast modulation

This paper presents an experimental investigation of the effects of air injection on the rotating stall instability in a low speed axial compressor. Two experiments concerning air injection were tried. The first experiment used a continuous forcing perpendicular to the flow in the same or opposite direction of the tip velocity. The results show a dramatic difference between the two directions, with opposite direction forcing causing a significant increase in performance, and same direction forcing causing a significant decrease in performance. This result contradicts the Emmons stall propagation model. The second experiment investigated the differences with respect to different frequencies of air injection, with the injector pointed at the fan, parallel to the flow. We found that the change in the compressor characteristic in the unstalled region was highly dependent upon the forcing frequency with the maximum change occurring near the frequency of stall.Copyright © 1995 by ASME

Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan

It is well known that exploiting special structure is a powerful way to extend the reach of current optimization tools to higher dimensions. While many linear control systems can be treated satisfactorily with linear matrix inequalities (LMI) and semidefinite programming (SDP), practical considerations can still restrict scalability of general methods. Thus, we wish to work with high dimensional systems without explicitly forming SDPs. To that end, we exploit a particular kind of structure in the dynamics matrix, paving the way for a more efficient treatment of a certain class of linear systems. We show how second order cone programming (SOCP) can be used instead of SDP to find Lyapunov functions that certify stability. This framework reduces to a famous linear program (LP) when the system is internally positive, and to a semidefinite program (SDP) when the system has no special structure.

/pdf/analysis-of-control-systems-on-symmetric-cones-56lysi0gup.pdf

Analysis of control systems on symmetric cones

Rules or specifications for autonomous vehicles are currently formulated on a case-by-case basis, and put together in a rather ad-hoc fashion. As a step towards eliminating this practice, we propose a systematic procedure for generating a set of supervisory specifications for self-driving cars that are 1) associated with a distributed assume-guarantee structure and 2) characterizable by the notion of consistency and completeness. Besides helping autonomous vehicles make better decisions on the road, the assume-guarantee contract structure also helps address the notion of blame when undesirable events occur. We give several game-theoretic examples to demonstrate applicability of our framework.

/pdf/towards-assume-guarantee-profiles-for-autonomous-vehicles-570xrjpka0.pdf

Richard M. Murray

Papers

Voluntary lane-change policy synthesis with control improvisation

Effective transition rates for epitaxial growth using fast modulation

Experimental Evaluation of Air Injection for Actuation of Rotating Stall in a Low Speed, Axial Fan

Analysis of control systems on symmetric cones

Towards Assume-Guarantee Profiles for Autonomous Vehicles