Dissertations / Theses on the topic 'Method of types'
To see the other types of publications on this topic, follow the link: Method of types.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Method of types.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Colacci, John. "The effect of different types of feedback on quality of presentation /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66018.
Full text
2
Hall, Richard H. "CSG based automatic mesh generation using multiple element types /." Online version of thesis, 1993. http://hdl.handle.net/1850/11438.
Full text
3
Luo, Tewei. "A flow cytometry-based method for gene expression profiling of CNS cell types." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/92630.
Full textAbstract:
Thesis: S.M., Massachusetts Institute of Technology, Department of Biology, 2014.Cataloged from PDF version of thesis.
Includes bibliographical references (pages 24-25).
In this thesis, I present a technique for profiling gene expression of specific cell types in the central nervous system (CNS), called fluorescence activated nuclei sorting (FANS). FANS utilizes flow cytometry to isolate cell nuclei from CNS subtypes and microarray analysis of nuclear mRNA. When compared to an existing technique, translating ribosome affinity purification, it was found that FANS was able to detect differentially expressed genes between two types of medium spiny neurons in the striatum with similar or higher sensitivity, using transgenic mice with fluorescence proteins labeling the desired cell types. Immunofluorescence experiments were also performed to label cell nuclei isolated from wild type mouse CNS for FANS analysis. It was found that our staining method successfully labeled neuronal nuclei using a NeuN antibody, but did not label enriched markers of medium spiny neurons. Further studies are needed to increase the signal-to-back-ground ratio of these stainings, which would allow FANS to be applied to wild type animals.
by Tewei Luo.
S.M.
4
Albrecht, Stefano Vittorino. "Utilising policy types for effective ad hoc coordination in multiagent systems." Thesis, University of Edinburgh, 2015. http://hdl.handle.net/1842/16199.
Full textAbstract:
This thesis is concerned with the ad hoc coordination problem. Therein, the goal is to design an autonomous agent which can achieve high flexibility and efficiency in a multiagent system that admits no prior coordination between the designed agent and the other agents. Flexibility describes the agent’s ability to solve its task with a variety of other agents in the system; efficiency is the relation between the agent’s payoffs and time needed to solve the task; and no prior coordination means that the agent does not a priori know how the other agents behave. This problem is relevant for a number of practical applications, including human-machine interaction tasks, such as adaptive user interfaces, robotic elderly care, and automated trading agents. Motivated by this problem, the central idea studied in this thesis is to utilise a set of policies, or types, to characterise the behaviour of other agents. Specifically, the idea is to reduce the complexity of the interaction problem by assuming that the other agents draw their latent type from some known or hypothesised space of types, and that the assignment of types is governed by an unknown distribution. Based on the current interaction history, we can form posterior beliefs about the relative likelihood of types. These beliefs, combined with the future predictions of the types, can then be used in a planning procedure to compute optimal responses. The aim of this thesis is to study the potential and limitations of this idea in the context of ad hoc coordination. We formulate the ad hoc coordination problem using a game-theoretic model called the stochastic Bayesian game. Based on this model, we derive a canonical algorithmic description of the idea outlined above, called Harsanyi-Bellman Ad Hoc Coordination (HBA). The practical potential of HBA is demonstrated in two case studies, including a human-machine experiment and a simulated logistics domain. We formulate basic ways to incorporate evidence (i.e. observed actions) into posterior beliefs and analyse the conditions under which the posterior beliefs converge to the true distribution of types. Furthermore, we study the impact of prior beliefs over types (that is, before any actions are observed) on the long-term performance of HBA, and show empirically that automatic methods can compute prior beliefs with consistent performance effects. For hypothesised (i.e. “guessed”) type spaces, we analyse the relations between hypothesised and true type spaces under which HBA is still guaranteed to solve its task, despite inaccuracies in hypothesised types. Finally, we show how HBA can perform an automatic statistical analysis to decide whether to reject its behavioural hypothesis, i.e. the combination of posterior beliefs and types.
5
Rahli, Vincent. "Investigations in intersection types : confluence, and semantics of expansion in the λ-calculus, and a type error slicing method." Thesis, Heriot-Watt University, 2011. http://hdl.handle.net/10399/2453.
Full textAbstract:
Type systems were invented in the early 1900s to provide foundations for Mathematics where types were used to avoid paradoxes. Type systems have then been developed and extended throughout the years to serve different purposes such as efficiency or expressiveness. The λ-calculus is used in programming languages, logic, mathematics, and linguistics. Intersection types are a kind of types used for building semantic models of the λ-calculus and for static analysis of computer programs. The confluence property was used to prove the λ-calculus’ consistency and the uniqueness of normal forms. Confluence is useful to show that logics are sensibly designed, and to make equality decision procedures for use in theorem provers. Some proofs of the λ-calculus’ confluence are based on syntactic concepts (reduction relations and λ-term sets) and some on semantic concepts (type interpretations). Part I of this thesis presents an original syntactic proof that is a simplification of a semantic proof based on a sound type interpretation w.r.t. an intersection type system. Our proof can be seen as bridging some semantic and syntactic proofs. Expansion is an operation on typings (pairs of type environments and result types) in type systems for the λ-calculus. It was introduced to prove that the principal typing property (i.e., that every typable term has a strongest typing) holds in intersection type systems. Expansion variables were introduced to simplify the expansion mechanism. Part II of this thesis presents a complete realisability semantics w.r.t. an intersection type system with infinitely many expansion variables. This represents the first study on semantics of expansion. Providing sound (and complete) realisability semantics allows one to study the algorithmic behaviour of typed λ-terms through their types w.r.t. a type system. We believe such semantics will cast some light on the not yet well understood expansion operation. Intersection types were used in a type error slicer for the SML programming language. Existing compilers for many languages have confusing type error messages. Type error slicing (TES) helps the programmer by isolating the part of a program contributing to a type error (a slice). TES was initially done for a tiny toy language (the λ-calculus with polymorphic let-expressions). Extending TES to a full language is extremely challenging, and for SML we needed a number of innovations. Some issues would be faced for any language, and some are SML-specific but representative of the complexity of language-specific issues likely to be faced for other languages. Part III of this thesis solves both kinds of issues and presents an original, simple, and general constraint system for providing type error slices for ill-typed programs. We believe TES helps demystify language features known to confuse users.
6
Delcroix, Sophie M. "Bayesian Analysis of Cancer Mortality Rates from Different Types and their Relative Occurrences." Digital WPI, 1999. https://digitalcommons.wpi.edu/etd-theses/1114.
Full textAbstract:
"We analyze mortality data from prostate, colon, lung, and all other types (called other cancer) to obtain age specific and age adjusted mortality rates for white males in the U.S. A related problem is to estimate the relative occurrences of these four types of cancer. We use Bayesian method because it permits a degree of smoothing which is needed to analyze data at a small area level and to assess the patterns. In the recent Atlas of the United States Mortality (1996) each type of cancer was analyzed individually. The difficulty in doing so is that there are many small areas with zero deaths. We conjecture that simultaneous analyses might help to overcome this problem, and at the same time to estimate the relative occurrences. We start with a Poisson model for the deaths, which produces a likelihood function that separates into two parts: a Poisson likelihood for the rates and a multinomial likelihood for the relative occurrences. These permit the use of a standard Poisson regression model on age as in Nandram, Sedransk and Pickle (1999), and the novelty is a multivariate logit model on the relative occurrences in which per capita income, the percent of people below poverty level, education (percent of people with four years of college) and two criteria pollutants, EPAPM25 and EPASO2, are used as covariates. We fitted the models using Markov chain Monte Carlo methods. We used one of the models to present maps of occurrences and rates for the four types. An alternative model did not work well because it provides the same pattern by age and disease. We found that while EPAPM25 has a negative effect on the occurrences, EPASO2 has a positive effect. Also, we found some interesting patterns associated with the geographical variations of mortality rates and the relative occurrences of the four cancer types."
7
Davis, Jimmy Allen. "FREQUENCY DISTRIBUTION OF PYROXENE TYPES AND A METHOD TO SEPARATE THE COMPOSITION OF MULTIPLE PYROXENES IN A SAMPLE." Master's thesis, University of Central Florida, 2007. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/3145.
Full textAbstract:
Determining mafic mineral composition of asteroid bodies is a topic reviewed by M.J. Gaffey et al. (2002). The iterative procedure discussed can be implemented as an algorithm, and such efforts revealed weaknesses that are examined in this work. We seek to illustrate the limits of this method and graphically determine its predictions. There are boundaries in the formulae given where the equations break down. In ranges where mafic mixtures are predicted, a method is illustrated that allows a decoupling of these mixtures into the constituents.M.S.
Department of Physics
Sciences
Physics MS
8
Ferreira, Jacqueline. "The simulation of material types in a Western Australian iron deposit." Thesis, Edith Cowan University, Research Online, Perth, Western Australia, 2012. https://ro.ecu.edu.au/theses/514.
Full textAbstract:
Geostatistical methods are currently used by mining companies to determine a resource model of the tonnage and head grade that may be obtained from a potential orebody, making it one of the first and most vital operational stages in any mining project. Currently long term mine planning is based on the estimated head grades model, which provides vital information on the quality of the ore. The risks associated with mining a particular ore may be reduced if geometallurgical information, such as material types, is incorporated into the operational flow model. Material type proportions are obtained from evaluated reverse circulation (RC) drillholes which are estimated directly into a long term geological model. However this causes smoothing of the estimates material types, unlikely combinations of material types within the blocks and large differences between the theoretical head grades and estimated head grades (OK HG). The aim of this study was to determine the best way to model the six grouped MTPs and reconcile the estimated proportions per block with the estimated head grades from the resource model using the direct block simulation (DBS) algorithm and the LSSOL optimisation program. One of the main decisions was to determine the best way to model and simulate the MTPs. Three different simulation options, all using DBS, were implemented. The first option modelled and simulated the MTP variables independently and the second option modelled and simulated the MTP variables jointly. As the spatial structure of the HGH attribute was quite different to those of the remaining five variables, the final option was to jointly simulate the five MTPs whose sample MTPs have similar spatial structures with the sixth block MTP making up the sum difference to one. A variety of different baseline methods, which comprise computation of MTPs from the simulation only and MTPs obtained from the optimisation alone, clearly demonstrates the need for a method that incorporates both the optimisation program and DBS to calculate reasonable MTPs. Seven methods which combined both the DBS and optimisation program were examined and compared, in the hope to obtain a method which calculated optimal MTPs that captures the sample MTPs and OK HGs. The optimisation program ensured that the optimal proportion of each material type within each block was calculated by minimising the difference between the head grades which have been estimated using ordinary kriging (OK HG) and HGs calculated using from the MTPs. Different bounds were applied to the maximum and minimum MTPs, obtained from the DBS, to determine a suitable method to obtain constraints which ensured that the optimal MTPs reflected the sample MTPs. For the given data set, the quadratic program which used the joint DBS simulation resulted in the most suitable representation of MTPs which was consistent with the OK HGs.
9
Zaichenkov, Pavel. "A method for consistent non-local configuration of component interfaces." Thesis, University of Hertfordshire, 2017. http://hdl.handle.net/2299/19053.
Full textAbstract:
Service-oriented computing is a popular technology that facilitates the development of large-scale distributed systems. However, the modular composition and flexible coordination of such applications still remains challenging for the following reasons: 1) the services are provided as loosely coupled black boxes that only expose their interfaces to the environment; 2) interacting services are not usually known in advance: web services are dynamically chosen to fulfil certain roles and are often replaced by services with a similar functionality; 3) the nature of the service-based application is decentralised. Loose coupling of web services is often lost when it comes to the construction of an application from services. The reason is that the object-oriented paradigm, which is widely used in the implementation of web services, does not provide a mechanism for service interface self-tuning. As a result, it negatively impacts upon the interoperability of web services. In this dissertation we present a formal method for automatic service configuration in the presence of subtyping, polymorphism, and flow inheritance. This is a challenging problem. On the one hand, the interface description language must be flexible enough to maintain service compatibility in various contexts without any modification to the service itself. On the other hand, the composition of interfaces in a distributed environment must be provably consistent. Our method is based on constraint satisfaction and Boolean satisfiability. First, we define a language for specifying service interfaces in a generic form, which is compatible with a variety of contexts. The language provides support for parametric polymorphism, Boolean variables, which are used to control dependencies between any elements of interface collections, and flow inheritance using extensible records and variants. We implemented the method as a constraint satisfaction solver. In addition to this, we present a protocol for interface configuration. It specifies a sequence of steps that leads to the generation of context-specific service libraries from generic services. Furthermore, we developed a toolchain that performs a complete interface configuration for services written in C++. We integrated support for flexible interface objects (i.e. objects that can be transferred in the application along with their structural description). Although the protocol relies solely on interfaces and does not take behaviour concerns into account, it is capable of finding discrepancies between input and output interfaces for simple stateful services, which only perform message synchronisation. Two running examples (a three buyers use-case and an image processing application) are used along the way to illustrate our approach. Our results seem to be useful for service providers that run their services in the cloud. The reason is twofold. Firstly, interfaces and the code behind them can be generic as long as they are sufficiently configurable. No communication between service designers is necessary in order to ensure consistency in the design. Instead, the interface correspondence in the application is ensured by the constraint satisfaction algorithm, which we have already designed. Secondly, the configuration and compilation of every service are separated from the rest of the application. This prevents source code leaks in proprietary software which is running in the cloud.
10
Bateman, Thomas. "Artificial Reefs: Types, applications, trends in deployment and the development of a cost-effective method for monitoring their fish faunas." Thesis, Bateman, Thomas (2015) Artificial Reefs: Types, applications, trends in deployment and the development of a cost-effective method for monitoring their fish faunas. Honours thesis, Murdoch University, 2015. https://researchrepository.murdoch.edu.au/id/eprint/29645/.
Full textAbstract:
The focus of this thesis is on the design and use of artificial reefs and the development of a cost-effective method for monitoring their fish faunas. A review of habitat enhancement structures around the world, focusing primarily on artificial reefs, found that these structures have been used for a wide range of purposes such as sediment stabilization, mitigation of illegal trawling, enhancing recreational fisheries and the provision of additional habitat and nurseries for threatened fish stocks. Over time, there has been a growing trend in the use of purpose built reef modules as opposed to the use of materials of opportunity. Within Australia this has been most evident in the shift away from the use of tyres and steel vessels, to the use of specially designed concrete reef modules. As these structures can require financial investments within the millions, it is important to evaluate their effectiveness through post deployment monitoring. A central part of the citizen science monitoring project being developed by Recfishwest in Western Australia is the use of university students to extract information from the Baited Remote Underwater Video (BRUV) footage collected by recreational fishers. This study found that whilst observers recorded similar numbers of species and abundance (total MaxN), significant differences were present between observers in terms of their faunal compositions. This indicates that if inexperienced observers are used in the future as part of a cost-effective monitoring project, observer bias may be a potential source of error in the data and should be mitigated through observer training. Statistical analysis of footage collected from the Bunbury and Dunsborough artificial reefs using BRUVs found a significant difference in species composition between the footage from the two reefs but not between camera positions. However, increased camera soak time and footage collection over a greater temporal scale are needed to increase the reliability of the data. Whilst improvements to the sampling regime are recommended, the use of cost-effective BRUVs shows potential as an effective method for monitoring the fish fauna of artificial reefs using citizen science.
11
Souag, Nadjia. "Influence de certains types de defauts sur la tenue dielectrique aux temps courts des couches minces de polymeres." Toulouse 3, 1987. http://www.theses.fr/1987TOU30138.
Full textAbstract:
Caracterisation de la tenue dielectrique des couches minces, sur des echantillons mim autocicatrisants. Methode statistique permettant le calcul des parametres de claquage. Resultats obtenus avec un film de silicone et un film polytetrafluorethylene
12
Ghader, Mouhammad. "Stabilité et contrôlabilité exacte des systèmes distribués couplés avec différents types d'amortissement." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS078.
Full textAbstract:
Dans cette thèse, nous étudions la stabilisation et la contrôlabilité exacte de certains problèmes distribués avec différents types d’amortissement. Dans la première partie, nous étudions la stabilité d'un système Bresse mono-dimensionnel avec un contrôle de type mémoire infini et/ou avec une conduction de chaleur donnée par la loi de Cattaneo agissant sur le déplacement de l'angle de cisaillement. Nous considérons le cas intéressant de conditions aux bords de types entièrement Dirichlet. En effet, sous la condition d'égalité de la vitesse de propagation des ondes, nous établissons la stabilité exponentielle du système. Cependant, dans le cas physique naturel lorsque les vitesses de propagation sont différentes, en utilisant une méthode de décomposition de spectre, nous montrons que le système de Bresse n'est pas uniformément stable. Dans ce cas, nous établissons un taux de décroissance énergétique polynomiale. Notre étude est valable pour toutes les autres conditions aux bords mixtes. Dans la deuxième partie, nous étudions la stabilisation d'un système élastique faiblement amorti d’un système couplé abstrait du second ordre. Dans le cadre de certains paramètres, en utilisant la méthode spectrale, nous établissons la stabilité exponentielle du système. Cependant, lorsque le système n'est pas uniformément stable, nous établissons le taux optimal de la décroissance polynomiale de l'énergie du système. Dans la troisième partie, nous étudions la contrôlabilité exacte indirecte d'un système de Timoshenko mono-dimensionnel. En effet, nous considérons les cas lorsque la vitesse de propagation des ondes sont égales ou différentes. Tout d'abord, nous utilisons des analyses non harmoniques pour établir une inégalité d'observabilité faible, qui dépend du rapport des vitesses de propagation des ondes. Ensuite, en utilisant la méthode HUM, nous prouvons que le Système est parfaitement contrôlable et que le temps de contrôle peut être faibleIn this work, we study the stabilization and the exact controllability of some distributed problems. In the first part, we study the stability of a one-dimensional Bresse System with infinite memory type control and/or with heat conduction given by Cattaneo's law acting in the shear angle displacement, where we consider the interesting case of fully Dirichlet boundary conditions. Indeed, under a equal speed of propagation condition, we establish the exponential stability of the System. However, in the natural physical case when the speeds of propagation are different, using a spectrum method, we show that the Bresse System is not uniformly exponentially stable. In this case, we establish a polynomial energy decay rate. Our study is valid for all other mixed boundary conditions. In the second part, we study the stabilization of a weakly damped elastic System of an abstract second order equation. Indeed, under some condition on the parameters, using a spectrum method, we establish the exponential stability of the System. However, when the System is not uniformly stable, using a spectrum method, we establish the optimal polynomial decay rate of the energy of the System. In the third part, we study the indirect boundary exact controllability of a one-dimensional Timoshenko System. Indeed, we consider the cases when the speed waves propagate with equal or different speeds. We use non harmonic analysis to establish weak observability inequality, which depends on the ratio of the waves propagation speeds. Next, using the HUM method, we prove that the System is exactly controllable, and that the control time can be small
13
Béguin, Suzette. "Thrombinoscopy a method for the determination of prothrombinase activity in plasma, its application to the study of different types of heparin /." Maastricht : Maastricht : Rijksuniversiteit Limburg ; University Library, Maastricht University [Host], 1987. http://arno.unimaas.nl/show.cgi?fid=5362.
Full text
14
Saudargytė, Roberta. "Poezija regioniniame dienraštyje "Raudonoji vėliava / Šiaulių naujienos"." Bachelor's thesis, Lithuanian Academic Libraries Network (LABT), 2011. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2011~D_20110802_155156-78403.
Full textAbstract:
Šiuo baigiamuoju bakalauru darbu buvo siekta išanalizuoti poeziją dienraščiuose „Raudonoji vėliava“/ „Šiaulių naujienos“ (1943–1994 m.). Eilėraščiai buvo klasifikuojami remiantis Vito Areškos poezijos skirstymo metodika (Vitas Areška „Lietuvių tarybinė lyrika“, 1983). Iškiriami keturi lyrikos tipai: manifestinė, naracinė, meditacinė ir dainiškoji. Darbo tikslas buvo išanalizuoti poeziją, jos specifiką dienraštyje „Raudonoji vėliava“ / „Šiaulių naujienos“. Tyrimas atskleidė, kad poezija regioninėje spaudoje mažai nagrinėta tema. Buvo pasirinkti aprašomasis ir analizės metodai. Tikslas padėjo suformuoti tokius uždavinius: 1)Išskirti vienu ar kitu laikotarpiu dominavusias poezijos grupes. 2)Išanalizuoti, kokios temos, problemos būdingos poezijai dienraštyje „Raudonoji vėliava“ / „Šiaulių naujienos“. 3)Išanalizuoti, kaip kito temos, problemos dienraštyje, kaip kito eilėraščių poetika. 4)Išskirti, kurių poetų eilėraščių buvo daugiausia išspausdinama dienraštyje. Tyrimas atskleidė, kad poezija regioninėje spaudoje mažai nagrinėta tema. Bakalauro darbe prieita išvadų, kad kiekvienu laikotarpiu vyravo skirtingos temos poezijoje. Istorijos įvykiai darė įtaką poetų temoms.The aim of the work is to analyse poetry published in the regional newspapers „Raudonoji vėliava“, „Šiaulių naujienos“ (1943–1994). The poems were classified according to Vitas Areška method. (Vitas Areška. Lithuanian soviet lyrics 1983). Four types of lyrics were distinguished: manifest, narrative, meditative and melodious. The work is focused on analysing poetry, its particularities in the newspapers. The research showed that poetry in newspapers is the field which has not been extensively analysed. Descriptive and analysis methods were applied. The aim of the work helped to set up the tasks: 1.To distinguish dominent poetry groups of different periods. 2. To analyse which themes, problems which are characteristic to the poetry, published in “Raudonoji vėliava“ and “Šiaulių naujienos“. 3.To analyse the variation of themes and poetry itself. 4.To find out whose poetry was published most often. The research showed that poetry in regional newspapers is the sphere which requires detailed analysis. It can be concluded that each period had its specific themes in poetry. Historical events had an impact on the choice of the themes.
15
Hidani, Abdelkader. "Modélisation des écoulements diphasiques en milieux poreux à plusieurs types de rochesde roches." Saint-Etienne, 1993. http://www.theses.fr/1993STET4029.
Full textAbstract:
On s'intéresse à la modélisation des écoulements diphasiques de fluides immiscibles et incompressibles en milieu poreux a plusieurs types de roches. On considère que l'écoulement, dans chaque type de roche, est régi par les équations de conservation la masse couplées a la loi de darcy généralisée et a la loi de capillarite. A ces équations s'ajoutent des conditions de transmission à l'interface séparant les différents types de roches. On présente certaines méthodes permettant de modéliser les écoulements diphasiques en milieu poreux hétérogène. Puis on considère deux modèles ; des résultats d'existence et d'unicité sont établis pour ces modèles. Dans le cadre de l'homogénéisation périodique, on détermine aussi, par le moyen de la convergence a deux échelles, les modèles homogénéisés correspondants. Enfin, on présente des simulations numériques
16
Chucri, Farès. "Exploiting Model Structure in CEGAR Verification Method." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2012. http://tel.archives-ouvertes.fr/tel-01011163.
Full textAbstract:
Les logiciels sont désormais un des composants essentiels des équipements modernes. Ils sont responsables de leur sûreté et fiabilité. Par sûreté, nous entendons que le système garantit que ''rien de dangereux n'arrive jamais''. Ce type de propriété peut se réduire à un problème d'accessibilité: pour démontrer la propriété il suffit de démontrer qu'un ensemble d'états ''dangereux'' ne sont pas atteignables. Ceci est particulièrement important pour les systèmes critiques: les systèmes dont une défaillance peut mettre en jeu des vies humaines ou l'économie d'une entreprise. Afin de garantir un niveau de confiance suffisant dans nos équipements modernes, un grand nombre de méthodes de vérification ont étaient proposées. Ici nous nous intéressons au model checking: une méthode formelle de vérification de système. L'utilisation de méthodes de model checking et de model checker permet d'améliorer les analyses de sécurité des systèmes critiques, car elles permettent de garantir l'absence de bug vis-à-vis des propriétés spécifiées. De plus, le model checking est une méthode automatique, ceci permet à des utilisateurs non-spécialistes d'utiliser ces outils. Ceci permet l'utilisation de cette méthode à une grande communauté d'utilisateur dans différents contextes industriels. Mais le problème de l'explosion combinatoire de l'espace des états reste une difficulté qui limite l'utilisation de cette méthode dans un contexte industriel. Nous présentons deux méthodes de vérification de modèle AltaRica. La première méthode présente un algorithme CEGAR qui élague des états de l'abstraction, ce qui permet d'utiliser une sous-approximation de l'espace des états d'un système. Grâce à l'utilisation de cette sous-approximation, nous pouvons détecter des contre-exemples simples, utiliser des méthodes de réduction pour éliminer des états abstraits, ce qui nous permet de minimiser le coût de l'analyse des contre-exemples, et guider l'exploration de l'abstraction vers des contre-exemples qui sont plus pertinents. Nous avons développé cet algorithme dans le model checker Mec 5, et les expérimentations réalisées ont confirmé les améliorations attendues.
17
Yikmaz, Riza Fikret. "Development Of Gis Based Trajectory Statistical Analysis Method To Identify Potential Sources Of Regional Air Pollution." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12611969/index.pdf.
Full textAbstract:
DEVELOPMENT OF GIS BASED TRAJECTORY STATISTICAL ANALYSIS METHOD TO IDENTIFY POTENTIAL SOURCES OF REGIONAL AIR POLLUTION
Yikmaz, Riza Fikret
M.Sc., Department of Geodetic and Geographic Information Technologies
Supervisor: Prof. Dr. Gürdal Tuncel Co-supervisor: Assoc. Prof. Dr. Zuhal Akyü
rek May 2010, 186 pages Apportionment of source regions affecting a certain receptor in the regional scale is necessary information for air quality management and development of national policy for exchange of air pollutants with other countries. Source region apportionment can be studied either through numerical modeling or by using trajectory statistics that is a hybrid methodology of modeling and measurements. Each of these approaches has their advantages and disadvantages. In this study treatment of back-trajectory segments in Potential Source Contribution Function (PSCF), which is one of the tools used in trajectory statistics will be investigated, to increase the reliability of the apportionment process. In the current method run in GIS, especially two parameters gains importance. One is that the vertical locations of trajectory segments are not taken into account at present. In this study, how the evaluation of the segments in 3-D instead of 2-D could improve the results will be assessed. The other parameter that is rainfall at each segment will be included in the PSCF calculations and its effects on the spatial distribution of PSCF values will be evaluated. A user interface in Geographical Information System (GIS) will be developed for effective use of improved methodology.
18
AL, ABD ASSAAD. "Comparaison des methodes de mesure, du flux des contenus digestifs chez le ruminant : application a l'etude de la digestion de trois types de ration." Clermont-Ferrand 2, 1986. http://www.theses.fr/1986CLF21035.
Full textAbstract:
Comparaison chez le mouton des differentes methodes proposees pour l'estimation du flux des contenus digestifs a l'entree de l'intestin grele, en utilisant la canule simple et les marqueurs, et mise au point d'une methodologie complementaire de la precedente, permettant de mesurer la vitesse de passage dans le tube digestif des residus alimentaires et des liquides constituant le contenu digestif
19
Laugel, Amélie. "Climatologie des états de mer en Atlantique nord-est : analyse du climat actuelet des évolutions futures sous scénarios de changement climatique par descente d'échelle dynamique et statistique." Phd thesis, Université Paris-Est, 2013. http://tel.archives-ouvertes.fr/tel-00966849.
Full textAbstract:
L'analyse de la climatologie des aléas océano-météorologiques tels que les états de mer est fondamentale pour comprendre l'évolution et la dynamique des zones côtières, estimer les risques naturels survenant lors d'événements de tempête majeurs, définir les moyens optimaux de protection des ports et infrastructures onshore et offshore, caractériser la ressource houlomotrice pour des projets de récupération d'énergie des vagues, comprendre les processus d'érosion et accrétion des plages, etc. Pour répondre à ces problématiques dans un contexte de questionnement croissant sur les conséquences potentielles associées au changement climatique, le travail de thèse s'inscrit dans une démarche double : (i) approfondissement de la connaissance du climat de vagues actuel le long des côtes Atlantique, Manche et Mer du Nord en France d'une part, et (ii) estimation des évolutions futures potentielles de cette climatologie des vagues pour différents scénarios d'évolution climatique. L'estimation de l'impact du changement climatique sur le climat de vague se compose de trois éléments principaux : (i) une connaissance détaillée de la variabilité climatique actuelle des états de mer, (ii) l'utilisation de scénarios de changement climatique à l'horizon 2100 et (iii) la définition d'une méthodologie de descente d'échelle adaptée. Pour appréhender ces sujets, l'Atlas Numérique d'Etats de Mer Océanique et Côtier ANEMOC-2 a été construit à l'aide du modèle spectral de 3ème génération TOMAWAC (Benoit et al., 1996) sur la période 1979-2009 et le climat de vagues futur a été simulé à l'horizon 2100 par des méthodes de descente d'échelle dynamique et statistique en considérant les scénarios de changement climatique du quatrième rapport du GIEC (IPCC, 2007).En particulier, un travail original de comparaison de projections d'états de mer par approche dynamique et par approche statistique des types de temps a été réalisé sur la période 2061-2100 pour les scénarios B1, A1B et A2 simulés par le modèle ARPEGE-CLIMAT de Météo-France (Salas-Mélia, et al. 2005). Les résultats des deux approches (à savoir hauteur significative, période moyenne, direction moyenne et flux d'énergie des vagues) ont été comparés en termes de valeurs moyennes, écarts-types, distributions jointes et variabilités saisonnière et interannuelle. Ce travail a abouti à une estimation de l'impact du changement climatique sur la climatologie des états de mer le long des côtes Atlantique, Manche et Mer du Nord françaises sur la période 2061-2100 en tenant compte des incertitudes intrinsèques aux méthodes de descente d'échelle et aux scénarios de changement climatique. En hiver par exemple, nous observons une augmentation des valeurs moyennes et de la variabilité des paramètres de hauteur significative, période moyenne et flux d'énergie des vagues, notamment en Mer du Nord (pour les scénarios B1, A1B et A2) et dans le Golfe de Gascogne pour le scénario B1. En complément, ces paramètres d'états de mer ont tendance à diminuer dans le Golfe de Gascogne pour les saisons printemps, été et automne. Enfin, les paramètres d'états de mer associés aux hauteurs de vagues du quantile 95 tendent à augmenter sur une large emprise de l'Atlantique nord-est
20
Stamm, Johannes [Verfasser]. "Magnetic-Activated-Cell-Sorting (MACS); Entering guide in method - a possibility to separate fetal neural rat stem cells expressing the GABAA-receptor gamma 2 from different types of lineage-restricted-porgenitors / Johannes Stamm." Ulm : Universität Ulm. Medizinische Fakultät, 2013. http://d-nb.info/1031471421/34.
Full text
21
Forbes, Ross William. "The diet of black-backed jackal (Canis Mesomelas) on two contrasting land-use types in the Eastern Cape Province, South Africa and the validation of a new analytical method of mammalian hair identification." Thesis, Rhodes University, 2012. http://hdl.handle.net/10962/d1005345.
Full textAbstract:
Diet assessments are critical for understanding the foraging behaviour, habitat use and trophic separation of mammalian predators and are vital for gaining insight into how predators influence prey populations. The aim of this research was to qualitatively describe the diet of black-backed jackals (Canis mesomelas, Schreber 1775) using scat analysis on two contrasting land-use types in the Eastern Cape Province, South Africa. Scats were collected on a monthly basis from November 2009 to October 2010 from two game reserves (Great Fish River Reserve and Shamwari Private Game Reserve) and two neighbouring livestock farms. The relative frequency of occurrence of mammal hair (33 – 47 %) and vegetation (32 – 45%)dominated jackal diet throughout the year across the four study sites. Other important prey items included invertebrates (8 – 21 %) and fruit and seeds (3 – 11 %). Birds and reptiles constituted ≤ 2 % of the diet and were only recorded on the game reserves. Significant seasonal dietary shifts were observed on the game reserves but not on the farms. Fruit and seeds were significantly more frequent in the diet during autumn at Great Fish River Reserve and invertebrates were significantly less common in the diet during winter on both reserves. In addition, vegetation was significantly more common in the diet during winter at Shamwari Private Game Reserve. The significant temporal variation of certain prey items is testament to black-backed jackals being opportunistic generalists, foraging on those food items which are most abundant, accessible and energetically beneficial. Land-use type also influenced the diet of black-backed jackals with significantly more invertebrates and, fruit and seeds being recorded on the game reserves than on the farms. By contrast, significantly more mammal hair and vegetation were present in the diet on the farms compared with the game reserves. The mammalian component of the diet was dominated by ruminants and rodents on the game reserves and by ruminants and livestock on the farms. The presence of livestock in the diet of black-backed jackals on the farms highlights their potential impact on the livestock industry in the region and may assist farmers in determining which predators are responsible for stock loss. Previous approaches for identifying mammalian hairs from predator scats have utilised dichotomous keys and reference collections but these are often time-consuming and require a trained individual to carry out the identification. Thus, I also tested the efficacy of an automated pattern recognition programme (HairSnap) for identifying mammalian hairs from black-backed jackal scats. The overall accuracy of the programme was 38 % with black-backed jackal, Greater kudu (Tragelaphus strepsiceros) and striped polecat (Ictonyx striatus) hairs being accurately identified more often (70 – 80 %) than any other species tested. It is likely that both the size and species composition of the sample resulted in the poor accuracy of the programme. However, with the implementation of several improvement measures (e.g. adjustment of the algorithm) the programme may offer a superior, bias-free method of mammalian hair identification. The dietary information gathered here furthers our knowledge of the biology of the blackbacked jackals, especially in the locally important thicket biome. Moreover, understanding their foraging habits allows for more effective management of the species on both game reserves and farmlands. I recommend that future research should focus on quantitatively assessing the diet of black-backed jackals in the Eastern Cape Province and elsewhere. This will compliment the dietary description provided in this study and may offer a biologically more meaningful indication of the relative importance of the prey items.
22
López, Hernández Juan Ygnacio [Verfasser], and Barbara [Akademischer Betreuer] Koch. "Development of a method for forest type detection = Entwicklung einer Methode für Forst-Erkennung." Freiburg : Universität, 2012. http://d-nb.info/1122592418/34.
Full text
23
Cunha, Max Clark de Castro. "Análise de estratégias de ensino/aprendizagem em materiais didáticos de alemão como língua estrangeira: perspectivas pós-comunicativas em contraste." Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/8/8144/tde-28082013-123941/.
Full textAbstract:
A partir da quantificação e interpretação dos tipos de exercícios e estratégias existentes nas lições Start auf Deutsch e Café D, ambas do livro Studio D A1 (2008) e Europa: Politik und mehr, do livro Studio D B1 (2008), este trabalho teve como objetivo investigar se estas lições estão sedimentadas com base nos princípios pós-comunicativos, conforme descritos em Funk (2010). Após a quantificação dos tipos de exercícios destas lições, foram investigadas as estratégias didáticas presentes nas lições para verificar se as estratégias do material estão apoiadas nas estratégias da abordagem intercultural, conforme apresentadas em Roche (2001) e na pedagogia pós-método (KUMARAVADIVELU: 1994 e 2001), que fazem parte deste novo cenário póscomunicativo. Ambas tem princípios que podem ser relacionados à teoria sociocultural e interacionista. A pesquisa sobre a perspectiva pós-comunicativa possibilitou mudanças de parâmetros no ensino/aprendizagem de língua estrangeira na década de 90. Destes estudos surgiu o Quadro Comum Europeu de Referência para as Línguas Estrangeiras (QCERL) e no Brasil os Parâmetros Curriculares Nacionais- Línguas Estrangeiras (PCN-LE), ambos os parâmetros de ensino, europeu e brasileiro, propõem que a realidade do aluno e as trocas culturais sejam um meio de facilitação à autonomia de aprendizagem. O material didático escolhido para análise faz parte da realidade do QCERL, por isso, preocupou-se em analisar se estão presentes nestas lições os tipos de exercícios propostos por Rampillon (2000) e Häussermann & Piepho (1996). Também foram comparadas as estratégias didáticas do livro do professor com as estratégias de ensino aprendizagem discutidas em Bimmel & Rampillon (2001). Fez-se uma breve descrição do papel dos recursos midiáticos na era pós-comunicativa. Em síntese, com base nestes pressupostos, este trabalho investigou se nestas lições encontram-se subsídios para a aplicação dos tipos de exercícios, estratégias didático-pedagógicas póscomunicativas.With the quantification and the interpretation of the exercises typologie and strategies of the lessons Start auf Deutsch and Café D, both of the book Studio D A1 and Europa: Politik und mehr, of the book Studio D B1, this work aims at investigation of this lessons in comparisons to the post-comunicative principles, as treated in Funk (2010). After this quantification, the teaching/learning strategies of this teaching material was investigated if these strategies follow the strategies of the intercultural aproach, as discussed in Roche (2001) and the strategies of the post-method pedagogy (KUMARAVADIVELU:1994, 2001), these are part of the post-comunicative era and have principles that are related to the sociocultural and interacionist theory. The research on the postcomunicative outlook culminated in the changing of the foreing languange teaching/learning parameters in the 90s, with this, arise the Common European Framework for Foreing Languages (CEFR) and in Brazil the Parâmetros Curriculares Nacionais para as Línguas Estrangeiras (PCN-LE), both educational parameters, european and brazilian, propose that the reality of learners and cultural exchange are means of the autonomous learning facilitation. The chosen teaching book are part of this CEFR scenario, therefore, it itended to investigate if in these lesson are applied the exercise tipologies as proposed by Rampillon (2001) and Häusserman & Piepho (1996). Also was comparated the strategies of the teaching book with the learning/teaching strategies as proposed by Bimmel & Rampillon (2001). In this work was also discussed the role of the media ressources in the post-comunicative era. On the basis of all these assumption, this work investigated if in these lessons are included subsidies to the application of the exercise tipologie, strategies and principles of the post-comunicative era.
24
Nam, Dukjin. "Multiscale numerical methods for some types of parabolic equations." [College Station, Tex. : Texas A&M University, 2008. http://hdl.handle.net/1969.1/ETD-TAMU-2993.
Full text
25
Booker-Price, Thomas. "Applications of graded methods to cluster variables in arbitrary types." Thesis, Lancaster University, 2017. http://eprints.lancs.ac.uk/88866/.
Full textAbstract:
This thesis is concerned with studying the properties of gradings on several examples of cluster algebras, primarily of infinite type. We start by considering two classes of finite type cluster algebras: those of type Bn and Cn. We give the number of cluster variables of each occurring degree and verify that the grading is balanced. These results complete a classification in [16] for coefficient-free finite type cluster algebras. We then consider gradings on cluster algebras generated by 3×3 skew-symmetric matrices. We show that the mutation-cyclic matrices give rise to gradings in which all occurring degrees are positive and have only finitely many associated cluster variables (excepting one particular case). For the mutation-acyclic matrices, we prove that all occurring degrees have infinitely many variables and give a direct proof that the gradings are balanced. We provide a condition for a graded cluster algebra generated by a quiver to have infinitely many degrees, based on the presence of a subquiver in its mutation class. We use this to study the gradings on cluster algebras that are (quantum) coordinate rings of matrices and Grassmannians and show that they contain cluster variables of all degrees in N. Next we consider the finite list (given in [9]) of mutation-finite quivers that do not correspond to triangulations of marked surfaces. We show that A(X7) has a grading in which there are only two degrees, with infinitely many cluster variables in both. We also show that the gradings arising from Ee6, Ee7 and Ee8 have infinitely many variables in certain degrees. Finally, we study gradings arising from triangulations of marked bordered 2- dimensional surfaces (see [10]). We adapt a definition from [24] to define the space of valuation functions on such a surface and prove combinatorially that this space is isomorphic to the space of gradings on the associated cluster algebra. We illustrate this theory by applying it to a family of examples, namely, the annulus with n + m marked points. We show that the standard grading is of mixed type, with finitely many variables in some degrees and infinitely many in the others. We also give an alternative grading in which all degrees have infinitely many cluster variables.
26
Adámek, Ondřej. "Ukazatele spolehlivosti v podmínkách různých typů distribučních sítí vn." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219387.
Full textAbstract:
The aim of my thesis was to clarify the basic concepts and calculations in the area of reliability of power distribution, as an important element for increase the quality of supplied electric power, this issue we examined in Chapter 3. In the previous chapter, we explained the fundamental solution of MV networks in the Czech Republic and Germany. In Chapter 4 we explained the difficulties in evaluating their values and comparisons between distributional companies, which follows that there should be a uniform procedure for the storage and collection of data for power outages. And the individual distribution companies should follow this standard.
27
Engelke, Stephan. "Smoothing-type methods for linear programs." [S.l.] : [s.n.], 2001. http://www.sub.uni-hamburg.de/disse/455/smooth.pdf.
Full text
28
Kurus, Gulay. "Solution Of Helmholtz Type Equations By Differential Quadarature Method." Master's thesis, METU, 2000. http://etd.lib.metu.edu.tr/upload/2/12605383/index.pdf.
Full textAbstract:
This thesis presents the Differential Quadrature Method (DQM) for solving Helmholtz, modified Helmholtz and Helmholtz eigenvalue-eigenvector equations. The equations are discretized by using Polynomial-based and Fourier-based differential quadrature technique wich use basically polynomial interpolation for the solution of differential equation.
29
Witzel, Alexandra. "CNM - a convergent method of Nelder and Mead type /." Aachen : Shaker, 2008. http://d-nb.info/989532631/04.
Full text
30
Jang, Young Jae 1974. "Multiple part type decomposition method in manufacturing processing line." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/89318.
Full textAbstract:
Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering; and, (S.M.)--Massachusetts Institute of Technology, Sloan School of Management, Operations Research Center, 2001."June 2001."
Includes bibliographical references (leaf 67).
by Young Jae Jang.
S.M.
31
Bin-Mohsin, Bandar Abdullah. "The method of fundamental solutions for Helmholtz-type problems." Thesis, University of Leeds, 2013. http://etheses.whiterose.ac.uk/4843/.
Full textAbstract:
The purpose of this thesis is to extend the range of application of the method fundamental solutions (MFS) to solve direct and inverse geometric problems associated with two- or three-dimensional Helmholtz-type equations. Inverse problems have become more and more important in various fields of science and technology, and have certainly been one of the fastest growing areas in applied mathematics over the last three decades. However, as inverse geometric problems typically lead to mathematical models which are ill-posed, their solutions are unstable under data perturbations and classical numerical techniques fail to provide accurate and stable solutions.
32
Falconer, Anique A. "Personality types and persistence in doctoral students| A mixed-methods study." Thesis, Keiser University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10248594.
Full textAbstract:
In past studies regarding student retention researchers have focused primarily on the undergraduate student population, but high attrition rates exist in doctoral students. The purposes of the current mixed-methods sequential explanatory study were to examine the relationship between doctoral student personality types and persistence and to explore doctoral students’ perceptions of the impact of personality types on their persistence. Guided by the theoretical framework of retention and educational psychology theories, the current study was used to examine personality types in doctoral students. The overarching research questions were used to determine whether a significant correlation existed between doctoral students’ personality types and their persistence, and to determine how doctoral students’ perceptions of personality types influenced their academic persistence. A mixed methods sequential explanatory study was conducted, using the correlational and multiple case study designs. In the first phase, 47 participants completed the college persistence questionnaire and the 5-factor model. In the second phase, 11 participants were involved in semistructured interviews. The cross-tabulation with associated chi-square, independent samples t test, and analysis of variance were the statistical tests used. The thematic analysis was used to uncover themes from the interviews. Results indicated a statistically significant relationship between neuroticism and persistence. Within-case analysis showed themes of extraversion and conscientiousness. Cross-case analysis themes included cognitive load, finances, faculty, and support. Recommendation for future practice involves implementing courses that introduce the psychological concepts needed to be successful in doctoral programs.
33
Duan, Xiuwen. "Revisiting Empirical Bayes Methods and Applications to Special Types of Data." Thesis, Université d'Ottawa / University of Ottawa, 2021. http://hdl.handle.net/10393/42340.
Full textAbstract:
Empirical Bayes methods have been around for a long time and have a wide range of
applications. These methods provide a way in which historical data can be aggregated
to provide estimates of the posterior mean. This thesis revisits some of the empirical
Bayesian methods and develops new applications. We first look at a linear empirical Bayes estimator and apply it on ranking and symbolic data. Next, we consider
Tweedie’s formula and show how it can be applied to analyze a microarray dataset.
The application of the formula is simplified with the Pearson system of distributions.
Saddlepoint approximations enable us to generalize several results in this direction.
The results show that the proposed methods perform well in applications to real data
sets.
34
Diogo, Maria Teresa R. M. "Collocation type methods for Volterra integral equations." Thesis, University of Kent, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280935.
Full text
35
Abd, Al Mahamad N. H. "Conjugate gradient type methods for unconstrained optimization." Thesis, University of Leeds, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.329507.
Full text
36
Kolgushev, Oleg. "Influence of Underlying Random Walk Types in Population Models on Resulting Social Network Types and Epidemiological Dynamics." Thesis, University of North Texas, 2016. https://digital.library.unt.edu/ark:/67531/metadc955128/.
Full textAbstract:
Epidemiologists rely on human interaction networks for determining states and dynamics of disease propagations in populations. However, such networks are empirical snapshots of the past. It will greatly benefit if human interaction networks are statistically predicted and dynamically created while an epidemic is in progress. We develop an application framework for the generation of human interaction networks and running epidemiological processes utilizing research on human mobility patterns and agent-based modeling. The interaction networks are dynamically constructed by incorporating different types of Random Walks and human rules of engagements. We explore the characteristics of the created network and compare them with the known theoretical and empirical graphs. The dependencies of epidemic dynamics and their outcomes on patterns and parameters of human motion and motives are encountered and presented through this research. This work specifically describes how the types and parameters of random walks define properties of generated graphs. We show that some configurations of the system of agents in random walk can produce network topologies with properties similar to small-world networks. Our goal is to find sets of mobility patterns that lead to empirical-like networks. The possibility of phase transitions in the graphs due to changes in the parameterization of agent walks is the focus of this research as this knowledge can lead to the possibility of disruptions to disease diffusions in populations. This research shall facilitate work of public health researchers to predict the magnitude of an epidemic and estimate resources required for mitigation.
37
Bozkaya, Nuray. "Application Of The Boundary Element Method To Parabolic Type Equations." Phd thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/3/12612074/index.pdf.
Full textAbstract:
In this thesis, the two-dimensional initial and boundary value problems governed by unsteady partial differential equations are solved by making use of boundary element techniques. The boundary element method (BEM) with time-dependent fundamental solution is presented as an efficient procedure for the solution of diffusion, wave and convection-diffusion equations. It interpenetrates the equations in such a way that the boundary solution is advanced to all time levels, simultaneously. The solution at a required interior point can then be obtained by using the computed boundary solution. Then, the coupled system of nonlinear reaction-diffusion equations and the magnetohydrodynamic (MHD) flow equations in a duct are solved by using the time-domain BEM. The numerical approach is based on the iteration between the equations of the system. The advantage of time-domain BEM are still made use of utilizing large time increments. Mainly, MHD flow equations in a duct having variable wall conductivities are solved successfully for large values of Hartmann number. Variable conductivity on the walls produces coupled boundary conditions which causes difficulties in numerical treatment of the problem by the usual BEM. Thus, a new time-domain BEM approach is derived in order to solve these equations as a whole despite the coupled boundary conditions, which is one of the main contributions of this thesis.
Further, the full MHD equations in stream function-vorticity-magnetic induction-current density form are solved. The dual reciprocity boundary element method (DRBEM), producing only boundary integrals, is used due to the nonlinear convection terms in the equations. In addition, the missing boundary conditions for vorticity and current density are derived with the help of coordinate functions in DRBEM. The resulting ordinary differential equations are discretized in time by using unconditionally stable Gear's scheme so that large time increments can be used. The Navier-Stokes equations are solved in a square cavity up to Reynolds number 2000. Then, the solution of full MHD flow in a lid-driven cavity and a backward facing step is obtained for different values of Reynolds, magnetic Reynolds and Hartmann numbers. The solution procedure is quite efficient to capture the well known characteristics of MHD flow.
38
Crann, Diane. "The Laplace transform boundary element method for diffusion-type problems." Thesis, University of Hertfordshire, 2005. http://hdl.handle.net/2299/14240.
Full textAbstract:
Diffusion-type problems are described by parabolic partial differential equations; they are defined on a domain involving both time and space. The usual method of solution is to use a finite difference time-stepping process which leads to an elliptic equation in the space variable. The major drawback with the finite difference method in time is the possibility of severe stability restrictions. An alternative process is to use the Laplace transform. The transformed problem can be solved using a suitable partial differential equation solver and the solution is transformed back into the time domain using a suitable inversion process. In all practical situations a numerical inversion is required. For problems with discontinuous or periodic boundary conditions, the numerical inversion is not straightforward and we show how to overcome these difficulties. The boundary element method is a well-established technique for solving elliptic problems. One of the procedures required is the evaluation of singular integrals which arise in the solution process and a new formulation is developed to handle these integrals. For the solution of non-homogeneous equations an additional technique is required and the dual reciprocity method used in conjunction with the boundary element method provides a way forward. The Laplace transform is a linear operator and as such cannot handle non-linear terms. We address this problem by a linearisation process together with a suitable iterative scheme. We apply such a procedure to a non-linear coupled electromagnetic heating problem with electrical and thermal properties exhibiting temperature dependencies.
39
Shichida, Toshi. "Types of Religiousness and Marital Relationships." BYU ScholarsArchive, 2011. https://scholarsarchive.byu.edu/etd/2888.
Full textAbstract:
The relationship between two types of religiousness (progressive and orthodox) and marital relationships was investigated using qualitative data from a sample of 26 Christian couples (13 progressive and 39 orthodox individuals) from California and New England. The focus of the study was individuals' frameworks of values and goals (moral order) and the ontological views behind them. Text analysis, t-tests for between-group differences of coded results, and phenomenological analysis were used. Results indicated that couples in the progressive group had Non-transcendent Selfhood as a basic moral order and engaged in mutual loving-kindness to respect and care for each other primarily in the form of a horizontal marital relationship. The couples in the orthodox group had Transcendent God Primacy as a basic moral order and, in addition to loving-kindness (horizontal relationship) toward the spouse, engaged in Transcendent Religious Striving (a vertical movement) as their main religious activity. Spouses in the orthodox group supported, strengthened, and shared the striving of each other. The substantive difference found in the types of being religious and their effects on marital relationships extends the understanding of the link between religion and marriage.
40
Prasianakis, Nikolaos I. "Lattice Boltzmann method for thermal compressible flows /." Zürich : ETH, 2008. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=17739.
Full text
41
Leung, Siu-kong. "Analysis of shear/core wall structures using a linear moment beam-type element /." Hong Kong : University of Hong Kong, 1996. http://sunzi.lib.hku.hk/hkuto/record.jsp?B18155376.
Full text
42
Al-Khaleel, Mohammad D. "Optimized waveform relaxation methods for RC type circuits." Thesis, McGill University, 2002. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=78235.
Full textAbstract:
The waveform relaxation method is a very efficient and reliable method, it has been widely used in several fields including circuit theory, for solving large systems of ordinary differential equations as well as partial differential equations. The convergence rate of the classical waveform relaxation approach is not uniform over the time interval for which the equations are integrated. A new approach called the optimized waveform relaxation approach was proposed with a remarkable and great improvement in the convergence behavior by introducing new transmission conditions. Here, we continue the work done on the optimized waveform relaxation by extending previous results and trying to get a better performance as well as a more general optimized waveform relaxation approach. We use two RC circuits to illustrate the theory and the performance obtained by improving the convergence behavior of the new algorithm.
43
Barkouki, Houda. "Rational Lanczos-type methods for model order reduction." Thesis, Littoral, 2016. http://www.theses.fr/2016DUNK0440/document.
Full textAbstract:
La solution numérique des systèmes dynamiques est un moyen efficace pour étudier des phénomènes physiques complexes. Cependant, dans un cadre à grande échelle, la dimension du système rend les calculs infaisables en raison des limites de mémoire et de temps, ainsi que le mauvais conditionnement. La solution de ce problème est la réduction de modèles. Cette thèse porte sur les méthodes de projection pour construire efficacement des modèles d'ordre inférieur à partir des systèmes linéaires dynamiques de grande taille. En particulier, nous nous intéressons à la projection sur la réunion de plusieurs sous-espaces de Krylov standard qui conduit à une classe de modèles d'ordre réduit. Cette méthode est connue par l'interpolation rationnelle. En se basant sur ce cadre théorique qui relie la projection de Krylov à l'interpolation rationnelle, quatre algorithmes de type Lanczos rationnel pour la réduction de modèles sont proposés. Dans un premier temps, nous avons introduit une méthode adaptative de type Lanczos rationnel par block pour réduire l'ordre des systèmes linéaires dynamiques de grande taille, cette méthode est basée sur l'algorithme de Lanczos rationnel par block et une méthode adaptative pour choisir les points d'interpolation. Une généralisation de ce premier algorithme est également donnée, où différentes multiplicités sont considérées pour chaque point d'interpolation. Ensuite, nous avons proposé une autre extension de la méthode du sous-espace de Krylov standard pour les systèmes à plusieurs-entrées plusieurs-sorties, qui est le sous-espace de Krylov global. Nous avons obtenu des équations qui décrivent cette procédure. Finalement, nous avons proposé une méthode de Lanczos étendu par block et nous avons établi de nouvelles propriétés algébriques pour cet algorithme. L'efficacité et la précision de tous les algorithmes proposés, appliqués sur des problèmes de réduction de modèles, sont testées dans plusieurs exemples numériquesNumerical solution of dynamical systems have been a successful means for studying complex physical phenomena. However, in large-scale setting, the system dimension makes the computations infeasible due to memory and time limitations, and ill-conditioning. The remedy of this problem is model reductions. This dissertations focuses on projection methods to efficiently construct reduced order models for large linear dynamical systems. Especially, we are interesting by projection onto unions of Krylov subspaces which lead to a class of reduced order models known as rational interpolation. Based on this theoretical framework that relate Krylov projection to rational interpolation, four rational Lanczos-type algorithms for model reduction are proposed. At first, an adaptative rational block Lanczos-type method for reducing the order of large scale dynamical systems is introduced, based on a rational block Lanczos algorithm and an adaptive approach for choosing the interpolation points. A generalization of the first algorithm is also given where different multiplicities are consider for each interpolation point. Next, we proposed another extension of the standard Krylov subspace method for Multiple-Input Multiple-Output (MIMO) systems, which is the global Krylov subspace, and we obtained also some equations that describe this process. Finally, an extended block Lanczos method is introduced and new algebraic properties for this algorithm are also given. The accuracy and the efficiency of all proposed algorithms when applied to model order reduction problem are tested by means of different numerical experiments that use a collection of well known benchmark examples
44
Lin, Yen-Shin, and 林延型. "Determining the motor’s quality types: Mahalanobis Distance Measurement method." Thesis, 2016. http://ndltd.ncl.edu.tw/handle/yap47k.
Full textAbstract:
碩士健行科技大學
電子工程系碩士班
104
This dissertation proposes a Mahalanobis Distance Measurement (MDM) method to analyze current waveform for determining the motor’s quality types. In this dissertation, some novel and efficient algorithms in two related research topics about current waveform of motor will be presented and discussed. In the first research topic, signal processing. Which consists of three major stages: (i) the preprocessing stage which is for enlarging motor current waveforms’ amplitude and eliminating noises, (ii) the qualitative features stage which is for qualitative feature selection on motor current waveforms, and (iii) Procedure-CPSCM which is for compute pooled sample covariance matrix. In the second research topic, the Procedure-MQTD which is for determining motor’s quality types using the MDM method. It can recognize defective motors and their defective types in less than 0.5 second. In the experiment, the total classification accuracy (TCA) was approximately 99.01% in average. The proposed method has the advantages of good detection results, no complex mathematic computations, hi-speed, and hi-reliability.
45
LIN, YOU-TING, and 林佑庭. "ONE PIECE Animated Music: Types, Composition Method and Sociability." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/hvecc6.
Full textAbstract:
碩士國立臺北藝術大學
音樂學研究所
105
The Japanese anime presents its culture and the social reality through unique painting style and philosophic story. It makes Japan such a great power of comics and animation culture after the World War II and board the international arena. The object of study, ONE PIECE, otherwise known as 航海王 in Taiwan was serialized in Jump magazine in Japan since 1997. It was remade as anime series by Toei Animation CO., Ltd. October 1999 and broadcasted by Fuji Television Network Inc.. There were 739 episodes until 1st May 2016. In Taiwan, the TTV started to televise it on 22nd July 2001 and it has played 726 episodes until 1st May 2016. It’s replayed by Star Chinese Channel from 2001 and replayed from the first episode to the 578th by Long Turn TV from 27th May 2013 to 8th January 2016. This thesis is focused on the music type of ONE PIECE and chosen the musical work, which is closely related with the image as the subject. Based on the separation of music types, such as classical music, electronic music and J-POP, the research intends to explore that the application of the combination of images and music and learns that the specificity of the Japanese anime.
46
Wang, Wei-Shu, and 王薇舒. "An Efficient and Effective Encryption Method for Multi-Types Images." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/13533881899553057276.
Full textAbstract:
碩士國立中興大學
資訊科學與工程學系所
100
With fast development of high-speed Internet and digital image processing techniques, many digital images are widely used and easily obtainable through Internet. As a result, content security of these images accessible through Internet becomes a challenging issue. Image encryption is a technique for ensuring the privacy of images. When images transmitted to/from Internet, they are compressed (lossy or lossless) in general, where JPEG (Joint Photographic Experts Group) is the most widely used lossy compression standard. Image encryption methods presented in research literature can be classified to two categories: one for lossless compressed images and the other for JPEG compressed images. This paper presents a secure and efficient encryption method for multi-type images-SEMIMG. Experimental results show that our proposed method is indeed applicable to lossless types of image, such as BMP and PNG, and is also good for JPEG images with compression ratio of 10-100%. The experimental results also show that the decrypted JPEG images using SEMIMG have higher image quality than those JPEG image using an encryption/decryption method presented in recent research literature.
47
Chou, Hui-pao, and 周暉堡. "A clustering-based method for detecting network intrusions with new types." Thesis, 2007. http://ndltd.ncl.edu.tw/handle/28665827527828832221.
Full textAbstract:
碩士國立成功大學
資訊管理研究所
95
With the rapid popularization of the Internet, the computer and network already related to our daily life closely. So the topic of the network security had gradually paid more attention to. However, the types of the network intrusions are changed with each passing day. It will be an important issue to detect the occurrence of new types of intrusions. In traditional, intrusions are detected by classification methods, such as decision trees, Bayesian classifiers, SVMs, and so on. All of the above methods are trained by network data to identify the intrusions that had occurred before. However, the general classification methods cannot detect the intrusions never appeared in the training data. This study proposes a clustering-based method to distinguish intrusion data from normal data first. A clustering method is unsupervised and can group data with similar characteristic into the same cluster. A new type of intrusions generally has significantly different data characteristics, hence it can be detected when it cannot be assigned to any known cluster. According to our experimental results, our clustering-based method has a significant superior performance in identifying new types of intrusions than the CBUID, but its resulting false alarm rate is a little bit higher than the CBUID.
48
Chu, Tsui-Yao, and 楚萃瑤. "Fisher’s Linear Discriminant Analysis Method for Motor Quality Types on Current Waveforms." Thesis, 2014. http://ndltd.ncl.edu.tw/handle/12496296771120178812.
Full textAbstract:
碩士健行科技大學
電子工程系碩士班
102
This study proposes a Fisher’s Linear Discriminant Analysis (Fisher’s LDA) approach to analyze current waveform for determining the motor’s quality types. Fisher’s LDA comprises three main stages: (i) the preprocessing stage for enlarging motor’s current waveforms’ amplitude and eliminating noises; (ii) the qualitative features stage for qualitative feature selection of a motor’s current waveform; (iii) the classification stage for determining motor’s quality types using the Fisher’s LDA. In the experiment, the right rate is 99.92% (92.43%) for right judgment on good (defect) motor to be determined as good (defect), the error rate is 7.57%% (0.08%) for wrong judgment on defect (good) motor to be determined as good (defect). The average right rate is 99.72%.
49
Wang, Yen Wei, and 王彥幃. "Spatial Coherence Method Applied To The Classification Of Landcover Types With Satellite Imagery." Thesis, 2012. http://ndltd.ncl.edu.tw/handle/85890878562090651081.
Full textAbstract:
碩士國防大學理工學院
空間科學碩士班
100
In order to improve the recognition accuracy and efficiency for landcover classification, many kinds of approaches, e.g. minimum distance-to-means classifier, parallelepiped classifier and least-squares methods, etc., in identification of landcover type with satellite images have been proposed for the investigation on the global changes, climate prediction, and disaster prevention. By combining the concepts of supervised and unsupervised classification methods, the spatial coherence method (SCM) takes the advantage of filtering out most mixing pixels and chooses the pure training site to get spectral characteristics of specific landcover types. Therefore, the SCM was applied to satellite SPOT-5 images with NDVI data included over the northern Taiwan area in this study. The results of identified landcover types were compared with those based on the Maximum Likelihood Classifier (MLC) and ISODATA algorithms. The experiments are assessed with error matrices and accuracy indices. For the Taipei zone, the results show that overall accuracy was 58%, 61%, and 57% by using SCM, MLC, and ISODATA algorithms respectively. For the Taoyuan zone, It was 45%, 40%, and 41% respectively. The performance of SCM was superior to ISODATA algorithm.
50
HSIEH, CHIA-CHUN, and 謝家純. "The Influence of Different Types of Cash Flows on Firm Performance-Mixture Regression Method." Thesis, 2017. http://ndltd.ncl.edu.tw/handle/2jddhk.
Full textAbstract:
碩士東吳大學
國際經營與貿易學系
105
This study uses the mixture regression model to analyze the heterogeneity of relationships between the cash flows and the firm performances on he sample of Taiwan’s listed companies and OTC companies. Based on the ICL index, the mixture regression model separates the relationships between EPS, ROE, ROA and cash flows into two different types of companies. The two classes companies’ cash flows have the different influences on the above firm performances. Using the company’s stock rate of return as performance, the mixture regression model gets the same results like the traditional multiple regression analysis. The empirical analytic outcomes show that the listed and OTC companies had the different relationships between cash flows and firm performances. The results indicated the different management implications on Taiwan’s companies.