Zaloguj się

Gotowe bibliografie tematyczne / STATIC CONSTRAINTS / Rozprawy doktorskie

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: STATIC CONSTRAINTS.

Rozprawy doktorskie na temat „STATIC CONSTRAINTS”

Autor: Grafiati

Data publikacji: 11 września 2023

Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „STATIC CONSTRAINTS”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

1

Marlowe, Laura C. "A Static Scheduler for critical timing constraints." Thesis, Monterey, California. Naval Postgraduate School, 1988. http://hdl.handle.net/10945/23406.

Pełny tekst źródła

Streszczenie:

Approved for public release; distribution is unlimited<br>The Computer Aided Prototyping System (CAPS) and the Prototype System Description Language (PSDL) represent a pioneering effort in the field of software development. The implementation of CAPS will enable software engineers to automatically validate design specifications and functional requirements early in the design of a software system through the development and execution of a prototype of the system under construction. Execution of the prototype is controlled by an Execution Support System (ESS) within the framework of CAPS.

Style APA, Harvard, Vancouver, ISO itp.

2

Bhavnagarwala, Azeez Jenúddin. "Voltage scaling constraints for static CMOS logic and memory cirucits." Diss., Georgia Institute of Technology, 2001. http://hdl.handle.net/1853/15401.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

3

Abbas, Abdullah. "Static analysis of semantic web queries with ShEx schema constraints." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM064/document.

Pełny tekst źródła

Streszczenie:

La disponibilité de gros volumes de données structurées selon le modèle Resource Description Framework (RDF) est en constante augmentation. Cette situation implique un intérêt scientifique et un besoin important de rechercher de nouvelles méthodes d’analyse et de compilation de requêtes pour tirer le meilleur parti de l’extraction de données RDF. SPARQL est le plus utilisé et le mieux supporté des langages de requêtes sur des données RDF. En parallèle des langages de requêtes, les langages de définition de schéma d’expression de contraintes sur des jeux de données RDF ont également évolués. Le

Style APA, Harvard, Vancouver, ISO itp.

4

Grayland, Andrews. "Automated static symmetry breaking in constraint satisfaction problems." Thesis, University of St Andrews, 2011. http://hdl.handle.net/10023/1718.

Pełny tekst źródła

Streszczenie:

Variable symmetries in constraint satisfaction problems can be broken by adding lexicographic ordering constraints. Existing general methods of generating such sets of ordering constraints can produce a huge number of additional constraints. This adds an unacceptable overhead to the solving process. Methods exist by which this large set of constraints can be reduced to a much smaller set automatically, but their application is also prohibitively costly. In contrast, this thesis takes a bottom up approach to generating symmetry breaking constraints. This will involve examining some commonly-occ

Style APA, Harvard, Vancouver, ISO itp.

5

Niedert, Michael D. "Static-task scheduling incorporating precedence constraints and deadlines in a heterogeneous-computing environment." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2000. http://handle.dtic.mil/100.2/ADA380969.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

6

Kafle, Bishoksan. "Modeling assembly program with constraints. A contribution to WCET problem." Master's thesis, Faculdade de Ciências e Tecnologia, 2012. http://hdl.handle.net/10362/7968.

Pełny tekst źródła

Streszczenie:

Dissertação para obtenção do Grau de Mestre em Lógica Computacional<br>Model checking with program slicing has been successfully applied to compute Worst Case Execution Time (WCET) of a program running in a given hardware. This method lacks path feasibility analysis and suffers from the following problems: The model checker (MC) explores exponential number of program paths irrespective of their feasibility. This limits the scalability of this method to multiple path programs. And the witness trace returned by the MC corresponding to WCET may not be feasible (executable). This may result in

Style APA, Harvard, Vancouver, ISO itp.

7

Nelson, Andrew P. "Funqual: User-Defined, Statically-Checked Call Graph Constraints in C++." DigitalCommons@CalPoly, 2018. https://digitalcommons.calpoly.edu/theses/1848.

Pełny tekst źródła

Streszczenie:

Static analysis tools can aid programmers by reporting potential programming mistakes prior to the execution of a program. Funqual is a static analysis tool that reads C++17 code ``in the wild'' and checks that the function call graph follows a set of rules which can be defined by the user. This sort of analysis can help the programmer to avoid errors such as accidentally calling blocking functions in time-sensitive contexts or accidentally allocating memory in heap-sensitive environments. To accomplish this, we create a type system whereby functions can be given user-defined type qualifier

Style APA, Harvard, Vancouver, ISO itp.

8

Lu, Tingting. "Effects of Multimedia on Motivation, Learning and Performance: The Role of Prior Experience and Task Constraints." The Ohio State University, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=osu1218660147.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

9

Ungwattanapanit, Tanut [Verfasser], Horst [Akademischer Betreuer] Baier, Horst [Gutachter] Baier, and Kai-Uwe [Gutachter] Bletzinger. "Optimization of Steered-Fibers Composite Stiffened Panels including Postbuckling Constraints handled via Equivalent Static Loads / Tanut Ungwattanapanit ; Gutachter: Horst Baier, Kai-Uwe Bletzinger ; Betreuer: Horst Baier." München : Universitätsbibliothek der TU München, 2017. http://d-nb.info/1152384082/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

10

Saglam, Hueseyin. "A toolkit for static analysis of constraint logic programs." Thesis, University of Bristol, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.262739.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

11

Barcenas, Patino Ismael. "Raisonnement automatisé sur les arbres avec des contraintes de cardinalité." Phd thesis, Université de Grenoble, 2011. http://tel.archives-ouvertes.fr/tel-00569058.

Pełny tekst źródła

Streszczenie:

Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sa

Style APA, Harvard, Vancouver, ISO itp.

12

Guziolowski, Carito. "Analysis of Large-Scale Biological Networks with Constraint-Based Approaches over Static Models." Phd thesis, Université Rennes 1, 2010. http://tel.archives-ouvertes.fr/tel-00541903.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

13

Dsouza, Michael Dylan. "Fast Static Learning and Inductive Reasoning with Applications to ATPG Problems." Thesis, Virginia Tech, 2015. http://hdl.handle.net/10919/51591.

Pełny tekst źródła

Streszczenie:

Relations among various nodes in the circuit, as captured by static and inductive invariants, have shown to have a positive impact on a wide range of EDA applications. Techniques such as boolean constraint propagation for static learning and assume-then-verify approach to reason about inductive invariants have been possible due to efficient SAT solvers. Although a significant amount of research effort has been dedicated to the development of effective invariant learning techniques over the years, the computation time for deriving powerful multi-node invariants is still a bottleneck for large c

Style APA, Harvard, Vancouver, ISO itp.

14

Kusano, Markus Jan Urban. "Constraint-Based Thread-Modular Abstract Interpretation." Diss., Virginia Tech, 2018. http://hdl.handle.net/10919/84399.

Pełny tekst źródła

Streszczenie:

In this dissertation, I present a set of novel constraint-based thread-modular abstract-interpretation techniques for static analysis of concurrent programs. Specifically, I integrate a lightweight constraint solver into a thread-modular abstract interpreter to reason about inter-thread interference more accurately. Then, I show how to extend the new analyzer from programs running on sequentially consistent memory to programs running on weak memory. Finally, I show how to perform incremental abstract interpretation, with and without the previously mentioned constraint solver, by analyzing only

Style APA, Harvard, Vancouver, ISO itp.

15

Dijkstra, Erik J. "Constrained Optimization for Prediction of Posture." Licentiate thesis, KTH, Mekanik, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-187488.

Pełny tekst źródła

Streszczenie:

The ability to stand still in one place is important in a variety of activities of daily living. For persons with motion disorders, orthopaedic treatment, which changes geometric or biomechanical properties, can improve the individual'sposture and walking ability. Decisions on such treatment require insight in how posture and walking ability are aected, however, despite expectations based on experience, it is never a-priori known how a patient will react to a treatment. As this is very challenging to observe by the naked eye, engineering tools are increasingly employed to support clinical diag

Style APA, Harvard, Vancouver, ISO itp.

16

Harth, Petr. "Nalezení fyzické polohy stanic v síti Internet pomocí měření přenosového zpoždění." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2012. http://www.nusl.cz/ntk/nusl-219773.

Pełny tekst źródła

Streszczenie:

This diploma thesis is concerned with practical realization of CBG (Constraint-based Geolocation) algorithm, which is one of the IP (Internet Protocol) geolocation technique. IP geolocation determines the localization of a computer workstation location on the basis of on its IP address. The factors causing delays in data transfer are discussed first, followed by discussion of the issue of measuring these delays. The detailed explanation of IP geolocation follows where its contexts as well as the active geolocation techniques (techniques based on delay measurement mentioned above) are described

Style APA, Harvard, Vancouver, ISO itp.

17

Horák, Michael. "Určení polohy stanic v síti Internet pomocí přenosového zpoždění." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2013. http://www.nusl.cz/ntk/nusl-220305.

Pełny tekst źródła

Streszczenie:

This thesis covers the topic of determination of geographical location of a host in internet network while utilizing measurement of the end to end delay and implementation of Constraint-Based Geolocation. Gradually I go through issue of the delay in computer networks and ways how to measure it. Next chapter describes a few ways to geolocate host in internet network with emphasis on the CBG method. Another chapter is dedicated to describing a way to project spherical coordinates to the two dimensional space, which has been used in implementation of geolocation method. Chapter about implementati

Style APA, Harvard, Vancouver, ISO itp.

18

Hawkins, Penelope Anne. "Financial constraints and the small open economy." Thesis, University of Stirling, 2000. http://hdl.handle.net/1893/21628.

Pełny tekst źródła

Streszczenie:

The thesis develops a new model of the small open economy emphasizing financial constraints, based on the notion of liquidity preference as a constraining tendency on the income adjustment process. Preference for liquid assets results in a number of financial states of constraint, such as financial vulnerability, financial exclusion and financial fragility. These are explored in a regional and international context. Openness brings with it new opportunity as well as potential constraints. Models of small open economies have in general assumed away the latter and have neglected the consequences

Style APA, Harvard, Vancouver, ISO itp.

19

Cardenas, Lucena Carolina. "Contribución al control geométrico de sistemas de eventos discretos en el álgebra max-plus." Thesis, Ecole centrale de Nantes, 2016. http://www.theses.fr/2016ECDN0004/document.

Pełny tekst źródła

Streszczenie:

Le travail présenté s'inscrit dans le contexte de la théorie des systèmes linéaires dans les dioïdes. La motivation initiale de cette étude a été de contribuer à l'analyse et la commande de systèmes linéaires dans max-plus en utilisant spécifiquement une approche géométrique. La contribution de cette thèse est centrée sur deux problèmes. La première partie est dédiée à l'étude de la relation entre les notions d'invariance contrôlée et d'invariance contrôlée par retour d'état dynamique dans un semi-anneau. Cette relation permet de montrer l'équivalence de ces deux notions. La deuxième partie co

Style APA, Harvard, Vancouver, ISO itp.

20

Wilson, Marie Elaine. "Collective bargaining in higher education: A model of statutory constraint." Diss., The University of Arizona, 1990. http://hdl.handle.net/10150/185108.

Pełny tekst źródła

Streszczenie:

This dissertation explores the impact of the state public sector legal environment as a determinant of the governance content of faculty collective bargaining agreements. Using content analysis, the legal environment and contractual content are reduced to quantities that may be explored through the lens of population ecology. Legal environment is determined to have a significant impact on the development of contractual content and individual factors of governance and statutory form are identified. Specifically, the statutory scope language and reservation of management rights are seen as the p

Style APA, Harvard, Vancouver, ISO itp.

21

Baykal, Mustafa. "NATO transformation : prospects and constraints on bridging the capability gap /." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2005. http://library.nps.navy.mil/uhtbin/hyperion/05Jun%5FBaykal.pdf.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

22

Saum-Manning, Lisa L. "Avenues of influence a study of domestic constraints on the U.S. national security policy-making process /." Diss., Restricted to subscribing institutions, 2007. http://proquest.umi.com/pqdweb?did=1372034521&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

23

Wallace, Thomas Henry. "Capital constraints to the acquisition of new technology by small business in high technology industries." Thesis, Georgia Institute of Technology, 1985. http://hdl.handle.net/1853/30347.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

24

Toroczkai, Zoltan. "Analytic Results for Hopping Models with Excluded Volume Constraint." Diss., Virginia Tech, 1997. http://hdl.handle.net/10919/30481.

Pełny tekst źródła

Streszczenie:

Part I: The Theory of Brownian Vacancy Driven Walk We analyze the lattice walk performed by a tagged member of an infinite 'sea' of particles filling a d-dimensional lattice, in the presence of a single vacancy. The vacancy is allowed to be occupied with probability 1/2d by any of its 2d nearest neighbors, so that it executes a Brownian walk. Particle-particle exchange is forbidden; the only interaction between them being hard core exclusion. Thus, the tagged particle, differing from the others only by its tag, moves only when it exchanges places with the hole. In this sense, i

Style APA, Harvard, Vancouver, ISO itp.

25

Cardenas, Lucena Carolina. "Contribución al control geométrico de sistemas de eventos discretos en el álgebra max-plus." Electronic Thesis or Diss., Ecole centrale de Nantes, 2016. http://www.theses.fr/2016ECDN0004.

Pełny tekst źródła

Streszczenie:

Le travail présenté s'inscrit dans le contexte de la théorie des systèmes linéaires dans les dioïdes. La motivation initiale de cette étude a été de contribuer à l'analyse et la commande de systèmes linéaires dans max-plus en utilisant spécifiquement une approche géométrique. La contribution de cette thèse est centrée sur deux problèmes. La première partie est dédiée à l'étude de la relation entre les notions d'invariance contrôlée et d'invariance contrôlée par retour d'état dynamique dans un semi-anneau. Cette relation permet de montrer l'équivalence de ces deux notions. La deuxième partie co

Style APA, Harvard, Vancouver, ISO itp.

26

Ng, Mo Ching Norma. "Commercial constraints and news content : a comparative study of quality newspapers in France and in the U.S." HKBU Institutional Repository, 2004. http://repository.hkbu.edu.hk/etd_ra/611.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

27

Kaymak, Yalcin. "A Composite Frame/joint Super Element For Structures Strengthened By Externally Bonded Steel/frp Plates." Master's thesis, METU, 2003. http://etd.lib.metu.edu.tr/upload/1052547/index.pdf.

Pełny tekst źródła

Streszczenie:

A materially non-linear layered beam super element is developed for the analysis of RC beams and columns strengthened by externally bonded steel/FRP plates. The elasto-plastic behavior of RC member is incorporated by its internally generated or externally supplied moment-curvature diagram. The steel plate is assumed to be elasto-plastic and the FRP laminate is assumed to behave linearly elastic up to rupture. The thin epoxy layer between the RC member and the externally bonded lamina is simulated by a special interface element which allows for the changing failure modes from steel plate yieldi

Style APA, Harvard, Vancouver, ISO itp.

28

Hickerson, Jon D. (Jon David). "The Impact of Corporate Interlocks on Power and Constraint in the Telecommunications Industry." Thesis, University of North Texas, 1992. https://digital.library.unt.edu/ark:/67531/metadc500891/.

Pełny tekst źródła

Streszczenie:

Using the tools of structural and network analysis developed by Ronald R. Burt and others, this study investigated the communication patterns among corporate officers of American Telephone and Telegraph Corporation (A.T. & T.) and United Telecommunications Corporation (Sprint). Data on contacts, efficiency, network density, and constraint indicate that opportunities for power and constraint have remained relatively stable at United Telecommunications between 1980 and 1990. A. A.T. & T., on the other hand, was more affected by the drastic changes in the telecommunication industry. The span of A

Style APA, Harvard, Vancouver, ISO itp.

29

McLaughlin, Josetta S. "Operationalalizing social contract: application of relational contract theory to exploration of constraints on implementation of an employee assistance program." Diss., Virginia Tech, 1993. http://hdl.handle.net/10919/39741.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

30

Nasri, Amin. "On the Dynamics and Statics of Power System Operation : Optimal Utilization of FACTS Devicesand Management of Wind Power Uncertainty." Doctoral thesis, KTH, Elektriska energisystem, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154576.

Pełny tekst źródła

Streszczenie:

Nowadays, power systems are dealing with some new challenges raisedby the major changes that have been taken place since 80’s, e.g., deregu-lation in electricity markets, significant increase of electricity demands andmore recently large-scale integration of renewable energy resources such aswind power. Therefore, system operators must make some adjustments toaccommodate these changes into the future of power systems.One of the main challenges is maintaining the system stability since theextra stress caused by the above changes reduces the stability margin, andmay lead to rise of many undesira

Style APA, Harvard, Vancouver, ISO itp.

31

Grose, Roger T. "Cost-constrained project scheduling with task durations and costs that may increase over time demonstrated with the U.S. Army future combat systems /." Thesis, View thesis via NPS View thesis via DTIC, 2004. http://handle.dtic.mil/100.2/ADA424957.

Pełny tekst źródła

Streszczenie:

Thesis (M.S. in Operations Research)--Naval Postgraduate School, 2004.<br>Title from title screen (viewed June 28, 2005). "June 2004." Includes bibliographical references (p. 59-61). Also issued in paper format.

Style APA, Harvard, Vancouver, ISO itp.

32

Tortochot, Éric. "Pour une didactique de la conception. Les étudiants en design et les formes d'énonciation de la conception." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM3013.

Pełny tekst źródła

Streszczenie:

L'activité de conception peut être analysée grâce aux signes produits par les sujets concepteurs et par le discours qu'ils tiennent sur les nouveaux modèles d'artéfacts désirés qui en résultent. L'analyse psycho-sémiologique de l'activité d'étudiants en Master professionnel de design montre deux processus. D'une part, pour résoudre les problèmes abordés, les étudiants rendent compte seuls régulièrement de leur activité en énonçant par divers instruments de représentations les différentes tâches accomplies. D'autre part, pour élaborer les différents modèles d'artéfacts, ils falsifient les contr

Style APA, Harvard, Vancouver, ISO itp.

33

Abate, Domenico. "Modelling and control of RFX-mod tokamak equilibria." Doctoral thesis, Università degli studi di Padova, 2018. http://hdl.handle.net/11577/3421955.

Pełny tekst źródła

Streszczenie:

The subject that concerns this thesis is the modelling and control of plasma equilibria in the RFX-mod device operating as shaped tokamak. The aim was to develop an overall model of the plasma-conductors-controller system of RFX-mod shaped tokamak configuration for electromagnetic control purposes, with particular focus on vertical stability. Thus, the RFX-mod device is described by models of increasing complexity and involving both theoretical and experimental data. The CREATE-L code is used to develop 2D linearized plasma response models, with simplifying assumptions on the conducting struct

Style APA, Harvard, Vancouver, ISO itp.

34

Kreikebaum, Frank Karl. "Control of transmission system power flows." Diss., Georgia Institute of Technology, 2013. http://hdl.handle.net/1853/50392.

Pełny tekst źródła

Streszczenie:

Power flow (PF) control can increase the utilization of the transmission system and connect lower cost generation with load. While PF controllers have demonstrated the ability to realize dynamic PF control for more than 25 years, PF control has been sparsely implemented. This research re-examines PF control in light of the recent development of fractionally-rated PF controllers and the incremental power flow (IPF) control concept. IPF control is the transfer of an incremental quantity of power from a specified source bus to specified destination bus along a specified path without influenc

Style APA, Harvard, Vancouver, ISO itp.

35

Swärdh, Jan-Erik. "Commuting time choice and the value of travel time." Doctoral thesis, Örebro universitet, Handelshögskolan vid Örebro universitet, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:oru:diva-8524.

Pełny tekst źródła

Streszczenie:

In the modern industrialized society, a long commuting time is becoming more and more common. However, commuting results in a number of different costs, for example, external costs such as congestion and pollution as well as internal costs such as individual time consumption. On the other hand, increased commuting opportunities offer welfare gains, for example via larger local labor markets. The length of the commute that is acceptable to the workers is determined by the workers' preferences and the compensation opportunities in the labor market. In this thesis the value of travel time or comm

Style APA, Harvard, Vancouver, ISO itp.

36

Alves, Guilherme de Oliveira. "Uma nova metodologia para estimação de estados em sistemas de distribuição radiais utilizando PMUs." Universidade Federal de Juiz de Fora, 2015. https://repositorio.ufjf.br/jspui/handle/ufjf/1528.

Pełny tekst źródła

Streszczenie:

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-05-16T17:51:25Z No. of bitstreams: 1 guilhermedeoliveiraalves.pdf: 1293169 bytes, checksum: a76074780b2af177b66be7c6435b16d1 (MD5)<br>Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-06-28T12:25:31Z (GMT) No. of bitstreams: 1 guilhermedeoliveiraalves.pdf: 1293169 bytes, checksum: a76074780b2af177b66be7c6435b16d1 (MD5)<br>Made available in DSpace on 2016-06-28T12:25:31Z (GMT). No. of bitstreams: 1 guilhermedeoliveiraalves.pdf: 1293169 bytes, checksum: a76074780b2af177b66be7c6435b16d1 (MD5)

Style APA, Harvard, Vancouver, ISO itp.

37

SINGH, VIKAS. "STATIC AVAILABLE TRANSFER CAPABILITY ENHANCEMENT USING ‘UPFC’ UNDER CONTINGENCIES." Thesis, 2012. http://dspace.dtu.ac.in:8080/jspui/handle/repository/13957.

Pełny tekst źródła

Streszczenie:

M.TECH<br>A combination of lack of investment and environmental issues results in lack of building of new transmission infrastructure. This leads to a requirement for better utilization of existing transmission network. The ATC is defined as a measure of the transfer capability remaining in the physical transmission network for further commercial activity over and above already committed uses" This index is often used as a measure of additional power that can be securely transferred by a transmission network. The Available Transfer Capability (ATC) depends on a number of factors such as

Style APA, Harvard, Vancouver, ISO itp.

38

Chang-ChihLiu and 劉昶志. "Static Task Scheduling for Heterogeneous Distributed Computing Systems with Memory Constraints." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/11115762411488195551.

Pełny tekst źródła

Streszczenie:

碩士<br>國立成功大學<br>資訊工程學系碩博士班<br>98<br>Effective task scheduling of parallel applications represented by directed acyclic graph (DAG) is critical for obtaining high performance in heterogeneous distributed computing systems (HDCSs). As the problem of finding optimal scheduling algorithm has been shown to be NP-complete in general cases, many heuristic algorithms for scheduling on HDCSs have been proposed recently. However, none of them consider the case where processing elements (PEs) have memory constraints which prevent operating system from being installed on PEs to provide memory management.

Style APA, Harvard, Vancouver, ISO itp.

39

Liu, Yen-Ching, and 劉彥慶. "Effects of Static Biaxial Mechanical Constraints on Mechanical Properties of Planar Engineered Tissues." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/07793834824951282056.

Pełny tekst źródła

Streszczenie:

碩士<br>國立交通大學<br>機械工程學系<br>100<br>Prior studies indicated that mechanical loading influences turnover of cell and extracellular matrix in tissues. We used fibroblast–seeded collagen gels as a model to study mechano-biological responses under defined biaxial mechanical loading. Under defined biaxially of static mechanical conditions, cell-seeded collagen gels show irreversible micro-structural change after six days in culture. We thus wanted to verify that the previous mechanical constraint can also lead to a significant mechanical anisotropy that correlated to the fiber alignment and establish

Style APA, Harvard, Vancouver, ISO itp.

40

Hung, Syuan Kai, and 洪璿凱. "Moving Object Detection and Tracking Using Binocular Vision Based on Spatial Constraints of Static Environment." Thesis, 2011. http://ndltd.ncl.edu.tw/handle/60285200837621829570.

Pełny tekst źródła

Streszczenie:

碩士<br>淡江大學<br>機械與機電工程學系碩士班<br>99<br>This thesis presents a visual simultaneous localization, mapping and moving object tracking (SLAMMOT) based on extended Kalman filter (EKF). First, we use the geometric constraints of static landmarks in three-dimensional space to design the algorithms of data association and map management. Since these algorithms are independent of the EKF estimator, the SLAMMOT system can recover from the problem of robot kidnapped automatically. Second, we use the same geometric constraints to develop the algorithm for moving object detection. The developed algorithms are

Style APA, Harvard, Vancouver, ISO itp.

41

Nagaraj, B. P. "Kinematic And Static Analysis Of Over-Constrained Mechanisms And Deployable Pantograph Masts." Thesis, 2009. https://etd.iisc.ac.in/handle/2005/1014.

Pełny tekst źródła

Streszczenie:

Foldable and deployable space structures refer to a broad category of pre-fabricated structures that can be transformed from a compact folded configuration to a predetermined expanded configuration. Such deployable structures are stable and can carry loads. These structures are also mechanisms with one degree of freedom in their entire transformation stages whether in the initial folded form or in the final expanded configuration. Usually, pantograph mechanisms or a scissor-like elements (SLEs) are part of such deployable structures. A new analysis tool to study kinematic and static analyses o

Style APA, Harvard, Vancouver, ISO itp.

42

Nagaraj, B. P. "Kinematic And Static Analysis Of Over-Constrained Mechanisms And Deployable Pantograph Masts." Thesis, 2009. http://hdl.handle.net/2005/1014.

Pełny tekst źródła

Streszczenie:

Foldable and deployable space structures refer to a broad category of pre-fabricated structures that can be transformed from a compact folded configuration to a predetermined expanded configuration. Such deployable structures are stable and can carry loads. These structures are also mechanisms with one degree of freedom in their entire transformation stages whether in the initial folded form or in the final expanded configuration. Usually, pantograph mechanisms or a scissor-like elements (SLEs) are part of such deployable structures. A new analysis tool to study kinematic and static analyses o

Style APA, Harvard, Vancouver, ISO itp.

43

Borgs, Stephanie Pamela. "Determining the Effects of Force Intensity, Postural and Force Direction Constraints on Off-Axis Force Production during Static Unilateral Pushing and Pulling Manual Exertions." Thesis, 2013. http://hdl.handle.net/10012/7780.

Pełny tekst źródła

Streszczenie:

Proactive ergonomics is generally considered to be a more efficient and cost effective way of designing working environments than reactive ergonomics. It often requires preemptively selecting working postures and forces to reduce potential injury risk. One major issue with proactive ergonomic design is correctly identifying the true manual forces that will be required of a worker to complete defined tasks. Typically, these forces are represented as in direct opposition to the forces required by a particular task. However, this is likely an oversimplification as forces often act in differen

Style APA, Harvard, Vancouver, ISO itp.

44

NIKOLIC, Durica. "A General Framework for Constraint-Based Static Analyses of Java Bytecode Programs." Doctoral thesis, 2013. http://hdl.handle.net/11562/546351.

Pełny tekst źródła

Streszczenie:

Questa tesi introduce un generico e parametrizzato framework per analisi statica dei programmi Java bytecode, basato sulla generazione e soluzione dei vincoli. All'interno del framework è possibile gestire sia i flussi di eccezione all'interno di programmi analizzati, sia i side-effect indotti dalle esecuzioni dei metodi che possono modificare la memoria. Questo framework è generico nel senso che diverse istanziazioni dei suoi parametri risultano in diverse analisi statiche capaci di catturare varie proprietà relative alla memoria delle variabili del programma ad ogni punto del programma. Le a

Style APA, Harvard, Vancouver, ISO itp.

45

Rahul, R. "Low delay file transmissions over power constrained quasi-static fading channels." Thesis, 2022. https://etd.iisc.ac.in/handle/2005/5896.

Pełny tekst źródła

Streszczenie:

The ubiquitous deployment of battery-operated wireless devices has resulted in the need for efficient low latency power allocation schemes. A common phenomenon in wireless transmission systems is congestion, where the transmitter backlog grows due to restrictions in channel usage on a resource-constrained shared access medium. In this research work, we aim to achieve low communication delay of wireless downlink file transmissions operating on power-constrained quasi-static fading channels, using state-dependent transmission rate control and admission of file transmission requests. We emp

Style APA, Harvard, Vancouver, ISO itp.

46

Dunn, Brian P. "Delay constrained multimedia communications comparing source-channel approaches for quasi-static fading channels /." 2005. http://etd.nd.edu/ETD-db/theses/available/etd-07222005-170238/.

Pełny tekst źródła

Streszczenie:

Thesis (M.S.E.E.)--University of Notre Dame, 2005.<br>Thesis directed by J. Nicholas Laneman for the Department of Electrical Engineering. "August 2005." Includes bibliographical references (leaves 69-71).

Style APA, Harvard, Vancouver, ISO itp.

47

"Impacts of Base-Case and Post-Contingency Constraint Relaxations on Static and Dynamic Operational Security." Doctoral diss., 2016. http://hdl.handle.net/2286/R.I.38387.

Pełny tekst źródła

Streszczenie:

abstract: Constraint relaxation by definition means that certain security, operational, or financial constraints are allowed to be violated in the energy market model for a predetermined penalty price. System operators utilize this mechanism in an effort to impose a price-cap on shadow prices throughout the market. In addition, constraint relaxations can serve as corrective approximations that help in reducing the occurrence of infeasible or extreme solutions in the day-ahead markets. This work aims to capture the impact constraint relaxations have on system operational security. Moreover, thi

Style APA, Harvard, Vancouver, ISO itp.

48

Tang, Yi, and 唐毅. "Solving Static Bike Rebalancing Problem by a Partial Demand Fulfilling Capacity Constrained Clustering Algorithm." Thesis, 2018. http://ndltd.ncl.edu.tw/handle/u5xh3w.

Pełny tekst źródła

Streszczenie:

碩士<br>國立臺灣科技大學<br>資訊工程系<br>106<br>Nowadays, bike sharing systems have been widely used in major cities around the world. One of the major challenges of bike sharing systems is to rebalance the number of bikes for each station such that user demands can be satisfied as much as possible. To execute rebalancing operations, operators usually have a fleet of vehicles to be routed through stations. When rebalancing operations are executing at nighttime, user demands usually are small enough to be ignored and this is regarded as the static bike rebalancing problem. In this paper, we propose a Partial

Style APA, Harvard, Vancouver, ISO itp.

49

Kim, Gunsik. "Clinton and Bush administrations' nuclear non-proliferation policies on North Korea challenges and implications of systemic and domestic constraints /." 2005. http://catalog.hathitrust.org/api/volumes/oclc/165148098.html.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

50

Gray, Jason. "ARE MEASUREMENTS OF HIP EXTENSION AND ANTERIOR PELVIC TILT TAKEN FROM STATIC PHOTOGRAPGHS DURING A CONSTRAINED FORWARD LUNGE TEST VALID AND RELIABLE IN HEALTHY ADULT RUNNERS?" 2011. http://hdl.handle.net/10222/14240.

Pełny tekst źródła

Streszczenie:

The aim of this study was to determine the concurrent validity, test-retest intra-rater reliability, and test-retest inter-rater reliability of photographic measures of anterior pelvic tilt range of motion (APT ROM) and hip extension ROM range of motion (HE ROM) during a constrained forward lunge test (CFLT) in healthy adult runners. Measurements of start, end, and range of motion (ROM) variables for APT and HE motion were taken from an Optorak kinematic measurement system and from printed photographs extracted from digital video footage using a protractor. A total of 13 healthy adult male an

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!