Relevant bibliographies by topics / STATIC CONSTRAINTS / Dissertations / Theses
To see the other types of publications on this topic, follow the link: STATIC CONSTRAINTS.

Dissertations / Theses on the topic 'STATIC CONSTRAINTS'

Author: Grafiati
Published: 11 September 2023
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'STATIC CONSTRAINTS.'

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

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
14

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
18

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
34

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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)
APA, Harvard, Vancouver, ISO, and other styles
37

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
38

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

Full text
Abstract:
碩士<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.
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
碩士<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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
碩士<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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
42

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
44

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
45

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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/.

Full text
Abstract:
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).
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
碩士<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
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'STATIC CONSTRAINTS' for other source types:
Journal articles Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography