An evaluation of software fault tolerance techniques in real-time safety-critical applications

The usefulness of three software fault tolerance techniques -- n-version programming, recovery blocks, and exception handling is examined within the context of real-time safety-critical environments. The general requirements of such application systems are presented and the techniques evaluated with regard to how well they satisfy these requirements

Novos materiais com ferro, com alta condutividade iónica de oxigénio

Doutoramento em Ciência e Engenharia de MateriaisPretende-se com este trabalho avaliar o potencial de novos materiais para aplicações de alta temperatura, nomeadamente membranas para separação de oxigénio e oxidação parcial de hidrocarbonetos, e pilhas de combustível de electrólito sólido para produção de energia eléctrica. O estudo incidiu na avaliação da expansão térmica e na determinação das condutividades iónica e electrónica, através de técnicas modificadas de medição da eficiência faradaica e da força electromotriz, assim como de medidas de permeabilidade electroquímica de oxigénio. As perovesquites a base de SrFe(Al)03-8e Sr(La)Fe(Ga)03-, apresentam o mais alto nível de permeabilidade de oxigénio e expansão térmica moderada. Nas apatites da família La10Si6027a1 condutividade iónica é predominante em largas gamas de pressão parcial de oxigénio e temperatura, sendo os valores medidos comparáveis aos de electrólitos sólidos convencionais.The purpose of this work is the electrochemical characterization of the potential materials for high-temperature applications such as membrane reactors for oxygen permeation andlor partial oxidation of hydrocarbons, and solid oxide fuel cells for electric power generation. The particular emphasis was given to the determination of partial oxygen ionic and electronic conductivities using modified faradaic efficiency and electromotive force techniques, as well as specific oxygen permeability measurements. Perovskite-type SrFe(A1)03-6a nd Sr(La)Fe(Ga)03-õ possess high levels of the oxygen permeation and moderate thermal expansion. Apatite-type LaloSi6027-based materials own predominant oxygen ionic conductivity in a large oxygen pressure range and show oxygen ionic conductivity comparable to that of conventional solid electrolytes

INVENTORY POLICY PLANNING FOR STARTER PACK OF PT XYZ IN JABOTABEK REGION USING PROBABILISTIC METHOD : P MODEL WITH VARIANT DEMAND

PT XYZ is the largest cellular telecommunications company in Indonesia. One of their products are starter pack. Starter pack is a package that designed to serve the start of a service, it contains many items that have been predetermined to be used according to the rules. Starter pack can be considered as the initial identity before performing communication. Starter pack contains a SIM card that will be used by the mobile phone user with bonus of phone credit, some basic rules such as how to reload your phone credit and checking the credit. In fulfilling the needs of its customers, PT XYZ divides the distribution of starter packs into 10 regions, namely Sumbagut, Sumbagsel, Sumbagteg, Jabotabek, West Java, Central Java, East Java, Balinusra, Borneo and Sulmarija. In order to fulfill the demand of starter pack, PT XYZ has a problem in inventory at Jabotabek region, there are inventory stock that not approach the sales, which causes too much inventory in the warehouse. The amounts of starter packs are available in the warehouse always exceeds the number of sales, resulted in a buildup of inventory in the warehouse. Excess inventory occurs because the determination of the amount of inventory is not good because in determining the amount of inventory, PT XYZ just do a prediction by looking at the amount of current inventory, demand planning and seeing the demand pattern of earlier periods. In order a starter pack to the central warehouse, PT XYZ, Jabotabek region order the starter pack on Monday in every week. PT XYZ have a policy that the service level must be 99.9983% without back order.This excess inventory can caused companies must spend a considerable cost. Based on these problems, a starter pack inventory management becomes one of the things, that is important for companies to be able to minimize inventory costs that must be spent by the company. In order to improve inventory policy of Starter pack, PT XYZ needs to be optimized in several ways, including amount of the maximum and minimum stock in inventory in order to minimize the total cost of inventory. Inventory policy planning in this research is using the P model (periodic review) with variant demand to make a good policy in PT XYZ when determine an inventory. Using P model (periodic review) with variant demand method this research can make an inventory policy with safety stock, maximum inventory, optimum quantity order and time for ordering while in the existing condition the company did not have and can minimize total inventory cost of stater pack as 32% or Rp.158.375.229 from existing condition. Carrying cost vi have saving Rp 158.497.769 or 24% from existing condition without shortage cost because in proposed condition does not experience a shortage inventory. In proposed condition order cost more expensive than the existing condition as Rp. 122.537. Key word: P model ( periodic review), Inventory Policy, Telecommunication Company in Indonesia

Sarcastic Expressions and the Influence of Social Distance and Relative Power in The TV Series Friends

This research aims to identify and classify the sarcastic expressions found in the TV Series Friends. It applies the theory proposed by Camp (2011) which categorized sarcasm into four classes: Propositional, Lexical, Like-Prefixed, and Illocutionary Sarcasm. Considering sarcasm as a Face Threatening Act (FTA), it also analyzes the influence of relative power and social distance to see how these two social variables influence the delivery of sarcastic expressions. The findings show that Illocutionary Sarcasm is the most frequently used class of sarcasm with 30 utterances (45%) followed by Propositional Sarcasm which consists of 25 utterances (37%), Lexical Sarcasm with 10 utterances (15%) and lastly Like-Prefixed Sarcasm that have 2 utterances (3%). With Illocutionary and Propositional Sarcasm are known to be the most straightforward class of sarcasm, the results also show that these two classes of sarcasm are mainly used when the social distance (D) is negative where the interlocutors does not have the obligation to be polite due to their close intimacy. In cases where the social distance has positive value, the value of power (P) helps to determine which class of sarcasm is used. Furthermore, a clear context and common ground is essential to help identify sarcastic expressions and the intention underlying it

Computing the long term evolution of the solar system with geometric numerical integrators

Simulating the dynamics of the Sun–Earth–Moon system with a standard algorithm yields a dramatically wrong solution, predicting that the Moon is ejected from its orbit. In contrast, a well chosen algorithm with the same initial data yields the correct behavior. We explain the main ideas of how the evolution of the solar system can be computed over long times by taking advantage of so-called geometric numerical methods. Short sample codes are provided for the Sun–Earth–Moon system

Menanamkan Konsep Tata Krama pada Anak melalui Perancangan Game Edukasi

Tata krama sangat berperan penting untuk mepermudah manusia untuk diterima di lingkungan masyarakat sekitar. Peran orang tua sangatlah penting dalam pembentukan karakter anak terutama dalam menerapkan sikap tata krama atau sopan santun anak. . Saat ini perilaku anak lebih cenderung kehilangan etika dan sopan santun. Berdasarkan obeservasi yang dilakukan di beberapa sekolah dasar di Semarang ditemui beberapa sikap yang mencerminkan kurangnya tata krama siswa di sekolah. Perlu adanya media yang kreatif untuk menanmkan tata krama kepada anak dengan melibatkan perkembangan teknologi, salah satunya melalui perancanan game edukasi berbasis mobile. Pada penelitian ini,metode yang digunakan adalah metode pengembangan multimedia yang meliputi membuat konsep (concept), merancang desain (design), mengumpulkan bahan (material collecting), pembuatan (assembly), melakukan pengujian (testing), dan evaluasi produk (evaluating). Desain game dibuat desain vektor dengan style karakter chibi yang memiliki ciri kepala besar dan badan mungil atau kecil untuk membuat karakter lebih terlihat lucu. Hasil perancangan ini adalah sebuah game edukasi untuk menanamkan tata krama pada anak

Evaluasi Kapasitas dan Tingkat Pelayanan Terminal Penumpang Bandar Udara Ahmad Yani

Ahmad Yani Airport is an International Airport located in Semarang City, Central Java Province. During 2013-2017, the movement of passengers at Ahmad Yani Airport has increased to 3-4 million passengers per year, causing density in the passenger terminal and impacts on the quality of service provided to passengers. The purpose of this research project evaluate is to capacity and performance of services at airport terminals. This research project using survey and observation method. To evaluate service performance, service time calculation based on passenger arrival rate on check in counter and baggage claim area, then the data obtained is processed by using queuing theory and the result is compared with the standard in PM 178 Year 2015, while to know the quality of service according to the perception of passengers conducted the questionnaire distribution, from the questionnaire data is processed by using the method of Importance And Performance Analysis (IPA). For capacity evaluation, it is done by analyzing the terminal area including check in area, domestic departure waiting room, and baggage claim area based on passenger data obtained from the airport by using SNI 03-7046-2004, then forecasting passengers for 2022 using Arithmatic method straight line method. The results of the research analysis show that service time at check in counter is less than 2.5 minutes and service time on baggage claim area less than 20 minutes, while for service quality according to passenger perception there are 9 service attributes which require major priority improvement and the remaining 25 service attributes need improvement on the performance that has been done. For the width of calculation, 255 m² check in area, 1458 m² departure lounge area and baggage claim area 894,96 m², from forecasting calculation for the year 2022 obtained the number of passengers as much as 5,321,414 passengers with a check-in area of 1350 m², departure lounge area 7967 m² and baggage claim area 4889 m². Based on the results of forecasting the terminal area obtained need to expand the terminal space

Um ambiente-escola entre poéticas, narrativas e experimentações

Na busca de repensar os clichês que circundam tanto o espaço escolar quanto a educação ambiental, perguntamo-nos: quais as potências que pulsam no que poderíamos chamar de ambiente-escola? Ao propormos uma porosidade de fronteiras entre os termos “ambiente” e “escola”, referimo-nos a um ambiente escolar que existe na sua diversidade de afetos, encontros e acontecimentos. Escola que atualmente é alvo de discursos ultraconservadores que visam suprimir sua potencialidade inventiva de espaços-tempos outros. No percurso dessa pesquisa, abrimo-nos às possibilidades de educações ambientais inventivas e nos movimentamos também rumo a uma ressignificação do espaço escolar, adentrando nas narrativas, poéticas e diferenças que o habitam. Em uma escola pública municipal situada em Florianópolis (SC), convidamos estudantes do nono ano do ensino fundamental e distintos trabalhadores a participarem de oficinas que possibilitaram experimentações em educação ambiental em torno das seguintes perguntas: quais narrativas e poéticas povoam este ambiente-escola? De que forma estes narrares se relacionam com as diferenças e multiplicidades presentes neste ambiente-escola? O diário de campo foi um importante dispositivo para o delineamento dessas questões. Num processo coletivo de criação de outros modos de nos relacionarmos com tal espaço, ao realizarmos diferentes experimentações com narrativas e poéticas junto a essa diversidade de sujeitos escolares, mobilizaram-se as dimensões do afeto e do encontro em distintas práticas em educação ambiental

PENGARUH VIRTUAL COMMUNITY FOR PHYSICAL ACTIVITY TERHADAP PSYCHOLOGICAL AND SOCIAL WELLBEING MAHASISWA DI ERA PANDEMI COVID-19

Tujuan dari penelitian ini dilakukan yaitu untuk mengetahui pengaruh dari Virtual Community for Physical Activity terhadap Psychological dan Social Wellbeing mahasiswa di masa pandemi. Metode penelitian yang digunakan yaitu Pre-experimental dengan jenis One Group Pretest-Postest Design. Sempel yang digunakan dalam penelitian yaitu menggunakan teknik Purposive Sampling dan sampel yang digunakan merupakan mahasiswa dari Universitas Pendidikan Indonesia yang berjumlah 12 orang perempuan. Instrumen yang digunakan berjemlah 3 kuisioner yaitu Physical Activity Enjoyment Scale (PACES), Multideminsional Personality Questionner (MPQ), UCLA Loneliness Scale (UCLA). Analisis data penelitian yaitu menggunakan uji Paired Sample t-test untuk mengetahui hasil dari data pretest dan posttest apakah terdapat pengaruh terhadap penelitian. Hasil penelitian ini yaitu terdapat pengaruh terhadap psychological dan tidak terdapat pengaruh terhadap social wellbeing. The purpose of this study was to determine the effect of the Virtual Community for Physical Activity on the Psychological and Social Wellbeing of students during the pandemic. The research method used is pre-experimental with the type of One Group Pretest-Postest Design. The sample used in the study used purposive sampling technique and the number of samples used was 12 students from the University Pendidikan Indonesia. The instruments used were 3 questionnaires, namely the Physical Activity Enjoyment Scale (PACES), Multideminsional Personality Questionner (MPQ), UCLA Loneliness Scale (UCLA). Analysis of research data using Paired Sample t-test to determine the results of the pretest and posttest data whether there is an effect on the research. The results of this study are that there is an effect on psychological and there is no influence on social wellbeing