967 resultados para computably enumerable degrees
Resumo:
Sn-Ag-Cu (SAC) solder alloys are the best Pb free alternative for electronic industry. Since their introduction, efforts are made to improve their efficacies by tuning the processing and composition to achieve lower melting point and better wettability. Nanostructured alloys with large boundary content are known to depress the melting points of metals and alloys. In this article we explore this possibility by processing prealloyed SAC alloys close to SAC305 composition (Sn-3wt%Ag-0.5wt%Cu) by mechanical milling which results in the formation of nanostructured alloys. Pulverisette ball mill (P7) and Vibratory ball mills are used to carry out the milling of the powders at room temperature and at lower temperatures (-104 A degrees C), respectively. We report a relatively smaller depression of melting point ranging up to 5 A degrees C with respect to original alloys. The minimum grain sizes achieved and the depression of melting point are similar for both room temperature and low-temperature processed samples. An attempt has been made to rationalize the observations in terms of the basic processes occurring during the milling.
Resumo:
Background The Circle of Willis (CoW) is the most important collateral pathway of the cerebral artery. The present study aims to investigate the collateral capacity of CoW with anatomical variation when unilateral internalcarotid artery (ICA) is occluded. Methods Basing on MRI data, we have reconstructed eight 3D models with variations in the posterior circulation of the CoW and set four different degrees of stenosis in the right ICA, namely 24%, 43%, 64% and 79%, respectively. Finally, a total of 40 models are performed with computational fluid dynamics simulations. All of the simulations share the same boundary condition with static pressure and the volume flow rate (VFR) are obtained to evaluate their collateral capacity. Results As for the middle cerebral artery (MCA) and the anterior cerebral artery (ACA), the transitional-type model possesses the best collateral capacity. But for the posterior cerebral artery (PCA), unilateral stenosis of ICA has the weakest influence on the unilateral posterior communicating artery (PCoA) absent model. We also find that the full fetal-type posterior circle of Willis is an utmost dangerous variation which must be paid more attention. Conclusion The results demonstrate that different models have different collateral capacities in coping stenosis of unilateral ICA and these differences can be reflected by different outlets. The study could be used as a reference for neurosurgeon in choosing the best treatment strategy.
Resumo:
Objectives: There is considerable evidence that patients with carotid artery stenosis treated immediately after the ischaemic cerebrovascular event have a better clinical outcome than those who have delayed treatment. Biomechanical assessment of carotid plaques using high-resolution MRI can help examine the relationship between the timing of carotid plaque symptomology and maximum simulated plaque stress concentration. Methods: Fifty patients underwent high-resolution multisequence in vivo MRI of their carotid arteries. Patients with acute symptoms (n=25) underwent MRI within 72 h of the onset of ischaemic cerebrovascular symptoms, whereas recently symptomatic patients (n=25) underwent MRI from 2 to 6 weeks after the onset of symptoms. Stress analysis was performed based on the geometry derived from in vivo MRI of the symptomatic carotid artery at the point of maximum stenosis. The peak stresses within the plaques of the two groups were compared. Results: Patient demographics were comparable for both groups. All the patients in the recently symptomatic group had severe carotid stenosis in contrast to patients with acute symptoms who had predominantly mild to moderate carotid stenosis. The simulated maximum stresses in patients with acute symptoms was significantly higher than in recently symptomatic patients (median (IQR): 313310 4 dynes/cm 2 (295 to 382) vs 2523104 dynes/cm 2 (236 to 311), p=0.02). Conclusions: Patients have extremely unstable, high-risk plaques, with high stresses, immediately after an acute cerebrovascular event, even at lower degrees of carotid stenoses. Biomechanical stress analysis may help us refine our risk-stratification criteria for the management of patients with carotid artery disease in future.
Resumo:
This paper presents on overview of the issues in precisely defining, specifying and evaluating the dependability of software, particularly in the context of computer controlled process systems. Dependability is intended to be a generic term embodying various quality factors and is useful for both software and hardware. While the developments in quality assurance and reliability theories have proceeded mostly in independent directions for hardware and software systems, we present here the case for developing a unified framework of dependability—a facet of operational effectiveness of modern technological systems, and develop a hierarchical systems model helpful in clarifying this view. In the second half of the paper, we survey the models and methods available for measuring and improving software reliability. The nature of software “bugs”, the failure history of the software system in the various phases of its lifecycle, the reliability growth in the development phase, estimation of the number of errors remaining in the operational phase, and the complexity of the debugging process have all been considered to varying degrees of detail. We also discuss the notion of software fault-tolerance, methods of achieving the same, and the status of other measures of software dependability such as maintainability, availability and safety.
Resumo:
This paper presents a Hamiltonian model of marine vehicle dynamics in six degrees of freedom in both body-fixed and inertial momentum coordinates. The model in body-fixed coordinates presents a particular structure of the mass matrix that allows the adaptation and application of passivity-based control interconnection and damping assignment design methodologies developed for robust stabilisation of mechanical systems in terms of generalised coordinates. As an example of application, we follow this methodology to design a passivity-based tracking controller with integral action for fully actuated vehicles in six degrees of freedom. We also describe a momentum transformation that allows an alternative model representation that resembles general port-Hamiltonian mechanical systems with a coordinate dependent mass matrix. This can be seen as an enabling step towards the adaptation of the theory of control of port-Hamiltonian systems developed in robotic manipulators and multi-body mechanical systems to the case of marine craft dynamics.
Resumo:
Considering ultrasound propagation through complex composite media as an array of parallel sonic rays, a comparison of computer simulated prediction with experimental data has previously been reported for transmission mode (where one transducer serves as transmitter, the other as receiver) in a series of ten acrylic step-wedge samples, immersed in water, exhibiting varying degrees of transit time inhomogeneity. In this study, the same samples were used but in pulse-echo mode, where the same ultrasound transducer served as both transmitter and receiver, detecting both ‘primary’ (internal sample interface) and ‘secondary’ (external sample interface) echoes. A transit time spectrum (TTS) was derived, describing the proportion of sonic rays with a particular transit time. A computer simulation was performed to predict the transit time and amplitude of various echoes created, and compared with experimental data. Applying an amplitude-tolerance analysis, 91.7±3.7% of the simulated data was within ±1 standard deviation (STD) of the experimentally measured amplitude-time data. Correlation of predicted and experimental transit time spectra provided coefficients of determination (R2) ranging from 100.0% to 96.8% for the various samples tested. The results acquired from this study provide good evidence for the concept of parallel sonic rays. Further, deconvolution of experimental input and output signals has been shown to provide an effective method to identify echoes otherwise lost due to phase cancellation. Potential applications of pulse-echo ultrasound transit time spectroscopy (PE-UTTS) include improvement of ultrasound image fidelity by improving spatial resolution and reducing phase interference artefacts.
Resumo:
This paper presents a global-optimisation frame-work for the design of a manipulator for harvesting capsicum(peppers) in the field. The framework uses a simulated capsicum scenario with automatically generated robot models based on DH parameters. Each automatically generated robot model is then placed in the simulated capsicum scenario and the ability of the robot model to get to several goals (capsicum with varying orientations and positions) is rated using two criteria:the length of a collision-free path and the dexterity of the end-effector. These criteria form the basis of the objective function used to perform a global optimisation. The paper shows a preliminary analysis and results that demonstrate the potential of this method to choose suitable robot models with varying degrees of freedom.
Resumo:
Dialkyl (3-aryl-l,2,4-oxadiazol-5-yl)phosphonate6sa -h have been obtained by 1,3-dipolar cycloaddition of arenenitrile oxides 5a-f to dialkyl phosphorocyanidates (4a and 4b) in yields ranging between 30% and 58%. A standardized method for obtaining cyanidates 4a and 4b has been established. The diethyl thiophosphorocyanidate (4c) is less reactive than 4a and 4b, only the 3-(4'-nitrophenyl) derivative 6i being obtainable. While the IR and NMFt spectra of 6a-i were unexceptional, their UV spectra showed evidence of conjugative interaction in high degrees between the phosphonate and heterocyclic moieties as well as a varying conjugative interaction between the heterocyclic and aryl moieties. The oxadiazoles 6a-h are thermally labile and yield trialkyl phosphates 7 as the only identifiable products. A mechanism based on the intermediacy of monomeric alkyl metaphosphate 11 in the formation of trialkyl phosphate was postulated, and supportive evidence in the form of trapping the metaphosphate with acetophenone has been obtained.
Resumo:
The growth of the Australian eastern king prawn (Melicertus plebejus) is understood in greater detail by quantifying the latitudinal effect. The latitudinal effect is the change in the species' growth rate during migration. Mark-recapture data (N = 1635, latitude 22.21 degrees S-34.00 degrees S) presents northerly movement of the eastern king prawn, with New South Wales prawns showing substantial average movement of 140 km (standard deviation: 176 km) north. A generalized von Bertalanffy growth model framework is used to incorporate the latitudinal effect together with the canonical seasonal effect. Applying this method to eastern king prawn mark-recapture data guarantees consistent estimates for the latitudinal and seasonal effects. For M. plebejus, it was found that growth rate peaks on 25 and 29 January for males and females, respectively; is at a minimum on 27 and 31 July, respectively; and that the shape parameter, k (per year), changes by -0.0236 and -0.0556 every 1 degree of latitude south increase for males and females, respectively.
Resumo:
Based on the non-equilibrium molecular dynamics simulations, we have studied the thermal conductivities of a novel ultra-thin one-dimensional carbon nanomaterial - diamond nanothread (DNT). Unlike single-wall carbon nanotube (CNT), the existence of the Stone-Wales transformations in DNT endows it with richer thermal transport characteristics. There is a transition from wave-dominated to particle-dominated transport region, which depends on the length of poly-benzene rings. However, independent of the transport region, strong length dependence in thermal conductivity is observed in DNTs with different lengths of poly-benzene ring. The distinctive SW characteristic in DNT provides more degrees of freedom to tune the thermal conductivity not found in the homogeneous structure of CNT. Therefore, DNT is an ideal platform to investigate various thermal transport mechanisms at the nanoscale. Its high tunability raises the potential to design DNTs for different applications, such as thermal connection and temperature management.
Resumo:
The binding of Ricinus communis (castor-bean) agglutinin 1 to saccharides was studied by equilibrium dialysis and fluorescence polarization by using the fluorescently labelled sugar 4-methylumbelliferyl beta-D-galactopyranoside. No appreciable change in ligand fluorescence of 4-methylumbelliferyl beta-D-galactopyranoside was considerably polarized on its binding to the lectin. The association constants obtained by Scatchard analysis of equilibrium-dialysis and fluorescence-polarization data do not differ much from each other, and at 25 degrees C, Ka = 2.4 (+/- 0.2) X 10(4)M-1. These values agree reasonably well with that reported in the literature for Ricinus agglutinin 1. The number of binding sites obtained by the different experimental procedures is 1.94 +/- 0.1 per molecule of 120 000 daltons and is equal to the reported value of 2. The consistency in the values of Ka and number of binding sites indicate the absence of additional subsites on Ricinus agglutinin 1 for its specific sugars. In addition, the excellent agreement between the binding parameters obtained by equilibrium dialysis and fluorescence polarization indicate the potential of ligand-fluorescence-polarization measurements in the investigation of lectin-sugar interactions.
Purification, properties and synthesis of delta-aminolaevulinate dehydratase from Neurospora crassa.
Resumo:
Delta-aminolaevulinate dehydratase, the second and rate-limiting enzyme of the haem-biosynthetic pathway, was purified 300-fold from induced cultures of Neurospora crassa. The native enzyme has a mol.wt. of about 350000, whereas the salt-treated enzyme after incubation at 37 degrees C for 10 min has a mol.wt. of about 232000. The mol.wt. of the subunit is about 38000. Antibodies to the purified enzyme were raised in rabbits. By using radiolabelling and immunoprecipitation techniques it was shown that addition of iron and laevulinate to iron-deficient cultures brings about a significant increase in the synthesis of the enzyme, and protoporphyrin, the penultimate end product of the pathway, represses enzyme synthesis.
Resumo:
Synthesis of mesoporous zirconium phosphate (MZP) by co-assembly of a tri-block copolymer, namely pluronic-F127, as a structure-directing agent, and a mixture of zirconium butoxide and phosphorous trichloride as inorganic precursors is reported. MZP with a specific surface area of 84 m(2) g(-1) average pore diameter of about 17 nm and pore volume of 0.35 cm(3) g(-1) has been prepared, and characterised by X-ray diffraction (XRD) and transmission electron microscopy. Nafion-MZP composite membrane is obtained by employing MZP as a surface-functionalised solid-super-acid-proton-conducting medium as well as all inorganic filler with high affinity to absorb water and fast proton-transport across the electrolyte membrane even under low relative humidity (RH) conditions. The composite membranes have been evaluated in H-2/O-2 polymer electrolyte fuel cells (PEFCs) at varying RH values between 18 and 100%; a peak power density of 355 mW cm(-2) at a load current density of 1,100 mA cm(-2) is achieved with the PEFC employing Nafion-MZP composite membrane while operating at optimum temperature (70 degrees C) under 18% RH and ambient pressure. On operating the PEFC employing Nafion-MZP membrane electrolyte with hydrogen and air feeds at ambient pressure and a RH value of 18%, a peak power density of 285 mW cm(-2) at the optimum temperature (60 degrees C) is achieved. In contrast, operating under identical conditions, a peak power density of only similar to 170 mW cm(-2) is achieved with the PEFC employing Nafion-1135 membrane electrolyte.
Resumo:
Measurements of the ratio of diffusion coefficient to mobility (D/ mu ) of electrons in SF6-N2 and CCl2F2-N2 mixtures over the range 80
Resumo:
In this dissertation, I present an overall methodological framework for studying linguistic alternations, focusing specifically on lexical variation in denoting a single meaning, that is, synonymy. As the practical example, I employ the synonymous set of the four most common Finnish verbs denoting THINK, namely ajatella, miettiä, pohtia and harkita ‘think, reflect, ponder, consider’. As a continuation to previous work, I describe in considerable detail the extension of statistical methods from dichotomous linguistic settings (e.g., Gries 2003; Bresnan et al. 2007) to polytomous ones, that is, concerning more than two possible alternative outcomes. The applied statistical methods are arranged into a succession of stages with increasing complexity, proceeding from univariate via bivariate to multivariate techniques in the end. As the central multivariate method, I argue for the use of polytomous logistic regression and demonstrate its practical implementation to the studied phenomenon, thus extending the work by Bresnan et al. (2007), who applied simple (binary) logistic regression to a dichotomous structural alternation in English. The results of the various statistical analyses confirm that a wide range of contextual features across different categories are indeed associated with the use and selection of the selected think lexemes; however, a substantial part of these features are not exemplified in current Finnish lexicographical descriptions. The multivariate analysis results indicate that the semantic classifications of syntactic argument types are on the average the most distinctive feature category, followed by overall semantic characterizations of the verb chains, and then syntactic argument types alone, with morphological features pertaining to the verb chain and extra-linguistic features relegated to the last position. In terms of overall performance of the multivariate analysis and modeling, the prediction accuracy seems to reach a ceiling at a Recall rate of roughly two-thirds of the sentences in the research corpus. The analysis of these results suggests a limit to what can be explained and determined within the immediate sentential context and applying the conventional descriptive and analytical apparatus based on currently available linguistic theories and models. The results also support Bresnan’s (2007) and others’ (e.g., Bod et al. 2003) probabilistic view of the relationship between linguistic usage and the underlying linguistic system, in which only a minority of linguistic choices are categorical, given the known context – represented as a feature cluster – that can be analytically grasped and identified. Instead, most contexts exhibit degrees of variation as to their outcomes, resulting in proportionate choices over longer stretches of usage in texts or speech.