Connector Accessories, Electrical, General Specification for

2021 ◽  
Author(s):  
Keyword(s):  
General Specification

Do Money Targets Matter for Monetary Policy in Kenya?

2018 ◽  
Author(s):  
Michal Andrle ◽  
Andrew Berg ◽  
Enrico Berkes ◽  
R. Armando Morales ◽  
Rafael Portillo ◽  
...  
Keyword(s):  
Monetary Policy ◽  
Money Demand ◽  
Aggregate Demand ◽  
Demand Forecasting ◽  
Money Growth ◽  
Structural Shocks ◽  
Macroeconomic Volatility ◽  
Ex Post ◽  
Policy Shocks ◽  
General Specification

The framework in Chapter 15 is extended to incorporate an explicit role for money aggregates, with an application to Kenya. The chapter provides a general specification that can nest various types of money targeting (ranging from targets based on optimal money demand forecasts to those derived from simple money growth rules), interest-rate based frameworks, and intermediate cases. A novel interpretation of target misses in terms of structural shocks (aggregate demand, policy, shocks to money demand, etc.) is presented. In the case of Kenya, the authors find that: (i) the setting of money targets is consistent with money demand forecasting, (ii) targets have not played a systematic role in monetary policy, and (iii) target misses mainly reflect shocks to money demand. Simulations of the model under alternative policy specifications show that the stronger the ex post target adherence, the greater the macroeconomic volatility.

scholarly journals Characteristics of event recorders in Automatic Train Control systems

2018 ◽  
Vol 46 (2) ◽  
pp. 61-70 ◽  
Author(s):  
Marianna Jacyna ◽  
Emilian Szczepański ◽  
Mariusz Izdebski ◽  
Sławomir Jasiński ◽  
Mariusz Maciejewski
Keyword(s):  
Essential Element ◽  
The European Union ◽  
Railway Transport ◽  
Long Distance ◽  
Train Control ◽  
Data Collection And Analysis ◽  
Information Engineering ◽  
Safety Systems ◽  
Safety Procedures ◽  
General Specification

The development of railway transport in the current times is very noticeable, it is connected with the growing needs of movement as well as the development of information engineering. The increase in the demand for transport requires the implementation of solutions that increase the efficiency of the transport system. Both long-distance, agglomeration and metro railways can use different systems due to their specificity. Nevertheless, there is a noticeable trend in the development of systems supporting or even replacing the driver by the automation of selected activities. Such systems allow to reduce trains headway and thus increase the capacity of the line. CBTC class systems (Communications-based train control) belong to automatic train systems and are based on wireless transmission. The main purpose of using such systems is to increase the frequency of running trains while maintaining the level of safety. Computers that are on the system equipment record, process and analyse very large amounts of data. An essential element of such systems are recording units. The parameter recorders can be divided into technical and legal ones. However, for CBTC class systems, there is no obligation or requirement to use legal recorders as it is in the case of ETCS. However, it is necessary to use event recorders, and these are subject to the requirements set out in the PN-EN 62625-1: 2014 standard. The recorders are a very important component of safety systems, which is why they were analysed in this article. Both the driver, the vehicle and the infrastructure should be subject of continuous monitoring. The occurrence of an adverse event (not necessarily leading to an incident or accident) should be analysed and used to improve safety procedures. Currently, automatic systems are still developing and we are not able to accurately assess what the causes and effects of certain events may be, which is why data collection and analysis is particularly important. The article presents the general specification of the CBTC system. The parameters and properties of driving recorders should be presented. This article is co-financed by the European Union POIR.01.01.01-00-0276/17

scholarly journals Performance Evaluation of the Effect of Sodium Hydroxide on Geotechnical Properties of Lateritic Soil for Rural Road Construction

2020 ◽  
Vol 5 (2) ◽  
Author(s):  
Ibrahim I Abdulkarim ◽  
Sa’eed Y Umar
Keyword(s):  
Sodium Hydroxide ◽  
Construction Material ◽  
Energy Levels ◽  
Molar Concentration ◽  
Engineering Properties ◽  
Lateritic Soil ◽  
Rural Roads ◽  
British Standard ◽  
Minimum Requirement ◽  
General Specification

This study explored the potentials of sodium hydroxide (NaOH) for the improvement of the properties of lateritic soil (LS) intended for use as construction material for rural roads in the North-eastern part of Nigeria. The soil was classified as A-6(13) and CL according to the American Association of State Highway and Transport Officials (AASHTO M 145-2012) and the Unified Soil Classification System (ASTM D 2487-2011). The soil is treated to evaluate the effectiveness of NaOH in treating lateritic soil with 1, 3 and 7 molar concentration of NaOH and compacted using two methods of compaction, the British Standard Light (BSL) and British Standard Heavy (BSH). Unconfined compressive strength (UCS) and Californian bearing ratio (CBR) tests were conducted on the compacted specimens. The results obtained show a general improvement in the engineering properties of the soil with increase in molar concentration of NaOH, particularly, when compacted at the BSH energy level. The maximum 7 days UCS values of 909 kN/m2 and 1106 kN/m2 were obtained at 7 molar concentration for the BSL and BSH energy levels. These values are within the range of 750 – 1500 kN/m2 UCS value specified by the Nigerian General Specification (2013) for sub-base materials. In the case of the CBR, at 3 and 7 molar concentrations for BSH effort, CBR values of 33% and 38% were recorded while 34% CBR value was recorded at 7 molar concentration for BSL effort, these values also met the minimum requirement of 30% CBR specified by the Nigerian General Specification for sub-base construction.Keywords— Lateritic, Sodium hydroxide, Soil, Rural roads. 

scholarly journals Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs

10.29007/jqtz ◽  
2018 ◽  
Author(s):  
Nada Habli ◽  
Amy P. Felty
Keyword(s):  
Programming Languages ◽  
Automatic Generation ◽  
Higher Order ◽  
Specification Language ◽  
Proof Assistants ◽  
Abstract Syntax ◽  
Formal Systems ◽  
Ongoing Work ◽  
General Specification ◽  
Automated Proof

We describe ongoing work on building an environment to support reasoning in proof assistants that represent formal systems using higher-order abstract syntax (HOAS). We use a simple and general specification language whose syntax supports HOAS. Using this language, we can encode the syntax and inference rules of a variety of formal systems, such as programming languages and logics. We describe our tool, implemented in OCaml, which parses this syntax, and translates it to a Coq library that includes definitions and hints for aiding automated proof in the Hybrid system. Hybrid itself is implemented in Coq, and designed specifically to reason about such formal systems. Given an input specification, the library that is automatically generated by our tool imports the general Hybrid library and adds definitions and hints for aiding automated proof in Hybrid about the specific programming language or logic defined in the specification. This work is part of a larger project to compare reasoning in systems supporting HOAS. Our current work focuses on Hybrid, Abella, Twelf, and Beluga, and the specification language is designed to be general enough to allow the automatic generation of libraries for all of these systems from a single specification.

Sign in / Sign up

Export Citation Format

Share Document