900 resultados para Hard combinatorial scheduling
Resumo:
William Whewell's and Richard Jones's criticism of Jeremy Bentham's and David Ricardo's "dismal" views on the relation of theory and evidence in political economy was motivated by the former's views on the structuring role of natural theology for questions of method and evidence in the sciences, including political economy. In comparison, natural theology was for Richard Whately as structuring on these issues as it was for the Cambridge men. Whately's view on natural theology, however, conformed with the Ricardian predilection for theory over facts. The differences between the Cambridge men and Whately became manifest after (or better: during) the publication of Jones's book on rent in 1831 and led to a somewhat acerbic exchange of views on the role of definitions in science and the use of history for establishing scientific evidence. As far as political economy was concerned, Whately's stance carried the day in Victorian England.
Resumo:
This thesis is done as a complementary part for the active magnet bearing (AMB) control software development project in Lappeenranta University of Technology. The main focus of the thesis is to examine an idea of a real-time operating system (RTOS) framework that operates in a dedicated digital signal processor (DSP) environment. General use real-time operating systems do not necessarily provide sufficient platform for periodic control algorithm utilisation. In addition, application program interfaces found in real-time operating systems are commonly non-existent or provided as chip-support libraries, thus hindering platform independent software development. Hence, two divergent real-time operating systems and additional periodic extension software with the framework design are examined to find solutions for the research problems. The research is discharged by; tracing the selected real-time operating system, formulating requirements for the system, and designing the real-time operating system framework (OSFW). The OSFW is formed by programming the framework and conjoining the outcome with the RTOS and the periodic extension. The system is tested and functionality of the software is evaluated in theoretical context of the Rate Monotonic Scheduling (RMS) theory. The performance of the OSFW and substance of the approach are discussed in contrast to the research theme. The findings of the thesis demonstrates that the forged real-time operating system framework is a viable groundwork solution for periodic control applications.
Resumo:
This study aims to develop and evaluate formulations containing ampicillin in capsules of gelatin and hydroxypropyl methylcellulose (HPMC). Two formulations (A and B) were developed. The final product quality was evaluated by testing for quality control and the results were in agreement with the Brazilian Pharmacopoeia. The formulations with HPMC capsules showed lower percentages of drug dissolved (99.67%, HPMC-A and 87.70%, HPMC-B) than the gelatin (100.18%, GEL-A and 101.16% GEL-B). Because of the delay of the ampicillin release observed in the dissolution profiles, it becomes necessary to evaluate the drugs that can be conditioned in the HPMC capsules.
Resumo:
The mild anodization (MA) reactor is exemplified for its operational simplicity and its excellent control over the experimental parameters that are involved in the anodization process. This method provides porous anodic alumina films with a regular cell-arrangement structure. This offers a better cost-benefit ratio than the other equipment configurations that are used to fabricate nanoporous structures (i.e., ion beam lithography). Conversely, the hard anodization (HA) reactor produces oxides at a rate that is 25 to 35 times faster than the MA reactor. The produced oxides also have greater layer thicknesses and interpore distance, and with a uniform nanopore spatial order (> 1000). In contrast to MA reactors, the construction of an HA reactor requires special components to maintain anodisation at a high potential regime. Herein, we describe and compare both reactors from a technical viewpoint.
Resumo:
Nanocellulose has much potential for enhancing the tensile strength of paper but it slows down significantly drainage, restricting its use in industrial scale. Main objective of the work was to find ways to improve the dewatering of nanocellulose-containing papers. The effects of cationic potato starch, microparticle system and filler addition on dewatering and such key properties as formation, tensile strength and air permeance of manufactured paper were studied. Test points had 0, 4 or 8 % CNF and 0, 15 or 30 % PCC content. Based on earlier studies, 25 mg/g starch dosage was added to some test points. Modern microparticle system, consisted of cationic polyacrylamide and amorphous silica, was used in few test points. Dosages for both components were 0.3 and 0.6 mg/g, following the recommendations of the supplier. Also, the influences of CNF and filler on drying behaviour after different stages (drainage, wet pressing and cylinder drying) were estimated. Following trends were observed. Starch does not have unambiguous influence on dewatering. In some cases, it improved drainage slightly but effects on the properties of end product were discovered small. Filler quickened dewatering but large proportions were noticed to be detrimental for the drainage, air permeance and tensile strength. Microparticle system improved drainage notably, especially if CNF dosage was high. In addition, microparticle system increased tensile strength and decreased air permeance. However, its effects on formation were detrimental. Dewatering of nanocellulose-containing furnishes is treatable up to a certain point. In the end, such drainage times that were measured from test points which consisted only of pure kraft pulps are awkward to reach.
Resumo:
Föräldraskap upplevs som en utmanande uppgift i dag och det påstås att föräldrar oftare än förr skulle var i behov av råd och stöd beträffande barnuppfostran. Denna uppgift kan ytterligare försvåras om det i familjen finns ett hyperaktivt okoncentrerat barn att uppfostra. Detta arbete undersökte effekterna av ett kortvarigt gruppbaserat interventionsprogram benämnt Familjeskolan POP (Preschool Overactivity Programme). Familjeskolan är avsedd för familjer med barn i lekåldern, som visar beteendesvårigheter såsom ADHD (Attention Deficit Hyperactivity Disorder), ODD (Oppositional Deficit Disorder) eller CD (Conduct Disorder). Målet för Familjeskolan är att öka föräldrarnas kunskaper och självförtroende då de har ett krävande svårhanterligt barn att uppfostra. Familjeskolan strävar också till att reducera barns icke-önskvärda beteenden genom att öka deras sociala färdigheter och koncentrationsförmåga. Familjeskolan verkställdes i Helsingfors vid ADHD- centrets lokaliteter. 45 mödrar och deras barn från huvudstadsregionen deltog i denna undersökning. Av dessa deltog 33 i Familjeskola-programmet medan de 12 övriga bildade den s.k. kontrollgruppen. Undersökningsresultaten tyder på förbättringar beträffande både moderns och faderns föräldrakunskaper efter Familjeskola-interventionen. Det är att lägga märke till att enbart mödrar deltog i interventionsprogrammet. Efter programmet klarade mödrar enligt egen utsaga vardagen bättre. Speciellt hade de blivit bättre på att hantera barnens beteendesvårigheter och hyperaktivt okoncentrerat beteende. Resultaten påvisade också att programmet var effektivast för de mödrar som före Familjeskolan upplevde sig besitta ringa föräldrakunskaper. Mödrarna rapporterade en signifikant minskning i barnens totala beteendesvårigheter. Efter interventionen ansåg mödrarna att deras barn var mindre olydiga, hyperaktiva samt att deras beteendesvårigheter var lindrigare. Enligt dagvårdspersonalen hade barnens totala beteendesvårigheter och problem med koncentration och hyperaktivitet också minskat. Motsvarande förbättringar uppnåddes inte i kontrollgruppen. Resultaten från uppföljningsintervjun, visade också att barnens beteendeförändringar var bestående både hemma och i daghemmet. Både föräldrar och dagvårdspersonalen rapporterade en signifikant minskning i barnens totala svårigheter jämfört med innan familjerna påbörjade interventionen. Föräldrarna rapporterade en marginell minskning i barnens ADHD-liknande beteende, beteendesvårigheter och i svårigheter med kamrater, dagvårdspersonalen däremot rapporterade en signifikant minskning i barnens beteendesvårigheter, hyperaktivt/okoncentrerat beteende samt i svårigheter med kamrater mellan innan familjerna påbörjade interventionen och uppföljningen ett år efter. Resultaten av denna undersökning stödjer hypotesen att kortvariga gruppbaserade interventionsprogram kan åstadkomma permanenta förbättringar i föräldrakunskaper och barns beteende. Detta gäller främst hyperaktivitet, koncentrationssvårigheter och trotsighet.
Researching Manufacturing Planning and Control system and Master Scheduling in a manufacturing firm.
Resumo:
The objective of this thesis is to research Manufacturing Planning and Control (MPC) system and Master Scheduling (MS) in a manufacturing firm. The study is conducted at Ensto Finland Corporation, which operates on a field of electrical systems and supplies. The paper consists of theoretical and empirical parts. The empirical part is based on weekly operating at Ensto and includes inter-firm material analysis, learning and meetings. Master Scheduling is an important module of an MPC system, since it is beneficial on transforming strategic production plans based on demand forecasting into operational schedules. Furthermore, capacity planning tools can remarkably contribute to production planning: by Rough-Cut Capacity Planning (RCCP) tool, a MS plan can be critically analyzed in terms of available key resources in real manufacturing environment. Currently, there are remarkable inefficiencies when it comes to Ensto’s practices: the system is not able to take into consideration seasonal demand and react on market changes on time; This can cause significant lost sales. However, these inefficiencies could be eliminated through the appropriate utilization of MS and RCCP tools. To utilize MS and RCCP tools in Ensto’s production environment, further testing in real production environment is required. Moreover, data accuracy, appropriate commitment to adapting and learning the new tools, and continuous developing of functions closely related to MS, such as sales forecasting, need to be ensured.
Resumo:
The objective of this study was to verify the potential of SNAP III (Scheduling and Network Analysis Program) as a support tool for harvesting and wood transport planning in Brazil harvesting subsystem definition and establishment of a compatible route were assessed. Initially, machine operational and production costs were determined in seven subsystems for the study area, and quality indexes, construction and maintenance costs of forest roads were obtained and used as SNAP III program input data. The results showed, that three categories of forest road occurrence were observed in the study area: main, secondary and tertiary which, based on quality index, allowed a medium vehicle speed of about 41, 30 and 24 km/hours and a construction cost of about US$ 5,084.30, US$ 2,275.28 and US$ 1,650.00/km, respectively. The SNAP III program used as a support tool for the planning, was found to have a high potential tool in the harvesting and wood transport planning. The program was capable of defining efficiently, the harvesting subsystem on technical and economical basis, the best wood transport route and the forest road to be used in each period of the horizon planning.
Resumo:
This thesis studies the use of heuristic algorithms in a number of combinatorial problems that occur in various resource constrained environments. Such problems occur, for example, in manufacturing, where a restricted number of resources (tools, machines, feeder slots) are needed to perform some operations. Many of these problems turn out to be computationally intractable, and heuristic algorithms are used to provide efficient, yet sub-optimal solutions. The main goal of the present study is to build upon existing methods to create new heuristics that provide improved solutions for some of these problems. All of these problems occur in practice, and one of the motivations of our study was the request for improvements from industrial sources. We approach three different resource constrained problems. The first is the tool switching and loading problem, and occurs especially in the assembly of printed circuit boards. This problem has to be solved when an efficient, yet small primary storage is used to access resources (tools) from a less efficient (but unlimited) secondary storage area. We study various forms of the problem and provide improved heuristics for its solution. Second, the nozzle assignment problem is concerned with selecting a suitable set of vacuum nozzles for the arms of a robotic assembly machine. It turns out that this is a specialized formulation of the MINMAX resource allocation formulation of the apportionment problem and it can be solved efficiently and optimally. We construct an exact algorithm specialized for the nozzle selection and provide a proof of its optimality. Third, the problem of feeder assignment and component tape construction occurs when electronic components are inserted and certain component types cause tape movement delays that can significantly impact the efficiency of printed circuit board assembly. Here, careful selection of component slots in the feeder improves the tape movement speed. We provide a formal proof that this problem is of the same complexity as the turnpike problem (a well studied geometric optimization problem), and provide a heuristic algorithm for this problem.
Resumo:
Operation Musketeer, a combined joint Anglo-French operation aimed at regaining control of the Suez Canal in 1956, has received much attention from scholars. The most common approach to the crisis has been to examine the political dimension. The political events that led Prime Minister Anthony Eden’s cabinet to decide to use military force against the wishes of their superior American ally and in the face of American economic pressure and a Soviet threat to attack Paris and London with rockets have been analysed thoroughly. This is particularly the case because the ceasefire and eventual withdrawal were an indisputable defeat of British policy in the Middle East. The military operation not only ruined Prime Minister Eden’s career, but it also diminished the prestige of Britain. It was the beginning of the end, some claim. The British Empire would never be the same. As the consequences of using force are generally considered more important than the military operations themselves, very little attention has been paid to the military planning of Operation Musketeer. The difference between the number of publications on Operation Corporate of the Falklands War and Operation Musketeer is striking. Not only has there been little previous research on the military aspects of Musketeer, the conclusions drawn in the existing works have not reached a consensus. Some historians, such as Correlli Barnett, compare Musketeer to the utter failures of the Tudor landings and Gallipoli. Among significant politicians, Winston Churchill, who had retired from the prime ministership only a year before the Suez Crisis, described the operation as “the most ill-conceived and ill-executed imaginable”. Colin McInnes, a well-known author on British defence policy, represents the middle view when he describes the execution as “far from failure”. Finally, some, like Julian Thompson, the Commander of 3 Commando Brigade during the Falklands War, rate the military action itself as being successful. The interpretation of how successful the handling of the Suez Crisis was from the military point of view depends very much on the approach taken and the areas emphasised in the subject. Frequently, military operations are analysed in isolation from other events. The action of a country’s armed forces is separated from the wider context and evaluated without a solid point of comparison. Political consequences are often used as validated criteria, and complicated factors contributing to military performance are ignored. The lack of comprehensive research on the military action has left room for an analysis concentrating on the military side of the crisis.
Resumo:
The maintenance of electric distribution network is a topical question for distribution system operators because of increasing significance of failure costs. In this dissertation the maintenance practices of the distribution system operators are analyzed and a theory for scheduling maintenance activities and reinvestment of distribution components is created. The scheduling is based on the deterioration of components and the increasing failure rates due to aging. The dynamic programming algorithm is used as a solving method to maintenance problem which is caused by the increasing failure rates of the network. The other impacts of network maintenance like environmental and regulation reasons are not included to the scope of this thesis. Further the tree trimming of the corridors and the major disturbance of the network are not included to the problem optimized in this thesis. For optimizing, four dynamic programming models are presented and the models are tested. Programming is made in VBA-language to the computer. For testing two different kinds of test networks are used. Because electric distribution system operators want to operate with bigger component groups, optimal timing for component groups is also analyzed. A maintenance software package is created to apply the presented theories in practice. An overview of the program is presented.
Resumo:
Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.
Resumo:
The purpose of this thesis is twofold. The first and major part is devoted to sensitivity analysis of various discrete optimization problems while the second part addresses methods applied for calculating measures of solution stability and solving multicriteria discrete optimization problems. Despite numerous approaches to stability analysis of discrete optimization problems two major directions can be single out: quantitative and qualitative. Qualitative sensitivity analysis is conducted for multicriteria discrete optimization problems with minisum, minimax and minimin partial criteria. The main results obtained here are necessary and sufficient conditions for different stability types of optimal solutions (or a set of optimal solutions) of the considered problems. Within the framework of quantitative direction various measures of solution stability are investigated. A formula for a quantitative characteristic called stability radius is obtained for the generalized equilibrium situation invariant to changes of game parameters in the case of the H¨older metric. Quality of the problem solution can also be described in terms of robustness analysis. In this work the concepts of accuracy and robustness tolerances are presented for a strategic game with a finite number of players where initial coefficients (costs) of linear payoff functions are subject to perturbations. Investigation of stability radius also aims to devise methods for its calculation. A new metaheuristic approach is derived for calculation of stability radius of an optimal solution to the shortest path problem. The main advantage of the developed method is that it can be potentially applicable for calculating stability radii of NP-hard problems. The last chapter of the thesis focuses on deriving innovative methods based on interactive optimization approach for solving multicriteria combinatorial optimization problems. The key idea of the proposed approach is to utilize a parameterized achievement scalarizing function for solution calculation and to direct interactive procedure by changing weighting coefficients of this function. In order to illustrate the introduced ideas a decision making process is simulated for three objective median location problem. The concepts, models, and ideas collected and analyzed in this thesis create a good and relevant grounds for developing more complicated and integrated models of postoptimal analysis and solving the most computationally challenging problems related to it.
Resumo:
Primate order includes around 180 species. Morphological aspects of New World non-human primates (NHP) have been extensively investigated since last century. General commonsense describes oral cavity adaptations according to diet and feeding, dentition, tongue projection and head shape. Morphological appearance and dimension of the hard palate have been outstanding as interest in many species including man. Six young Saimiri sciureus hard palate were investigated. We measured the hard palate distance (HL), intercanine distance (ICD), intermolar distance (IMD), and interpremolar distance (IPD). Complete and incomplete palatine crests were quantified. We believe that better understanding of the mouth roof morphology will contribute to improve the management of captive animal's diet in order to re-introduce the animals in its habitat.