Specification of Real-Time Systems

Inspite of numerous research advancements made in recent years in the area of formal techniques, specification of real-time systems is still proving to be a very challenging and difficult problem. In this context, this paper critically examines state-of-the-art specification techniques for real-time systems and analyzes the emerging trends.

Time-resolved fluorescence studies on covalently linked porphyrin�nitroarene complexes. Conformational control of photoinduced electron transfer reactions

Time-resolved fluorescence studies were carried out on a series of free-base and zinc(II) derivatives of meso-tetraphenylporphyrins covalently linked to either 1,3-dinitrobenzene (DNB) or 1,3,5-trinitrobenzene (TNB) acceptor units. These acceptor units were linked at different sites (at the ortho, meta or para positions of one of the phenyl groups of meso-tetraphenylporphyrin) to the donor porphyrins such that the resulting isomeric intramolecular donor-acceptor complexes exhibit different centre-to-centre (ctc) distances and relative orientations. Biexponential fluorescence decay profiles observed for several of these covalently linked complexes were rationalized in terms of the presence of ''closed'' and ''extended'' conformers. Detailed analyses of the fluorescence decay data have provided a comprehensive understanding of the photoinduced electron transfer (PET) reactions occurring in systems containing zinc(II) porphyrin donors. It is observed that although DNB-linked zinc(II) complexes follow the trends predicted for the efficiency of PET with respect to donor-acceptor distance, the TNB-linked zinc(II) porphyrins exhibit a behaviour which is dictated by steric effects. Similarly, although the thermodynamic criteria predict a greater efficiency of charge separation in TNB-linked complexes compared with DNB-linked complexes, the reverse trend observed has been attributed to orientational effects. In the complexes containing free-base porphyrin donors, PET is expected to be less efficient from a thermodynamic viewpoint. In a few of these cases, fluorescence quenching seems to occur by parallel mechanisms other than PET.

Trends in consanguineous marriage in Karnataka, South India, 1980–89

Analysis of data on 106,848 marriages in the cities of Bangalore and Mysore, South India, between 1980 and 1989 showed that levels of consanguineous marriage varied between cities through time and by religion. The average coefficient of inbreeding was higher in Bangalore (F = 0·0339) than in Mysore (F = 0·0203), principally reflecting large-scale, post-Independence rural migration into Bangalore. Although there was some evidence of a decline in consanguineous marriages in Mysore, there was no convincing support in either city for earlier projections of a rapid reduction in the popularity of unions between close biological relatives.

Robustness of early warning signals of regime shifts in time-delayed ecological models

Various ecological and other complex dynamical systems may exhibit abrupt regime shifts or critical transitions, wherein they reorganize from one stable state to another over relatively short time scales. Because of potential losses to ecosystem services, forecasting such unexpected shifts would be valuable. Using mathematical models of regime shifts, ecologists have proposed various early warning signals of imminent shifts. However, their generality and applicability to real ecosystems remain unclear because these mathematical models are considered too simplistic. Here, we investigate the robustness of recently proposed early warning signals of regime shifts in two well-studied ecological models, but with the inclusion of time-delayed processes. We find that the average variance may either increase or decrease prior to a regime shift and, thus, may not be a robust leading indicator in time-delayed ecological systems. In contrast, changing average skewness, increasing autocorrelation at short time lags, and reddening power spectra of time series of the ecological state variable all show trends consistent with those of models with no time delays. Our results provide insights into the robustness of early warning signals of regime shifts in a broader class of ecological systems.