Global ETD Search

321	Risk-averse periodic preventive maintenance optimization Singh, Inderjeet,1978- 21 December 2011 (has links) We consider a class of periodic preventive maintenance (PM) optimization problems, for a single piece of equipment that deteriorates with time or use, and can be repaired upon failure, through corrective maintenance (CM). We develop analytical and simulation-based optimization models that seek an optimal periodic PM policy, which minimizes the sum of the expected total cost of PMs and the risk-averse cost of CMs, over a finite planning horizon. In the simulation-based models, we assume that both types of maintenance actions are imperfect, whereas our analytical models consider imperfect PMs with minimal CMs. The effectiveness of maintenance actions is modeled using age reduction factors. For a repairable unit of equipment, its virtual age, and not its calendar age, determines the associated failure rate. Therefore, two sets of parameters, one describing the effectiveness of maintenance actions, and the other that defines the underlying failure rate of a piece of equipment, are critical to our models. Under a given maintenance policy, the two sets of parameters and a virtual-age-based age-reduction model, completely define the failure process of a piece of equipment. In practice, the true failure rate, and exact quality of the maintenance actions, cannot be determined, and are often estimated from the equipment failure history. We use a Bayesian approach to parameter estimation, under which a random-walk-based Gibbs sampler provides posterior estimates for the parameters of interest. Our posterior estimates for a few datasets from the literature, are consistent with published results. Furthermore, our computational results successfully demonstrate that our Gibbs sampler is arguably the obvious choice over a general rejection sampling-based parameter estimation method, for this class of problems. We present a general simulation-based periodic PM optimization model, which uses the posterior estimates to simulate the number of operational equipment failures, under a given periodic PM policy. Optimal periodic PM policies, under the classical maximum likelihood (ML) and Bayesian estimates are obtained for a few datasets. Limitations of the ML approach are revealed for a dataset from the literature, in which the use of ML estimates of the parameters, in the maintenance optimization model, fails to capture a trivial optimal PM policy. Finally, we introduce a single-stage and a two-stage formulation of the risk-averse periodic PM optimization model, with imperfect PMs and minimal CMs. Such models apply to a class of complex equipment with many parts, operational failures of which are addressed by replacing or repairing a few parts, thereby not affecting the failure rate of the equipment under consideration. For general values of PM age reduction factors, we provide sufficient conditions to establish the convexity of the first and second moments of the number of failures, and the risk-averse expected total maintenance cost, over a finite planning horizon. For increasing Weibull rates and a general class of increasing and convex failure rates, we show that these convexity results are independent of the PM age reduction factors. In general, the optimal periodic PM policy under the single-stage model is no better than the optimal two-stage policy. But if PMs are assumed perfect, then we establish that the single-stage and the two-stage optimization models are equivalent. / text Risk-averse Periodic preventive maintenance Two-stage optimization Risk-averse cost Corrective maintenance Preventive maintenance Risk-neutral Bayesian approach Age reduction factors Maintenance effectiveness Virtual age Kijima-I Kijima-II Effective age Increasing failure rate Time to first system failures Likelihood function Parameter estimation Simulation-based optimization Gibbs sampler Efficient algorithm As Good As New As Good As Old Minimal repair PM CM Risk averse maintenance cost Computational results Nonhomogenous poisson process Imperfect repair Imperfect PM Perfect PM Finite planning horizon Nuclear power plant Bayesian methods Prior Posterior ROCOF Rate of occurrence of failures
322	古代日本語における述語形容詞化用法としての名詞修飾機能に関する統語構造論的研究釘貫, 亨 04 1900 (has links) 科学研究費補助金研究種目:基盤研究(C) 課題番号:16520276 研究代表者:釘貫亨研究期間:2004-2007年度 intransitive verb old Japanese passive voice sentence past particle perfect present particle transitive verb voice おを所属弁ボイスヴォイス五十音図他動詞受け身受け身助辞受け身文受動形式名詞修飾完了辞リ・タリ形容詞的用法能動形式自他対応自動詞自動詞と他動詞連休修飾過去分詞
323	Návrh zavedení štíhlé výroby v průmyslovém podniku / The proposal of lean production implementation in a industrial enterprise Nachtmann, Pavel January 2009 (has links) This master´s thesis describes the production process in Japanese enterprise Daikin Device Czech Republic s.r.o. with emphasis on the production schedule, equipment and manufacturing system with elements of lean production. According to the production process analysis at the given production line a new solution of the production process has been suggested to increase production efficiency. This conception has been implemented and compared to the production process before, as well as to the assumed production process after increasing the efficiency.
324	Prefix ex- u latinských sloves a jeho aspektová funkce / Latin Verbal Prefix ex- in Regard of Aspect Vaníková, Martina January 2019 (has links) Prefix ex- u latinských sloves a jeho aspektová funkce Latin Verbal Prefix ex- in Regard of Aspect - disertační práce - Mgr. Martina Vaníková Summary The proposed thesis titled Latin Verbal Prefix ex- in Regard of Aspect is a pilot study that deals with the ways of expressing aspect in Latin, which is based on the detailed analysis of the functions of the verbal prefix ex- as one of the important components of this category. It also tries to find the method for the future research on the matter. In the theoretical part of the thesis the author gives summary of existing theories on aspect in general, with special attention given to the theories on aspect in the Czech and Latin language. The author defines the terms "aspect", "Aktionsart" and "situation type" at great length, and she particularly sets light to the term "telicity", distinguishing the "inherent telicity" from "maximizing". The practical part consist of: 1. a detailed analysis of all the occurrences of the indicative imperfect of the verbs with the prefix ex- from the corpus, which comprises of all well-preserved Latin texts from Plautus to Cicero; 2. an analysis of the indicative future and present tense forms of the selected verbs with the prefix ex-. Based on the analysis of the imperfect, the author verifies her hypothesis that the prefix...
325	A plm implementation for aerospace systems engineering-conceptual rotorcraft design Hart, Peter Bartholomew 08 April 2009 (has links) The thesis will discuss the Systems Engineering phase of an original Conceptual Design Engineering Methodology for Aerospace Engineering-Vehicle Synthesis. This iterative phase is shown to benefit from digitization of Integrated Product&Process Design (IPPD) activities, through the application of Product Lifecycle Management (PLM) technologies. Requirements analysis through the use of Quality Function Deployment (QFD) and 7 MaP tools is explored as an illustration. A "Requirements Data Manager" (RDM) is used to show the ability to reduce the time and cost to design for both new and legacy/derivative designs. Here the COTS tool Teamcenter Systems Engineering (TCSE) is used as the RDM. The utility of the new methodology is explored through consideration of a legacy RFP based vehicle design proposal and associated aerospace engineering. The 2001 American Helicopter Society (AHS) 18th Student Design Competition RFP is considered as a starting point for the Systems Engineering phase. A Conceptual Design Engineering activity was conducted in 2000/2001 by Graduate students (including the author) in Rotorcraft Engineering at the Daniel Guggenheim School of Aerospace Engineering at the Georgia Institute of Technology, Atlanta GA. This resulted in the "Kingfisher" vehicle design, an advanced search and rescue rotorcraft capable of performing the "Perfect Storm" mission, from the movie of the same name. The associated requirements, architectures, and work breakdown structure data sets for the Kingfisher are used to relate the capabilities of the proposed Integrated Digital Environment (IDE). The IDE is discussed as a repository for legacy knowledge capture, management, and design template creation. A primary thesis theme is to promote the automation of the up-front conceptual definition of complex systems, specifically aerospace vehicles, while anticipating downstream preliminary and full spectrum lifecycle design activities. The thesis forms a basis for additional discussions of PLM tool integration across the engineering, manufacturing, MRO and EOL lifecycle phases to support business management processes. Teamcenter systems engineering Teamcenter community Teamcenter unified Teamcenter engineering Teamcenter manufacturing CATIA V5 Rotorcraft design Boeing AHS Joint heavy lift VPLM MBOM EBOM Product change control Product definition Configuration management Product structure architecture Design engineering Aerospace engineering System engineering PLM CIE IDE SE Affordability Cost savings Executive helicopter Joint chiefs of staff Marine CAE CAD CAM CAA MDO RSM DOE Consulting Engineering management Perfect storm Engineering software Requirements data management CATIA V4 NX Engineering communications RFP Digitization Air Force Navy Army BAMS FIPER ACSYNT Sikorsky Bell Georgia Tech Engineering methodology Requirements engineering System engineering Search Rescue IDE Integrated digital environment Kingfisher Search and rescue Helicopter Helicopter engineering QFD Legacy design IPPD Quality engineering Defense systems acquisition Coast Guard Decision support systems Rotors (Helicopters) Design Concurrent engineering
326	Calcul flottant haute performance sur circuits reconfigurables / High-performance floating-point computing on reconfigurable circuits Pasca, Bogdan Mihai 21 September 2011 (has links) De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes. / Due to their potential performance and unmatched flexibility, FPGA-based accelerators are part of more and more high-performance computing systems. However, exploiting this flexibility for accelerating floating-point computations by manually using classical circuit description languages (VHDL or Verilog) is very difficult, and sometimes impossible. This thesis has contributed to the development of the FloPoCo software, a C++ framework for describing flexible FPGA-specific arithmetic operators. This framework explicitly separates the description of the combinatorial functionality of an arithmetic operator, and its pipelining for a given precision, operating frequency and target FPGA.In order to be able to use FloPoCo for designing high performance floating-point operators, we first had to design the optimized basic blocks. We first developed pipelined addition architectures exploiting the fast-carry lines present in modern FPGAs. Next, we focused on multiplication architectures. Using tiling techniques, we proposed novel architectures for large multipliers, but also truncated multipliers, based on the multipliers found in modern FPGA DSP blocks. We also present a generic FloPoCo operator which inputs the expression of a function, its input and output precisions, and builds an optimized polynomial evaluator for the fixed-point evaluation of this function. Using this building block we have designed floating-point operators for the square-root and exponential functions which significantly outperform existing operators. Finally, we also made use of advanced compilation techniques for adapting the execution of a C program to the flexible pipelines of our operators. FPGA Virgule flottante FloPoCo Chemin de données arithmétique Pipeline pour une fréquence donnée Addition pipelinée Additionneur rapide Multiplication Karatsuba-Offman Carré Multiplieur tronqué Multiplication par pavage Virgule fixe Approximation polynomiale Racine carrée flottante Exponentielle flottante Accumulation flottante Schéma d'évaluation de Horner Somme de carrés flottante Synthèse de haut niveau Nid de boucles parfait Multiplication de matrices Jacobi Dilemme du fabricant de table Méthode des différences tabulées Communications pipelinées FPGA Floating-point FloPoCo Arithmetic datapath Frequency-driven pipelining Pipelined addition Short-latency adder Multiplication Karatsuba-Offman Squarer Truncated multiplier Multiplication tiling Fixed-point Polynomial approximation Floating-point square root Floating-point exponential Floating-point accumulation Horner datapath Floating-point sum-of-products High-level synthesis Perfect loop nests Matrix-matrix multiply Jacobi stencil Table maker's dilemma Pipelined communications Pipelined communications
327	Městské lázně / The Municipal Baths Tunková, Martina January 2010 (has links) "The sick body needs a doctor friend sick souls." (Menandros)

Page generated in 0.0543 seconds