Lampu Lalulintas Menggunakan FPGA

In this study made a simulation of traffic lights by using a FPGA module. Traffic lights are to regulate traffic lights installed at the intersection of highways is useful to regulate road users, in order to run according to the rules and not a traffic accident. Traffic lights will be connected using IDC 40 pin cable to the GP I / O. Simulations were designed in this study using two types that exist in the FPGA. The design simulation using VHDL language, then updated to the Function Block Diagram (BDF). BDF used as a top-level Entity or as the center of the whole system. BDF consist of 2, namely: a traffic light system (traffic) and system clock devider (clk_div). Traffic light system has two types that could run in the BDF, the traffic light system 2-way crossing pedestrians using the button (type 1) and 4-way type using buttons pedestrian crossings (type 2). Traffic light system type 1 has 8 pieces of state. Then the lights started from the North-South direction is green for 5 seconds, then to yellow for 1 second, afterwards became all red for 1 second and then will move to the West-East into a green light. When the pedestrian button is pressed, the pedestrian light is green for 6 seconds and the main road to red lights all. Pedestrian lights made longer useful to anticipate pedestrians crossing or crossing diagonally. The traffic light type 2 will begin with a traffic light next to the North colored green for 5 seconds, then to yellow for 1 second, after it became red for 1 second and move to the hand of the West with the provisions of the same time and rotating clockwise. Transfer traffic light system is controlled by the displacement function keys consisting of: d, d1, and clr. The system clock divider is useful for controlling the switching time from one to the other state. Traffic lights get a clock of 5.7220 Hz

Large quantum fluctuations in the strongly coupled spin-1/2 chains of green dioptase: a hidden message from birds and trees

The green mineral dioptase Cu6Si6O18(H2O)6 has been known since centuries and plays an important role in esoteric doctrines. In particular, the green dioptase is supposed to grant the skill to speak with trees and to understand the language of birds. Armed with natural samples of dioptase, we were able to unravel the magnetic nature of the mineral (presumably with hidden support from birds and trees) and show that strong quantum fluctuations can be realized in an essentially framework-type spin lattice of coupled chains, thus neither frustration nor low-dimensionality are prerequisites. We present a microscopic magnetic model for the green dioptase. Based on full-potential DFT calculations, we find two relevant couplings in this system: an antiferromagnetic coupling J_c, forming spiral chains along the hexagonal c axis, and an inter-chain ferromagnetic coupling J_d within structural Cu2O6 dimers. To refine the J_c and J_d values and to confirm the proposed spin model, we perform quantum Monte-Carlo simulations for the dioptase spin lattice. The derived magnetic susceptibility, the magnetic ground state, and the sublattice magnetization are in remarkably good agreement with the experimental data. The refined model parameters are J_c = 78 K and J_d = -37 K with J_d/J_c ~ -0.5. Despite the apparent three-dimensional features of the spin lattice and the lack of frustration, strong quantum fluctuations in the system are evidenced by a broad maximum in the magnetic susceptibility, a reduced value of the Neel temperature T_N ~ 15 K >> J_c, and a low value of the sublattice magnetization m = 0.55 Bohr magneton. All these features should be ascribed to the low coordination number of 3 that outbalances the three-dimensional nature of the spin lattice.Comment: Dedicated to Stefan-Ludwig Drechsler on the occasion of his 60th birthday (9 pages, 6 figures

Penyiraman Otomatis Pada Tanaman Atap Rumput Gajah

Watering is an important step to mantain the condition of a plant, but most people dont know how good watering is, like the time of watering, watering composition that match with the plant. Almost all of green roof in any type is not using automatic system but manually watering it, that make watering the green roof become very hard to do. In this case, many people think that having a green roof is very difficult, especially in maintain it. From this problem, writer want to convince people that having a green roof is not as difficult as it look. With combining the watering methode, green roof, and surface irrigation, then writer want to make something that can help people to mantain plant especially green roof plant. The objective of this papers is to make and to know how Green Roof Automatic Watering System’s work. Using Atmega16 chip, writer made an electronic circuit that programmed by C language that will automatically watering the plant if the sensor detect the percantage above 10%. The sensor is a couple of bar that transmit voltage in between the bar past through the soil. The sensor then will transmit the data to Chip to be processed, and if they meet the condition, the IC MOC3021 will be activated, then the AC Current will automatically charge the load (pump). This electronic circuit then applied to a prototype of extensive green roof with 30’ which is a diagonal. Layering of the green roof from the first to the last is waterproof, cubical fern root (to maintain water cyclus), soil, and the plant (especially grass type). From the application, writer can make a conclusion that this green roof automatic watering system work well and can stand up to 1 month use

Determinants and Consequences of Language-in-Education Policies: Essays in Economics of Education

This thesis consists of three empirical studies in economics of education on the determinants and consequences of language-in-education (LiE) policies. The “Environmental settings – Inputs – Processes – Immediate outcomes – Long-term outcomes” (EIPOL) evaluation model is applied to LiE policies and programs and serves as the overall framework of this research (see Introductory Chapter). Each study then targets at least one stage of the EIPOL framework to test the validity of the “green” vs. “free-market” linguistic theories. Whereas the two first studies derive models tested empirically in the African context, the third is tested on a sample of countries from the International Adult Literacy Survey (IALS). The first study, Rationales to Language-in-Education Policies in Postcolonial Africa: Towards a Holistic Approach, considers two issues. First, it explores the factors affecting the choice of an LiE policy in 35 African countries. The results show that the countries adopting a unilingual education system put different weights on the influential parameters than countries adopting a bilingual education system and that both groups of countries validate somehow both the “green” and the “free-market” approaches. Second, the article investigates how decision makers can ensure the optimal choice of language(s) of instruction by developing a non-cooperative game theoretic model with network externalities. The model shows that it is never optimal for two countries to become bilingual, or for the majority linguistic group to learn the language of the minority group, unless there is minimum cooperation to ensure an equitable redistribution of payoffs. This finding confirms the “free-market” theory. The second study, The Role of Language in Learning Achievement: A amibian Case Study, investigates the role played by home language and language proficiency on mathematics scores of 5048 Grade-6 learners in 275 Namibian schools, via the second survey data by the Southern and Eastern Africa Consortium for Monitoring Educational Quality (SACMEQ). Hierarchical linear modeling is used to partition the total variance in mathematics achievement into its within- and between-school components. Results of the analysis show that although home language plays a limited role in explaining within- and between-school variations in mathematics achievement, language proficiency, when proxied by reading scores, plays a significant role in the heterogeneity of results. Thus, confirming the role of language skills in learning achievement and so validating the “green” theory. Finally, the third study, Language Skills and Economic Returns, investigates the economic returns to language skills, assuming that language competencies constitute key components of human capital. It presents results from eight countries enrolled in the International Adult Literacy Survey (IALS). The study finds commonalities between countries in terms of the valuing of language skills, independent of the type of language policy applied at the national level. In each of the eight countries compared, skills in a second language are estimated to be a major factor constraining wage opportunities. This study validates the “free-market” theory.Language-in-education policies, decision making analysis, non-cooperative game, language skills, hierarchical linear modeling, human capital theory, rate of return analysis, postcolonial Africa, IALS, SACMEQ

Asymmetric switch costs in numeral naming and number word reading: Implications for models of bilingual language production

One approach used to gain insight into the processes underlying bilingual language comprehension and production examines the costs that arise from switching languages. For unbalanced bilinguals, asymmetric switch costs are reported in speech production, where the switch cost for Ll is larger than the switch cost for L2, whereas, symmetric switch costs are reported in language comprehension tasks, where the cost of switching is the same for L1 and L2. Presently, it is unclear why asymmetric switch costs are observed in speech production, but not in language comprehension. Three experiments are reported that simultaneously examine methodological explanations of task related differences in the switch cost asymmetry and the predictions of three accounts of the switch cost asymmetry in speech production. The results of these experiments suggest that (1) the type of language task (comprehension vs. production) determines whether an asymmetric switch cost is observed and (2) at least some of the switch cost asymmetry arises within the language system

Grounding the Lexical Semantics of Verbs in Visual Perception using Force Dynamics and Event Logic

This paper presents an implemented system for recognizing the occurrence of events described by simple spatial-motion verbs in short image sequences. The semantics of these verbs is specified with event-logic expressions that describe changes in the state of force-dynamic relations between the participants of the event. An efficient finite representation is introduced for the infinite sets of intervals that occur when describing liquid and semi-liquid events. Additionally, an efficient procedure using this representation is presented for inferring occurrences of compound events, described with event-logic expressions, from occurrences of primitive events. Using force dynamics and event logic to specify the lexical semantics of events allows the system to be more robust than prior systems based on motion profile

Creating a Distributed Programming System Using the DSS: A Case Study of OzDSS

This technical report describes the integration of the Distribution Subsystem (DSS) to the programming system Mozart. The result, OzDSS, is described in detail. Essential when coupling a programming system to the DSS is how the internal model of threads and language entities are mapped to the abstract entities of the DSS. The model of threads and language entities of Mozart is described at a detailed level to explain the design choices made when developing the code that couples the DSS to Mozart. To show the challenges associated with different thread implementations, the C++DSS system is introduced. C++DSS is a C++ library which uses the DSS to implement different types of distributed language entities in the form of C++ classes. Mozart emulates threads, thus there is no risk of multiple threads accessing the DSS simultaneously. C++DSS, on the other hand, makes use of POSIX threads, thus simultaneous access to the DSS from multiple POSIX threads can happen. The fundamental differences in how threads are treated in a system that emulates threads (Mozart) to a system that make use of native-threads~(C++DSS) is discussed. The paper is concluded by a performance comparison between the OzDSS system and other distributed programming systems. We see that the OzDSS system outperforms ``industry grade'' Java-RMI and Java-CORBA implementations

Safety verification of ADA programs in MURPHY

MURPHY is a experimental methodology, which will include an integrated tool set, for building safety-critical, real-time software. Although it is language independent, many safety-critical software projects are currently planning to use Ada. This paper presents the semantic templates for the verification of the safety of Ada programs using Software Fault Tree Analysis. An example is shown of applying the technique to an Ada program, and the tools in the MURPHY tool set to aid in this type of analysis are described