Journal articles: 'PLC logika'

1

Lutfiyani, Rini, Hesky S. Kolibu, and As’Ari As’Ari. "PERANCANGAN PROGRAM LOGIKA KONTROL PADA PROSES PEMBUATAN ROTI." JURNAL ILMIAH SAINS 15, no. 1 (February 10, 2015): 38. http://dx.doi.org/10.35799/jis.15.1.2015.6779.

Full text

Abstract:

PERANCANGAN PROGRAM LOGIKA KONTROL PADA PROSES PEMBUATAN ROTIABSTRAK Telah di rancang sistem kontrol pada proses pembuatan Roti. Pengontrolan fungsi kerja alat dilakukan melalui Monitoring dengan Komputer yang di program dengan menggunakan Bahasa Pemrograman Ladder Diagram untuk mengatur proses kerja Alat. Dalam penelitian ini untuk mengetahui input sama dengan output arus listrik maka di uji menggunakan mulitester untuk bisa menghitung tegangan yang akan di rangkai sirkuit lampu Flip-flop berdasarkan proses pembuatan roti. Begitupun diaplikasikan seperti pada mixer roti sebagai pengadon. Kata Kunci : PLC (programmable Logic Control), Proses Pembuatan Roti. DESIGN PROGRAM LOGIC CONTROL IN PROCESS OF BREAD ABSTRACT A designed Has been done to control system in the process of making bread. Controlling function sperformed by monitoring tools work with he computer program using Programming Languages Ladder Diagram Tool to manage work processes. In this study to determine the input equals’output electric current then test educing multitester to be able to calculate the voltage to bein the chain lights Flip-flop circuit based on the process of making bread. Like wise applied as in the bread mixer as dough maker. Keywords: PLC (programmable Logic Control), Process of bread.

APA, Harvard, Vancouver, ISO, and other styles

2

Yudha, Fitroh Anugrah Kusuma, and Bambang Riyanta. "Perancangan dan Simulasi Trainer Human Machine Interface (HMI) untuk media pembelajaran berbasis CX Designer PLC." JMPM (Jurnal Material dan Proses Manufaktur) 4, no. 2 (December 4, 2020): 136–45. http://dx.doi.org/10.18196/jmpm.v4i2.10607.

Full text

Abstract:

Penelitian ini bertujuan untuk membuat rancangan media pembelajaran pada mata kuliah Programmable Logic Controller (PLC) berupa trainer Human Machine Interface (HMI) berbasis CX Designer yang terintergrasi dengan CX-Programmer. Desain HMI yang tepat akan membuat pengujian program lebih mudah dan efisien. Sebagai media pembelajaran HMI memberikan efektifitas informasi yang dibutuhkan, sehingga perencanaan dapat dilakukan dengan efisiensi yang maksimal. Metode penelitian yang digunakan adalah metode eksperimental dan pembuatan rancangan produk berupa trainer untuk penguji program oleh mahasiswa atau operator. Dapat disimpulkan hasil dari penelitian ini bahwa penggunaan simulasi HMI berbasis CX Disigner dapat digunakan untuk memahami logika rangkaian suatu program dengan sangat mudah dan cepat untuk melatih ketrampilan pemograman PLC.

APA, Harvard, Vancouver, ISO, and other styles

3

Stankov, Stanko S., Saša P. Arsić, Nikola B. Danković, and Zoran D. Icić. "Upravljanje termodimnom komorom." Zbornici Kongresa o procesnoj industriji 30, no. 1 (June 12, 2017): 335. http://dx.doi.org/10.24094/ptk.017.30.1.335.

Full text

Abstract:

U radu se razmatra automatsko upravljanje termodimnom komorom, koja je namenjena za termičku obradu (sušenje, kuvanje, prženje, pečenje) i dimljenje mesa, mesnih proizvoda, ribe, sira itd. Komora poseduje električne grejače za sušenje i grejače za generisanje pare, ventilator s frekvencijskom regulacijom za cirkulaciju vazduha, integrisane sisteme za generisanje dima i eliminaciju otpadnog dima, elektromagnetne ventile za pranje i klapne za regulaciju otvora dimovodnog kanala. Upravljačka logika je na bazi PLC – a. Prikazivanje i zadavanje karakterističnih veličina i parametara kao što su temperatura, vlažnost vazduha u komori, tekuća vrednost vlažnosti u jednoj ili dve tačke proizvoda koji se tretiraju u komori i strujanje vazduha, vrši se na operatorskom panelu. Na panelu se zadaju programi i mogu se videti statusi uređaja, koji omogućavaju funkcionalnost termodimne komore. Procedura upravljanja komorom odvija se aktiviranjem odgovarajućih receptura, koje su kreirane na osnovu iskustava i zahteva tehnologa, a rezultat toga je dobar kvalitet proizvoda.

APA, Harvard, Vancouver, ISO, and other styles

4

Walker, Mark, Chris Bissell, and John Monk. "The PLC: A Logical Development." Measurement and Control 43, no. 9 (November 2010): 280–84. http://dx.doi.org/10.1177/002029401004300904.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Kim, Seokju, and Minsoo Kim. "A Case Study on the Implementation of a River Water Level Monitoring System using PLC(Programmable Logic Controller) and Public Telecommunication Network." Journal of Society for e-Business Studies 20, no. 4 (November 30, 2015): 1–17. http://dx.doi.org/10.7838/jsebs.2015.20.4.001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Ramadhan, Ahmad Wildan Rizky, and Daniel Udjulawa. "Perbandingan Algoritma Dijkstra dan Algoritma A Star pada permainan Pac-Man." Jurnal Algoritme 1, no. 1 (October 10, 2020): 12–20. http://dx.doi.org/10.35957/algoritme.v1i1.411.

Full text

Abstract:

AI (Artificial Inteligence) atau yang disebut juga dengan kecerdasan buatan merupakan salah satu cabang dari ilmu komputer untuk memberikan suatu pengetahuan pada komputer agar dapat mampu menyelesaikan tugas – tugas atau berpikir seperti manusia. Salah satu contoh kecerdasan buatan yang dapat diterapkan pada game adalah Path Finding. Path Finding adalah salah satu kecerdasan buatan yang dipakai untuk menentukan jaur terpendek antara titik awal dengan titik akhir. Logika Fuzzy merupakan ilmu yang mempelajari mengenai ketidakpastian. Logika Fuzzy juga mampu untuk memetakan suatu ruang input kedalam suatu ruang output dengan tepat. Metode yang digunakan dalam penelitian ini adalah meode prototype dimana tahap-tahap yang dilakukan adalah menganalisis kebutuhan, mendesain prototype, implementasi, dan pengujian. Tujuan utama yang ingin dicapai dari penelitian ini adalah Untuk membandingkan performa algoritma Djikstra dan algoritma A Star untuk penyelesaian game Pac-Man. Hasil yang didapatkan untuk algoritma Dijkstra adalah 2 kali gagal, dan 1 kali berhasil dalam menyelesaikan permainan dengan score 4100, 3350, 3940, sedangkan untuk algoritma A Star mendapatkan hasil 2 kali berhasil, dan 1 kali gagal dengan score 4300, 2350, 3450. Dari kedua Algoritma yang digunakan untuk menyelesaikan permaian PAC-MAN dengan mendapatkan score terbaik adalah algoritma A Star.

APA, Harvard, Vancouver, ISO, and other styles

7

Seely, R. A. G. "Categorical semantics for higher order polymorphic lambda calculus." Journal of Symbolic Logic 52, no. 4 (December 1987): 969–89. http://dx.doi.org/10.2307/2273831.

Full text

Abstract:

AbstractA categorical structure suitable for interpreting polymorphic lambda calculus (PLC) is defined, providing an algebraic semantics for PLC which is sound and complete. In fact, there is an equivalence between the theories and the categories. Also presented is a definitional extension of PLC including “subtypes”, for example, equality subtypes, together with a construction providing models of the extended language, and a context for Girard's extension of the Dialectica interpretation.

APA, Harvard, Vancouver, ISO, and other styles

8

Ferdiansyah, Andri, Ida Bagus Alit Swamardika, and IGA Putu Raka Agung. "Rancang Bangun Sistem Pencahayaan Otomatis Berbasis Pemrograman Ladder PLC (Programmable Logic Controller) Zelio." Majalah Ilmiah Teknologi Elektro 15, no. 2 (December 15, 2016): 87–92. http://dx.doi.org/10.24843/mite.1502.13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Jati, Mentari Putri, Era Purwanto, Bambang Sumantri, Sutedjo Sutedjo, and Dimas Okky Anggriawan. "DESAIN DAN IMPLEMENTASI INTERLEAVED BOOST CONVERTER UNTUK POWER FACTOR CORRECTION MENGGUNAKAN PENGENDALI LOGIKA FUZZY." JURNAL INTEGRASI 12, no. 1 (April 22, 2020): 41–47. http://dx.doi.org/10.30871/ji.v12i1.1430.

Full text

Abstract:

Beberapa tahun terakhir terjadi peningkatan kebutuhan sumber daya tegangan dc. Kebanyakan dari rangkaian elektronika daya pada sumber tegangan dc menggunakan full wave rectifier. Pemasangan nilai kapasitor yang cukup besar sebagai filter pada full wave rectifier dapat menyebabkan bentuk gelombang arus input menjadi tidak sinusoidal (terdistorsi). Perbedaan bentuk gelombang tegangan dan arus input berpengaruh pada besar kecilnya faktor daya. Interleaved Boost Converter (IBC) yang difungsikan sebagai Power Factor Correction (PFC) dengan menggunakan metode pengendali logika fuzzy diterapkan pada sistem untuk mencapai faktor daya mendekati unity. IBC bekerja pada discontinuous conduction mode (DCM). Saat rectifier menyuplai beban yang bersifat resistif maka arus input memiliki bentuk gelombang yang sefasa dengan gelombang tegangan input. Simulasi dan implementasi alat menggunakan beban yang bervariasi. Hasilnya IBC sebagai PFC dapat memperbaiki faktor daya dari 0.67 menjadi 0.93.

APA, Harvard, Vancouver, ISO, and other styles

10

Yusupbekov, Azizbek, Nodirjon Tulaganov, and Khurshid Turaev. "DEVELOPMENT AND IMPLEMENTATION OF TWO-DIMENSIONAL FAULT-TOLERANT PROGRAMMABLE LOGICAL CONTROLLERS." Technical science and innovation 2021, no. 1 (May 10, 2020): 63–70. http://dx.doi.org/10.51346/tstu-02.21.1-77-0009.

Full text

Abstract:

It has been revealed that a significant part of industrial control systems designed for technological facilities with more than one input and one output and the most widespread are objects with two inputs and two outputs.The article describes the programming environment for fault-tolerant two-dimensional control systems using PID controller, which software is implemented in an environment for programmable logic controllers (PLC).An experimental testing system has been implemented and software settings and regulator settings have been considered. Real-time PID controllers and filters have been implemented. It has been implemented a variation of the control system software with object imitation.

APA, Harvard, Vancouver, ISO, and other styles

11

POLKOWSKA, O. P. NICHOLAS MARIE. "ON SIMPLICITY OF BOUNDED PSEUDOALGEBRAICALLY CLOSED STRUCTURES." Journal of Mathematical Logic 07, no. 02 (December 2007): 173–93. http://dx.doi.org/10.1142/s0219061307000639.

Full text

Abstract:

Bounded PAC substructures of models of stable theory T are generalizations of bounded PAC fields and bounded PAC beautiful pairs generalize Poizat's beautiful pairs. Both notions were introduced in the authors Ph.D. thesis. In this paper, we prove that under the assumption that the PAC property is first order for T, the theory of any bounded PAC structure is simple. Moreover, if the PAC property is first order for T and T does not have the finite cover property, then the theory of any bounded PAC beautiful pair is simple. We, also, give a characterization of dividing in both cases.

APA, Harvard, Vancouver, ISO, and other styles

12

Chatzidakis, Zoé. "Amalgamation of types in pseudo-algebraically closed fields and applications." Journal of Mathematical Logic 19, no. 02 (October 2, 2019): 1950006. http://dx.doi.org/10.1142/s0219061319500065.

Full text

Abstract:

This paper studies unbounded pseudo-algebraically closed (PAC) fields and shows an amalgamation result for types over algebraically closed sets. It discusses various applications, for instance that omega-free PAC fields have the property NSOP3. It also contains a description of imaginaries in PAC fields.

APA, Harvard, Vancouver, ISO, and other styles

13

Chatzidakis, Zoé. "Properties of forking in ω-free pseudo-algebraically closed fields." Journal of Symbolic Logic 67, no. 3 (September 2002): 957–96. http://dx.doi.org/10.2178/jsl/1190150143.

Full text

Abstract:

The study of pseudo-algebraically closed fields (henceforth called PAC) started with the work of J. Ax on finite and pseudo-finite fields [1]. He showed that the infinite models of the theory of finite fields are exactly the perfect PAC fields with absolute Galois group isomorphic to , and gave elementary invariants for their first order theory, thereby proving the decidability of the theory of finite fields. Ax's results were then extended to a larger class of PAC fields by M. Jarden and U. Kiehne [21], and Jarden [19]. The final word on theories of PAC fields was given by G. Cherlin, L. van den Dries and A. Macintyre [10], see also results by Ju. Ershov [13], [14]. Let K be a PAC field. Then the elementary theory of K is entirely determined by the following data:• The isomorphism type of the field of absolute numbers of K (the subfield of K of elements algebraic over the prime field).• The degree of imperfection of K.• The first-order theory, in a suitable ω-sorted language, of the inverse system of Galois groups al(L/K) where L runs over all finite Galois extensions of K.They also showed that the theory of PAC fields is undecidable, by showing that any graph can be encoded in the absolute Galois group of some PAC field. It turns out that the absolute Galois group controls much of the behaviour of the PAC fields. I will give below some examples illustrating this phenomenon.

APA, Harvard, Vancouver, ISO, and other styles

14

Bregant, Janez. "CRITICAL THINKING IN EDUCATION: WHY TO AVOID LOGICAL FALLACIES?" Problems of Education in the 21st Century 61, no. 1 (September 5, 2014): 18–27. http://dx.doi.org/10.33225/pec/14.61.18.

Full text

Abstract:

The study argues for the claim that a correct argumentation, i.e. a non-fallacious or good reasoning, should be the essential part of the education process, which is not always the case. The bad argumentation makes human standards and interpersonal relationships worse, and leads to the growth of social conflicts and an instable society. If the legislature, executive and judiciary branches of power did not listen to good arguments, our lives would not be as good as they are since the state might pass bad, dangerous and unjust laws. A person trained in critical thinking starting in their youth would be able to tell a difference between good and bad arguments and recognize the fact that accepting the former and dropping the latter is the only way to avoid the above mentioned negative characteristics of a society. By teaching pupils how to employ the prescribed standards of a correct argumentation using everyday examples helps them to avoid adopting certain views on the ground of their popularity, affections produced in observers, their popularity etc., which are classic examples of logical fallacies. An early training in critical thinking could make obvious the fact that, a democracy consisting among other things also in a social, racial and gender equality, after all, does not mean that sometimes left arguments win and sometimes the right ones, and that there is no difference between them in the long run. Key words: argument, critical thinking, deduction, education, induction, logical fallacy, validity.

APA, Harvard, Vancouver, ISO, and other styles

15

Bastari, Winarno Fadjar, and John Geral Mesah. "RANCANG BANGUN INTERLEAVED BOOST CONVERTER SEBAGAI PERBAIKAN KUALITAS DAYA PADA RANGKAIAN PENYEARAH SATU FASA DENGAN BEBAN INDUKTIF DAN RESISTIF." WAKTU: Jurnal Teknik UNIPA 17, no. 1 (January 28, 2019): 72–76. http://dx.doi.org/10.36456/waktu.v17i01.1915.

Full text

Abstract:

Sumber tegangan searah didapat melalui rangkaian penyearah gelombang penuh satu fasa tidak terkendali dari sumber tegangan jala â€“ jala PLN sebesar 220 Volt. Pemasangan kapasitor sebagai filter dengan nilai atau jumlah yang cukup besar dapat menyebabkan bentuk gelombang arus masukan menjadi tidak sinusoidal (terdistorsi) akibat dari harmonisa yang muncul sedangkan tegangan masukan dari jala â€“ jala PLN berbentuk sinusoidal. Perbedaan bentuk gelombang tegangan dan arus masukan yang terjadi ini dapat berpengaruh pada nilai faktor yang dihasilkan. Berdasarkan masalah ini dibuatlah suatu penelitian mengenai perbaikan faktor daya menggunakan rangkaian Interleaved Boost Converter yang difungsikan sebagai rangkaian Power Factor Correction (PFC) dan regulator tegangan dengan metode pengaturan menggunakan logika Fuzzy. Rangkaian Interleaved Boost Converter ini dibuat bekerja pada kondisi Discontinues Conduction Mode (DCM) agar apapun beban yang dicatu pada rangkaian akan membuat sistem bersifat resistif. Sehingga diharapkan bentuk gelombang tegangan dan arus masukan sama yang akan menghasilkan nilai faktor mendekati nilai unity. Hasil dari penelitian ini adalah rangkaian Interleaved Boost Converter yang sudah dapat difungsikan sebagai rangkaian Power Factor Correction dan juga sebagai regulator tegangan. Nilai Faktor daya yang dihasilkan adalah sebesar 0.93 dimana jika dibandingkan dengan nilai faktor daya dari Power Supply Swicthing 48V sebesar 0.90 sudah jauh lebih baik.

APA, Harvard, Vancouver, ISO, and other styles

16

Bastari, Winarno Fadjar, and John Geral Mesah. "RANCANG BANGUN INTERLEAVED BOOST CONVERTER SEBAGAI PERBAIKAN KUALITAS DAYA PADA RANGKAIAN PENYEARAH SATU FASA DENGAN BEBAN INDUKTIF DAN RESISTIF." WAKTU: Jurnal Teknik UNIPA 17, no. 1 (January 28, 2019): 72–76. http://dx.doi.org/10.36456/waktu.v17i1.1915.

Full text

Abstract:

Sumber tegangan searah didapat melalui rangkaian penyearah gelombang penuh satu fasa tidak terkendali dari sumber tegangan jala â€“ jala PLN sebesar 220 Volt. Pemasangan kapasitor sebagai filter dengan nilai atau jumlah yang cukup besar dapat menyebabkan bentuk gelombang arus masukan menjadi tidak sinusoidal (terdistorsi) akibat dari harmonisa yang muncul sedangkan tegangan masukan dari jala â€“ jala PLN berbentuk sinusoidal. Perbedaan bentuk gelombang tegangan dan arus masukan yang terjadi ini dapat berpengaruh pada nilai faktor yang dihasilkan. Berdasarkan masalah ini dibuatlah suatu penelitian mengenai perbaikan faktor daya menggunakan rangkaian Interleaved Boost Converter yang difungsikan sebagai rangkaian Power Factor Correction (PFC) dan regulator tegangan dengan metode pengaturan menggunakan logika Fuzzy. Rangkaian Interleaved Boost Converter ini dibuat bekerja pada kondisi Discontinues Conduction Mode (DCM) agar apapun beban yang dicatu pada rangkaian akan membuat sistem bersifat resistif. Sehingga diharapkan bentuk gelombang tegangan dan arus masukan sama yang akan menghasilkan nilai faktor mendekati nilai unity. Hasil dari penelitian ini adalah rangkaian Interleaved Boost Converter yang sudah dapat difungsikan sebagai rangkaian Power Factor Correction dan juga sebagai regulator tegangan. Nilai Faktor daya yang dihasilkan adalah sebesar 0.93 dimana jika dibandingkan dengan nilai faktor daya dari Power Supply Swicthing 48V sebesar 0.90 sudah jauh lebih baik.

APA, Harvard, Vancouver, ISO, and other styles

17

Odrowąż-Sypniewska, Joanna. "Functional logical semiotics of natural language." Semiotica 2021, no. 240 (March 23, 2021): 5–22. http://dx.doi.org/10.1515/sem-2020-0006.

Full text

Abstract:

Abstract In the first part of my paper I briefly present Jerzy Pelc’s functional approach to logical semiotics of natural language. This approach focuses on the use of natural language expressions and on its dependence on context and conversational situation. One of the important goals of this analysis is to appreciate the role of sentences in natural language and stress that it is by means of sentences that language fulfills its main roles. However, for Pelc almost any expression can be used as a sentence, despite not being a grammatical sentence. In the second part I try to place Pelc’s standpoint within the framework of contemporary semantic minimalism – contextualism debate. I pay special attention to his treatment of subsentential expressions used to express propositions and argue that his view belongs to pragmatics-oriented approaches to subsentential speech acts.

APA, Harvard, Vancouver, ISO, and other styles

18

Mandia, Sayati. "SOSIALISASI DAN PRAKTEK RETENSI DAN PEMUSNAHAN BERKAS REKAM MEDIS di PUSKESMAS KURANJI." LOGISTA - Jurnal Ilmiah Pengabdian kepada Masyarakat 4, no. 1 (June 30, 2020): 63. http://dx.doi.org/10.25077/logista.4.1.63-68.2020.

Full text

Abstract:

Puskesmas merupakan fasilitas pelayanan kesehatan yang menyelenggarakan upaya kesehatan masyarakat dan upaya kesehatan perseorangan tingkat pertama. Dalam melaksanakan tugasnya puskesmas berwenang untuk untuk melaksanakan pencatatan dan pelaporan kesehatan pasien serta melakukan evaluasi terhadap mutu dan cakupan pelayanan kesehatan. Pencatatan dan pelaporan pasien dapat dilihat dari berkas rekam medis pasien. Rekam medis pada sarana kesehatan non rumah sakit wajib disimpan sekurang-kurangnya untuk jangka waktu dua tahun terhitung dari tanggal terakhir pasien berobat. Setelah batas waktu penyimpanan dilampaui maka rekam medis dapat dimusnahkan. Puskesmas Kuranji merupakan salah satu puskemas di kota padang yang berlamat dikecamatan Kuranji. Berdasarkan hasil wawancara dengan petugas rekam medis, hingga saat ini Puskesmas Kuranji belum melakukan retensi dan pemusnahan berkas rekam medis sedangkan ruangan penyimpanan hanya ada satu. Berdasarkan pemaparan masalah di atas, maka pengabdi bermaksud untuk melakukan sosialisasi dan praktik langsung mengenai retensi dan pemusnahan berkas rekam medis di Puskesmas Kuranji Kota Padang. Target dan luaran dari pelaksanaan kegiatan pengabdian kepada masyarakat adalah kegiatan ini dapat dijadikan sebagai bahan pertimbangan untuk pelaksanaan retensi dan penghancuran berkas rekam medis. Target kedepannya agar sosialisi ini dapat digunakan sebagai dasar kegiatan retensi dan penghancuran berkas rekam medis. Kata Kunci: Puskesmas, Retensi, Pemusnahan, Rekam Medis ABSTRACT Public health center (PHC) is a health service facility that organizes public health efforts and first-level individual health efforts. In carrying out its duties PHC is authorized to carry out the recording and reporting of patient health and to evaluate the quality and scope of health services. Patient recording and reporting can be seen from the patient's medical record file. Medical records in non-hospital healthcare facilities must be kept for at least two years from the date the patient was treated. After the storage time limit is exceeded, the medical record can be destroyed. The Kuranji Community Health Center is one of the public health centers in the city of Padang which is well-known in the Kuranji sub-district. Based on the results of interviews with medical record officers, up to now the Kuranji Community Health Center has not retained and destroyed medical record files while there is only one storage room. Based on the explanation of the problem above, the service intends to conduct socialization and direct practice regarding the retention and destruction of medical record files at the Kuranji Health Center in Padang City. The target and output of the implementation of community service activities is that this activity can be used as consideration for the implementation of retention and destruction of medical record files. The future target is that this socialization can be used as a basis for retention and destruction of medical records. Keywords: Puskesmas, Retention, Destruction, Medical Record

APA, Harvard, Vancouver, ISO, and other styles

19

Matravers, David. "Bayesian Logical Data Analysis for the Physical Sciences, edited by P.C. Gregory." Contemporary Physics 52, no. 5 (September 2011): 491–92. http://dx.doi.org/10.1080/00107514.2011.580374.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Pillay, Anand, and Dominika Polkowska. "On PAC and bounded substructures of a stable structure." Journal of Symbolic Logic 71, no. 2 (June 2006): 460–72. http://dx.doi.org/10.2178/jsl/1146620152.

Full text

Abstract:

AbstractWe introduce and study the notions of a PAC-substructure of a stable structure, and aboundedsubstructure of an arbitrary substructure, generalizing [10]. We give precise definitions and equivalences, saying what it means for properties such as PAC to be first order, study some examples (such as differentially closed fields) in detail, relate the material to generic automorphisms, and generalize a “descent theorem” for pseudo-algebraically closed fields to the stable context. We also point out that the elementary invariants of pseudo-algebraically closed fields from [6] are also valid for pseudo-differentially closed fields.

APA, Harvard, Vancouver, ISO, and other styles

21

Basarab, Şerban A. "Transfer principles for pseudo real closed e-fold ordered fields." Journal of Symbolic Logic 51, no. 4 (December 1986): 981–91. http://dx.doi.org/10.2307/2273910.

Full text

Abstract:

In his famous paper [1] on the elementary theory of finite fields Ax considered fields K with the property that every absolutely irreducible variety defined over K has K-rational points. These fields have been called pseudo algebraically closed (pac) and also regularly closed, and extensively studied by Jarden, Éršov, Fried, Wheeler and others, culminating with the basic works [8] and [11].The above algebraic-geometric definition of pac fields can be put into the following equivalent model-theoretic version: K is existentially complete (ec) relative to the first order language of fields into each regular field extension of K. It has been this characterization of pac fields which the author extended in [2] to ordered fields. An ordered field (K, <) is called in [2] pseudo real closed (prc) if (K, <) is ec in every ordered field extension (L, <) with L regular over K. The concept of pre ordered field has also been introduced by McKenna in his thesis [15] by analogy with the original algebraic-geometric definition of pac fields.Given a positive integer e, a system K = (K; P1, …, Pe), where K is a field and P1, …, Pe are orders of K (identified with the corresponding positive cones), is called an e-fold ordered field (e-field). In his thesis [9] van den Dries developed a model theory for e-fields. The main result proved in [9, Chapter II] states that the theory e-OF of e-fields is model con. panionable, and the models of the model companion e-OF are explicitly described.

APA, Harvard, Vancouver, ISO, and other styles

22

CHASE, HUNTER, and JAMES FREITAG. "MODEL THEORY AND MACHINE LEARNING." Bulletin of Symbolic Logic 25, no. 03 (February 15, 2019): 319–32. http://dx.doi.org/10.1017/bsl.2018.71.

Full text

Abstract:

AbstractAbout 25 years ago, it came to light that a single combinatorial property determines both an important dividing line in model theory (NIP) and machine learning (PAC-learnability). The following years saw a fruitful exchange of ideas between PAC-learning and the model theory of NIP structures. In this article, we point out a new and similar connection between model theory and machine learning, this time developing a correspondence between stability and learnability in various settings of online learning. In particular, this gives many new examples of mathematically interesting classes which are learnable in the online setting.

APA, Harvard, Vancouver, ISO, and other styles

23

Halupczok, Immanuel. "Motives for perfect PAC fields with pro-cyclic Galois group." Journal of Symbolic Logic 73, no. 3 (September 2008): 1036–50. http://dx.doi.org/10.2178/jsl/1230396764.

Full text

Abstract:

AbstractDenef and Loeser denned a map from the Grothendieck ring of sets definable in pseudo-finite fields to the Grothendieck ring of Chow motives, thus enabling to apply any cohomological invariant to these sets. We generalize this to perfect, pseudo algebraically closed fields with pro-cyclic Galois group.In addition, we define some maps between different Grothendieck rings of definable sets which provide additional information, not contained in the associated motive. In particular we infer that the map of Denef-Loeser is not injective.

APA, Harvard, Vancouver, ISO, and other styles

24

Junker, Markus, and Jochen Koenigsmann. "Schlanke Körper (Slim fields)." Journal of Symbolic Logic 75, no. 2 (June 2010): 481–500. http://dx.doi.org/10.2178/jsl/1268917491.

Full text

Abstract:

AbstractWe examine fields in which model theoretic algebraic closure coincides with relative field theoretic algebraic closure. These are perfect fields with nice model theoretic behaviour. For example they are exactly the fields in which algebraic independence is an abstract independence relation in the sense of Kim and Pillay. Classes of examples are perfect PAC fields, model complete large fields and henselian valued fields of characteristic 0.

APA, Harvard, Vancouver, ISO, and other styles

25

AFSHORDEL, BIJAN. "GENERIC AUTOMORPHISMS WITH PRESCRIBED FIXED FIELDS." Journal of Symbolic Logic 79, no. 4 (December 2014): 985–1000. http://dx.doi.org/10.1017/jsl.2014.5.

Full text

Abstract:

AbstractThis article addresses the question which structures occur as fixed structures of stable structures with a generic automorphism. In particular we give a Galois theoretic characterization. Furthermore, we prove that any pseudofinite field is the fixed field of some model ofACFA, any one-free pseudo-differentially closed field of characteristic zero is the fixed field of some model ofDCFA, and that any one-free PAC field of finite degree of imperfection is the fixed field of some model ofSCFA.

APA, Harvard, Vancouver, ISO, and other styles

26

Takayama, Koichi, Koji Inoue, Masafumi Takeshita, Naoki Tashiro, Taishi Harada, Takashi Seto, Tomotoshi Imanaga, et al. "Randomized phase II study of pemetrexed plus carboplatin followed by pemetrexed versus paclitaxel plus carboplatin followed by pemetrexed in advanced nonsquamous, non-small cell lung cancer (LOGIK 0904)." Journal of Clinical Oncology 31, no. 15_suppl (May 20, 2013): 8111. http://dx.doi.org/10.1200/jco.2013.31.15_suppl.8111.

Full text

Abstract:

8111 Background: PARAMOUNT study confirmed the improvement of overall survival with continuation maintenance chemotherapy with pemetrexed (PEM) compared with placebo after 4 cycles of cisplatin plus PEM induction chemotherapy recently. JMEN study also showed the usefulness of switch maintenance with PEM after 4 cycles of platinum doublet without PEM. In this study, we conducted the randomized phase II study comparing switch or continuation maintenance chemotherapy with PEM after standard doublet regimen. Methods: Histologically/cytologically confirmed stage IIIb or IV non-squamous NSCLC patients with mesurable disease, ECOG PS 0-1, age over 20 years and adequate organ function were eligible for the study. Randomization was stratified by gender and stage of disease. Patients received 3 cycles of PEM 500 mg/m2 plus CB AUC6 (Arm 1) or PAC 200 mg/m2 plus CB AUC6 (Arm 2). All patients with non-PD after induction chemotherapy continued PEM 500 mg/m2 until PD. Primary endopoint is progression-free survival (PFS). Results: 140 pts were enrolled and assigned to Arm 1 or Arm 2 randomly. The clinical data of 132 pts were used as full analysis set (median age 64.5 yrs (42-83), 85 male, 120 stage IV, 58 PS0, 127 adenocarcinoma, 46 never smoker). 42 pts had prior treatment including 9 sugery, 1 adjuvant chemotherapy, 24 radiotherapy and 8 others. In both arms, 50% of pts entered into the maintenance treatment with PEM after completion of 3 cycles induction chemotherapy. The median PFS was 92 days in Arm 1 and 143 days in Arm 2, respectively. Cox-proportinal Hazard ratio was 0.827, and 95% HR confidential interval was 0.563-1.248. Stratified Log-Rank test showed no significant difference in both arms. Conclusions: There was no significant difference for PFS in PEM plus CB follwed by PEM and PAC plus CB followed by PEM. Clinical trial information: 000005008.

APA, Harvard, Vancouver, ISO, and other styles

27

Girlando, Marianna, Sara Negri, and Nicola Olivetti. "Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics." Journal of Logic and Computation 31, no. 3 (April 2021): 947–97. http://dx.doi.org/10.1093/logcom/exab019.

Full text

Abstract:

Abstract The preferential conditional logic $ \mathbb{PCL} $, introduced by Burgess, and its extensions are studied. First, a natural semantics based on neighbourhood models, which generalizes Lewis’ sphere models for counterfactual logics, is proposed. Soundness and completeness of $ \mathbb{PCL} $ and its extensions with respect to this class of models are proved directly. Labelled sequent calculi for all logics of the family are then introduced. The calculi are modular and have standard proof-theoretical properties, the most important of which is admissibility of cut that entails a syntactic proof of completeness of the calculi. By adopting a general strategy, root-first proof search terminates, thereby providing a decision procedure for $ \mathbb{PCL} $ and its extensions. Finally, semantic completeness of the calculi is established: from a finite branch in a failed proof attempt it is possible to extract a finite countermodel of the root sequent. The latter result gives a constructive proof of the finite model property of all the logics considered.

APA, Harvard, Vancouver, ISO, and other styles

28

Larson, Paul, and Saharon Shelah. "A model of $$\mathsf {ZFA}+ \mathsf {PAC}$$ with no outer model of $$\mathsf {ZFAC}$$ with the same pure part." Archive for Mathematical Logic 57, no. 7-8 (January 17, 2018): 853–59. http://dx.doi.org/10.1007/s00153-018-0610-y.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Prestel, A. "Gregory Cherlin, Lou van den Dries, and Angus Macintyre. Decidability and undecidability theorems for PAC-fields. Bulletin of the American Mathematical Society, n.s. vol. 4 (1981), pp. 101–104." Journal of Symbolic Logic 52, no. 2 (June 1987): 568. http://dx.doi.org/10.2307/2274415.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

d’Elbée, Christian. "Expansions and Neostability in Model Theory." Bulletin of Symbolic Logic 27, no. 2 (June 2021): 216–17. http://dx.doi.org/10.1017/bsl.2021.26.

Full text

Abstract:

AbstractThis thesis is concerned with the expansions of algebraic structures and their fit in Shelah’s classification landscape.The first part deals with the expansion of a theory by a random predicate for a substructure model of a reduct of the theory. Let T be a theory in a language $\mathcal {L}$ . Let $T_0$ be a reduct of T. Let $\mathcal {L}_S = \mathcal {L}\cup \{S\}$ , for S a new unary predicate symbol, and $T_S$ be the $\mathcal {L}_S$ -theory that axiomatises the following structures: $(\mathscr {M},\mathscr {M}_0)$ consist of a model $\mathscr {M}$ of T and S is a predicate for a model $\mathscr {M}_0$ of $T_0$ which is a substructure of $\mathscr {M}$ . We present a setting for the existence of a model-companion $TS$ of $T_S$ . As a consequence, we obtain the existence of the model-companion of the following theories, for $p>0$ a prime number: • $\mathrm {ACF}_p$ , $\mathrm {SCF}_{e,p}$ , $\mathrm {Psf}_p$ , $\mathrm {ACFA}_p$ , $\mathrm {ACVF}_{p,p}$ in appropriate languages expanded by arbitrarily many predicates for additive subgroups;• $\mathrm {ACF}_p$ , $\mathrm {ACF}_0$ in the language of rings expanded by a single predicate for a multiplicative subgroup;• $\mathrm {PAC}_p$ -fields, in an appropriate language expanded by arbitrarily many predicates for additive subgroups.From an independence relation in T, we define independence relations in $TS$ and identify which properties of are transferred to those new independence relations in $TS$ , and under which conditions. This allows us to exhibit hypotheses under which the expansion from T to $TS$ preserves $\mathrm {NSOP}_{1}$ , simplicity, or stability. In particular, under some technical hypothesis on T, we may draw the following picture (the left column implies the right column): Configuration $T_0\subseteq T$ Generic expansion $TS$ $T_0 = T$ Preserves stability $T_0\subseteq T$ Preserves $\mathrm {NSOP}_{1}$ $T_0 = \emptyset $ Preserves simplicityIn particular, this construction produces new examples of $\mathrm {NSOP}_{1}$ not simple theories, and we study in depth a particular example: the expansion of an algebraically closed field of positive characteristic by a generic additive subgroup. We give a full description of imaginaries, forking, and Kim-forking in this example.The second part studies expansions of the group of integers by p-adic valuations. We prove quantifier elimination in a natural language and compute the dp-rank of these expansions: it equals the number of independent p-adic valuations considered. Thus, the expansion of the integers by one p-adic valuation is a new dp-minimal expansion of the group of integers. Finally, we prove that the latter expansion does not admit intermediate structures: any definable set in the expansion is either definable in the group structure or is able to “reconstruct” the valuation using only the group operation.Abstract prepared by Christian d’Elbée.E-mail: delbee@math.univ-lyon1.frURL: https://choum.net/~chris/page_perso

APA, Harvard, Vancouver, ISO, and other styles

31

Susanto, Aris. "MODUL PROGRAMMABLE LOGIC CONTROLLER (PLC) BERBASIS ARDUINO SEVERINO." Jurnal Edukasi Elektro 1, no. 2 (December 19, 2017). http://dx.doi.org/10.21831/jee.v1i2.17413.

Full text

Abstract:

Tujuan dari penelitian ini untuk merancang dan membuat modul Programmable Logic Controller (PLC) menggunakan Arduino Severino dengan mikrokontroler ATmega8 sehingga hemat biaya. Metode yang digunakan adalah rancang bangun, yang terdiri dari beberapa tahapan, yaitu: (1) analisis dan identifikasi kebutuhan, (2) perancangan alat, (3) pembuatan alat, dan (4) uji coba alat. Pengujian keseluruhan alat memiliki beberapa tahapan, yaitu: (1) pengujian rangkaian Arduino Severino, (2) pengujian modul masukan dan keluaran, (3) Pengujian menu intruksi pewaktu (timer), dan (4) Pengujian menu intruksi penghitung (counter). Berdasarkan hasil pengujian dapat disimpulkan bahwa: (1) Rangkaian Arduino Severino yang dipakai bekerja dengan baik, karena pin-pin Arduino Severino berfungsi ketika diberi logika 0 ataupun 1; (2) Modul masukan dan keluaran bekerja dengan baik, karena lampu mati ketika diberi logika 0 dan lampu menyala ketika di beri logika 1; (3) Menu intruksi pewaktu (timer) bekerja baik, karena pewaktu memiliki tingkat kesalahan rata-rata 1,54%, melalui pengukuran dengan stopwatch; (4) Menu intruksi penghitung (counter) bekerja dengan baik, karenabekerja sesuai nilai masukannya. Kata kunci: arduino severino, diagram tangga, PLC

APA, Harvard, Vancouver, ISO, and other styles

32

"Programmable logic controller(PLC) in computer numeric controller(CNC)." International Journal of Recent Trends in Engineering and Research 4, no. 2 (February 23, 2018): 55–60. http://dx.doi.org/10.23883/ijrter.2018.4063.fr80v.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

"Control of Induction Motors by Using Programmable Logic Controllers (PLC)." International Journal of Science and Research (IJSR) 5, no. 5 (May 5, 2016): 1923–26. http://dx.doi.org/10.21275/v5i5.nov136742.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Mellado, Jacob, and Felipe Núñez. "Design of an IoT-PLC: A containerized programmable logical controller for the industry 4.0." Journal of Industrial Information Integration, August 2021, 100250. http://dx.doi.org/10.1016/j.jii.2021.100250.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

DOBROWOLSKI, JAN, DANIEL MAX HOFFMANN, and JUNGUK LEE. "ELEMENTARY EQUIVALENCE THEOREM FOR PAC STRUCTURES." Journal of Symbolic Logic, October 26, 2020, 1–29. http://dx.doi.org/10.1017/jsl.2020.61.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Tareen, Samar HK, Martina Kutmon, Ilja CW Arts, Theo M. de Kok, Chris T. Evelo, and Michiel E. Adriaens. "Logical modelling reveals the PDC-PDK interaction as the regulatory switch driving metabolic flexibility at the cellular level." Genes & Nutrition 14, no. 1 (September 9, 2019). http://dx.doi.org/10.1186/s12263-019-0647-5.

Full text

Abstract:

Abstract Background Metabolic flexibility is the ability of an organism to switch between substrates for energy metabolism, in response to the changing nutritional state and needs of the organism. On the cellular level, metabolic flexibility revolves around the tricarboxylic acid cycle by switching acetyl coenzyme A production from glucose to fatty acids and vice versa. In this study, we modelled cellular metabolic flexibility by constructing a logical model connecting glycolysis, fatty acid oxidation, fatty acid synthesis and the tricarboxylic acid cycle, and then using network analysis to study the behaviours of the model. Results We observed that the substrate switching usually occurs through the inhibition of pyruvate dehydrogenase complex (PDC) by pyruvate dehydrogenase kinases (PDK), which moves the metabolism from glycolysis to fatty acid oxidation. Furthermore, we were able to verify four different regulatory models of PDK to contain known biological observations, leading to the biological plausibility of all four models across different cells and conditions. Conclusion These results suggest that the cellular metabolic flexibility depends upon the PDC-PDK regulatory interaction as a key regulatory switch for changing metabolic substrates.

APA, Harvard, Vancouver, ISO, and other styles

37

Menchaca, Alicia G. Valdez, Juan Carrillo x. Juan Carrillo Gándara, Laura Vazquez, Griselda Cortes, Sergio Castaneda, Adriana Martinez, and Jose Luis Cendejas Valdez. "Sistema de Informacion que Utiliza Datos del Proceso de Fabricacion de un Controlador Logico Programable." European Scientific Journal ESJ 17, no. 17 (May 31, 2021). http://dx.doi.org/10.19044/esj.2021.v17n17p98.

Full text

Abstract:

En la actualidad, las empresas requieren de la obtención de datos precisos, análisis que apoye en la toma de decisiones y en la mejora continua; estos procesos han llegado a formar parte de la visión de negocios de la gerencia empresarial sobre la cual están orientados los objetivos de negocios para poder ser y permanecer competitivos. Las empresas de manufactura tienen la necesidad de obtener y analizar datos relacionados a los procesos de producción para determinar el nivel de eficiencia de estos y en base a la información obtenida tomar decisiones que ayuden a la empresa a mejorar o corregir situaciones que puedan ser de carácter humano, operativo, procedural o de equipo. En este proyecto de desarrollo de software se ha diseñado e implementado un sistema de información, con el método de cascada, para una empresa de manufactura localizada en la frontera norte de México con Estados Unidos en el sector del cuidado de la salud; el sistema utiliza datos desde un controlador lógico programable, en el cual se obtienen datos para su monitoreo como: alarmas de la máquina, conteo de eventos, duración de cada alarma y velocidad de producción. Dando como resultado información de los códigos de producción, turno, día y hora; además de medir de forma precisa la eficiencia de la máquina, así como la detección de tendencias y la creación de alertas oportunas hacia personas técnicas para la solución de problemas. El sistema consta de un análisis de velocidad y carga de trabajo del procesador del PLC, desarrollo de la conexión entre el procesador y el sistema, preparación del sistema para el traspaso de información, programación de la base de datos en Access y el diseño de la interfaz gráfica en Visual Basic. Net. Entre los logros más importantes obtenidos de la implementación del sistema de información se encuentran: Disponibilidad de la información en tiempo real y obtención de datos históricos de las variables de producción del equipo, mejoramiento de las tareas de supervisión y control de procesos, así como el envío de alertas a usuarios específicos para reacción adecuada a eventos de fallas.

APA, Harvard, Vancouver, ISO, and other styles

38

d’Elbée, Christian. "Generic expansions by a reduct." Journal of Mathematical Logic, January 6, 2021, 2150016. http://dx.doi.org/10.1142/s0219061321500161.

Full text

Abstract:

Consider the expansion [Formula: see text] of a theory [Formula: see text] by a predicate for a submodel of a reduct [Formula: see text] of [Formula: see text]. We present a setup in which this expansion admits a model companion [Formula: see text]. We show that some of the nice features of the theory [Formula: see text] transfer to [Formula: see text]. In particular, we study conditions for which this expansion preserves the [Formula: see text]-ness, the simplicity or the stability of the starting theory [Formula: see text]. We give concrete examples of new [Formula: see text] not simple theories obtained by this process, among them the expansion of a perfect [Formula: see text]-free PAC field of positive characteristic by generic additive subgroups, and the expansion of an algebraically closed field of any characteristic by a generic multiplicative subgroup.

APA, Harvard, Vancouver, ISO, and other styles

39

Werner, Christiana. "Emotions, Actions and Inclinations to Act." Erkenntnis, October 15, 2020. http://dx.doi.org/10.1007/s10670-020-00316-2.

Full text

Abstract:

Abstract Emotional responses to fiction are part of our experience with art and media. Some of these responses (“fictional emotions”) seem to be directed towards fictional entities—entities that we believe do not exist. Some philosophers argue that fictional emotions differ in nature from other emotional responses. (cf. Walton in J Philos 75(1):5–27, 1978, Mimesis as make-believe, Harvard University Press, Cambridge, 1990, Walton, in: Hjort, Laver (ed.) Emotion and the arts, Oxford University, New York, 1997; Currie in The nature of fiction, Cambridge University Press, Cambridge, 1990; Stecker in Br J Aesthet 51(3):295–308, 2011) The claim is supposed to be supported among others by ‘the argument from action.’ In contrast to genuine emotions, proponents of this argument claim, fictional emotions do not motivate their bearers to act. (cf. Yanal in Paradoxes of emotion and fiction, Pennsylvania State University Press, University Park, 1999; Lamarque in Br J Aesthet 21(4):291–304, 1981; Carroll in The philosophy of horror: or, paradoxes of the heart, Routledge, London, 1990; Currie 1990; Walton 1978, 1990; Suits in Pac Philos Q 87(3):369–386, 2006; Friend, in: Kind (ed.) The Routledge handbook of philosophy of imagination, Routledge, New York, 2016) This claim grounds in what may appear to be an obvious fact: that viewers and readers of are not led to act by their fictional emotions. It is certainly true that viewers and readers of fiction do not form intentions to perform actions directed towards fictional entities. In contrast to the proponents of the argument from action, I will argue that the lack of any such intentions can be explained only with reference to intending’s doxastic conditions, conditions that are unsatisfied in the fictional scenario. Decisively, this explanation does not refer to the motivational force of the agent’s emotions; indeed, it doesn’t refer to emotions at all. Thus, the lack of intentions to perform actions directed towards fictional objects provides no support for the claim that fictional emotions are no genuine emotions.

APA, Harvard, Vancouver, ISO, and other styles

Journal articles on the topic 'PLC logika'

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