Recent trends and open issues in reverse engineering

This paper discusses recent trends in the field of reverse engineering, particularly those highlighted at the Second Working Conference on Reverse Engineering, held in July 1995. The trends observed include increased orientation toward tasks, grounding in complex real-world applications, guidance from empirical study, analysis of non-code sources, and increased formalization. The paper also summarizes open research issues and provides pointers to future events and sources of information in this area.     

The optical-mechanical analogy in general relativity: Exact Newtonian forms for the equations of motion of particles and photons

In many metrics of physical interest, the gravitational field can be represented as an optical medium with an effective index of refraction. We show that, in such a metric, the orbits of both massive and massless particles are governed by a variational principle which involves the index of refraction and which assumes the form of Fermat's principle or of Maupertuis's principle. From this variational principle we derive exact equations of motion of Newtonian form which govern both massless and massive particles. These equations of motion are applied to some problems of physical interest.     

Fluorescence correlation spectroscopic studies of diffusion within the ionic liquid 1-butyl-3-methylimidazolium hexafluorophosphate

Fluorescence correlation spectroscopy (FCS) measurements have been performed in order to determine the translational diffusion coefficients of three differently charged fluorescent probes (cationic: rhodamine 6G, neutral: 4-dicyanomethylene-2-methyl-6-p-dimethylaminostyryl-4-H-pyran, DCM, and anionic: fluorescein) dissolved within the common room temperature ionic liquid 1-butyl-3-methylimidazolium hexafluorophosphate, [bmim][PF6]. These experiments demonstrate that FCS is a rapid, sensitive, precise (typical RSD from 4-8%), and low-consumption screening tool for the determination of analyte mobility within microliter ionic liquid samples.     

Conformal field algebras with quantum symmetry from the theory of superselection sectors

According to the theory of superselection sectors of Doplicher, Haag, and Roberts, field operators which make transitions between different superselection sectors—i.e. different irreducible representations of the observable algebra—are to be constructed by adjoining localized endomorphisms to the algebra of local observables. We find the relevant endomorphisms of the chiral algebra of observables in the minimal conformal model with central chargec=1/2 (Ising model). We show by explicit and elementary construction how they determine a representation of the braid groupB which is associated with a Temperley-Lieb-Jones algebra. We recover fusion rules, and compute the quantum dimensions of the superselection sectors. We exhibit a field algebra which is quantum group covariant and acts in the Hilbert space of physical states. It obeys local braid relations in an appropriate weak sense.     

The convergence rate for the strong law of large numbers: General lattice distributions

LetX ₁,X ₂, ... be a sequence of independent random variables with common lattice distribution functionF having zero mean, and let (S _n ) be the random walk of partial sums. The strong law of large numbers (SLLN) implies that for any and >0

Controllability of linear systems,differential geometry curves in grassmannians and generalized grassmannians,and riccati equations

We study the linear system =Ax+Bu from a differential geometric point of view. It is well-known that controllability of the system is related to the one-parameter family of operators e^t B. We use this to give a proof of the classical controllability conditions in terms of the differential geometry of certain curves in ⁿ. We then view (t)=Im(e^t B) as a curve in appropriate Grassmannian and see that, in local coordinates, is an integral curve of the flow induced by a matrix Riccati equation. We obtain qualitative geometric conditions on that are equivalent to the controllability of the system. To get quantitiative results, we lift to a curve l' in a splitting space, a generalized Grassmannian, which has the advantage of being a reductive homogeneous space of the general linear group, GL(ⁿ). Explicit and simple expressions concerning the geometry of are computed in terms of the Lie algebra of GL(ⁿ), and these are related to the controllability of the system.James Wolper was a visiting professor in the Department of Mathematics at Texas Tech University while much of this research was conducted. He would like to express appreciation for the hospitality he received during his visit.