Prospective study of carotid endarterectomy and contralateral carotid occlusion

A total of 700 patients who had carotid endarterectomy (CEA) in the UK and Ireland during a 6-month interval between March and August 1994 were studied prospectively. Some 108 patients (15.4 per cent) had a contralateral internal carotid artery occlusion. Previous reports have shown an associated stroke rate of about 10 per cent in these patients. This study assessed complications and outcome for patients undergoing CEA with contralateral internal carotid artery occlusion compared with those without. The indications for surgery were comparable between the two groups although the patients with occlusion had a slightly higher incidence of arrhythmia and stroke. Intraoperative shunts were used in a significantly higher proportion of those with occlusion (83.3 versus 64.7 per cent, P = 0.0001). The combined death and stroke rate for patients with occlusion was 5.6 per cent compared with 2.4 per cent for the remainder (P not significant). On the basis of the present data, CEA with a contralateral carotid artery occlusion carries only a slight increase in the rate of postoperative stroke and death. This increase was not statistically significant and is lower than that reported previously.     

Crosslinking of tissue-derived biomaterials in 1-ethyl-3-(3-dimethylaminopropyl)-carbodiimide (EDC)

In contrast to bifunctional reagents such as glutaraldehyde or polyfunctional reagents such as polyepoxides, carbodiimides belong to the class of zero-length crosslinkers which modify amino acid side-groups to permit crosslink formation, but do not remain as part of that linkage. The authors have compared the effects of 1-ethyl-3-(3-dimethylaminopropyl)-carbodiimide (EDC) and glutaraldehyde (the de facto industrial standard crosslinker) on the hydrothermal, biochemical, and uniaxial mechanical properties of bovine pericardium. EDC crosslinking was optimized for maximum increase in collagen denaturation temperature using variables of pH, concentration, and ratio of EDC to N-hydroxysuccinimide (NHS): a reagent for formation of activated esters. EDC and glutaraldehyde crosslinked materials were subjected to hydrothermal denaturation tests, biochemical degradation by enzymes (collagenase, trypsin) and CNBr, amino acid analysis for unreacted lysine, and to high strain rate mechanical tests including: large deformation stress-strain studies (0.1 to 10 Hz), stress relaxation experiments (loading time 0.1 s) and small deformation forced vibration (1 and 10 Hz). A protocol for EDC crosslinking was developed which used 1.15% EDC (2:1 EDC:NHS) at pH 5.5 for 24 h. The increase in denaturation temperature for EDC (from 69.7±1.2°C to 86.0±0.3°C) was equivalent to that produced by glutaraldehyde (85.3±0.4°C). Both treatments equivalently increased resistance to collagenase and CNBr degradation; however, after denaturation, the EDC-treated tissue was slightly more resistant to collagenase, and markedly more resistant to trypsin. EDC-treated materials were more extensible and more elastic than glutaraldehyde-treated materials. Despite the differences in crosslinking mechanism, EDC and glutaraldehyde-treated materials are very similar. Subtle but intriguing differences in biochemical structure remain to be investigated.     

RBS/channelling study of ion-implanted and proton-exchanged LiNbO3:Nd:MgO planar waveguides

We present a structural study of two Nd³⁺/MgO codoped LiNbO₃ waveguides fabricated by two different methods: ion-implantation and proton-exchange. Rutherford backscattering spectrometry in combination with channelling was used to study the influence of the waveguide fabrication method on the possible modification of the LiNbO₃ crystal structure within the waveguiding layer. The results show that the ion-implanted waveguide mainly maintains the same properties as the virgin crystal, apart from a deterioration of a thin surface layer, whilst the proton-exchanged waveguide exhibits a quite different behaviour, although its surface is less damaged.     

Optimal Locations of Groundwater Extractions in Coastal Aquifers

A regional water supply management model for coastal aquifers was developed. One of its outcomes is the definition of the optimized locations for groundwater withdrawal. Such a tool permits the analysis of alternative plans for groundwater extraction and the sustainable use of water resources in a coastal aquifer subject to saltwater intrusion. The principal components are the evolutionary optimization and the analytical/numerical simulation models. The optimization technique looks for the best well locations taking into consideration the economic results and the satisfaction of the societal water demand. However these two concerns are conditioned by trying to control the saltwater intrusion, i.e., preserving the environmental equilibrium. The simulation model uses the governing mathematical equations for groundwater movement to find the interface between freshwater and saltwater. Because of the non-linearity in the system and the possibility of a jumping interface, a security distance was defined. This is a controlling variable which can be set by the decision makers. The model was applied to a typical case with interesting results. For example, diagrams showing the relationship between the location of the wells and the security distance(s) are of importance to the managers. It was also crucial to have an understanding of the tradeoffs between groundwater withdrawals, positions of the wells from the coast line, and the security distance. The model was also applied to a real case in order to relate the extractions, distances and artificial recharge (not presented in this paper).     

同马大堤施工裂缝情况下的堤坡稳定性分析

 在同马大堤一标段防渗墙施工过程中，堤身出现规模不等的裂缝。介绍了堤身存在裂缝情况下，汛期水位骤降时堤防迎水坡抗滑稳定性的计算过程。重点探讨了堤坡稳定分析中工况选择、计算参数选取和强度参数敏感性分析的思路和依据。研究结果为裂缝的工程处理提供了依据。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Computationally efficient methods for bit-error rate evaluation inweakly coherent optical systems

A semianalytical method to estimate the bit-error rate performance of nonsynchronous ASK and FSK optical heterodyne systems is presented. This approach takes into account numerous system details with an accuracy similar to Monte-Carlo simulation, but with a computation time reduced by several orders of magnitude. An analytical approximation, based on a closed-form expression for the decision variable moment generating function, is also presented. The results obtained with the semianalytical method and the analytical approximation are compared to Monte-Carlo simulation results and to measurements obtained on a practical FSK system     

Intermolecular interactions and formation of the hydration sphere in phosphonic acid model systems as an approach to the description of vinyl phosphonic acid based polymers

Molecular model systems based on propyl phosphonic acid (ppa) were studied by means of density functional theory calculations in order to describe the acid-acid interaction and the formation of the hydration sphere. The formation of ppa dimers is reported and the energetic difference between two dimer structures is presented. The hydration sphere of ppa was represented by model systems ppa(H₂O)_n, for which the system with n=4 formed the first hydration sphere (h¹), while n=7 can be considered a good approximation to the complete inner hydration sphere around the phosphonic acid group. The study of the ppa-H⁺ (H₂O)_n model systems showed an interesting structural behavior comparatively to the ppa(H₂O)_n systems. The protonated acids exhibited equivalent phosphorous-oxygen bonds and a general molecular structure is proposed to represent these protonated species.