931 resultados para Regular Languages Substitution
Resumo:
Chapter 1 is used to introduce the basic tools and mechanics used within this thesis. Most of the definitions used in the thesis will be defined, and we provide a basic survey of topics in graph theory and design theory pertinent to the topics studied in this thesis. In Chapter 2, we are concerned with the study of fixed block configuration group divisible designs, GDD(n; m; k; λ1; λ2). We study those GDDs in which each block has configuration (s; t), that is, GDDs in which each block has exactly s points from one of the two groups and t points from the other. Chapter 2 begins with an overview of previous results and constructions for small group size and block sizes 3, 4 and 5. Chapter 2 is largely devoted to presenting constructions and results about GDDs with two groups and block size 6. We show the necessary conditions are sufficient for the existence of GDD(n, 2, 6; λ1, λ2) with fixed block configuration (3; 3). For configuration (1; 5), we give minimal or nearminimal index constructions for all group sizes n ≥ 5 except n = 10, 15, 160, or 190. For configuration (2, 4), we provide constructions for several families ofGDD(n, 2, 6; λ1, λ2)s. Chapter 3 addresses characterizing (3, r)-regular graphs. We begin with providing previous results on the well studied class of (2, r)-regular graphs and some results on the structure of large (t; r)-regular graphs. In Chapter 3, we completely characterize all (3, 1)-regular and (3, 2)-regular graphs, as well has sharpen existing bounds on the order of large (3, r)- regular graphs of a certain form for r ≥ 3. Finally, the appendix gives computational data resulting from Sage and C programs used to generate (3, 3)-regular graphs on less than 10 vertices.
Resumo:
In 1969, Lovasz asked whether every connected, vertex-transitive graph has a Hamilton path. This question has generated a considerable amount of interest, yet remains vastly open. To date, there exist no known connected, vertex-transitive graph that does not possess a Hamilton path. For the Cayley graphs, a subclass of vertex-transitive graphs, the following conjecture was made: Weak Lovász Conjecture: Every nontrivial, finite, connected Cayley graph is hamiltonian. The Chen-Quimpo Theorem proves that Cayley graphs on abelian groups flourish with Hamilton cycles, thus prompting Alspach to make the following conjecture: Alspach Conjecture: Every 2k-regular, connected Cayley graph on a finite abelian group has a Hamilton decomposition. Alspach’s conjecture is true for k = 1 and 2, but even the case k = 3 is still open. It is this case that this thesis addresses. Chapters 1–3 give introductory material and past work on the conjecture. Chapter 3 investigates the relationship between 6-regular Cayley graphs and associated quotient graphs. A proof of Alspach’s conjecture is given for the odd order case when k = 3. Chapter 4 provides a proof of the conjecture for even order graphs with 3-element connection sets that have an element generating a subgroup of index 2, and having a linear dependency among the other generators. Chapter 5 shows that if Γ = Cay(A, {s1, s2, s3}) is a connected, 6-regular, abelian Cayley graph of even order, and for some1 ≤ i ≤ 3, Δi = Cay(A/(si), {sj1 , sj2}) is 4-regular, and Δi ≄ Cay(ℤ3, {1, 1}), then Γ has a Hamilton decomposition. Alternatively stated, if Γ = Cay(A, S) is a connected, 6-regular, abelian Cayley graph of even order, then Γ has a Hamilton decomposition if S has no involutions, and for some s ∈ S, Cay(A/(s), S) is 4-regular, and of order at least 4. Finally, the Appendices give computational data resulting from C and MAGMA programs used to generate Hamilton decompositions of certain non-isomorphic Cayley graphs on low order abelian groups.
Resumo:
PURPOSE: In male patients with ileal bladder substitute we ascertained the likelihood of spontaneous voiding failure, the corrective procedures required and the eventual outcomes. MATERIALS AND METHODS: Following cystectomy and ileal bladder substitution for urothelial cancer between April 1985 and September 2002 male patients were identified and analyzed from the prospective departmental database. Four patients underwent ileum conduit conversion following urethral recurrence or pouch necrosis and were excluded from study. Funnel-shaped outlets were avoided during bladder substitute surgery after the first 4 patients with this configuration experienced voiding failure and required corrective procedures. Only patients with a minimum 5-year followup were assessed for voiding failure, corrective procedures and final outcomes. RESULTS: Of 354 patients with a median age of 65 years (range 36 to 84) treated with bladder substitute 180 (51%) were alive at 5 years. All 180 of these patients spontaneously voided within 3 months of surgery. During this 5-year observation period 22 (12%) patients experienced voiding problems requiring de-obstructive procedures. Following intervention 177 (98%) patients were spontaneously voiding by 5 years. Of 237 patients 77 (32%) were alive at 10 years. Of these 77 patients followed for another 5 years 10 (13%) had similar voiding problems requiring de-obstructive procedures. Subsequently 74 (96%) were voiding spontaneously by 10 years. CONCLUSIONS: Patients often fail to void spontaneously after ileal bladder substitution. However, if a funnel-shaped outlet is avoided and de-obstructive surgery is appropriately implemented, excellent long-term results are seen with spontaneous voiding and clean intermittent catheterization can be avoided.
Resumo:
The dissipation of high heat flux from integrated circuit chips and the maintenance of acceptable junction temperatures in high powered electronics require advanced cooling technologies. One such technology is two-phase cooling in microchannels under confined flow boiling conditions. In macroscale flow boiling bubbles will nucleate on the channel walls, grow, and depart from the surface. In microscale flow boiling bubbles can fill the channel diameter before the liquid drag force has a chance to sweep them off the channel wall. As a confined bubble elongates in a microchannel, it traps thin liquid films between the heated wall and the vapor core that are subject to large temperature gradients. The thin films evaporate rapidly, sometimes faster than the incoming mass flux can replenish bulk fluid in the microchannel. When the local vapor pressure spike exceeds the inlet pressure, it forces the upstream interface to travel back into the inlet plenum and create flow boiling instabilities. Flow boiling instabilities reduce the temperature at which critical heat flux occurs and create channel dryout. Dryout causes high surface temperatures that can destroy the electronic circuits that use two-phase micro heat exchangers for cooling. Flow boiling instability is characterized by periodic oscillation of flow regimes which induce oscillations in fluid temperature, wall temperatures, pressure drop, and mass flux. When nanofluids are used in flow boiling, the nanoparticles become deposited on the heated surface and change its thermal conductivity, roughness, capillarity, wettability, and nucleation site density. It also affects heat transfer by changing bubble departure diameter, bubble departure frequency, and the evaporation of the micro and macrolayer beneath the growing bubbles. Flow boiling was investigated in this study using degassed, deionized water, and 0.001 vol% aluminum oxide nanofluids in a single rectangular brass microchannel with a hydraulic diameter of 229 µm for one inlet fluid temperature of 63°C and two constant flow rates of 0.41 ml/min and 0.82 ml/min. The power input was adjusted for two average surface temperatures of 103°C and 119°C at each flow rate. High speed images were taken periodically for water and nanofluid flow boiling after durations of 25, 75, and 125 minutes from the start of flow. The change in regime timing revealed the effect of nanoparticle suspension and deposition on the Onset of Nucelate Boiling (ONB) and the Onset of Bubble Elongation (OBE). Cycle duration and bubble frequencies are reported for different nanofluid flow boiling durations. The addition of nanoparticles was found to stabilize bubble nucleation and growth and limit the recession rate of the upstream and downstream interfaces, mitigating the spreading of dry spots and elongating the thin film regions to increase thin film evaporation.
Resumo:
OBJECTIVES: The aim of the study was to investigate the influence of continued injecting drug use, enrolment in an opiate substitution treatment programme (OSTP), or cessation of injecting drug use on the uptake and course of antiretroviral therapy (ART). Design A prospective observational study of all participants in the Swiss HIV Cohort Study followed between 1997 and 2006 was carried out. METHODS: We distinguished four groups of former or current injecting drug users (IDUs): (i) abstinent former IDUs; (ii) persons in OSTPs without concomitant injecting drug use; (iii) persons in OSTPs with concomitant injecting drug use; (vi) current IDUs. These groups were compared with a group of patients who had never been IDUs. Factors related to ART uptake and virological endpoints were analysed using logistic generalized estimating equations. RESULTS: We followed 8660 participants for 48 477 person-years; 29.7% were in the IDU HIV transmission group. The likelihood of being on ART at biannual visits was lower among individuals in OSTPs with concomitant injecting drug use [odds ratio (OR) 0.79; 95% confidence interval (CI) 0.71-0.89] and current IDUs (OR 0.80; 95% CI 0.67-0.96), compared with those who had never been IDUs (reference), abstinent former IDUs (OR 1.13; 95% CI 1.02-1.25) and individuals in OSTPs without injecting drug use (OR 1.18; 95% CI 1.06-1.31). The likelihood of suppressed viral replication on ART was similar among those who had never been IDUs, abstinent former IDUs and individuals in an OSTP without injecting drug use, and lower among those in OSTPs with concomitant drug use (OR 0.82; 95% CI 0.72-0.93) and current IDUs (OR 0.81; 0.65-1.00). Adherence to ART was decreased among persons with continued injecting drug use, and correlated with virological outcome. CONCLUSIONS: Uptake of and virological response to ART were improved among abstinent former IDUs and persons in OSTPs without concomitant injecting drug use, compared with persons with continued injecting drug use.
Resumo:
Acetylation and formylation of 3-phenyl-cycl[3.2.2]azine derivatives, in the presence of Lewis acids, have been Investigated. It has been found that the orientation of substitution in 2-carbomethoxy- 3-phenyl-cycl[3.2.2]azine for these two reactions, under Identical conditions, is different.
Resumo:
Object-oriented modelling languages such as EMOF are often used to specify domain specific meta-models. However, these modelling languages lack the ability to describe behavior or operational semantics. Several approaches have used a subset of Java mixed with OCL as executable meta-languages. In this experience report we show how we use Smalltalk as an executable meta-language in the context of the Moose reengineering environment. We present how we implemented EMOF and its behavioral aspects. Over the last decade we validated this approach through incrementally building a meta-described reengineering environment. Such an approach bridges the gap between a code-oriented view and a meta-model driven one. It avoids the creation of yet another language and reuses the infrastructure and run-time of the underlying implementation language. It offers an uniform way of letting developers focus on their tasks while at the same time allowing them to meta-describe their domain model. The advantage of our approach is that developers use the same tools and environment they use for their regular tasks. Still the approach is not Smalltalk specific but can be applied to language offering an introspective API such as Ruby, Python, CLOS, Java and C#.
Resumo:
Even though complete resection is regarded as the only curative treatment for nonsmall cell lung cancer (NSCLC), >50% of resected patients die from a recurrence or a second primary tumour of the lung within 5 yrs. It remains unclear, whether follow-up in these patients is cost-effective and whether it can improve the outcome due to early detection of recurrent tumour. The benefit of regular follow-up in a consecutive series of 563 patients, who had undergone potentially curative resection for NSCLC at the University Hospital, was analysed. The follow-up consisted of clinical visits and chest radiography according to a standard protocol for up to 10 yrs. Survival rates were estimated using the Kaplan-Meier analysis method and the cost-effectiveness of the follow-up programme was assessed. A total of 23 patients (6.4% of the group with lobectomy) underwent further operation with curative intent for a second pulmonary malignancy. The regular follow-up over a 10-yr period provided the chance for a second curative treatment to 3.8% of all patients. The calculated costs per life-yr gained were 90,000 Swiss Francs. The cost-effectiveness of the follow-up protocol was far above those of comparable large-scale surveillance programmes. Based on these data, the intensity and duration of the follow-up was reduced.
Resumo:
Integration of multiple languages into each other and into an existing development environment is a difficult task. As a consequence, developers often end up using only internal DSLs that strictly rely on the constraints imposed by the host language. Infrastructures do exist to mix languages, but they often do it at the price of losing the development tools of the host language. Instead of inventing a completely new infrastructure, our solution is to integrate new languages deeply into the existing host environment and reuse the infrastructure offered by it. In this paper we show why Smalltalk is the best practical choice for such a host language.
Resumo:
Body composition changes with increasing age in men, in that lean body mass decreases whereas fat mass increases. Whether this altered body composition is related to decreasing physical activity or to the known age-associated decrease in growth hormone secretion is uncertain. To address this question, three groups of healthy men (n = 14 in each group), matched for weight, height and body mass index, were investigated using dual-energy X-ray absorptiometry, indirect calorimetry and estimate of daily growth hormone secretion [i.e. plasma insulin-like growth factor I (IGF-I-) levels]. Group 1 comprised young untrained subjects aged 31.0 +/- 2.1 years (mean +/- SEM) taking no regular physical exercise; group 2 consisted of old untrained men aged 68.6 +/- 1.2 years; and group 3 consisted of healthy old men aged 67.4 +/- 1.2 years undergoing regular physical training for more than 10 years with a training distance of at least 30 km per week. Subjects in group 3 had for the past three years taken part in the 'Grand Prix of Berne', a 16.5-km race run at a speed of 4.7 +/- 0.6 min km-1 (most recent race). Fat mass was more than 4 kg higher in old untrained men (P < 0.01, ANOVA) than in the other groups (young untrained men, 12.0 +/- 0.9 kg; old untrained men, 16.1 +/- 1.0 kg; old trained men, 11.0 +/- 0.8 kg), whereas body fat distribution (i.e. the ratio of upper to lower body fat mass) was similar between the three groups. The lean mass of old untrained men was more than 3.5 kg lower (P < 0.02, ANOVA) than in the other two groups (young untrained men, 56.4 +/- 1.0 kg; old untrained men, 52.4 +/- 1.0 kg; old trained men, 56.0 +/- 1.0 kg), mostly because of a loss of skeletal muscle mass in the arms and legs (young untrained men, 24.0 +/- 0.5 kg; old untrained men 20.8 +/- 0.5 kg; old trained men, 23.6 +/- 0.7 kg; P < 0.01, ANOVA). Resting metabolic rate per kilogram lean mass decreased with increasing age independently of physical activity (r = -0.42, P < 0.005). Fuel metabolism was determined by indirect calorimetry at rest. Protein oxidation was similar in the three groups. Old untrained men had higher (P < 0.001) carbohydrate oxidation (young untrained men, 13.2 +/- 1.0 kcal kg-1 lean mass; old untrained men, 15.2 +/- 1.3 kcal Kg-1; old trained men, 7.8 +/- 0.8 kcal kg-1), but lower (P < 0.05, ANOVA) fat oxidation (young untrained men, 10.1 +/- 1.2 kcal kg-1 lean mass; old untrained men, 6.5 +/- 1.0 kcal kg-1; old trained men, 13.7 +/- 1.0 kcal kg-1) than the other two groups. Mean plasma IGF-I level in old trained men was higher than in old untrained men (P < 0.05), but was still lower than that observed in young untrained men (P < 0.005) (young untrained men, 236 +/- 24 ng mL-1; old untrained men, 119 +/- 13 ng mL-1; old trained men, 166 +/- 14 ng mL-1). In summary, regular physical training in older men seems to prevent the changes in body composition and fuel metabolism normally associated with ageing. Whether regular physical training in formerly untrained old subjects would result in similar changes awaits further study.
Resumo:
The use of bowel segments as bladder substitutes may result in chronic, impaired vitamin D and calcium metabolism, and ultimately in bone demineralization.
Resumo:
Thirty-two multiparous Holstein cows were used to investigate the effects of chromium-l-methionine (Cr-Met) supplementation and dietary grain source on performance and lactation during the periparturient period. Cows were fed a total mixed ration consisting of either a barley-based diet (BBD) or a corn-based diet (CBD) from 21 d before anticipated calving through 28 d after calving. The Cr-Met was supplemented at dosages of 0 or 0.08 mg of Cr/kg of metabolic body weight. The study was designed as a randomized complete block design with 2 (Cr-Met levels) x 2 (grain sources) factorial arrangement. There was no Cr effect on prepartum dry matter intake (DMI) or postpartum DMI, body weight (BW), net energy balance, and whole tract apparent digestibility of nutrients. Prepartum DMI as a percentage of BW tended to increase with Cr-Met. Supplemental Cr-Met tended to increase milk yield whereas milk protein percentage decreased. Pre- and postpartum DMI, BW, net energy balance, milk yield, and milk composition were not affected by substituting ground barley with ground corn. The addition of Cr-Met increased prepartum DMI and tended to increase postpartum DMI of the BBD but not the CBD. The change in prepartum DMI was smaller when the BBD was supplemented with Cr-Met but remained unchanged when the CBD was supplemented with Cr-Met. Yields of crude protein and total solids in milk and prepartum digestibility of DM and organic matter tended to increase when Cr-Met was added to the BBD but remained unchanged when added to the CBD. Periparturient cows failed to respond to the grain source of the diet, whereas they showed greater response in milk yield to diets supplemented with Cr-Met. In conclusion, the present results demonstrate that the beneficial effect of Cr-Met supplementation during the periparturient period to improve feed intake may depend on the grain source of the diet.
Resumo:
ABSTRACT: BACKGROUND: In the frame of an eradication program for bovine viral diarrhea (BVD) in Swiss livestock, the question was raised whether free-ranging wildlife could threaten the success of this sanitary measure. Therefore, we conducted serological and virological investigations on BVD virus (BVDV) infections in the four indigenous wild ruminant species (roe deer, red deer, Alpine chamois and Alpine ibex) from 2009 to 2011, and gathered information on interactions between wild and domestic ruminants in an alpine environment by questionnaire survey. RESULTS: Thirty-two sera out of 1'877 (1.7%, 95% confidence interval [CI] 1.2-2.4) were seropositive for BVDV, and a BVDV1 sub genotype h virus was found in a seropositive chamois (0.05%, 95% CI 0.001-0.3). The seropositive animals originated from sub-alpine or alpine regions and significantly more seropositive red deer, chamois and ibex than roe deer were found. There were no statistically significant differences between sampling units, age classes, genders, and sampling years. The obtained prevalences were significantly lower than those documented in livestock, and most positive wild ruminants were found in proximity of domestic outbreaks. Additionally, BVDV seroprevalence in ibex was significantly lower than previously reported from Switzerland. The survey on interspecific interactions revealed that interactions expected to allow BVDV transmission, from physical contacts to non-simultaneous use of the same areas, regularly occur on pastures among all investigated ruminant species. Interactions involving cervids were more often observed with cattle than with small ruminants, chamois were observed with all three domestic species, and ibex interacted mostly with small ruminants. Interactions related to the use of anthropogenic food sources were frequently observed, especially between red deer and cattle in wintertime. CONCLUSIONS: To our knowledge, this is the first report of BVDV RNA isolated from an Alpine chamois. Nevertheless, our results suggest that BVDV infections are only sporadic in Swiss wild ruminants, despite regular occurrence of interactions with potentially infected livestock. Overall, serological, virological and ethological data indicate that wildlife is currently an incidental spill-over host and not a reservoir for BVDV in Switzerland.