Gotowa bibliografia na temat „Program veri fication applications”

In this study, it was aimed to examine the effect of STEM applications on the scientific process skills and process performance of 6th grade secondary school students. Convergent parallel design, one of the mixed research designs, was used in the study. The sample of the study consists of 35 6th grade students studying at a public school in the district of Küçükçekmece, Istanbul in the 2018-2019 academic year. Three STEM lesson plans developed by the researchers were implemented for six weeks. Scientific Process Skills Test was used as a data collection tool in the quantitative part of the research. In the qualitative part, activity papers were used. While the data obtained in the scientific process skills test were analyzed using a statistics program, the activity papers were analyzed with descriptive analysis. As a result of the study, it was seen that science teaching supported by STEM applications positively affected the scientific process skills and improved the process performance of the students positively. Özet Bu araştırmada, STEM uygulamalarının ortaokul altıncı sınıf öğrencilerinin bilimsel süreç becerilerine ve STEM performanslarına olan etkisinin incelenmesi amaçlanmıştır. Araştırmada karma araştırma desenlerinden iç içe karma desen kullanılmıştır. Araştırmanın çalışma grubunu 2018-2019 eğitim-öğretim yılında İstanbul Küçükçekmece ilçesinde bir devlet okulunda okuyan 35 öğrenci oluşturmaktadır. Araştırmacılar tarafından geliştirilen üç STEM ders planı ve bir ön etkinlik planı olmak üzere dört uygulama yapılmıştır. Çalışma grubu öğrencilerine STEM uygulamaları ile desteklenmiş fen öğretimi 5E modeli kapsamında verilmiştir. Etkinlikler sınıf ortamında ve sınıf dışı alanda gerçekleştirilmiştir. Öğrencilere "Bilimsel Süreç Becerileri Testi" ön ve son test olarak uygulanmıştır. Öğrencilerin öğrenme sürecindeki STEM performanslarını öğrenebilme amacıyla "Etkinlik Kâğıdı" uygulama sürecinde öğrencilere uygulanmıştır. Araştırma toplam altı hafta sürmüştür. Veri toplama aracı olarak araştırmanın nicel kısmında Bilimsel Süreç Becerileri Testi kullanılmış ve veriler bir istatistik programı kullanılarak analiz edilmiştir. Çalışmanın nitel kısmında ise uygulama ile ilgili etkinlik kâğıtları kullanılmış ve betimsel analiz ile incelenmiştir. Araştırmanın sonucunda STEM uygulamaları ile desteklenmiş fen öğretiminin öğrencilerin bilimsel süreç becerilerinde anlamlı farklılık yarattığı ve STEM performanslarını olumlu yönde etkilediği görülmüştür.

The article deals with state of modern staffing of the judiciary, the problematic issues of the selection and appointment of a judge. In particular, the legislation that determines the procedure for selection for the position of a judge, as well as the stages of such selection are analyzed. The shortcomings of the legislation have been identified and proposals have been made to improve and optimize this procedure. It is proposed to adopt the Law of Ukraine, which will amend the procedure for forming the High Qualification Commission of Judges of Ukraine. Take measures to elect members of the High Qualifica-tions Commission of Judges of Ukraine and complete the selection for the position of a judge of a local court, as well as continue the competition for vacant positions of appellate courts. It is proposed to simplify the selection procedure for the position of a local court judge. It is rea-sonable to carry out special training of candidates for the position of a judge only in the specialty chosen by the candidate. Due to this, you can at least halve the period of special training - from 12 to 6 months. It is also justified inexpediency to conduct 2 exams during the selection - entrance and then quali-fication. It is proposed to unite them and immediately after the selection exam to conduct a qualifying exam, to determine the rating of candidates, on the basis of which to hold a competition for vacant positions of judges in specific courts. Taking into account the specializations chosen by the candidates, it is proposed to carry out special training with an internship in the court where the candidate won the competition. During the special training, a special examination of the candidate and his / her integrity must be performed. In case of successful implementation of the special training program and passing the special examination of the candidate, the High Qualification Commission of Judges of Ukraine (or the High Council of Justice) submits to the President applications for appointment. It is proposed to conduct an interview with the candidate only in the event that the results of a special inspection will establish the circumstances that require additional explanations of the candidate. It is also proposed to enshrine at the legislative level a strategy for the development and im-provement of the administration of justice for at least 10 years. Changes to the legislation and adjustment of certain norms are possible only within the framework of the adopted strategy.

The rapid changes in science and technology have changed the traditional education concept by improving the accessibility of information. Current educational understandings require the application of flexible programs that respond to differences in the interests and abilities of the students and that can go into diversity within themselves. One of these approaches is the Science Technology Engineering and Mathematics (STEM) approach. This study aims to explore the effect of STEM based laboratory activities on preservice teachers STEM awareness. The study was conducted in science laboratory practices-I course, which is included in the undergraduate science teacher education program. Quasi-experimental research method was used to investigate the study. Participants were consist of 50 third grade preservice science teachers from Yüzüncü Yıl University Science Teacher Education Department who take the Laboratory Instruction of Science Instruction-I course. FeTeMM awareness scale developed by Buyruk and Korkmaz (2014) was used as data collection tool. Based on the results of the dependent sample t-test scores, STEM-based science laboratory applications increased the experimental group students' awareness of STEM.Extended English abstract is in the end of Full Text PDF (TURKISH) file. ÖzetBilim ve teknolojideki hızlı değişimler bilgiye ulaşım olanaklarını geliştirerek geleneksel eğitim anlayışını değiştirmiştir. Güncel eğitim anlayışları, öğrencilerin gözlenen ilgi ve yetenekleri doğrultusunda farklılıklara cevap veren ve kendi içinde çeşitliliğe gidebilen esnek programların uygulanmasını gerektirmektedir. Bu anlayışlardan biri olan STEM yaklaşımı ön plana çıkmaktadır. Araştırmada Fen bilgisi öğretmenliği lisans programında yer alan Fen Öğretimi Laboratuvar Uygulamaları-I dersinin STEM temelli etkinlikler ile yürütülmesi sürecinin öğretmen adaylarının STEM farkındalık düzeylerine etkisini ortaya çıkarmak amaçlanmaktadır. Bu amaçla nicel araştırma yöntemlerinden öntest-sontest eşitlenmemiş kontrol gruplu yarı deneysel desen kullanılmıştır. Araştırmanın örneklemi Van Yüzüncü Yıl Üniversitesi Fen Bilgisi Öğretmenliği Anabilim Dalı Fen Öğretimi Laboratuvar Uygulamaları-I dersini alan üçüncü sınıf 50 katılımcıdan oluşturmaktadır. Veri toplama aracı olarak Buyruk ve Korkmaz (2014) tarafından geliştirilen STEM farkındalık ölçeği kullanılmıştır. STEM temelli fen laboratuvarı uygulamaları sonrasında deney grubu öğrencilerinin STEM’ e yönelik farkındalık durumları ön test ve son test puanları arasındaki farkın anlamlılığına ilişkin bağımlı örneklem t testi sonuçlarına göre STEM temelli fen laboratuvarı uygulamalarının öğretmen adaylarının STEM farkındalıklarını artırmada anlamlı bir fark oluşturduğu görülmüştür.

Cogeneration is a highly effective means of increasing energy ef-ficiency and reducing energy costs by utilizing the heat that wouldnormally be wasted and use some or all of it for the thermal require-ments of a facility. This effective utilization of heat generated duringelectricity production allows for an increase of fuel efficiency from35% to almost 85%. Cogeneration not only reduces energy costs andincreases energy efficiency, but is also beneficial to the environment byreducing the amount of pollutants that are emitted into the atmo-sphere.In a previous work we presented and described the new Interac-tive Energy Balance (IEB) software. The package offers an easy way toaccount for energy bills, working equipment and their energy operat-ing characteristics. Among the equipment considered are: lighting, airconditioning, refrigeration compressors, air compressors, motors, andothers. The electric energy consumed by all pieces of equipment isbalanced against the energy bills (last 12 months). The correspondingenergy costs, graphs, pie-charts, and free format reports are automati-cally generated showing paths and trends on energy consumption. A“Recommendations” section allows for a quick, but beyond a back ofthe envelop type of calculation, initial analysis of potential energy im-provement projects associated with current equipment, and/or for theinstallation of new ones.As a result of the increasing interest, we have included in IEB’s“recommendations” section a “cogeneration” option. Among its manyfeatures is a typical cogeneration environment window with fuel load, power generated, thermal load output, and efficiency, allowing for avariety of uses for the exhaust heat. Furthermore, an information veri-fication chart is displayed and a final “cogeneration savings” printablesummary chart is shown. This chart includes (among others) theworth of thermal load, worth of cogeneration, fuel cost, operatingcost, total savings, simple payback, and return on investment. In thiswork we briefly describe IEB and present a case study on a cogenera-tion recommendation. This provides insight on the versatility, fasterdata entry, balancing process, graphical display, recommendations andmany other features of the software. In addition, we further demon-strate the value of the energy balance approach, and the many optionsfor cogeneration and other energy savings projects

Yapay zekanın egemen olmaya başladığı günümüzde çocukların var olan olay, olgu ve durumlarla ilgili kavramlar geliştirirken sorgulaması ve tartışmacı bir tutum sergilemeleri çocukları anlamlı öğrenmeye taşımakta ve bilgilerin kalıcılığının sağlanmasını sağlamaktadır. Bu araştırmaya veri elde etmek amacıyla yapılan çalıştaydı Türkiye’deki eğitim kurumlarında uygulanan çocuklar için felsefe (P4C) program uygulamalarının öğretmen görüşlerine göre değerlendirilmesi amaçlanmıştır. Bu araştırmaya veri elde etmek amacıyla Eğitim kurumlarında “Çocuklar İçin Felsefe (P4C) Programı” uygulamalarına dönük yapılan çalışmaların belirlenerek ortaya çıkan açık alanlara yönelik stratejiler ile eylem ve faaliyet önerilerinin geliştirilmesi hedeflenmiştir. Bu araştırma durum deseni çalışması olup, örneklem seçiminde çoklu çeşitlilik kullanılmıştır. Araştırma çalışma grubunu 2020-2021 eğitim öğretim yılında Türkiye’de uluslararası bir kongreye katılan farklı branşlardan oluşan gönüllü öğretmenler oluşturmaktadır. Araştırmada veriler üç gruptan oluşan, her bir grupta yer alan beş katılımcıdan oluşan toplamda on beş öğretmenin görüşleri doğrultusunda gerçekleştirilen çalıştay ile swot analizi ile bilgiler toplanmış ve alınan görüşler doğrultusunda betimsel analizi yöntemiyle çalışılmıştır. Öğretmen görüşlerinden oluşan doğrudan alıntılara yer verilmiştir. Bu araştırma konusu üzerinde öğretmenlerin yeterli düzeyde hizmet içi eğitime katılmamış olmaları, Çocuklar için Felsefe (P4C) uygulama sahası olarak alanda yeni bir yaklaşım ve uygulama çalışması olması bu bağlamda fiziki donanım ve materyal eksikliklerinin ihtiyacı karşılar nitelik ve nicelikte olmayışı, öğrenci ve öğretmenlerin sorgulamacı ve tartışmacı davranış sergilemede kendilerini ifade etmede özgür ve özgüvenli hissetmemiş olmaları yanlış anlaşılma kaygıları bu araştırmada karşılaşılan sorunlar olarak gözümüze çarpmaktadır. Buna karşın öğretmenlerin Çocuklar için felsefe yaklaşımını doğru soru sorma ve analizinin gerçekleştirilmesinin çocukta öz güven, sorgulama, yaratıcılık, eleştirel düşünme, işbirlikli ve özenli düşünme yönlerini desteklemesi nedeniyle öğrencide akademik başarı, öğretmenlerin mesleki gelişimleri açısından olumlu görüş bildirdiklerini, kendilerini geliştirme fırsatını verdiğini ve farklı bakış açısı kazandırdığını ifade etmişlerdir.

This paper presents a general-purpose data acquisition system is designed for control and test applications. In this data acquisition system, the connections of the input-output ports and peripherals are performed by employing the STM32L4 microcontroller with ARM-Cortex M4 architecture. The microcontroller communicates with the MATLAB-Simulink, transmits given commands to peripheral units, and receives data from the environment. The system has four digital input-output, two analog inputs, two analog outputs, four pulse width modulation outputs, an L298 driver, and encoder inputs. The connections of the peripherals with the microcontroller are transferred to the printed circuit board in the Altium Designer program to perform real-world applications and test. Universal Serial Bus (USB) is used to maintain communication between Simulink library and controller. This communication process provides not only the control of input-output, sensors and driver ports but also opportunity of transfer the process of sampled data. The library created in the MATLAB-Simulink environment interprets and observes the system’s data and controls the peripherals. This library contains blocks to control the overall system and each input-output. Proposed system is intended to be low-cost, accurate, reliable, high resolution, and compatible with various environments that may communicate over the USB port.

We provide two static analysis approaches(using theorem proving) that check if a given (recursive) procedure behaves as if it were stateless, even when it maintains state in global variables. In other words, we check if the given procedure behaves like a mathematical function. In order to eliminate the need for manual annotations, we make use of an invariant that makes use of uninterpreted function symbols. This invariant captures the set of reachable global states in all runs of the procedure, if the procedure is observationally pure. If the procedure is not observationally pure, this invariant has no semantics. Allowing function symbols makes it easier to generate the invariant automatically. The two static analysis are an existential checker and an impurity witness checker. The impurity witness checker outputs a formula whose unsatis fiability implies that the procedure is observationally pure. Whereas, the existential checker outputs a formula that constrains the de finition of the function that the given procedure may implement. Satisfi ability of the formula generated by the existential checker implies that the given procedure is observationally pure. The impurity witness approach works better (empirically) with SMT solvers, whereas the existential approach is more precise on paper. We illustrate our work on examples such as matrix chain multiplication. Examples such as these are not addressable by related techniques in the literature. The closest work to our is by Barnett et al.; this work cannot handle procedures with self recursion. We prove both our approaches to be sound. We have implemented the two static analyses using the Boogie framework and the Z3 SMT solver, and have evaluated our implementation on a number of examples