DFL: A Data Flow Language

Many novel computer architectures like array and multiprocessors which achieve high performance through the use of concurrency exploit variations of the von Neumann model of computation. The effective utilization of the machines makes special demands on programmers and their programming languages, such as the structuring of data into vectors or the partitioning of programs into concurrent processes. In comparison, the data flow model of computation demands only that the principle of structured programming be followed. A data flow program, often represented as a data flow graph, is a program that expresses a computation by indicating the data dependencies among operators. A data flow computer is a machine designed to take advantage of concurrency in data flow graphs by executing data independent operations in parallel. In this paper, we discuss the design of a high level language (DFL: Data Flow Language) suitable for data flow computers. Some sample procedures in DFL are presented. The implementation aspects have not been discussed in detail since there are no new problems encountered. The language DFL embodies the concepts of functional programming, but in appearance closely resembles Pascal. The language is a better vehicle than the data flow graph for expressing a parallel algorithm. The compiler has been implemented on a DEC 1090 system in Pascal.

FSK bursts for efficient clutter rejection

The clutter-rejection properties of compact f.s.k. bursts with amplitude modulation are investigated. A procedure for computer-aided design of such signals is given. The loss of clutter performance on constraining the individual pulse amplitudes to be equal is evaluated.

Recapitulation in generating spatial layouts: Representations of embryogenesis in evolutionary design modelling

The noted 19th century biologist, Ernst Haeckel, put forward the idea that the growth (ontogenesis) of an organism recapitulated the history of its evolutionary development. While this idea is defunct within biology, the idea has been promoted in areas such as education (the idea of an education being the repetition of the civilizations before). In the research presented in this paper, recapitulation is used as a metaphor within computer-aided design as a way of grouping together different generations of spatial layouts. In most CAD programs, a spatial layout is represented as a series of objects (lines, or boundary representations) that stand in as walls. The relationships between spaces are not usually explicitly stated. A representation using Lindenmayer Systems (originally designed for the purpose of modelling plant morphology) is put forward as a way of representing the morphology of a spatial layout. The aim of this research is not just to describe an individual layout, but to find representations that link together lineages of development. This representation can be used in generative design as a way of creating more meaningful layouts which have particular characteristics. The use of genetic operators (mutation and crossover) is also considered, making this representation suitable for use with genetic algorithms.

Compact AM Signals for Maximum Clutter Rejection

The transmitted signal is assumed to consist of a close succession of rectangular pulses of equal width. A matched filter scheme is employed and a theory is developed for a computer-aided optimization of the envelope of monotone compact signals for maximum rejection of dense clutter of any given distribution in range. Specific results are presented and indeterminate cases are discussed.

Pentoxifylline induces hyperactivation and acrosome reaction in spermatozoa of golden hamsters: changes in motility kinematics

Pentoxifylline (PF) is used to enhance motility of spermatozoa from infertile human subjects. We have previously shown that 0.45 mM PF improved capacitation of spermatozoa and fertilization of oocytes in vitro in hamsters. The present study was carried out to assess PF- induced changes in motility kinematics of hamster spermatozoa by a computer-aided sperm analyser (CASA) and determine the timing of onset of hyperactivation (HA) and acrosome reaction (AR) in PF-treated spermatozoa. Motility kinematics were analysed by CASA for 0-8 h in the absence or presence of 0.45 mM PF in Tyrode's medium supplemented with lactate, pyruvate and polyvinyl alcohol (TLP-PVA) or in TLP-PVA with bovine serum albumin (TALP-PVA). Conventional assessment was also made on the percentage of motility and quality of motility of spermatozoa; values were expressed as sperm motility index (SMI). Both in TALP-PVA and TLP-PVA, PF markedly increased SMI, especially the quality of motility (P < 0.02) by 2-3 h which was sustained up to 6 h. The motility kinematic data of PF-treated spermatozoa in TALP-PVA showed that average path velocity, curvilinear velocity and amplitude of lateral head displacement significantly (P < 0.05) increased as early as 2 h, with the expected decrease in straightness (STR) and linearity (LIN). Similar changes were also observed with PF-treated spermatozoa in TLP-PVA. Moreover, the percentage of hyperactivated spermatozoa in PF-treated samples was significantly (P < 0.001) higher than the untreated control at 2 h. To determine whether PF could induce AR, independent of bovine serum albumin, quantitative AR was assessed by observing the presence or absence of acrosomal cap on viable spermatozoa. PF significantly (P < 0.001) increased the percentage of AR as early as 2 h, reaching maximum at 4 h both in TALP-PVA (P < 0.05) and in TLP-PVA (P < 0.001). These results show that, in hamsters, PF induces early onset (by 2 h) of HA and AR and increases the proportion of spermatozoa undergoing physiological maturation.

Conflict-Tolerant Features

We consider systems composed of a base system with multiple “features” or “controllers”, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a way that guarantees the “maximal” use of each feature. The methodology is based on the notion of “conflict-tolerant” features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based composition scheme for such features, which ensures that each feature is maximally utilized. We also provide a formal framework for specifying, verifying, and synthesizing such features. In particular we obtain a compositional technique for verifying systems developed in this framework.

Pathways to health : Determinants of health, health behaviour and health inequalities in early adulthood

There is increasing evidence that the origins of poor adult health and health inequalities can be traced back to circumstances preceding current socioeconomic position and living conditions. The life-course approach to examining the determinants of health has emphasised that exposure to adverse social and economic circumstances in earlier life or concurrent adverse circumstances due to unfavourable living conditions in earlier life may lead to poor health, health-damaging behaviour, disease or even premature death in adulthood. There is, however, still a lack of knowledge about the contribution of social and economic circumstances in childhood and youth to adult health and health inequalities, and even less is known about how environmental and behavioural factors in adulthood mediate the effects of earlier adverse experiences. The main purpose of this study was to deepen our understanding of the development of poor health, health-damaging behaviours and health inequalities during the life-course. Its aim was to find out which factors in earlier and current circumstances determine health, the most detrimental indicators of health behaviour (smoking, heavy drinking and obesity as a proxy for the balance between nutrition and exercise), and educational health differences in young adults in Finland. Following the ideas of the social pathway theory, it was assumed that childhood environment affects adult health and its proximal determinants via different pathways, including educational, work and family careers. Early adulthood was studied as a significant phase of life when many behavioural patterns and living conditions relevant to health are established. In addition, socioeconomic health inequalities seem to emerge rapidly when moving into adulthood; they are very small or non-existent in childhood and adolescence, but very marked by early middle age. The data of this study were collected in 2000 2001 as part of the Health 2000 Survey (N = 9,922), a cross-sectional and nationally representative health interview and examination survey. The main subset of data used in this thesis was the one comprising the age group 18 29 years (N = 1,894), which included information collected by standardised structured computer-aided interviews and self-administered questionnaires. The survey had a very high participation rate at almost 90% for the core questions. According to the results of this study, childhood circumstances predict the health of young adults. Almost all the childhood adversities studied were found to be associated with poor self-rated health and psychological distress in early adulthood, although fewer associations were found with the somatic morbidity typical of young adults. These effects seemed to be more or less independent of the young adult s own education. Childhood circumstances also had a strong effect on smoking and heavy drinking, although current circumstances and education in particular, played a role in mediating this effect. Parental smoking and alcohol abuse had an influence on the corresponding behaviours of offspring. Childhood circumstances had a role in the development of obesity and, to a lesser extent, overweight, particularly in women. The findings support the notion that parental education has a strong effect on early adult obesity, even independently of the young adult s own educational level. There were marked educational differences in self-rated health in early adulthood: those in the lowest educational category were most likely to have average or poorer health. Childhood social circumstances seemed to explain a substantial part of these educational differences. In addition, daily smoking and heavy drinking contributed substantially to educational health differences. However, the contribution of childhood circumstances was largely shared with health behaviours adopted by early adulthood. Employment also shared the effects of childhood circumstances on educational health differences. The results indicate that childhood circumstances are important in determining health, health behaviour and health inequalities in early adulthood. Early recognition of childhood adversities followed by relevant support measures may play an important role in preventing the unfortunate pathways leading to the development of poor health, health-damaging behaviour and health inequalities. It is crucially important to recognise the needs of children living in adverse circumstances as well as children of substance abusing parents. In addition, single-parent families would benefit from support. Differences in health and health behaviours between different sub-groups of the population mean that we can expect to see ever greater health differences when today s generation of young adults grows older. This presents a formidable challenge to national health and social policy as well as health promotion. Young adults with no more than primary level education are at greatest risk of poor health. Preventive policies should emphasise the role of low educational level as a key determinant of health-damaging behaviours and poor health. Keywords: health, health behaviour, health inequalities, life-course, socioeconomic position, education, childhood circumstances, self-rated health, psychological distress, somatic morbidity, smoking, heavy drinking, BMI, early adulthood

CAD Standardization in Construction – a Process View

There has been a demand for uniform CAD standards in the construction industry ever since the large-scale introduction of computer aided design systems in the late 1980s. While some standards have been widely adopted without much formal effort, other standards have failed to gain support even though considerable resources have been allocated for the purpose. Establishing a standard concerning building information modeling has been one particularly active area of industry development and scientific interest within recent years. In this paper, four different standards are discussed as cases: the IGES and DXF/DWG standards for representing the graphics in 2D drawings, the ISO 13567 standard for the structuring of building information on layers, and the IFC standard for building product models. Based on a literature study combined with two qualitative interview studies with domain experts, a process model is proposed to describe and interpret the contrasting histories of past CAD standardisation processes.

Parallel circuit partitioning on a reduced array architecture

The physical design of a VLSI circuit involves circuit partitioning as a subtask. Typically, it is necessary to partition a large electrical circuit into several smaller circuits such that the total cross-wiring is minimized. This problem is a variant of the more general graph partitioning problem, and it is known that there does not exist a polynomial time algorithm to obtain an optimal partition. The heuristic procedure proposed by Kernighan and Lin1,2 requires O(n2 log2n) time to obtain a near-optimal two-way partition of a circuit with n modules. In the VLSI context, due to the large problem size involved, this computational requirement is unacceptably high. This paper is concerned with the hardware acceleration of the Kernighan-Lin procedure on an SIMD architecture. The proposed parallel partitioning algorithm requires O(n) processors, and has a time complexity of O(n log2n). In the proposed scheme, the reduced array architecture is employed with due considerations towards cost effectiveness and VLSI realizability of the architecture.The authors are not aware of any earlier attempts to parallelize a circuit partitioning algorithm in general or the Kernighan-Lin algorithm in particular. The use of the reduced array architecture is novel and opens up the possibilities of using this computing structure for several other applications in electronic design automation.

Impact of energy quantisation in single electron transistor island on hybrid complementary metal oxide semiconductor-single electron transistor integrated circuits

For the first time, the impact of energy quantisation in single electron transistor (SET) island on the performance of hybrid complementary metal oxide semiconductor (CMOS)-SET transistor circuits has been studied. It has been shown through simple analytical models that energy quantisation primarily increases the Coulomb Blockade area and Coulomb Blockade oscillation periodicity of the SET device and thus influences the performance of hybrid CMOS-SET circuits. A novel computer aided design (CAD) framework has been developed for hybrid CMOS-SET co-simulation, which uses Monte Carlo (MC) simulator for SET devices along with conventional SPICE for metal oxide semiconductor devices. Using this co-simulation framework, the effects of energy quantisation have been studied for some hybrid circuits, namely, SETMOS, multiband voltage filter and multiple valued logic circuits. Although energy quantisation immensely deteriorates the performance of the hybrid circuits, it has been shown that the performance degradation because of energy quantisation can be compensated by properly tuning the bias current of the current-biased SET devices within the hybrid CMOS-SET circuits. Although this study is primarily done by exhaustive MC simulation, effort has also been put to develop first-order compact model for SET that includes energy quantisation effects. Finally, it has been demonstrated that one can predict the SET behaviour under energy quantisation with reasonable accuracy by slightly modifying the existing SET compact models that are valid for metallic devices having continuous energy states.

Interior Medial Axis Transform computation of 3D objects bound by free-form surfaces

This paper presents an algorithm for generating the Interior Medial Axis Transform (iMAT) of 3D objects with free-form boundaries. The algorithm proposed uses the exact representation of the part and generates an approximate rational spline description of the iMAT. The algorithm generates the iMAT by a tracing technique that marches along the object's boundary. The level of approximation is controlled by the choice of the step size in the tracing procedure. Criteria based on distance and local curvature of boundary entities are used to identify the junction points and the search for these junction points is done in an efficient way. The algorithm works for multiply-connected objects as well. Results of the implementation are provided. (C) 2010 Elsevier Ltd. All rights reserved.

Circuit layout through an analogy with neural networks

Standard-cell design methodology is an important technique in semicustom-VLSI design. It lends itself to the easy automation of the crucial layout part, and many algorithms have been proposed in recent literature for the efficient placement of standard cells. While many studies have identified the Kerninghan-Lin bipartitioning method as being superior to most others, it must be admitted that the behaviour of the method is erratic, and that it is strongly dependent on the initial partition. This paper proposes a novel algorithm for overcoming some of the deficiencies of the Kernighan-Lin method. The approach is based on an analogy of the placement problem with neural networks, and, by the use of some of the organizing principles of these nets, an attempt is made to improve the behavior of the bipartitioning scheme. The results have been encouraging, and the approach seems to be promising for other NP-complete problems in circuit layout.

Automatic extraction of free-form surface features (FFSFs)

This paper presents a new algorithm for extracting Free-Form Surface Features (FFSFs) from a surface model. The extraction algorithm is based on a modified taxonomy of FFSFs from that proposed in the literature. A new classification scheme has been proposed for FFSFs to enable their representation and extraction. The paper proposes a separating curve as a signature of FFSFs in a surface model. FFSFs are classified based on the characteristics of the separating curve (number and type) and the influence region (the region enclosed by the separating curve). A method to extract these entities is presented. The algorithm has been implemented and tested for various free-form surface features on different types of free-form surfaces (base surfaces) and is found to correctly identify and represent the features irrespective of the type of underlying surface. The representation and extraction algorithm are both based on topology and geometry. The algorithm is data-driven and does not use any pre-defined templates. The definition presented for a feature is unambiguous and application independent. The proposed classification of FFSFs can be used to develop an ontology to determine semantic equivalences for the feature to be exchanged, mapped and used across PLM applications. (C) 2011 Elsevier Ltd. All rights reserved.

Approximate synthesis formulas for microstrip line with aperture in ground plane

Approximate closed-form expressions for the propagation characteristics of a microstrip line with a symmetrical aperture in its ground plane are reported in this article. Well-known expressions for the characteristic impedance of a regular microstrip line have been modified to incorporate the effect of this aperture. The accuracy of these expressions for various values of substrate thickness, permittivity and line width has been studied in detail by fullwave simulations. This has been further verified by measurements. These expressions are easier to compute and find immense use in the design of broadband filters, tight couplers, power dividers, transformers, delay lines, and matching circuits. A broadband filter with aperture in ground plane is demonstrated in this article. (c) 2011 Wiley Periodicals, Inc. Int J RF and Microwave CAE, 2012.