862 resultados para Algorithms, Properties, the KCube Graphs


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nonlinear thermo-mechanical properties of advanced polymers are crucial to accurate prediction of the process induced warpage and residual stress of electronics packages. The Fiber Bragg grating (FBG) sensor based method is advanced and implemented to determine temperature and time dependent nonlinear properties. The FBG sensor is embedded in the center of the cylindrical specimen, which deforms together with the specimen. The strains of the specimen at different loading conditions are monitored by the FBG sensor. Two main sources of the warpage are considered: curing induced warpage and coefficient of thermal expansion (CTE) mismatch induced warpage. The effective chemical shrinkage and the equilibrium modulus are needed for the curing induced warpage prediction. Considering various polymeric materials used in microelectronic packages, unique curing setups and procedures are developed for elastomers (extremely low modulus, medium viscosity, room temperature curing), underfill materials (medium modulus, low viscosity, high temperature curing), and epoxy molding compound (EMC: high modulus, high viscosity, high temperature pressure curing), most notably, (1) zero-constraint mold for elastomers; (2) a two-stage curing procedure for underfill materials and (3) an air-cylinder based novel setup for EMC. For the CTE mismatch induced warpage, the temperature dependent CTE and the comprehensive viscoelastic properties are measured. The cured cylindrical specimen with a FBG sensor embedded in the center is further used for viscoelastic property measurements. A uni-axial compressive loading is applied to the specimen to measure the time dependent Young’s modulus. The test is repeated from room temperature to the reflow temperature to capture the time-temperature dependent Young’s modulus. A separate high pressure system is developed for the bulk modulus measurement. The time temperature dependent bulk modulus is measured at the same temperatures as the Young’s modulus. The master curve of the Young’s modulus and bulk modulus of the EMC is created and a single set of the shift factors is determined from the time temperature superposition. The supplementary experiments are conducted to verify the validity of the assumptions associated with the linear viscoelasticity. The measured time-temperature dependent properties are further verified by a shadow moiré and Twyman/Green test.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The PROSPER (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more flexible format so that they may be treated as components. A system incorporating such tools becomes another component that can be embedded in an application. This paper describes the PROSPER Toolkit which enables this. The nature of communication between components is specified in a language-independent way. It is implemented in several common programming languages to allow a wide variety of tools to have access to the toolkit.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study explores the potential of the simvastatin to ameliorate inflammation and infection in open infected skin wounds of rats. Methods: Fourteen Wistar rats weighing 285±12g were used. The study was done in a group whose open infected skin wounds were treated with topical application of sinvastatina microemulsion (SIM, n=7) and a second group with wounds treated with saline 0.9 % (SAL, n=7). A bacteriological exam of the wounds fluid for gram positive and gram negative bacteria, the tecidual expression of TNFá and IL-1â by imunohistochemical technique, and histological analysis by HE stain were performed. Results: The expression of TNFa could be clearly demonstrated in lower degree in skin wounds treated with simvastatin (668.6 ± 74.7 ìm2) than in saline (2120.0 ± 327.1 ìm2). In comparison, wound tissue from SIM group displayed leukocyte infiltration significantly lower than that observed in SAL group (p<0.05). Culture results of the samples taken from wound fluid on fourth post treatment day revealed wound infection in only one rat of group simvastatin (SIM), where Proteus mirabilis, Escherchia coli and Enterobacter sp were isolated. In the rats whose wounds were treated with saline (SAL), polymicrobial infection with more than 100,000 CFU/g was detected in all the wounds. Conclusion: In addition to its antiinflammatory properties, the protective effects of simvastatin in infected open skin wounds is able to reduce infection and probably has antibacterial action. The potential to treat these wounds with statins to ameliorate inflammation and infection is promising

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The last decades of the 20th century defined the genetic engineering advent, climaxing in the development of techniques, such as PCR and Sanger sequencing. This, permitted the appearance of new techniques to sequencing whole genomes, identified as next-generation sequencing. One of the many applications of these techniques is the in silico search for new secondary metabolites, synthesized by microorganisms exhibiting antimicrobial properties. The peptide antibiotics compounds can be classified in two classes, according to their biosynthesis, in ribosomal or nonribosomal peptides. Lanthipeptides are the most studied ribosomal peptides and are characterized by the presence of lanthionine and methylanthionine that result from posttranslational modifications. Lanthipeptides are divided in four classes, depending on their biosynthetic machinery. In class I, a LanB enzyme dehydrate serine and threonine residues in the C-terminus precursor peptide. Then, these residues undergo a cyclization step performed by a LanC enzyme, forming the lanthionine rings. The cleavage and the transport of the peptide is achieved by the LanP and LanT enzymes, respectively. Although, in class II only one enzyme, LanM, is responsible for the dehydration and cyclization steps and also only one enzyme performs the cleavage and transport, LanT. Pedobacter sp. NL19 is a Gram-negative bacterium, isolated from sludge of an abandon uranium mine, in Viseu (Portugal). Antibacterial activity in vitro was detected against several Gram-positive and Gram-negative bacteria. Sequencing and in silico analysis of NL19 genome revealed the presence of 21 biosynthetic clusters for secondary metabolites, including nonribosomal and ribosomal peptides biosynthetic clusters. Four lanthipeptides clusters were predicted, comprising the precursor peptides, the modifying enzymes (LanB and LanC), and also a bifunctional LanT. This result revealed the hybrid nature of the clusters, comprising characteristics from two distinct classes, which are poorly described in literature. The phylogenetic analysis of their enzymes showed that they clustered within the bacteroidetes clade. Furthermore, hybrid gene clusters were also found in other species of this phylum, revealing that it is a common characteristic in this group. Finally, the analysis of NL19 colonies by MALDI-TOF MS allowed the identification of a 3180 Da mass that corresponds to the predicted mass of a lanthipeptide encoded in one of the clusters. However, this result is not fully conclusive and further experiments are needed to understand the full potential of the compounds encoded in this type of clusters. In conclusion, it was determined that NL19 strain has the potential to produce diverse secondary metabolites, including lanthipeptides that were not functionally characterized so far.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The aim of this thesis was to investigate the electrical and mechanical responses to inhibitory non-adrenergic noncholinergic (NANC) nerve stimulation in the bovine retractor penis muscle (BRP) and compare them with those to an inhibitory extract made from this muscle. The extract may contain the NANC inhibitory transmitter of the BRP and possibly of other smooth muscles. Because of species differences in the electrical response to NANC nerves in the rat and rabbit anococcygeus the effects of the extract on these tissues was also investigated. Prior to the investigation of the extract, both the excitatory and inhibitory responses to field stimulation in the BRP, and the effects of passive membrane potential displacement were studied using conventional intra- or extracellular (sucrose gap) recording techniques. The majority of cells in the BRP were electrically quiescent independent of the resting tone. The most frequent (in approximately 25% of preparations) form of spontaneous activity, oscillations in membrane potential and tone, may represent a pacemaker activity. The BRP had cable properties; the time constant and space constant indicated a high membrane resistance. In the absence of tone, field stimulation of the BRP evoked excitatory junction potentials (ejps) in every cell impaled and contractions, graded with the strength, frequency and number of pulses; spikes were not observed. Guanethidine (1-3 x 10-5M) abolished the ejps and contractions, confirming their adrenergic origin. Noradrenaline added exogenously depolarised and contracted the muscle. These effects were blocked by the a-adrenoceptor antagonists, phentolamine and prazosin. However, phentolamine (2.5x 10-6M) inhibited the contraction without reducing the ejp significantly. These effects may be independent of adrenoceptor blockade or the ejp may be mediated by a substance other than noradrenaline (e.g. ATP) released from adrenergic nerves. Prazosin (1.4 x lO-6M) failed to block either the ejp or contraction, indicating the possible existence of two types of adrenoceptor in the BRP; one activated by neuronally-released and the other by exogenously-added noradrenaline. ATP, a contaminant in the extract, also depolarised and contracted the BRP. Physostigmine reduced whilst atropine enhanced the ejps and contractions without similarly affecting the response to exogenous noradrenaline. This confirmed the presence of a cholinergic inhibitory innervation acting on the excitatory adrenergic fibres (Klinge and Sjostrand, 1977). TEA (1 x lO-4M) enhanced the ejp and contraction. Higher concentrations (0.5 to 10 x 10-3M) depolarised, increased the tone and evoked electrical and mechanical oscillations but no spikes. The depolarisation and contraction to exogenous noradrenaline were not enhanced, indicating that TEA acts on the adrenergic nerves. Some post-synaptic effect to block K+ channels also seems likely. The relationship between ejp amplitude and membrane potential in the double sucrose gap was linear and indicated a reversal potential more positive than -30mV. Electrotonic pulse amplitude decreased during the ejp, indicating an increased membrane conductance. Ejps and contractions were reduced following the replacement of the NaCl of the Krebs solution with sodium glutamate. This may be due to the effects of glutamate itself (e.g. Ca2+ chelation) rather than reduction in the membrane Cl- gradient. Tone usually developed spontaneously and was accompanied by membrane depolarisation (from -53 to -45mV) which may open voltage-dependent channels, causing Ca2+ entry and/or its release from intracellular binding sites. Field stimulation produced inhibitory potentials (ijps) and relaxations graded with the strength and number of pulses but showing little frequency dependence. Rebound depolarisation and contraction often followed the ijp and relaxation. Tetrodotoxin (3 x IO-6M), but not adrenergic or cholinergic antagonists, abolished the ijp and relaxation, confirming their non-adrenergic non-cholinergic neurogenic nature. The extract, prepared and acid-activated as described by Gillespie, Hunter and Martin (1981), hyperpolarised and relaxed the BRP, as did sodium nitroprusside and adenosine triphosphate (ATP). Unlike the activated extract or sodium nitroprusside, desensitisation to ATP occurred rapidly and without any change in the inhibitory electrical or mechanical responses to field stimulation. The ijp and relaxation in the BRP were insensitive to apamin but abolished by oxyhaemoglobin (4-8 x 10-6M), as were the responses to extract and sodium nitroprusside. In TEA (10-2M), field stimulation evoked relaxations with no accompanying electrical change. The ijp may be unconnected with or additional to another mechanism producing relaxation. The relationship between membrane potential and ijp in the BRP was non-linear. Ijp amplitude was initially increased during membrane potential displacement from -45mV to approximately -60mV. Thereafter (-60 to -l03mV) the ijp was reduced. Ijps were abolished at -27 and -103mV; reversal was not observed. The hyperpolarisation to extract was also enhanced during passive displacement of the membrane potential to more negative values (-57mV). Membrane resistance increased during the ijp. The extract produced inconsistent changes in membrane resistance, possibly because of the presence of more than one active component. K+ withdrawal failed to enhance the ijp or hyperpolarisation to extract and 20mM K+ did not abolish the the ijp at membrane potentials exceeding EK (-49mV). Thus, the ijp or hyperpolarisation to extract are unlikely to be mediated by an increased K+ conductance. Reducing the Cl- abolished the hyperpolarisation to field stimulation and extract. This occurred more quickly than the anticipated reduction in the Cl- gradient and may be due to Ca2+ chelation by the anion substitute (glutamate or benzenesulphonate) or blockade of the resting conductance which is normally inactivated by the transmitter. Ouabain (1-5x 10-5M), which reduces both the Na+ and Cl- gradients, abolished the ijp, implicating either of these ions as the ionic species involved. In the rat and rabbit anococcygeus, field stimulation and extract each reduced guanethidine-induced tone. This was unaccompanied in the majority of cells in the rat by any significant electrical response. In the remaining cells, inhibition of the membrane potential oscillations occurred. The rabbit anococcygeus differed in that inhibition of the electrical oscillations was observed in every cell exhibiting this behaviour. However, the majority of cells in the rabbit were electrically quiescent and showed only small hyperpolarisations to field stimulation and no electrical response to extract. Apamin (1 x 10-7M) failed to block the electrical and mechanical response to field stimulation in the rabbit but did inhibit transiently that to extract. The latter effect may be due to the initial excitatory effects of apamin. The similarities between the electrical effects of the extract and those of inhibitory nerve stimulation in the BRP, rat and rabbit anococcygeus muscles are generally consistent with their being mediated by the same active component. Moreover, the ijp in the BRP shows properties which have not been reported in other non-adrenergic noncholinergically innervated smooth muscles.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In recent years genetic algorithms have emerged as a useful tool for the heuristic solution of complex discrete optimisation problems. In particular there has been considerable interest in their use in tackling problems arising in the areas of scheduling and timetabling. However, the classical genetic algorithm paradigm is not well equipped to handle constraints and successful implementations usually require some sort of modification to enable the search to exploit problem specific knowledge in order to overcome this shortcoming. This paper is concerned with the development of a family of genetic algorithms for the solution of a nurse rostering problem at a major UK hospital. The hospital is made up of wards of up to 30 nurses. Each ward has its own group of nurses whose shifts have to be scheduled on a weekly basis. In addition to fulfilling the minimum demand for staff over three daily shifts, nurses’ wishes and qualifications have to be taken into account. The schedules must also be seen to be fair, in that unpopular shifts have to be spread evenly amongst all nurses, and other restrictions, such as team nursing and special conditions for senior staff, have to be satisfied. The basis of the family of genetic algorithms is a classical genetic algorithm consisting of n-point crossover, single-bit mutation and a rank-based selection. The solution space consists of all schedules in which each nurse works the required number of shifts, but the remaining constraints, both hard and soft, are relaxed and penalised in the fitness function. The talk will start with a detailed description of the problem and the initial implementation and will go on to highlight the shortcomings of such an approach, in terms of the key element of balancing feasibility, i.e. covering the demand and work regulations, and quality, as measured by the nurses’ preferences. A series of experiments involving parameter adaptation, niching, intelligent weights, delta coding, local hill climbing, migration and special selection rules will then be outlined and it will be shown how a series of these enhancements were able to eradicate these difficulties. Results based on several months’ real data will be used to measure the impact of each modification, and to show that the final algorithm is able to compete with a tabu search approach currently employed at the hospital. The talk will conclude with some observations as to the overall quality of this approach to this and similar problems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Abstract Scheduling problems are generally NP-hard combinatorial problems, and a lot of research has been done to solve these problems heuristically. However, most of the previous approaches are problem-specific and research into the development of a general scheduling algorithm is still in its infancy. Mimicking the natural evolutionary process of the survival of the fittest, Genetic Algorithms (GAs) have attracted much attention in solving difficult scheduling problems in recent years. Some obstacles exist when using GAs: there is no canonical mechanism to deal with constraints, which are commonly met in most real-world scheduling problems, and small changes to a solution are difficult. To overcome both difficulties, indirect approaches have been presented (in [1] and [2]) for nurse scheduling and driver scheduling, where GAs are used by mapping the solution space, and separate decoding routines then build solutions to the original problem. In our previous indirect GAs, learning is implicit and is restricted to the efficient adjustment of weights for a set of rules that are used to construct schedules. The major limitation of those approaches is that they learn in a non-human way: like most existing construction algorithms, once the best weight combination is found, the rules used in the construction process are fixed at each iteration. However, normally a long sequence of moves is needed to construct a schedule and using fixed rules at each move is thus unreasonable and not coherent with human learning processes. When a human scheduler is working, he normally builds a schedule step by step following a set of rules. After much practice, the scheduler gradually masters the knowledge of which solution parts go well with others. He can identify good parts and is aware of the solution quality even if the scheduling process is not completed yet, thus having the ability to finish a schedule by using flexible, rather than fixed, rules. In this research we intend to design more human-like scheduling algorithms, by using ideas derived from Bayesian Optimization Algorithms (BOA) and Learning Classifier Systems (LCS) to implement explicit learning from past solutions. BOA can be applied to learn to identify good partial solutions and to complete them by building a Bayesian network of the joint distribution of solutions [3]. A Bayesian network is a directed acyclic graph with each node corresponding to one variable, and each variable corresponding to individual rule by which a schedule will be constructed step by step. The conditional probabilities are computed according to an initial set of promising solutions. Subsequently, each new instance for each node is generated by using the corresponding conditional probabilities, until values for all nodes have been generated. Another set of rule strings will be generated in this way, some of which will replace previous strings based on fitness selection. If stopping conditions are not met, the Bayesian network is updated again using the current set of good rule strings. The algorithm thereby tries to explicitly identify and mix promising building blocks. It should be noted that for most scheduling problems the structure of the network model is known and all the variables are fully observed. In this case, the goal of learning is to find the rule values that maximize the likelihood of the training data. Thus learning can amount to 'counting' in the case of multinomial distributions. In the LCS approach, each rule has its strength showing its current usefulness in the system, and this strength is constantly assessed [4]. To implement sophisticated learning based on previous solutions, an improved LCS-based algorithm is designed, which consists of the following three steps. The initialization step is to assign each rule at each stage a constant initial strength. Then rules are selected by using the Roulette Wheel strategy. The next step is to reinforce the strengths of the rules used in the previous solution, keeping the strength of unused rules unchanged. The selection step is to select fitter rules for the next generation. It is envisaged that the LCS part of the algorithm will be used as a hill climber to the BOA algorithm. This is exciting and ambitious research, which might provide the stepping-stone for a new class of scheduling algorithms. Data sets from nurse scheduling and mall problems will be used as test-beds. It is envisaged that once the concept has been proven successful, it will be implemented into general scheduling algorithms. It is also hoped that this research will give some preliminary answers about how to include human-like learning into scheduling algorithms and may therefore be of interest to researchers and practitioners in areas of scheduling and evolutionary computation. References 1. Aickelin, U. and Dowsland, K. (2003) 'Indirect Genetic Algorithm for a Nurse Scheduling Problem', Computer & Operational Research (in print). 2. Li, J. and Kwan, R.S.K. (2003), 'Fuzzy Genetic Algorithm for Driver Scheduling', European Journal of Operational Research 147(2): 334-344. 3. Pelikan, M., Goldberg, D. and Cantu-Paz, E. (1999) 'BOA: The Bayesian Optimization Algorithm', IlliGAL Report No 99003, University of Illinois. 4. Wilson, S. (1994) 'ZCS: A Zeroth-level Classifier System', Evolutionary Computation 2(1), pp 1-18.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper aims to provide aperture corrections for emission lines in a sample of spiral galaxies from the Calar Alto Legacy Integral Field Area Survey (CALIFA) database. In particular, we explore the behavior of the log([O III] λ5007/Hβ)/([N II] λ6583/Hα) (O3N2) and log[N II] lambda 6583/Hα (N2) flux ratios since they are closely connected to different empirical calibrations of the oxygen abundances in star-forming galaxies. We compute the median growth curves of Hα, Hα/Hβ, O3N2, and N-2 up to 2.5R(50) and 1.5 disk R-eff. These distances cover most of the optical spatial extent of the CALIFA galaxies. The growth curves simulate the effect of observing galaxies through apertures of varying radii. We split these growth curves by morphological types and stellar masses to check if there is any dependence on these properties. The median growth curve of the Hα flux shows a monotonous increase with radius with no strong dependence on galaxy inclination, morphological type, and stellar mass. The median growth curve of the Hα/HβH ratio monotonically decreases from the center toward larger radii, showing for small apertures a maximum value of ≈10% larger than the integrated one. It does not show any dependence on inclination, morphological type, and stellar mass. The median growth curve of N-2 shows a similar behavior, decreasing from the center toward larger radii. No strong dependence is seen on the inclination, morphological type, and stellar mass. Finally, the median growth curve of O3N2 increases monotonically with radius, and it does not show dependence on the inclination. However, at small radii it shows systematically higher values for galaxies of earlier morphological types and for high stellar mass galaxies. Applying our aperture corrections to a sample of galaxies from the SDSS survey at 0.02 ≤ z ≤ 0.3 shows that the average difference between fiber-based and aperture-corrected oxygen abundances, for different galaxy stellar mass and redshift ranges, reaches typically to ≈11%, depending on the abundance calibration used. This average difference is found to be systematically biased, though still within the typical uncertainties of oxygen abundances derived from empirical calibrations. Caution must be exercised when using observations of galaxies for small radii (e.g., below 0.5 R_eff) given the high dispersion shown around the median growth curves. Thus, the application of these median aperture corrections to derive abundances for individual galaxies is not recommended when their fluxes come from radii much smaller than either R_50 or R_eff.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The dieletric relaxation properties of thermosetting material nanocomposites based on spherosilicate nanoplatforms were studied from room temperature to 170 degrees C, varying the frequency from 10 to 1000 KHz. Permittivity (epsilon'), dielectric loss (epsilon ''), and activation energy (E-a) were calculated. The results of dielectric relaxation were confirmed by those of the final properties. The dielectric loss amplitude decreases with increasing ODPG content until about 70-73 wt % and slightly increases at higher ODPG content. This means that the increasing of the ODPG content in the composite samples decreases the number of pendants groups and/or increases crosslink densitv, causing decreased motion of organic tethers, and subsequently decreasing of the dipolar mobility. The results of apparent activation energy, fracture toughness and tensile modulus mechanical properties show the same profile with respect to ODPG content, in the sense that they exhibit maxima around 70 wt % ODPG. For the ODPG/MDA composites, this formulation of 70 wt % ODPG containing excess of amine is not composition where the highest crosslinked density is reached. This implies that the best mechanical properties and E-a are provided by some degree of chain flexibility. (c) 2007 Wiley Periodicals, Inc.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Morchella conica Pers. is a species of fungus that belongs to the Morchellaceae family and was studied in order to obtain more information about this species, by comparing Portuguese and Serbian wild samples. Free sugars, fatty acids, tocopherols, organic and phenolic acids were analysed by chromatographic techniques. M. conica methanolic extracts were tested regarding antioxidant and antimicrobial properties. The absence of hepatotoxicity was confirmed in porcine liver primary cells.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Opuntia spp. flowers have been traditionally used for medical purposes, mostly because of their diversity in bioactive molecules with health promoting properties. The proximate, mineral and volatile compound profiles, together with the cytotoxic and antimicrobial properties were characterized in O. microdasys flowers at different maturity stages, revealing several statistically significant differences. O. microdasys stood out mainly for its high contents of dietary fiber, potassium and camphor, and its high activities against HCT15 cells, Staphylococcus aureus, Aspergillus versicolor and Penicillium funiculosum. The vegetative stage showed the highest cytotoxic and antifungal activities, whilst the full flowering stage was particularly active against bacterial species. The complete dataset has been classified by principal component analysis, achieving clearly identifiable groups for each flowering stage, elucidating also the most distinctive features, and comprehensively profiling each of the assayed stages. The results might be useful to define the best flowering stage considering practical application purposes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2016.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Mestrado em Ciências Actuariais

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Dissertação de Mestrado, Ciências Biomédicas, Departamento de Ciências Biomédicas e Medicina, Universidade do Algarve, 2016