Relevant bibliographies by topics / Static rule analysis

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Static rule analysis'

Author: Grafiati
Published: 4 June 2021
Last updated: 6 February 2022

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Static rule analysis.'

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.

Journal articles on the topic "Static rule analysis"

1

Udrea, Octavian, Cristian Lumezanu, and Jeffrey S. Foster. "Rule-based static analysis of network protocol implementations." Information and Computation 206, no. 2-4 (2008): 130–57. http://dx.doi.org/10.1016/j.ic.2007.05.007.

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

Xiong, Hao, and Huili Yan. "General Method of Building a Real-Time Optimization Policy for Dynamic Vehicle Routing Problem." Journal of Systems Science and Information 7, no. 6 (2019): 584–98. http://dx.doi.org/10.21078/jssi-2019-584-15.

Full text
Abstract:
Abstract Currently, most of the policies for the dynamic demand vehicle routing problem are based on the traditional method for static problems as there is no general method for constructing a real-time optimization policy for the case of dynamic demand. Here, a new approach based on a combination of the rules from the static sub-problem to building real-time optimization policy is proposed. Real-time optimization policy is dividing the dynamic problem into a series of static sub-problems along the time axis and then solving the static ones. The static sub-problems’ transformation and solution rules include: Division rule, batch rule, objective rule, action rule and algorithm rule, and so on. Different combinations of these rules may constitute a variety of real-time optimization policy. According to this general method, two new policies called flexible G/G/m and flexible D/G/m were developed. The competitive analysis and the simulation results of these two policies proved that both are improvements upon the best existing policy.
APA, Harvard, Vancouver, ISO, and other styles
3

Zhou, Chang Jiang, Si Yu Chen, and Lin Ma. "Analysis of Gear Strength by Static and Dynamic Finite Element Methods." Applied Mechanics and Materials 846 (July 2016): 318–24. http://dx.doi.org/10.4028/www.scientific.net/amm.846.318.

Full text
Abstract:
As key factor of numerical simulation for gear strength, namely determination of effective loads between meshing teeth profiles, their numerical calculation principles of static and dynamic finite element methods are analyzed according to the loads on gear teeth. The static analysis of gear strength can be classified to effective statics and static contact analysis, and the numerical simulation method for face distribution as the rule of Hertz contact is advanced. The differences between static and dynamic contact and their influences in results are researched. Compared with the empirical formulas, the analytical results about bearing capacity of gear drive under different effective loads show: (1) As the sequence of concentrated force, linear distribution force, face distribution force as the rule of Hertz contact, static contact analysis, the accuracy and reliability of calculating results under different effective loads are improved, especially the results from face distribution and static contact being very close. (2) Dynamic contact analysis can be used to simulated the effect well. The above studies could be referenced to calculation in bearing capacity of gear drive.
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Xin Feng, Min Zhong Gao, and Hong Zhi Wang. "A Uniform Rule that Can Replace the Left-Hand Rule and the Right-Hand Rule in Electromagnetics." Applied Mechanics and Materials 278-280 (January 2013): 86–89. http://dx.doi.org/10.4028/www.scientific.net/amm.278-280.86.

Full text
Abstract:
The left-hand rule and the right-hand rule are widely used in electromagnetics but are often confusing. Based on an analysis of the differences and commonalities of the two rules, a uniform rule using coordinate rotation is proposed to determine the direction of the magnetic force and the induced electromotive force (emf) or the induced current in a static magnetic field. Furthermore, we discuss how to use the uniform rule to determine the direction of the induced emf or current in a moving magnetic field, which is traditionally determined by Lenz's law. The uniform rule is easy to understand and remember.
APA, Harvard, Vancouver, ISO, and other styles
5

Leng, De Long, Dong Sheng Qu, and Yan Wu Liu. "Static Stiffness Analysis and Simulation of 6-PTRT Parallel Robot." Applied Mechanics and Materials 318 (May 2013): 33–38. http://dx.doi.org/10.4028/www.scientific.net/amm.318.33.

Full text
Abstract:
To reveal the static stiffness behavior of a 6-PTRT parallel robot and find out its change rule in order to provide the reasonable parameters for the structural design, the stiffness characteristics of this parallel mechanism was studied. Based on the influence coefficient method, a static stiffness model for 6-PTRT parallel robot was established. The proposed model considered not only the axis stiffness of actuator but also the stiffness of passive joints, and the change of Jacobian matrix and first-order influence coefficient brought about by tiny change of the parallel robot mechanism's configuration under external wrench. The static stiffness matrix of parallel robot in initial position and its stiffness distribution rules for a certain workspace were given by numerical calculation and finite element method, which comparatively verify the exactness of stiffness model.
APA, Harvard, Vancouver, ISO, and other styles
6

Zupan, Blaž, Marko Bohanec, and Albert Mo Kim Cheng. "Static Stability Analysis Method for Fuzzy Rule-Chaining Real-Time Systems." IFAC Proceedings Volumes 29, no. 7 (1996): 295–300. http://dx.doi.org/10.1016/s1474-6670(17)43734-7.

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

Harb, Hany, Hamdy Kelash, and Ahmed Shehata. "STATIC TOOL ENVIRONMENT FOR RULE TERMINATION ANALYSIS BY REFINED EVOLUTION GRAPHS." JES. Journal of Engineering Sciences 35, no. 1 (2007): 163–76. http://dx.doi.org/10.21608/jesaun.2007.111412.

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

Tezcan, Tolga. "Stability analysis of N-model systems under a static priority rule." Queueing Systems 73, no. 3 (2012): 235–59. http://dx.doi.org/10.1007/s11134-012-9304-z.

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

Hermeling, Mark. "Static Code Analysis in Continuous Integration - Agile and Rule-compliant Development." ATZelectronics worldwide 14, no. 1-2 (2019): 26–29. http://dx.doi.org/10.1007/s38314-018-0093-y.

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

E, Weinan, and Pingbing Ming. "Cauchy–Born Rule and the Stability of Crystalline Solids: Static Problems." Archive for Rational Mechanics and Analysis 183, no. 2 (2006): 241–97. http://dx.doi.org/10.1007/s00205-006-0031-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Static rule analysis"

1

Le, Truong Giang. "Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications." Phd thesis, Conservatoire national des arts et metiers - CNAM, 2013. http://tel.archives-ouvertes.fr/tel-00953368.

Full text
Abstract:
Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that support many manufacturing and daily life activities. For instance, industrial robots detect the changes of the working environment in the factory to adapt their operations to the requirements. Automotive control systems may observe other vehicles, detect obstacles, and monitor the essence level or the air quality in order to warn the drivers in case of emergency. Another example is power-aware embedded systems that need to work based on current power/energy availability since power consumption is an important issue. Those kinds of systems can also be considered as smart applications. In practice, successful implementation and deployment of context-aware systems depend on the mechanism to recognize and react to variabilities happening in the environment. In other words, we need a well-defined and efficient adaptation approach so that the systems' behavior can be dynamically customized at runtime. Moreover, concurrency should be exploited to improve the performance and responsiveness of the systems. All those requirements, along with the need for safety, dependability, and reliability pose a big challenge for developers.In this thesis, we propose a novel programming language called INI, which supports both event-based and rule-based programming paradigms and is suitable for building concurrent and context-aware reactive applications. In our language, both events and rules can be defined explicitly, in a stand-alone way or in combination. Events in INI run in parallel (synchronously or asynchronously) in order to handle multiple tasks concurrently and may trigger the actions defined in rules. Besides, events can interact with the execution environment to adjust their behavior if necessary and respond to unpredictable changes. We apply INI in both academic and industrial case studies, namely an object tracking program running on the humanoid robot Nao and a M2M gateway. This demonstrates the soundness of our approach as well as INI's capabilities for constructing context-aware systems. Additionally, since context-aware programs are wide applicable and more complex than regular ones, this poses a higher demand for quality assurance with those kinds of applications. Therefore, we formalize several aspects of INI, including its type system and operational semantics. Furthermore, we develop a tool called INICheck, which can convert a significant subset of INI to Promela, the input modeling language of the model checker SPIN. Hence, SPIN can be applied to verify properties or constraints that need to be satisfied by INI programs. Our tool allows the programmers to have insurance on their code and its behavior.
APA, Harvard, Vancouver, ISO, and other styles
2

Bostan, Burcin. "A Fuzzy Petri Net Model For Intelligent Databases." Phd thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/3/12605962/index.pdf.

Full text
Abstract:
Knowledge intensive applications require an intelligent environment, which can perform deductions in response to user queries or events that occur inside or outside of the applications. For that, we propose a Fuzzy Petri Net (FPN) model to represent the knowledge and the behavior in an intelligent object-oriented database environment, which integrates fuzzy, active and deductive rules with database objects. By gaining intelligent behaviour, the system maintains objects to perceive dynamic occurences and user queries. Thus, objects can produce new knowledge or keep themselves in a consistent, stable, and upto-date state. The behavior of a system can be unpredictable due to the rules triggering or untriggering each other (non-termination). Intermediate and final database states may also differ according to the order of rule executions (non-confluence). In order to foresee and solve problematic behavior patterns, we employ static rule analysis on the FPN structure that provides easy checking of the termination property without requiring any extra construct. In addition, with our proposed inference algorithm, we guarantee confluent rule executions. The techniques and solutions provided in this study can be utilized in various complex systems, such as weather forecasting applications, environmental information systems, defense applications, video database applications, etc. We implement a prototype of the model for the weather forecasting of the Central Anatolia Region
APA, Harvard, Vancouver, ISO, and other styles
3

Kóňa, Marián. "Aerodynamický návrh transsonického bezpilotního kluzáku." Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2015. http://www.nusl.cz/ntk/nusl-232008.

Full text
Abstract:
This master thesis is focused on aerodynamic design of transonic glider, which is assigned for following an airliner at cruising regime of flight. Main goal of the thesis is to determine basic geometrical design of airplane with respect to Whitcomb aera rule, mass analysis and drag polar. Weight analysis includes determining center of gravity according to longitudinal static stability margin. The drag polar of the airplane is determine for cruising regime of flight, that means the regime of following an airliner.
APA, Harvard, Vancouver, ISO, and other styles
4

Husain, Rashid, and Syed Muhammad Husnain Kazmi. "Comparative Analysis of Static Recovery Schemes for Distributed Computing." Thesis, Blekinge Tekniska Högskola, Avdelningen för för interaktion och systemdesign, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4805.

Full text
Abstract:
The primary objective of this thesis is to evaluate how grid computing works with their infrastructure. It also provides study to recognize the cases in which dynamic scheduler is preferable, how can the static recovery schemes play an effective role in large distributed system where load balancing is a key element and how can we get optimality in maximum number of crash computers using dynamic or static recovery schemes. This thesis consists of two parts: construction of Golomb and Trapezium modules, and performance comparison of Golomb and Trapezium recovery schemes with dynamic recovery scheme. In the first part we construct two modules that generate the recovery list of n computers, one for Golomb and one for Trapezium. In second part we make three schedulers, two for static recovery scheme and one for dynamic recovery scheme. In static recovery scheme we compare the performance of Golomb and Trapezium recovery scheme then we compare this performance with dynamic recovery scheme by using GridSim.<br>0046735991980, 0046766503096
APA, Harvard, Vancouver, ISO, and other styles
5

Zonys, Andrius. "Statinės kodo analizės įrankių tyrimas ir tobulinimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2013. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130826_110938-43077.

Full text
Abstract:
Šiame darbe aptariama statinė ir dinaminė kodo analizė, jų privalumai ir trūkumai, analizės įrankių tipai bei jų paskirtis. Analizuojami „Gendarme“, „Cppcheck“ ir „FindBugs“ statinės kodo analizės įrankiai. Plačiau analizuojamas laisvai platinamas statinės kodo analizės įrankis „Gendarme“. Pateikiamos spragos, rastos esamose „Gendarme“ taisyklėse bei siūlomi jų patobulinimai, kurie turėtų padėti aptikti daugiau klaidų ir padidinti programų spartą, stabilumą, saugumą ir kodo skaitomumą. Taip pat pateikiamos naujos sukurtos taisyklės, kurios turėtų padėti aptikti daugiau perteklinio, nelogiško kodo, kurio kompiliatorius neaptinka. Naujos taisyklės turėtų padėti supaprastinti programos kodą ir taip pagerinti jo skaitomumą bei aptikti daugiau spragų, kuriomis pasinaudojus galima įtakoti programų veikimą. Atliktas eksperimentinis tyrimas, kurio metu buvo išanalizuotos programos su patobulintu ir nepatobulintu „Gendarme“ statinės kodo analizės įrankiu. Pateikiami eksperimento rezultatai ir išvados.<br>This paper discusses the static and dynamic code analysis, their advantages and disadvantages, types of analysis tools and their purpose. Analyzes the "Gendarme", "Cppcheck" and "FindBugs" static code analysis tools. Wider analyzes the freely distributed static source code analysis tool "Gendarme". Presented gaps which were found in existing "Gendarme" rules and the proposed modifications, which should help to detect more errors and improve program performance, stability, security and code readability. It also introduces new rules, which should help to detect more excessive, illogical code, which are not detected by the compiler. As well as simplify the code and thus to improve its readability and detect more vulnerabilities, which may be used to affect the functioning of applications. Experimental research was carried out in which some programs were analyzed with improved and not improved static code analysis tool "Gendarme". Experimental results and conclusions are presented.
APA, Harvard, Vancouver, ISO, and other styles
6

Nagy, Sandra. "Hostile takeovers in the face of the Business Judgment Rule : A comparative analysis between Sweden and the United States of America in regard to the Business Judgment Rule and the Unocal test." Thesis, Uppsala universitet, Juridiska institutionen, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-306969.

Full text
Abstract:
In cases concerning a hostile takeover occurring in the United States, the board of directors must fulfill the duties set forward by the Unocal test. If the board of directors succeed, it implies that the decision, regardless if it is a bad decision, is protected by the Business Judgment Rule. The Business Judgment Rule presumes that the board of directors in good faith made an informed decision in the line of the corporations’ interests. The Business Judgment Rule is inherently unique for American companies. In Sweden liability for directors is based on a culpa evaluation which in turn is based on principles deriving from tort law. This is the result from the corporate law only providing for a very limited part concerning liability. In this thesis, the different judicial systems are explained with focus on differences and similarities based on duties of the board. Moreover, the different liabilities from a Swedish and an American perspective will be discussed. Concluding, it is hard to distinguish a Swedish version of the Business Judgment Rule, however, the creation of one would most likely be beneficial since it, to a large extent, provides for a better business world.<br>Vid ett fientligt företagsförvärv i USA måste styrelseledamöterna visa att de uppfyller de krav som framställts genom Unocal-testet. Lyckas styreledamöterna uppfylla kraven så blir de skyddade från skadeståndsrättsligt ansvar i enlighet med the Business Judgment Rule, oavsett om beslutet ledde till en dålig affär. The Business Judgment Rule presumerar att styrelseledamöterna i god tro fattat ett välgrundat affärsbeslut som ligger i bolagets intresse. The Business Judgment Rule är unikt för amerikanska bolag. I Sverige utgår skadeståndsansvar för styrelseledamöter från en culpabedömning, vilket baseras på allmänna skadeståndsrättsliga principer då den aktiebolagsrättsliga skadeståndsdelen är begränsad. I denna uppsats redogörs de olika rättssystemen med fokus på likheter och skillnader i styrelseuppdraget. Vidare diskuteras styrelseledamöternas skadeståndsansvar utifrån ett amerikanskt och ett svenskt perspektiv. Slutligen visas det att det är svårt att se en svensk version till the Business Judgment Rule, men att en sådan troligen skulle vara att föredra då regeln ger effekter som bidrar till en bättre affärsvärld.
APA, Harvard, Vancouver, ISO, and other styles
7

Gečiauskas, Ramūnas. "Programinio kodo statinės analizės taisyklių kūrimas ir tyrimas." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2010. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100825_154012-07661.

Full text
Abstract:
Šiame dokumente aprašytas darbas susideda iš trijų dalių. Pirmoje dalyje atlikome inžinerinę programinio kodo valdymo sistemos „SourceHQ“ analizę ir projektavimą. Palyginome rinkoje esančius analogus, jų privalumus ir trūkumus. Glaustai pateikėme architektūrą ir aprašėme pasirinktus realizavimo sprendimus. Dokumento antroje dalyje ištyrėme jau egzistuojančias statinės kodo analizė taisykles ir pasiūlėme jas išplėsti naujomis. Aprašėme analizei naudojamus įrankius, jų veikimo principus ir pateikiamus rezultatus. Paskutinėje darbo dalyje ištyrėme ir eksperimentiškai išbandėme naujai realizuotas mūsų pasiūlytas taisykles. Palyginome testų rezultatus programų veikimo našumo charakteristikos aspektais. Įrodėme mūsų programinio kodo statinės analizės taisyklės privalumus.<br>This final master’s thesis consists of three major parts. The first section covers engineering aspects of source code management system called “SourceHQ” that we developed, including its analysis and design details. We will provide key details and basis of chosen technologies, business analysis, and design decisions as well as discuss system functionality and its future prospects. The second part is dedicated to testing and ensuring system quality, which led us to design and develop custom static source code analysis rules. We will formulate and explain their potential use and benefits. We will describe additional tools and methods being used and provide main results of static source code analysis. In the final part of our work we go deeper into static source code analysis. We perform experiments based on our designed and developed custom rules on various .NET Framework applications and systems. We cover major performance benefits and drawbacks of every rule separately and display how this approach lets developers optimize their source code in an early development stage. We provide research data based on extensive experiments and conclude how using FxCop tool provided with our improved custom code analysis rules can automatically discover and suggest improvements in CIL code.
APA, Harvard, Vancouver, ISO, and other styles
8

Gauffin, Christian, and Marcus Jonsson. "Prototyp för identifiering av teknisk skuld inom Product Lifecycle Management." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-188872.

Full text
Abstract:
Technical debt is a well known term within software development, but has not yet been implemented outside of software development. Because of this, there is no knowledge whether that is possible or not. This thesis investigates how technical debt can be extended to and be identified within a software system for handling Product Lifecycle Management. The purpose of the thesis is to present a prototype, called the ITS-prototype, which shows that it is possible to identify technical debt within Product Lifecycle Management. The thesis has qualitative characteristics and were conducted as a case study. In order to verify that the implementation is correct, two evaluation criterias were established. The first criteria, measuring the degree of coverage, saying that the ITS-prototype should be able to identify 100% of the technical debt defined by each rule. The second criteria consists of an interview with a technical expert on Product Lifecycle Management where the prototype's underlying method is evaluated. The ITS-prototype together with the results of the evaluation shows that technical debt is possible to be implemented and identified in a software system for handling Product Lifecycle Management. The rule-driven implementation that is used, has shown effective and the authors suggests that the development of the ITS-prototype continues in order to better use conveniences that exist within a Product Lifecycle Management-system.<br>Teknisk skuld är ett vedertaget begrepp inom mjukvaruutveckling men har ännu inte implementerats utanför mjukvara. Således finns det ingen kunskap om huruvida det är praktiskt möjligt att göra detta eller inte. I detta arbete undersöktes om konceptet teknisk skuld kan implementeras i ett mjukvarusystem för hantering av Product Lifecycle Management. Syftet med arbetet är att visa att teknisk skuld kan implementeras inom Product Lifecycle Management genom att presentera en prototyp för identifiering av teknisk skuld inom Product Lifecycle Management, kallad ITS-prototypen. Arbetet är av kvalitativ karaktär och genomfördes som en fallstudie. För att verifiera att implementationen är korrekt upprättades två utvärderingskriterier. Det första mäter prototypens täckningsgrad och säger att ITS-prototypen ska kunna identifiera 100% teknisk skuld definierad av varje regel. Det andra kriteriet består av en utvärderingsintervju med en teknisk expert på Product Lifecycle Management, där prototypens underliggande metod utvärderas. ITS-prototypen tillsammans med resultaten av utvärderingen visar att teknisk skuld är möjlig att implementera i ett mjukvarusystem för hantering av Product Lifecycle Management. Den regeldrivna implementation som använts i ITS-prototypen är effektiv och författarna föreslår att utvecklandet av prototypen fortsätter för att bättre kunna nyttja fördelar i ett PLM-system.
APA, Harvard, Vancouver, ISO, and other styles
9

Orichel, Thomas. "Adaptive rules in emergent logistics (ARIEL) : an agent-based analysis environment to study adaptive route-finding in changing road-networks /." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2003. http://library.nps.navy.mil/uhtbin/hyperion-image/03Jun%5FOrichel.pdf.

Full text
Abstract:
Thesis (M.S. in Modeling, Virtual Environments and Simulation and M.S. in Computer Science)--Naval Postgraduate School, June 2003.<br>"This thesis is done in cooperation with the MOVES Institute"--Cover. Thesis advisor(s): Eugene Paulo, John Hiles. Includes bibliographical references (p. 49). Also available online.
APA, Harvard, Vancouver, ISO, and other styles
10

Mohd, Saudi Madihah. "A new model for worm detection and response : development and evaluation of a new model based on knowledge discovery and data mining techniques to detect and respond to worm infection by integrating incident response, security metrics and apoptosis." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5410.

Full text
Abstract:
Worms have been improved and a range of sophisticated techniques have been integrated, which make the detection and response processes much harder and longer than in the past. Therefore, in this thesis, a STAKCERT (Starter Kit for Computer Emergency Response Team) model is built to detect worms attack in order to respond to worms more efficiently. The novelty and the strengths of the STAKCERT model lies in the method implemented which consists of STAKCERT KDD processes and the development of STAKCERT worm classification, STAKCERT relational model and STAKCERT worm apoptosis algorithm. The new concept introduced in this model which is named apoptosis, is borrowed from the human immunology system has been mapped in terms of a security perspective. Furthermore, the encouraging results achieved by this research are validated by applying the security metrics for assigning the weight and severity values to trigger the apoptosis. In order to optimise the performance result, the standard operating procedures (SOP) for worm incident response which involve static and dynamic analyses, the knowledge discovery techniques (KDD) in modeling the STAKCERT model and the data mining algorithms were used. This STAKCERT model has produced encouraging results and outperformed comparative existing work for worm detection. It produces an overall accuracy rate of 98.75% with 0.2% for false positive rate and 1.45% is false negative rate. Worm response has resulted in an accuracy rate of 98.08% which later can be used by other researchers as a comparison with their works in future.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Static rule analysis"

1

editor, Rose Corey F., Harris, David J. (David Jon), editor, Vartanian Thomas P. editor, et al., eds. The Volcker Rule: Commentary and analysis. 2nd ed. Thomson Reuters Westlaw, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

American Bar Association. Forum on Franchising, ed. The FTC franchise rule: Analysis and commentary. 2nd ed. American Bar Association, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

United States. Court of Appeals (9th Circuit). Judicial Council. Review and analysis of local bankruptcy rules of procedure. s.n.], 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Trzcinka, Charles A. An economic analysis of the cost and benefits of S.E.C. Rule 12b-1. Salomon Brothers Center for the Study of Financial Institutions, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Trzcinka, Charles A. An economic analysis of the cost and benefits of S.E.C. rule 12b-1. Salomon Brothers Center for the Study of Financial Institutions, Leonard N. Stern School of Business, New York University, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

J, Krupnick Alan, and Harrington Winston, eds. Rules in the making: A statistical analysis of regulatory agency behavior. Resources for the Future, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Shapiro, Hal S. Fast track: A legal, historical, and political analysis. Transnational Publishers, 2006.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Commission, United States Federal Trade. Staff report on the proposed revised FTC franchise rule, released August 25, 2004: Text of report, exhibits, analysis of report. CCH Inc., 2004.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Office, General Accounting. Drinking water: Revisions to EPA's cost analysis for the radon rule would improve its credibility and usefulness. The Office, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bebchuk, Lucian A. An analysis of fee-shifting based on the margin of victory: On frivolous suits, meritorious suits, and the role of Rule 11. National Bureau of Economic Research, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Static rule analysis"

1

de Bruijn, Jos, and Martín Rezk. "A Logic Based Approach to the Static Analysis of Production Systems." In Web Reasoning and Rule Systems. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-05082-4_18.

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

Bostan-Korpeoglu, Burcin, and Adnan Yazici. "Using Fuzzy Petri Nets for Static Analysis of Rule-Bases." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30182-0_8.

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

Bucchiarone, Antonio, Hartmut Ehrig, Claudia Ermel, Patrizio Pelliccione, and Olga Runge. "Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation." In Software, Services, and Systems. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-15545-6_33.

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

Blanchet, Bruno. "Abstracting Cryptographic Protocols by Prolog Rules." In Static Analysis. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-47764-0_27.

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

Shekhovtsov, Vladimir A., Yuriy Tomilko, and Mikhail D. Godlevskiy. "Facilitating Reuse of Code Checking Rules in Static Code Analysis." In Lecture Notes in Business Information Processing. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-01112-2_10.

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

Miloiu, Silviu. "Forms of Anti-Communist Resistance in the Baltic States, Romania and Moldova under Stalin: a Comparative Analysis." In The Baltic States under Stalinist Rule. Böhlau Verlag, 2016. http://dx.doi.org/10.7788/9783412506049-011.

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

Riegl, Martin, and Bohumil Doboš. "(Super)Power Rule: Comparative Analysis of Parent States." In Unrecognized States and Secession in the 21st Century. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-56913-0_6.

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

Moosbrugger, Marcel, Ezio Bartocci, Joost-Pieter Katoen, and Laura Kovács. "Automated Termination Analysis of Polynomial Probabilistic Programs." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_18.

Full text
Abstract:
AbstractThe termination behavior of probabilistic programs depends on the outcomes of random assignments. Almost sure termination (AST) is concerned with the question whether a program terminates with probability one on all possible inputs. Positive almost sure termination (PAST) focuses on termination in a finite expected number of steps. This paper presents a fully automated approach to the termination analysis of probabilistic while-programs whose guards and expressions are polynomial expressions. As proving (positive) AST is undecidable in general, existing proof rules typically provide sufficient conditions. These conditions mostly involve constraints on supermartingales. We consider four proof rules from the literature and extend these with generalizations of existing proof rules for (P)AST. We automate the resulting set of proof rules by effectively computing asymptotic bounds on polynomials over the program variables. These bounds are used to decide the sufficient conditions – including the constraints on supermartingales – of a proof rule. Our software tool Amber can thus check AST, PAST, as well as their negations for a large class of polynomial probabilistic programs, while carrying out the termination reasoning fully with polynomial witnesses. Experimental results show the merits of our generalized proof rules and demonstrate that Amber can handle probabilistic programs that are out of reach for other state-of-the-art tools.
APA, Harvard, Vancouver, ISO, and other styles
9

Reger, Giles, Johannes Schoisswohl, and Andrei Voronkov. "Making Theory Reasoning Simpler." In Tools and Algorithms for the Construction and Analysis of Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72013-1_9.

Full text
Abstract:
AbstractReasoning with quantifiers and theories is at the core of many applications in program analysis and verification. Whilst the problem is undecidable in general and hard in practice, we have been making large pragmatic steps forward. Our previous work proposed an instantiation rule for theory reasoning that produced pragmatically useful instances. Whilst this led to an increase in performance, it had its limitations as the rule produces ground instances which (i) can be overly specific, thus not useful in proof search, and (ii) contribute to the already problematic search space explosion as many new instances are introduced. This paper begins by introducing that specifically addresses these two concerns as it produces general solutions and it is a simplification rule, i.e. it replaces an existing clause by a ‘simpler’ one. Encouraged by initial success with this new rule, we performed an experiment to identify further common cases where the complex structure of theory terms blocked existing methods. This resulted in four further simplification rules for theory reasoning. The resulting extensions are implemented in the Vampire theorem prover and evaluated on SMT-LIB, showing that the new extensions result in a considerable increase in the number of problems solved, including 90 problems unsolved by state-of-the-art SMT solvers.
APA, Harvard, Vancouver, ISO, and other styles
10

Kochenov, Dimitry. "Article 7: A Commentary on a Much Talked-About ‘Dead’ Provision." In Defending Checks and Balances in EU Member States. Springer Berlin Heidelberg, 2021. http://dx.doi.org/10.1007/978-3-662-62317-6_6.

Full text
Abstract:
AbstractThe goal of this chapter is to contribute to the growing Article 7 TEU literature by showcasing the strong and weak points of this provision in the context of the on-going rule of law backsliding in Hungary and Poland threatening the very fabric of EU constitutionalism. This is done by presenting the general context of the institutional reactions to the so-called ‘reforms’ in Poland and Hungary aimed to hijack the state machinery by the political parties in charge; introducing the background of Article 7 TEU and the hopes of the drafters the provision was endowed with; to move on to the analysis of its scope and all the procedures made available through this instrument as well as the key procedural rules in place. The conclusion restates the necessity of putting our hopes in alternative instruments of combatting rule of law backsliding, outlining three possible scenarios of this, which are not (necessarily) connected to Article 7 as such.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Static rule analysis"

1

Marcilio, Diego, and Rodrigo Bonifácio. "Automatically Fixing Static Analysis Tools Violations." In XI Congresso Brasileiro de Software: Teoria e Prática. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/cbsoft_estendido.2020.14625.

Full text
Abstract:
Static analysis tools analyze source code to find deviations, or violations, from recommended programming practices defined as rules. A warning is raised when a piece of code violates any rule. Even though these tools can help to identify defects, developers still face several barriers when using them. Among the challenges are the significant number of reported warnings, often caused by false-positives, and the need to devise fixes, a repetitive and error-prone process. In this work, we addressed these two difficulties in two stages: 1) we identified which kind of rules are mostly fixed by Java developers when using SonarQube (a widely used static analysis tools); 2) we implemented a tool that provides automatic fixes for a subset of the previously commonly fixed found rules. The results obtained indicate that providing automatic fixes for commonly fixed warnings is feasible and welcomed by developers.
APA, Harvard, Vancouver, ISO, and other styles
2

Oumarou, Hayatou, Nicolas Anquetil, Anne Etien, Stephane Ducasse, and Kolyang Dina Taiwe. "Identifying the exact fixing actions of static rule violation." In 2015 IEEE 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER). IEEE, 2015. http://dx.doi.org/10.1109/saner.2015.7081847.

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

Loganatharaj, R. "Static analysis of consistency and redundancy of a rule based expert system." In the second international conference. ACM Press, 1989. http://dx.doi.org/10.1145/67312.67318.

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

Cheng, A. M. K., and C. K. Wang. "Fast static analysis of real-time rule-based systems to verify their fixed point convergence." In Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. IEEE, 1990. http://dx.doi.org/10.1109/cmpass.1990.175401.

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

O’Leary, Michael, and William Godfrey. "Seismic Response Analysis and Design for Concrete Nuclear Structures: A Comparative Study of the Time History, Response Spectrum, and Equivalent Static Load Methods." In ASME 2016 Pressure Vessels and Piping Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/pvp2016-63314.

Full text
Abstract:
A partially buried fixed-base finite element model of a typical safety-related nuclear structure is analyzed for earthquake loads by the time history method, the response spectrum method, and the equivalent static load method. The spectra-consistent artificial time histories are generated with seed time histories in accordance with Standard Review Plan 3.7.1: Seismic Design Parameters [1] with target spectra based on Regulatory Guide 1.60: Design Response Spectra for Seismic Design of Nuclear Power Plants [2]. The response spectrum analyses are performed with the same target spectra used in generating the artificial time histories. The equivalent static loads are based on the nodal zero period accelerations from the fixed-base time history analyses. The seismic responses in a column in the structure are combined using algebraic sum, square root of the sum of the squares (SRSS), and the 100-40-40 rule in accordance with Regulatory Guide 1.92: Combining modal responses and spatial components in seismic response analysis [3]. The equivalent static load method is applied according to ASCE 4-15: Seismic Analysis of Safety-Related Nuclear Structures [4]. The resulting design forces and required reinforcement for a column in the structure are compared for each method along with the corresponding computational demand.
APA, Harvard, Vancouver, ISO, and other styles
6

Li, Qubo, Janusz Piechna, and Norbert Mueller. "Static, Dynamic and Failure Behavior of a Novel Axial Composite Impeller for Water Chiller." In ASME 2010 International Mechanical Engineering Congress and Exposition. ASMEDC, 2010. http://dx.doi.org/10.1115/imece2010-39817.

Full text
Abstract:
Centrifugal forces applied to an impeller due to spinning generate large stresses. Aerodynamic forces are also imparted on the blade varying with time. These two forces play different roles during compressor events. Damage accumulated from these events results in the fatigue failure of impeller material and structure. Therefore, it is important to design the impeller against fatigue failure. The finite element method has been used in the study of impeller fracture mechanics and is regarded as an important tool in the design and analysis of impeller structures. A novel axial composite impeller manufactured through filament winding technology was invented by Michigan State University to compress water vapor as refrigerant. In this study dynamic and fatigue behavior of this composite impeller were analyzed using commercial code ANSYS. To begin with, load cases were identified, calculated and evaluated. Static analysis was performed using a full 3-D finite element model and the critical zone where fatigue failure begins was extracted to determine life assessment positions. Secondly, aerodynamic forces imparted on the blade were obtained from FLUENT; so that damage from dynamic stresses could be calculated. Finally, based on the FEM and FLUENT simulation results, a linear damage accumulation model was employed as a damage estimation rule to predict life of the composite impeller. A conservative life of 6498 h is given by this method.
APA, Harvard, Vancouver, ISO, and other styles
7

Xu, Bin, Likun Wang, Hongchao Wang, Min Xiong, Dongliang Yu, and Dongjie Tan. "Leak Detection Method for Long Pipeline Based on Dynamic Pressure and Wavelet Analysis." In 2010 8th International Pipeline Conference. ASMEDC, 2010. http://dx.doi.org/10.1115/ipc2010-31056.

Full text
Abstract:
Architecture of the leak detection system is presented, and the leak detection method based on dynamic pressure and wavelet analysis is studied in this paper. The feature of dynamic pressure which is generated by the leakage of pipeline is analyzed. The dynamic pressure signal of pipeline internal pressure is acquired by dynamic pressure sensor when leakage occurs, and the signal is analyzed by wavelet analysis method to detect the singularity, and the singularity is used to recognize and locate the leak. From the comparison of analysis results between dynamic pressure and static pressure, in order to improve the sensitivity and stability of the leak detection system, a polling rule between dynamic and static pressure is implemented. Field tests of the leak detection system are presented and analyzed. The results of the field tests demonstrate that the leak detection method based on dynamic pressure and wavelet analysis can detect pipeline leak rapidly and locate the leak precisely. This leak detection system has been applied in 5000 km pipeline or so.
APA, Harvard, Vancouver, ISO, and other styles
8

Soloviev, Arcady, Anton Bychkov, and Maria Shevtsova. "Determination of Full Set Elastic Constants for Composite Materials on Basis of Frequency Response Analysis, FEA, and GA." In ASME 2008 9th Biennial Conference on Engineering Systems Design and Analysis. ASMEDC, 2008. http://dx.doi.org/10.1115/esda2008-59556.

Full text
Abstract:
The number of engineering problems includes the identification of anisotropic composite elastic constants determination. We developed an experimentally - analytical technique for identification of all elastic constants of orthotropic materials. The offered technique is substantially based on measurement of eigenfrequencies and semi quantitative analysis of natural vibration modes, instead of wave propagation speed and fields of vibrational displacement used by other acoustic methods. The developed method of the elastic composite and piezoelectric materials properties identification is implemented in linked MATLAB – Comsol Multiphysics combining the finite element analysis (FEA) of oscillations dynamics and minimization of some functional, which type is determined by particularity of a solved problem. These techniques complement the early designed by authors’ FEM-based methods for orthotropic composite static tests. The offered dynamic tests include an evaluation of specimen’s frequency response, determination of natural frequencies and vibration modes of specimens both in natural experiments and numerical finite element simulations. The identification process consists of several stages. In series of static tests are determined all allowable modules. Further a complete matrix of elastic constant is constructed, but some modules specified by approximated values (in particular, interlaminar shear modules). A series of dynamic tests executed in which the periodical excitation of samples and the frequency response is recorded by means of piezoelectric actuators and sensors. Then on basis of early defined (in static tests and with use of mix rule) modules of composite and experimentally founded eigenfrequencies by means of FEM the vibration natural modes are identified. By combination of FEM, genetic algorithm (GA) and Levenberg-Marquardt minimization method the specification of composite mechanical properties is evaluated. Application of developed technique to orthotropic composite used in aviation structures (polymeric composite spar of the helicopter main rotor blade) is explicitly illustrated. The obtained results have shown a good efficiency of proposed identification methods. We demonstrate that proposed approach provides best reliability and shows small dependence on metering equipment precision.
APA, Harvard, Vancouver, ISO, and other styles
9

Hatem, Arwa, Nazlia Omar, and Khalid Shaker. "Morphological analysis for rule based machine translation." In 2011 International Conference on Semantic Technology and Information Retrieval (STAIR). IEEE, 2011. http://dx.doi.org/10.1109/stair.2011.5995799.

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

Ereke, I. Murat, and Kubilay Yay. "Theoretical Analysis of Fatigue Strength of a Double-Deck Bus Body Using FEM." In ASME 2002 Engineering Technology Conference on Energy. ASMEDC, 2002. http://dx.doi.org/10.1115/etce2002/struc-29023.

Full text
Abstract:
Modern design techniques primarily consist of finite element analysis of the vehicle body in a computational media. In this study, an actual double-deck bus body of domestic production has been modeled in three-dimensions by means of IDEAS program in order to calculate its fatigue strength. In other words, an approximation algorithm has been developed to obtain service loads. The effects of dynamic and static loads on the bus body have been calculated and included to the FEM analysis. As a new approximation technique, during the service life of a vehicle under dynamic loads (straight good road, straight bad road, cornering bad road and singular obstacle road) arising from the road conditions as taking into account, load spectrum has been constituted. In the design spectrum that has been utilized in our calculations, considering the equivalence damage effect rule, instead of using straight good road conditions, other fifty percent of forces that have been mentioned above, accepted as hundred percent of dynamic and static forces caused by bad road conditions acting on the bus body. As a result of this study, the calculated results have been compared to the theoretical and experimental data taken from literature review. It can be seen that this approximation technique that we used in our calculations can be used for this kind of fatigue analysis of vehicle components or bodies.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Static rule analysis"

1

Bonomo, Marco, Claudio R. Frischtak, and Paulo Ribeiro. Public Investment and Fiscal Crisis in Brazil: Finding Culprits and Solutions. Inter-American Development Bank, 2021. http://dx.doi.org/10.18235/0003199.

Full text
Abstract:
We investigate the relation between existing fiscal rules and investments in the context of a fiscal crisis in Brazil. We analyze existing fiscal rules at national and subnational levels, their enforcement, and proposed alternatives. Using narrative analysis, case studies, interviews, empirical estimation, and model simulations, we conclude that public investment is not closely related to fiscal rules in Brazil but is mainly determined by fiscal conditions both at national and subnational (state) levels. It is the steady increase of personnel expenditures in real terms that underlies the fiscal deterioration of the last decade, despite the existence of fiscal rules devised to prevent it. We argue that a constitutional rule limiting subnationals personnel expenditures to 50 percent of net revenues, triggering adjustment measures when reaching 47.5 percent, would be an effective instrument for subnational fiscal management, opening fiscal space for increasing investments. At the national level, despite the existence of several fiscal rules, the only effective fiscal anchor is the primary expenditure ceiling introduced in 2016, which has successfully curbed expenditures, including those of the judiciary and legislature.
APA, Harvard, Vancouver, ISO, and other styles
2

S. Abdellatif, Omar. Localizing Human Rights SDGs: Ghana in context. Raisina House, 2021. http://dx.doi.org/10.52008/gh2021sdg.

Full text
Abstract:
In September 2015, Ghana along all UN member states endorsed the Agenda 2030 Sustainable Development Goals (SDGs) as the cardinal agenda towards achieving a prosperous global future. The SDGs are strongly interdependent, making progress in all goals essential for a country’s achievement of sustainable development. While Ghana and other West African nations have exhibited significant economic and democratic development post-independence. The judiciary system and related legal frameworks, as well as the lack of rule law and political will for safeguarding the human rights of its citizens, falls short of considering violations against minorities. Will Ghana be able to localize human rights related SDGs, given that West African governments historically tended to promote internal security and stability at the expense of universal human rights? This paper focuses on evaluating the commitments made by Ghana towards achieving Agenda 2030, with a particular focus on the SDGs 10 and 16 relating to the promotion of reduced inequalities, peace, justice and accountable institutions. Moreover, this paper also analyzes legal instruments and state laws put in place post Ghana’s democratization in 1992 for the purpose of preventing discrimination and human rights violations in the nation. The article aims to highlight how Ghana’s post-independence political experience, the lack of rule of law, flaws in the judiciary system, and the weak public access to justice are obstacles to its effective localization of human rights SGDs. Those obstacles to Ghana’s compliance with SDGs 10 and 16 are outlined in this paper through a consideration of human rights violations faced by the Ghanaian Muslim and HIV minorities, poor prison conditions, limited public access to justice and the country’s failure to commit to international treaties on human rights. Keywords: Ghana, human rights, rule of law, security, Agenda 2030
APA, Harvard, Vancouver, ISO, and other styles
3

Smith, R. I., M. C. Bierschbach, G. J. Konzek, and P. N. McDuffie. Revised analyses of decommissioning for the reference boiling water reactor power station. Effects of current regulatory and other considerations on the financial assurance requirements of the decommissioning rule and on estimates of occupational radiation exposure - appendices. Final report. Office of Scientific and Technical Information (OSTI), 1996. http://dx.doi.org/10.2172/279651.

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

Konzek, G. J., R. I. Smith, M. C. Bierschbach, and P. N. McDuffie. Revised analyses of decommissioning for the reference pressurized Water Reactor Power Station. Effects of current regulatory and other considerations on the financial assurance requirements of the decommissioning rule and on estimates of occupational radiation exposure, Volume 1, Final report. Office of Scientific and Technical Information (OSTI), 1995. http://dx.doi.org/10.2172/146799.

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

Smith, R. I., M. C. Bierschbach, G. J. Konzek, and P. N. McDuffie. Revised analyses of decommissioning for the reference boiling water reactor power station. Effects of current regulatory and other considerations on the financial assurance requirements of the decommissioning rule and on estimates of occupational radiation exposure - main report. Final report. Office of Scientific and Technical Information (OSTI), 1996. http://dx.doi.org/10.2172/279652.

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

Konzek, G. J., R. I. Smith, M. C. Bierschbach, and P. N. McDuffie. Revised analyses of decommissioning for the reference pressurized Water Reactor Power Station. Volume 2, Effects of current regulatory and other considerations on the financial assurance requirements of the decommissioning rule and on estimates of occupational radiation exposure: Appendices, Final report. Office of Scientific and Technical Information (OSTI), 1995. http://dx.doi.org/10.2172/146797.

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

Smith, R. I., M. C. Bierschbach, and G. J. Konzek. Revised analyses of decommissioning for the reference boiling water reactor power station. Effects of current regulatory and other considerations on the financial assurance requirements of the decommissioning rule and on estimates of occupational radiation exposure: Appendices, draft report for comment. Volume 2. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/82320.

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

Smith, R. I., M. C. Bierschbach, and G. J. Konzek. Revised analyses of decommissioning for the reference boiling water reactor power station. Effects of current regulatory and other considerations on the financial assurance requirements of the decommissioning rule and on estimates of occupational radiation exposure: Main report, draft report for comment. Volume 1. Office of Scientific and Technical Information (OSTI), 1994. http://dx.doi.org/10.2172/82322.

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

Aldendifer, Elise, McKenzie Coe, Taylor Faught, et al. The Safe and Efficient Development of Offshore Transboundary Hydrocarbons: Best Practices from the North Sea and Their Application to the Gulf of Mexico. Edited by Gabriel Eckstein. Texas A&M University School of Law Program in Energy, Environmental, & Natural Resource Systems, 2019. http://dx.doi.org/10.37419/eenrs.offshoretransboundaryhydrocarbons.

Full text
Abstract:
Offshore hydrocarbon resources have been developed for many decades, and with technology improvements, many fields which were once impossible to develop, are now economically and technologically feasible. This has led to a growing difficulty in determining the legislative and regulatory framework for resources that straddle the recognized borders between two states. In this paper, we examine a successful framework agreement governing the transboundary resources between the United Kingdom (“U.K.”) and Norway in the North Sea, and the agreement between the United States and Mexico governing the Gulf of Mexico. Following the 2013 Energy Reform, the Mexican energy sector has been revitalized, leading to greater exploration, development, and production than ever before. This means that in the near future transboundary resources may be licensed for production, bringing the issues highlighted in this paper to the attention of multiple government and international entities. This paper seeks to recommend improvements to the transboundary framework in the Gulf of Mexico based on the successful framework agreement utilized in the North Sea. This paper begins by introducing international law for offshore resources in Part II. Part III discusses the offshore regulatory regimes in the U.K. and Norway, analyzing how the two states have successfully used bilateral agreements to facilitate cooperation regarding effective exploitation and apportionment of costs from cross-boundary offshore oil and gas projects in the North Sea. Part IV discusses the offshore regulatory regimes in the United States and Mexico and analyzes the current transboundary agreement in place for the Gulf of Mexico. Part V compares the transboundary agreement governing the North Sea and the same governing the Gulf of Mexico. We highlight the major differences in the agreements and suggest changes to the Gulf of Mexico agreement based on the successful North Sea agreement. Finally, this paper concludes and provides key policy recommendations to improve the rules and regulations surrounding the exploitation of transboundary hydrocarbons in the Gulf of Mexico.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Static rule analysis' for particular 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