875 resultados para Continuous constraint programming


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Since its introduction by Evans (1982), the generality constraint (GC) has been invoked by various philosophers for different purposes. Our purpose here is, first, to clarify what precisely the GC states by way of an interpretive framework, the GC Schema, and second, to demonstrate in terms of this framework some problems that arise if one invokes the GC (or systematicity) without clearly specifying an appropriate interpretation. By utilizing the GC Schema these sorts of problems can be avoided, and we thus propose it as a tool to facilitate argumentation that appeals to the GC.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis, simple methods have been sought to lower the teacher’s threshold to start to apply constructive alignment in instruction. From the phases of the instructional process, aspects that can be improved with little effort by the teacher have been identified. Teachers have been interviewed in order to find out what students actually learn in computer science courses. A quantitative analysis of the structured interviews showed that in addition to subject specific skills and knowledge, students learn many other skills that should be mentioned in the learning outcomes of the course. The students’ background, such as their prior knowledge, learning style and culture, affects how they learn in a course. A survey was conducted to map the learning styles of computer science students and to see if their cultural background affected their learning style. A statistical analysis of the data indicated that computer science students are different learners than engineering students in general and that there is a connection between the student’s culture and learning style. In this thesis, a simple self-assessment scale that is based on Bloom’s revised taxonomy has been developed. A statistical analysis of the test results indicates that in general the scale is quite reliable, but single students still slightly overestimate or under-estimate their knowledge levels. For students, being able to follow their own progress is motivating, and for a teacher, self-assessment results give information about how the class is proceeding and what the level of the students’ knowledge is.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present manuscript represents the completion of a research path carried forward during my doctoral studies in the University of Turku. It contains information regarding my scientific contribution to the field of open quantum systems, accomplished in collaboration with other scientists. The main subject investigated in the thesis is the non-Markovian dynamics of open quantum systems with focus on continuous variable quantum channels, e.g. quantum Brownian motion models. Non-Markovianity is here interpreted as a manifestation of the existence of a flow of information exchanged by the system and environment during the dynamical evolution. While in Markovian systems the flow is unidirectional, i.e. from the system to the environment, in non-Markovian systems there are time windows in which the flow is reversed and the quantum state of the system may regain coherence and correlations previously lost. Signatures of a non-Markovian behavior have been studied in connection with the dynamics of quantum correlations like entanglement or quantum discord. Moreover, in the attempt to recognisee non-Markovianity as a resource for quantum technologies, it is proposed, for the first time, to consider its effects in practical quantum key distribution protocols. It has been proven that security of coherent state protocols can be enhanced using non-Markovian properties of the transmission channels. The thesis is divided in two parts: in the first part I introduce the reader to the world of continuous variable open quantum systems and non-Markovian dynamics. The second part instead consists of a collection of five publications inherent to the topic.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Linear programming models are effective tools to support initial or periodic planning of agricultural enterprises, requiring, however, technical coefficients that can be determined using computer simulation models. This paper, presented in two parts, deals with the development, application and tests of a methodology and of a computational modeling tool to support planning of irrigated agriculture activities. Part I aimed at the development and application, including sensitivity analysis, of a multiyear linear programming model to optimize the financial return and water use, at farm level for Jaíba irrigation scheme, Minas Gerais State, Brazil, using data on crop irrigation requirement and yield, obtained from previous simulation with MCID model. The linear programming model outputted a crop pattern to which a maximum total net present value of R$ 372,723.00 for the four years period, was obtained. Constraints on monthly water availability, labor, land and production were critical in the optimal solution. In relation to the water use optimization, it was verified that an expressive reductions on the irrigation requirements may be achieved by small reductions on the maximum total net present value.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The target of the thesis is to improve product profitability control in continuous IT-services. Accurate product cost accounting and correctly allocated revenues are a necessity for good product profitability control. The focus of the study is on costs and revenues that are not traced directly to services. The thesis is focused on revenue allocations as revenue allocation methods have not been used in the case company before. In order to achieve the target revenue allocation methods, which improve the product profitability accounting and control, are presented. The research methods used in the thesis are literature review and empirical case study. The research approach is constructive. The theoretical part is composed of literature and articles that create a base for the empirical part. Internal interviews describe the current situation in the company and based on it development actions are planned. The part of the empirical case study is seen mostly in the limitations as the research is limited to concern only one department in the company. Problems in the revenue tracing are caused by customer specific services and lack of service definitions because of which the revenues are not traced correctly. Methods to allocate revenues are presented in the thesis and stand-alone revenue allocation method is the most suitable one because it is fair and it can be modified. Approximate product profitability analysis is done in the thesis and the results of it indicate that some services are profitable and some unprofitable.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis was part of lean adaptation project started at Outotec Lappeenranta factory in early 2013. The purpose of this thesis was to develop and propose lean tools that could be used in daily management, visual management and continuous improvement. This thesis was “outsiders” view, and as such, did not study the current processes deeply. As result of this thesis, two different Daily Management -boards were designed, one for parallel processes and one for sequential processes. In addition, methods of doing continuous improvement and daily task accountability were framed and standard work for the leaders outlined. The tools presented in this thesis are general tools which support work in lean environment. They are visual and, if used correctly, they provide a basis from which continuous improvement can be done. Lean philosophy emphasizes the deep understanding of the current situation and it would be against the lean principles to blindly implement anything developed “on the outside”. The tools presented should be reviewed and modified further by the people working on the factory floor.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents the development of a two-dimensional interactive software environment for structural analysis and optimization based on object-oriented programming using the C++ language. The main feature of the software is the effective integration of several computational tools into graphical user interfaces implemented in the Windows-98 and Windows-NT operating systems. The interfaces simplify data specification in the simulation and optimization of two-dimensional linear elastic problems. NURBS have been used in the software modules to represent geometric and graphical data. Extensions to the analysis of three-dimensional problems have been implemented and are also discussed in this paper.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Työn tavoitteena on sovittaa Qt opetussuunnitelmaan. Työ sisältää Qt:n lyhyen historian sekä katsauksen sen nykytilaan. Nykytilakatsaus sisältää kolme näkökulmaa: miten ja missä Qt:ta voidaan käyttää, sekä sen käyttötarkoitukset teollisuudessa ja opetuksessa. Työn tuloksena syntyy luentodemonstraatiota varten pieni ohjelma, joka on luotu C++:n ja Qt Designerin avulla ja käyttää olennaisia käyttöliittymäkirjaston olioita. Toisena tuotteena työssä syntyy luonnos Lappeenrannan Teknillisen Yliopiston ohjelmointikursseista, joissa Qt:ta voitaisiin käyttää avustamaan opiskelijoita näkemään, miten graafinen ohjelma luodaan sekä valmentaa heitä ymmärtämään viitekehyksien ja graafisten kirjastojen tuomat edut.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

ABSTRACT Maria Peltola Electrical status epilepticus during sleep – Continuous spikes and waves during sleep Department of Clinical Neurophysiology, University of Turku Department of Clinical Neurophysiology and Department of Pediatric Neurology, Children’s Hospital, Helsinki University Central Hospital Annales Universitatis Turkuensis, Medica-Odontologica, Turku, Finland, 2014 Background: Electrical status epilepticus during sleep (ESES) is an EEG phenomenon of frequent spikes and waves occurring in slow sleep. ESES relates to cognitive deterioration in heterogeneous childhood epilepsies. Validated methods to quantitate ESES are missing. The clinical syndrome, called epileptic encephalopathy with continuous spikes and waves during sleep (CSWS) is pharmacoresistant in half of the patients. Limited data exists on surgical treatment of CSWS. Aims and methods: The effects of surgical treatment were studied by investigating electroclinical outcomes in 13 operated patients (nine callosotomies, four resections) with pharmacoresistant CSWS and cognitive decline. Secondly, an objective paradigm was searched for assessing ESES by the semiautomatic quantification of spike index (SI) and measuring spike strength from EEG. Results: Postoperatively, cognitive deterioration was stopped in 12 (92%) patients. Three out of four patients became seizure-free after resective surgery. Callosotomy resulted in greater than 90% reduction of atypical absences in six out of eight patients. The preoperative propagation of ESES from one hemisphere to the other was associated with a good response. Semiautomatic quantification of SI was a robust method when the maximal interspike interval of three seconds was used to determine the “continuous” discharge in ten EEGs. SI of the first hour of sleep appeared representative of the whole night SI. Furthermore, the spikes’ root mean square was found to be a stable measure of spike strength when spatially integrated over multiple electrodes during steady NREM sleep. Conclusions: Patients with pharmacoresistant CSWS, based on structural etiology, may benefit from resective surgery or corpus callosotomy regarding both seizure outcome and cognitive prognosis. The semiautomated SI quantification, with proper userdefined settings and the new spatially integrated measure of spike strength, are robust and promising tools for quantifying ESES. Keywords: Electrical status epilepticus during sleep, ESES, continuous spikes and waves during sleep, CSWS, epilepsy surgery, spike index, spike strength, RMS TIIVISTELMÄ Maria Peltola Unenaikainen sähköinen status epilepticus Kliininen neurofysiologia, Turun yliopisto Kliininen neurofysiologia ja lastenneurologia, Lasten ja nuorten sairaala, Helsingin yliopistollinen keskussairaala Annales Universitatis Turkuensis, Medica-Odontologica, Turku, Suomi, 2014 Tausta: Sähköinen status epilepticus unessa (ESES) on aivosähkökäyrä (EEG)-ilmiö, jossa hidasaaltounen aikana esiintyy tiheä piikkihidasaaltopurkaus. ESES:n kvantifioimiseen ei ole olemassa validoituja menetelmiä. ESES on liitetty kognitiivisen tason laskuun ja tällöin puhutaan CSWS (continuous spikes and waves during sleep) - oireyhtymästä. CSWS ei vastaa lääkehoitoon puolella potilaista ja sen epilepsiakirurgisesta hoidosta on olemassa vain vähän tietoa. Tavoitteet ja menetelmät: Selvitimme retrospektiivisesti epilepsiakirurgian vaikusta elektrokliinisiin löydöksiin 13:lla lääkeresistenttiä CSWS-oireyhtymää sairastavalla lapsella, joilla oli rakenteellinen aivojen poikkeavuus. Toinen tavoite oli löytää objektiivinen puoliautomaattinen tapa mitata purkauksen määrää ja piikkien voimakkuutta EEG:stä. Tulokset: Kognitiivisen tason jatkuva heikentyminen loppui 12 (92 %) potilaalla leikkauksen jälkeen. Kolme neljästä resektiopotilaasta tuli kohtauksettomaksi. Kallosotomian jälkeen kuudella kahdeksasta potilaasta päivittäiset kohtaukset vähenivät yli 90 %:lla. Purkauksen leviäminen leikkausta edeltävästi vain yhdestä hemisfääristä toiseen liittyi hyvään leikkaushoitovasteeseen. Piikki-indeksi, jossa käytetään jatkuvan purkauksen määritelmänä maksimissaan kolmea sekuntia piikkien välillä, osoittautui luotettavaksi menetelmäksi ESES:n kvantifioimiseen. Useammasta elektrodista integroitu piikkien neliöllinen keskiarvo oli piikin voimakkuuden vakaa mitta häiriintymättömässä NREM-unessa. Päätelmät: Lääkehoidolle vastaamatonta CSWS:ää sairastavat potilaat, joilla on rakenteellinen aivopoikkeavuus ja yhdensuuntainen purkauksen leviämismalli, näyttävät kohtausten vähenemisen lisäksi hyötyvän epilepsiakirurgiasta kognitiivisesti. Puoliautomaattinen piikki-indeksin kvantifiointi sopivilla käyttäjäasetuksilla ja uusi spatiaalisesti integroitu piikin voimakkuuden mittari ovat stabiileja ja lupaavia ESES:n kvantitatiivisia mittareita. Avainsanat: Unenaikainen sähköinen status epilepticus, ESES, CSWS, epilepsiakirurgia, piikki-indeksi, piikin voimakkuus, neliöllinen keskiarvo

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In today’s knowledge intense economy the human capital is a source for competitive advantage for organizations. Continuous learning and sharing the knowledge within the organization are important to enhance and utilize this human capital in order to maximize the productivity. The new generation with different views and expectations of work is coming to work life giving its own characteristics on learning and sharing. Work should offer satisfaction so that the new generation employees would commit to organizations. At the same time organizations have to be able to focus on productivity to survive in the competitive market. The objective of this thesis is to construct a theory based framework of productivity, continuous learning and job satisfaction and further examine this framework and its applications in a global organization operating in process industry. Suggestions for future actions are presented for this case organization. The research is a qualitative case study and the empiric material was gathered by personal interviews concluding 15 employee and one supervisor interview. Results showed that more face to face interaction is needed between employees for learning because much of the knowledge of the process is tacit and so difficult to share in other ways. Offering these sharing possibilities can also impact positively to job satisfaction because they will increase the sense of community among employees which was found to be lacking. New employees demand more feedback to improve their learning and confidence. According to the literature continuous learning and job satisfaction have a relative strong relationship on productivity. The employee’s job description in the case organization has moved towards knowledge work due to continuous automation and expansion of the production process. This emphasizes the importance of continuous learning and means that productivity can be seen also from quality perspective. The normal productivity output in the case organization is stable and by focusing on the quality of work by improving continuous learning and job satisfaction the upsets in production can be handled and prevented more effectively. Continuous learning increases also the free human capital input and utilization of it and this can breed output increasing innovations that can increase productivity in long term. Also job satisfaction can increase productivity output in the end because employees will work more efficiently, not doing only the minimum tasks required. Satisfied employees are also found participating more in learning activities.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Estimates of genetic and phenotypic parameters were obtained by using data from families of a recurrent selection program in rice. An experiment using population CNA-IRAT 4ME/1/1 was conducted at two locations (Lambari and Cambuquira) in the State of Minas Gerais, Brazil. At Lambari, families S0:2 and S0:3 were assessed during crop seasons 1992/1993 and 1993/1994, respectively. In the Cambuquira trial, only S0:3 families were tested in 1993/1994. The experimental design was a 10 x 10 lattice with three replications. The following traits were assessed: grain yield (GY), mean number of days to flowering (FL), plant height (PH), and the incidence of neck blast (NB) caused by Pyricularia grisea and grain staining (GS) caused by Drechslera oryzae. This population proved to be promising for recurrent selection, as it had high average yield and genetic variability. Heritability estimates obtained using variance components were generally greater than estimates of realized heritability, and heritability obtained by parent-offspring regression

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the present investigation we studied some behavioral and immunological parameters of adult gastropod mollusk, Biomphalaria tenagophila, which have been reproducing for several generations under laboratory conditions. One group of gastropods was kept on a 14-h light/10-h dark cycle, corresponding to a regular circadian cycle, and another group was exposed to continuous light for 48 h. Animals were studied along (behavioral groups) or immediately after (immunological groups) 48 h of regular circadian cycle or continuous light conditions. Stopping/floating, dragging and sliding were the behavioral aspects considered (N = 20 for regular cycle; N = 20 for continuous illumination) and number of hemocytes/µl hemolymph was the immunological parameter studied (N = 15 for regular cycle, N = 14 for continuous illumination). Animals under continuous illumination were more active (sliding = 33 episodes, dragging = 48 episodes) and displayed a lower number of hemocytes (78.0 ± 24.27/µl) when compared with mollusks kept on a regular circadian cycle (sliding = 18 episodes, dragging = 27 episodes; hemocytes = 157.6 ± 53.27/µl). The data are discussed in terms of neural circuits and neuroimmunological relations with the possible stressful effect of continuous illumination.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This article reports on the design and characteristics of substrate mimetics in protease-catalyzed reactions. Firstly, the basis of protease-catalyzed peptide synthesis and the general advantages of substrate mimetics over common acyl donor components are described. The binding behavior of these artificial substrates and the mechanism of catalysis are further discussed on the basis of hydrolysis, acyl transfer, protein-ligand docking, and molecular dynamics studies on the trypsin model. The general validity of the substrate mimetic concept is illustrated by the expansion of this strategy to trypsin-like, glutamic acid-specific, and hydrophobic amino acid-specific proteases. Finally, opportunities for the combination of the substrate mimetic strategy with the chemical solid-phase peptide synthesis and the use of substrate mimetics for non-peptide organic amide synthesis are presented.