MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

The pyramidal cell in cognition: A comparative study in human and monkey

Here we present evidence that the pyramidal cell phenotype varies markedly in the cortex of different anthropoid species. Regional and species differences in the size of, number of bifurcations in, and spine density of the basal dendritic arbors cannot be explained by brain size. Instead, pyramidal cell morphology appears to accord with the specialized cortical function these cells perform. Cells in the prefrontal cortex of humans are more branched and more spinous than those in the temporal and occipital lobes. Moreover, cells in the prefrontal cortex of humans are more branched and more spinous than those in the prefrontal cortex of macaque and marmoset monkeys. These results suggest that highly spinous, compartmentalized, pyramidal cells (and the circuits they form) are required to perform complex cortical functions such as comprehension, perception, and planning.

Total chemical synthesis and chemotactic activity of human S100A12 (EN-RAGE)

Human S100A12 (extracellular newly identified RAGE (receptor for advanced glycosylation end products)binding protein), a new member of the S100 family of EF-hand calcium-binding proteins, was chemically synthesised using highly optimised 2-(1H-benzotriazol-1-yl)-1,1,3,3-tetramethyluronium hexafluorophosphate/tert-butoxycarbonyl in situ neutralisation solid-phase chemistry. Circular dichroism studies indicated that CaCl2 decreased the helical content by 27% whereas helicity was marginally increased by ZnCl2. The propensity of S100A12 to dimerise was examined by electrospray ionisation time-of-flight mass spectrometry which clearly demonstrated the prevalence of the non-covalent homodimer (20 890 Da). Importantly, synthetic human S100A12 in the nanomolar range was chemotactic for neutrophils and macrophages in vitro. (C) 2001 Federation of European Biochemical Societies. Published by Elsevier Science B.V. All rights reserved.

Hepatocyte [H-3]-palmitate uptake: effect of albumin surface charge modification

The role of plasma proteins on the cellular uptake of lipophilic substrates has perplexed investigators for many years. We tested the hypothesis that an ionic interaction between the protein-ligand complex and hepatocyte surface may be responsible for supplying more ligand to the cell for uptake. The surface-charged groups on albumin were modified to yield proteins having a range of isoelectric points (ALB, ALBs, ALBm, ALBe had values of 4.8-5.0, 4.5-4.7, 3.0-3.5, 8.4-8.6, respectively). [H-3]-Palmitate uptake studies were performed with adult rat hepatocyte suspensions using similar unbound ligand fractions in the presence of the different binding proteins. Mass spectrometry, isoelectric focusing (pI), and heptane : water partitioning were used to determine protein molecular weight, pI, and protein-palmitate equilibrium binding constant, respectively. Hepatocyte [H-3]-palmitate clearance in the presence of ALBs and ALBm were significantly lower (p < 0.05) than ALB, whereas [H-3]-palmitate clearance in the presence of ALBe was significantly higher (p < 0.05) than ALB. The data were consistent with the notion that ionic interactions between extracellular protein-ligand complexes and the hepatocyte surface facilitate the uptake of long-chain fatty acids.

Multiple bifurcations in atom optics

We report the observation of multiple bifurcations in a nonlinear Hamiltionian system: laser-cooled atoms in a standing wave with single-frequency intensity modulation. We provide clear evidence of the occurrence of bifurcations by analyzing the atomic momentum distributions.

Confucianism and the idea of equality

It is often supposed that Confucianism is opposed to the idea of equality insofar as the key ideals to which it is committed, such as meritocracy and li , are incompatible with equality. Sympathetic commentators typically defend Confucianism by saying that (a) the Confucian person is not a free-standing individual but a social being embedded in a social structure with different and unequal roles, and (b) social inequality has to be traded in for other values. This paper argues that in advocating meritocracy, Confucianism does not abandon the idea of equality. Indeed, invoking Aristotle's account of equality in the Nicomachean Ethics , it can be argued that the unequal distribution of rights and benefits reflects one aspect of equality, namely the vertical aspect, or the unequal treatment of unequals.

Dynamical tunnelling of ultracold atoms

The divergence of quantum and classical descriptions of particle motion is clearly apparent in quantum tunnelling(1,2) between two regions of classically stable motion. An archetype of such nonclassical motion is tunnelling through an energy barrier. In the 1980s, a new process, 'dynamical' tunnelling(1-3), was predicted, involving no potential energy barrier; however, a constant of the motion (other than energy) still forbids classically the quantum-allowed motion. This process should occur, for example, in periodically driven, nonlinear hamiltonian systems with one degree of freedom(4-6). Such systems may be chaotic, consisting of regions in phase space of stable, regular motion embedded in a sea of chaos. Previous studies predicted(4) dynamical tunnelling between these stable regions. Here we observe dynamical tunnelling of ultracold atoms from a Bose-Einstein condensate in an amplitude-modulated optical standing wave. Atoms coherently tunnel back and forth between their initial state of oscillatory motion (corresponding to an island of regular motion) and the state oscillating 180 degrees out of phase with the initial state.

Quantum slow motion

We investigate the center-of-mass motion of cold atoms in a standing amplitude modulated laser field. We use a simple model to explain the momentum distribution of the atoms after any distinct number of modulation cycles. The atoms starting near a classical phase-space resonance move slower than we would expect classically. We explain this by showing that for a wave packet on the classical resonances we can replace the complicated dynamics in the quantum Liouville equation in phase space by its classical dynamics with a modified potential.

Maternal care and infant behaviour of the bridled nailtail wallaby (Onychogalea fraenata)

Bridled nailtail wallabies Onychogalea fraenata are endangered, medium-sized, nocturnal macropodids that persist at only one location in central Queensland, Australia. Characteristics of juvenile development, shelter use, anti-predator behaviour and maternal care were investigated in the wild using trapping, radio-tracking and spotlighting observations., Timing of developmental stages was identical to the pattern previously found in captivity, except for age at weaning which was much earlier in the wild. After young had left the pouch permanently at 17 weeks of age and weighing c. 800 g, they always spent the day concealed in dense cover, generally > 200 m from their mothers. Juveniles were also alone in > 50% of observations at night, and stayed closer to cover than did adult females. Young became independent of their mothers 7-8 weeks after permanent exit from the pouch and weighing c. 1800 g. Females with dependent juveniles changed their behaviour in ways likely to reduce predation on young. They reduced their home ranges, stayed closer to cover and became more wary than other females. Juveniles differed from adult females in their habitat use, anti-predator behaviour and shelter site preferences. Juveniles were more likely than adults to respond to threats by standing still or lying flat on the ground, whether or not they were in concealing cover. Juveniles used a wider range of smaller shelters than adults, and were less likely to use solid shelters such as hollow logs during the day. Because bridled nailtail wallabies have a 'hider' strategy of maternal care and the young rely on crypsis, successful breeding in the wild requires dense vegetation cover.

Functional roles of abdominal and back muscles during isometric axial rotation of the trunk

Electromyographic (EMG) studies have shown that a large number of trunk muscles are recruited during axial rotation. The functional roles of these trunk muscles in axial rotation are multiple and have not been well investigated. In addition, there is no information on the coupling torque at different exertion levels during axial rotation. The aim of the study was to investigate the functional roles of rectus abdominis. external oblique. internal oblique, latissimus dorsi, iliocostalis lumborum and multifidus during isometric right and left axial rotation at 100%, 70%, 50% and 30% maximum voluntary contractions (MVC) in a standing position. The coupling torques in sagittal and coronal planes were measured during axial rotation to examine the coupling nature of torque at different levels of exertions. Results showed that the coupled sagittal torque switches from nil to flexion at maximum exertion of axial rotation. Generally, higher EMG activities were shown at higher exertion levels for all the trunk muscles. Significant differences in activity between the right and left axial rotation exertions were demonstrated in external oblique, internal oblique, latissimus dorsi and iliocostalis lumborum while no difference was shown in rectus abdominis and multifidus. These results demonstrated the different functional roles of trunk muscles during axial rotation. This is important considering that the abdominal and back muscles not only produce torque but also maintain the spinal posture and stability during axial rotation exertions. The changing coupling torque direction in the sagittal plane when submaximal to maximal exertions were compared may indicate the complex nature of the kinetic coupling of trunk muscles. (C) 2001 Orthopaedic Research Society. Published by Elsevier Science Ltd. All rights reserved.

The influence of posture on perineal ultrasound imaging parameters

A prospective clinical study was carried out to evaluate the influence of posture on perineal ultrasound imaging parameters. One hundred and thirty-two consecutive women presenting with symptoms of lower urinary tract dysfunction were examined by multichannel videourodynamics and perineal ultrasound, both supine and standing. Ultrasound included color Doppler imaging when available, i.e. in a subgroup of 99 patients. The position of the bladder neck at rest was higher in the supine position (P

Postural control of the trunk in response to lateral support surface translations during trunk movement and loading

The postural response to translation of the support surface may be influenced by the performance of an ongoing voluntary task. This study was designed to test this proposal by applying lateral perturbations while subjects handled a load in the frontal plane. Measurements were made of medio-lateral displacement of the centre of pressure, angular displacement of the trunk and thigh in the frontal plane and intra-abdominal pressure. Subjects were translated randomly to the left and right in a variety of conditions that involved standing either quietly or with a 5 kg load in their left hand, which they were required either to hold statically or to lift or lower. The results indicate that when the perturbation occurred towards the loaded left side the subjects were able to return their centre of pressure, trunk and thigh rapidly and accurately to the initial position. However, when the perturbation occurred towards the right (away from the load) this correction was delayed and associated with multiple changes in direction of movement, suggesting decreased efficiency of the postural response. This reduced efficiency can be explained by a conflict between the motor commands for the ongoing voluntary task and the postural response, and/or by the mechanical effect of the asymmetrical addition of load to the trunk.

A comparison of the lateral and posterior retroperitoneoscopic approach for complete and partial nephroureterectomy in children

Objective To report the comparative results of a selective posterior or lateral retroperitoneoscopic approach (RPA) for nephroureterectomy in children. Patients and methods Following an established experience with RPA, 36 complete and 19 partial nephrouretectomies were prospectively randomized to a posterior and lateral retroperitoneoscopic approach. The patients were aged 4 months to 14 years, with a body weight at operation of 5.7-82 kg. For posterior RPA the child is positioned prone, with three access ports. The operating space was created with balloon dissection and maintained with CO2 insufflation. The child was then rotated 30 degrees with the kidney in the dependent position, and the operator and assistant standing on the affected side. In the lateral approach the child is in the lateral decubitus position with the operator and assistant facing the dorsal aspect of the patient. Results There was no significant difference in operative duration between the lateral and posterior approaches for nephrectomy (65 and 47 min) or partial nephrectomy (85 and 75 min). Two lateral nephrectomies required open conversion (one upper pole and one lower pole). Conclusion The posterior approach gives easy and quick access to the renal pedicle. It is preferable for complete nephrectomy alone and partial or polar excision. In children under 5 years old a near complete ureterectomy can be achieved. The lateral approach creates more inferomedial space, gives better access to ectopic kidneys and allows complete ureterectomy in all cases, Access to the pedicle in the normal position requires more frequent positioning of the kidney. Care must be taken as peritoneal tears are more common.