924 resultados para bound periodicals
Resumo:
A family of quadratic programming problems whose optimal values are upper bounds on the independence number of a graph is introduced. Among this family, the quadratic programming problem which gives the best upper bound is identified. Also the proof that the upper bound introduced by Hoffman and Lovász for regular graphs is a particular case of this family is given. In addition, some new results characterizing the class of graphs for which the independence number attains the optimal value of the above best upper bound are given. Finally a polynomial-time algorithm for approximating the size of the maximum independent set of an arbitrary graph is described and the computational experiments carried out on 36 DIMACS clique benchmark instances are reported.
Resumo:
Discrete optimization problems are very difficult to solve, even if the dimention is small. For most of them the problem of finding an ε-approximate solution is already NP-hard. The branch-and-bound algorithms are the most used algorithms for solving exactly this sort of problems.
Resumo:
Discrete optimization problems are very difficult to solve, even if the dimantion is small. For most of them the problem of finding an ε-approximate solution is already NP-hard.
Resumo:
In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.
The utilization bound of non-preemptive rate-monotonic scheduling in controller area networks is 25%
Resumo:
Consider a distributed computer system comprising many computer nodes, each interconnected with a controller area network (CAN) bus. We prove that if priorities to message streams are assigned using rate-monotonic (RM) and if the requested capacity of the CAN bus does not exceed 25% then all deadlines are met.
Resumo:
Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).
Resumo:
This paper studies static-priority preemptive scheduling on a multiprocessor using partitioned scheduling. We propose a new scheduling algorithm and prove that if the proposed algorithm is used and if less than 50% of the capacity is requested then all deadlines are met. It is known that for every static-priority multiprocessor scheduling algorithm, there is a task set that misses a deadline although the requested capacity is arbitrary close to 50%.
Resumo:
Considering tobacco smoke as one of the most health-relevant indoor sources, the aim of this work was to further understand its negative impacts on human health. The specific objectives of this work were to evaluate the levels of particulate-bound PAHs in smoking and non-smoking homes and to assess the risks associated with inhalation exposure to these compounds. The developed work concerned the application of the toxicity equivalency factors approach (including the estimation of the lifetime lung cancer risks, WHO) and the methodology established by USEPA (considering three different age categories) to 18 PAHs detected in inhalable (PM10) and fine (PM2.5) particles at two homes. The total concentrations of 18 PAHs (ΣPAHs) was 17.1 and 16.6 ng m−3 in PM10 and PM2.5 at smoking home and 7.60 and 7.16 ng m−3 in PM10 and PM2.5 at non-smoking one. Compounds with five and six rings composed the majority of the particulate PAHs content (i.e., 73 and 78 % of ΣPAHs at the smoking and non-smoking home, respectively). Target carcinogenic risks exceeded USEPA health-based guideline at smoking home for 2 different age categories. Estimated values of lifetime lung cancer risks largely exceeded (68–200 times) the health-based guideline levels at both homes thus demonstrating that long-term exposure to PAHs at the respective levels would eventually cause risk of developing cancer. The high determined values of cancer risks in the absence of smoking were probably caused by contribution of PAHs from outdoor sources.
Resumo:
Human chorionic gonadotropin (hCG) is a key diagnostic marker of pregnancy and an important biomarker for cancers in the prostate, ovaries and bladder and therefore of great importance in diagnosis. For this purpose, a new immunosensor of screen-printed electrodes (SPEs) is presented here. The device was fabricated by introducing a polyaniline (PANI) conductive layer, via in situ electropolymerization of aniline, onto a screen-printed graphene support. The PANI-coated graphene acts as the working electrode of a three terminal electrochemical sensor. The working electrode is functionalised with anti-hCG, by means of a simple process that enabled oriented antibody binding to the PANI layer. The antibody was attached to PANI following activation of the –COOH group at the Fc terminal. Functionalisation of the electrode was analysed and optimized using Electrochemical Impedance Spectroscopy (EIS). Chemical modification of the surface was characterised using Fourier transform infrared, and Raman spectroscopy with confocal microscopy. The graphene–SPE–PANI devices displayed linear responses to hCG in EIS assays from 0.001 to 50 ng mL−1 in real urine, with a detection limit of 0.286 pg mL−1. High selectivity was observed with respect to the presence of the constituent components of urine (urea, creatinine, magnesium chloride, calcium chloride, sodium dihydrogen phosphate, ammonium chloride, potassium sulphate and sodium chloride) at their normal levels, with a negligible sensor response to these chemicals. Successful detection of hCG was also achieved in spiked samples of real urine from a pregnant woman. The immunosensor developed is a promising tool for point-of-care detection of hCG, due to its excellent detection capability, simplicity of fabrication, low-cost, high sensitivity and selectivity.
Resumo:
This study examined how Outward Bound Western Canada (OBWC) course outcomes are achieved by exploring the relationships among course components, students' characteristics, and course outcomes. OBWC is a wilderness-based adventure education organization that helps students achieve outcomes such as increased self-awareness, self-confidence, motivation, interpersonal skills, concern for others, and concern for the environment. This study explored the ways in which the various components of courses and the characteristics of students contribute to determining the outcomes students experience as a result of their courses. The purpose of the study was to gain a better understanding of how OBWC course outcomes are achieved in order to strengthen adventure education theory, enhance practice at OBWC and other adventure education organizations, and provide a foundation for further research on this topic. As an interpretive case study, this study sought to describe how OBWC course outcomes are achieved and to provide interpretations of the research findings. Data was gathered from OBWC students and instructors using the quantitative and qualitative data collection techniques of questionnaire, interview, and observation. Data collected from 98 participants ensured a considerable breadth to the study, while interviews with a number of participants also enabled the collection of in-depth data. Analysis and triangulation of the data from the various sources allowed discernment of the research findings. A comprehensive and detailed picture of how course outcomes are achieved emerged from the findings. Twenty-nine course components were found to influence course outcomes, including various aspects of course activities, the physical environment, instructors, and the group. The findings indicated that certain course components were most influential in determining increases to students' self-awareness, self-confidence, self-reliance, self-esteem, self-concept, motivation, self-responsibility, interpersonal skills, concern for others, and concern for the environment. A number of course components were found to indirectly contribute to positive course outcomes by helping maximize the effectiveness of other components, by increasing students' motivation while on course, or by facilitating the processing and transference of new information. The findings also suggested that several course components either directly or indirectly affected course outcomes in negative ways. In addition, the gender, age, population, and expectations of students were found to play a role in determining the course outcomes they experienced and in determining which course components caused those outcomes. Interpretation of the findings resulted in the generation of research-based theory. The main theoretical argument derived from the results of the study was that course outcomes are influenced by a combination of course components and characteristics of students. More specifically, the theory generated by the study indicated that five groupings of factors contribute to course outcomes, including course activities, the physical environment, instructors, the group, and students' characteristics. The study was considered in relation to existing adventure education literature and larger theoretical issues. The generated theory and research findings were then used to develop suggestions for improving practice at OBWC and other adventure education organizations, as well as for enhancing future research studies.
Resumo:
This project examines students in a private school in southwestern Ontario on a 17 -day Costa Rica Outward Bound Rainforest multielement course. The study attempted to discover whether voluntary teenage participants could increase their self-perceptions of life effectiveness by participating in a 17-day expedition. A total of9 students participated in the study. The experimental design that was implemented was a mixed methods design. Participants filled in a Life Effectiveness Questionnaire (LEQ) at four predesignated times during the study. These time intervals occurred (a) before the trip commenced, (b) the first day of the trip, ( c) the last day of the trip, and (d) 1 month after the trip ended. Fieldnotes and recordings from informal group debriefing sessions were also used to gather information. Data collected in this study were analyzed in a variety of ways by the researcher. Analyses that were run on the data included the Friedman test for covariance, means, medians, and the Wilcoxon Pairs Test. The questionnaires were analyzed quantitatively, and the fieldnotes were analyzed qualitatively. Nonparametric statistical analysis was implemented as a result of the small group size of participants. Both sets of data were grouped and discussed according to similarities and differences. The data indicate that voluntary teenage participants experience significant changes over time in the areas of time management, social competency, emotional control, active initiative, and self-confidence. The types of outcomes from this study illustrate that Outward Bound-type opportunities should be offered to teenagers in Ontario schools as a means to bring about self-development.
Resumo:
The Gentleman's Magazine and Historical Chronicle was a monthly periodical published in England during the years of 1736-1833. The volumes of interest from 1812-1815 were written and compiled by Sylvanus Urban, Gentleman. These volumes were Printed in London by Nichols, Son and Bentley at Cicero's Head, Red Lion Passage and Fleet Street. Click on the pdf links to the right to view the monthly issue. This bound volume has been divided by months. The page divisions are as listed. Index pages 673-700 January pages 1-96 February pages 97-192 March pages 193-296 April pages 297-400 Prefix to May pages 401-408 * May pages 401-504 June pages 505-600 Supplement pages 601-672 *Pages 401-408 are duplicated. Please check both the Prefix to May and May for these pages listed in the Index.
Resumo:
The Gentleman's Magazine and Historical Chronicle was a monthly periodical published in England during the years of 1736-1833. The volumes of interest from 1812-1815 were written and compiled by Sylvanus Urban, Gentleman. These volumes were Printed in London by Nichols, Son and Bentley at Cicero's Head, Red Lion Passage and Fleet Street. Click on the pdf links to the right to view the monthly issue. This bound volume has been divided by months. The page divisions are as listed. Index pages 673-700 January pages 1-96 February pages 97-192 March pages 193-296 April pages 297-400 Prefix to May pages 401-408 * May pages 401-504 June pages 505-600 Supplement pages 601-672 *Pages 401-408 are duplicated. Please check both the Prefix to May and May for these pages listed in the Index.
Resumo:
The Gentleman's Magazine and Historical Chronicle was a monthly periodical published in England during the years of 1736-1833. The volumes of interest from 1812-1815 were written and compiled by Sylvanus Urban, Gentleman. These volumes were Printed in London by Nichols, Son and Bentley at Cicero's Head, Red Lion Passage and Fleet Street. Click on the pdf links to the right to view the monthly issue. This bound volume has been divided by months. The page divisions are as listed. Index pages 673-700 January pages 1-96 February pages 97-192 March pages 193-296 April pages 297-400 Prefix to May pages 401-408 * May pages 401-504 June pages 505-600 Supplement pages 601-672 *Pages 401-408 are duplicated. Please check both the Prefix to May and May for these pages listed in the Index.
Resumo:
The Gentleman's Magazine and Historical Chronicle was a monthly periodical published in England during the years of 1736-1833. The volumes of interest from 1812-1815 were written and compiled by Sylvanus Urban, Gentleman. These volumes were Printed in London by Nichols, Son and Bentley at Cicero's Head, Red Lion Passage and Fleet Street. Click on the pdf links to the right to view the monthly issue. This bound volume has been divided by months. The page divisions are as listed. Index pages 673-700 January pages 1-96 February pages 97-192 March pages 193-296 April pages 297-400 Prefix to May pages 401-408 * May pages 401-504 June pages 505-600 Supplement pages 601-672 *Pages 401-408 are duplicated. Please check both the Prefix to May and May for these pages listed in the Index.