To see the other types of publications on this topic, follow the link: PETRA (Program).

Journal articles on the topic 'PETRA (Program)'

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

Select a source type:

Consult the top 50 journal articles for your research on the topic 'PETRA (Program).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Mochtar, Jenny, and Gan Shu San. "Challenges in Quality Assurance: A Ten-Year Journey." SHS Web of Conferences 76 (2020): 01016. http://dx.doi.org/10.1051/shsconf/20207601016.

Full text
Abstract:
Academic quality is defined as the equivalent to academic standards related to student learning outcomes, which consist of specific levels of knowledge, skills, and abilities achieved by students participating in a program. The achievement of academic standards is accommodated by implementing both internal and external quality assurance practices. Internal quality assurance refers to policies and practices used by the higher education institutions to monitor and improve the quality of their education, while external quality assurance refers to policies and practices set up by external parties to assure the quality of higher education institutions and programs. Petra Christian University has built and implemented its internal quality assurance since 2009 based on its unique quality culture. After its ten-year journey and the achievements that Petra Christian University has reached in 2019, the Industrial Revolution 4.0 and Society 5.0 are challenges ahead that Petra Christian University has to face.
APA, Harvard, Vancouver, ISO, and other styles
2

Haji Yusoff, Ahmad Mujahideen, Muhammad Amiri Ab Ghani, Noraini Mohd Noor, and Norhanis Amran. "FACTORS THAT INFLUENCE THE MASTERY OF QIRAAT STUDY: A CASE STUDY IN SULTAN ISMAIL PETRA INTERNATIONAL ISLAMIC COLLEGE (KIAS)." International Journal of Education, Psychology and Counseling 6, no. 38 (March 1, 2021): 13–23. http://dx.doi.org/10.35631/ijepc.638002.

Full text
Abstract:
The knowledge of Qiraat is seen to have begun to grow nowadays, especially since there are schools that offer study programs related to it. However, the level of mastery of this study is still lacking. Therefore, this study was conducted to analyze factors that influence the mastery of the knowledge of Qiraat at Sultan Ismail Petra International Islamic College (KIAS). This study is a quantitative pilot study that uses a set of questionnaires as an instrument to obtain data and SPSS 21.0 is used to analyse the data. A sample of 30 students who studied Diploma Qiraat and Taranum program at Sultan Ismail Petra International Islamic College (KIAS) from 2018 to 2020. A total of 15 items include theory and practical are presented in the questionnaire. The study found that the level of mastery of students related to the study of the knowledge of Qiraat is at a moderate level. This finding is supported by data obtained from theory and practical. Therefore, factors of improving the teaching and learning process in theory and practical should be enhanced so that the mastery of the knowledge of Qiraat among students can be improved to a better level.
APA, Harvard, Vancouver, ISO, and other styles
3

Wonoseputro, Christine, and Stefanny Wijanto. "PERANCANGAN SEKOLAH ALAM DI DESA SILLU, KUPANG." SHARE "SHaring - Action - REflection" 5, no. 1 (November 22, 2019): 27–32. http://dx.doi.org/10.9744/share.5.1.27-32.

Full text
Abstract:
Dalam meyelesaikan pendidikan Strata 1 sebagai mahasiswa di Program Studi Arsitektur Universitas Kristen Petra mewajibkan mahasiswa untuk mengalami proses belajar dengan metode Service Learning (SL). Semenjak tahun 2010, pengalaman belajar dengan metode ini agaknya telah memberikan sebuah wacana baru bagi setiap mahasiswa Arsitektur Universitas Kristen Petra. Kegiatan ini telah mengetuk kepedulian mahasiswa untuk mengangkat masalah – masalah yang ditemukan di lapangan dan ditindaklanjuti dalam bentuk sebuah gagasan pengembangan desain. Sebuah perancangan sekolah terpadu berbasiskan metode sekolah alam yang digagas oleh mahasiswa tingkat akhir di program studi Arsitektur, digagas sebagai sebuah pengejahwantahan pengalaman belajar metode SL bersama komunitas nyata di lapangan, yang diharapkan mampu memberikan sumbangsih bagi perkembangan di Desa Sillu. Perancangan Sekolah Alam di Desa Silu ini diharapkan mampu memberikan gagasan akan pengelolaan sumber daya lingkungan baik manusia, alam maupun sumber daya buatan ( bangunan / arsitektur ) itu sendiri sehingga mampu meningkatkan kualitas hidup masyarakat setempat yang masih berada di bawah garis kemiskinan dengan tidak mengesampingkan kearifan lokal yang ada di tengah masyarakat Sillu sendiri
APA, Harvard, Vancouver, ISO, and other styles
4

Vidyarini, Titi Nur, and Yustisia Ditya Sari. "KOMUNIKASI KOMUNITAS WARGA TEGALSARI DALAM HAL KESEHATAN, KEBERSIHAN, TEKNOLOGI DAN IDENTITAS KAMPUNG." SHARE "SHaring - Action - REflection" 5, no. 1 (November 22, 2019): 20–26. http://dx.doi.org/10.9744/share.5.1.20-26.

Full text
Abstract:
Corporate Social responsibility (Tanggung Jawab Sosial Perusahaan) dipandang sebagai puncak tanggung jawab perusahaan kepada masyarakat. Di rana public relations, praktsi bertugas untuk menciptakan dan melaksanakan inisiatif CSR. Sebagai sebuah latihan untuk ketrampilan PR, mahasiswa Ilmu Komunikasi UK Petra bekerjasama dengan Habitat for Huma­nity, menciptakan inisiatif CSR. Lokasi pelaksanaan adalah kecamatan Tegalsari Sura­baya. Para mahasiswa menyasar penduduk di sana, secara khusus anak sekolah dasar, pemuda dan ibu-ibu rumah tangga. Tema program mereka bervariasi yaitu kesehatan, lingkungan sehat, teknologi berbasis internet dan identitas kampung. Program berjalan selama 6 minggu, dan pada saat itu mahasiswa bergabung dengan penduduk kampung dan mengerjakan program mereka sesuai sasaran masing-masing kelompok
APA, Harvard, Vancouver, ISO, and other styles
5

Intan, Rolly. "Initiating Global Service Learning Movement: Best Practices from Petra Christian University." Asian Higher Education Chronicles 1, no. 1 (November 5, 2018): 1–6. http://dx.doi.org/10.9744/ahec.1.1.1-6.

Full text
Abstract:
Petra Christian University (PCU) is a private Christian university established in September 22nd, 1961. Tracing back its history when there was a significant necessity in providing higher education opportunity and service in Surabaya, especially for Christian and Chinese-Indonesian people; PCU was initiated to fulfill the needs. As a population of academic community, up to present the majority of PCU student body are Chinese-Indonesian descendants with middle level-economic family background. Through its vision “To be a Caring and Global University with Commitment to the Christian Values”, PCU enhances its concern and commitment in applying the “whole person education” or “holistic education” to equip the students with at least five excellences (academic excellence, emotional excellence, moral excellence, spiritual excellence and cultural excellence). Hence, the mind, heart, spirit and cultural engagement are blended nicely within their learning process in the university to prepare their roles successfully in the global era as global citizens. PCU, then, learns that Service-Learning (S-L) program is one of the most effective and powerful concepts as well as learning method in order to achieve the holistic education objective. In the program, students as participants gain some experience not only to mingle amongst the rural communities, but also to purposely support the society’s life by sharing their expertise, involving their emotion in building relationships and communication, and earning personal reflection and commitment to continue the caring spirit toward others.
APA, Harvard, Vancouver, ISO, and other styles
6

Halim, Siana, and Juliana Anggono. "Enhancing Civic Engagement Through International Service-learning to Impact Village Community." SHS Web of Conferences 59 (2018): 01027. http://dx.doi.org/10.1051/shsconf/20185901027.

Full text
Abstract:
Every year during semester break in July to August, Petra Christian University holds an international service-learning which is popularly known as Community Outreach Program (COP). This program has been conducted for 20 yr since 1996 in which more than 15 university partners from 10 different countries have participated in COP. In this research the impact of COP on the community served through a survey done on 140 residents of twelve villages in Mojokerto regency, East Java province in Indonesia is studied. Cultural exchange between the villagers and the students was also measured, particularly with the overseas participants. Additionally, the economic impact and the villagers’ wish for a better service that the coming COP can provide, is also investigated. The results indicate that the villagers were satisfied with the programs, either physical or non-physical programs implemented in the village during COP. The presence of the overseas students in their villages made them learn cultural, language, and religion diversities. Even though, languages were the barrier for them to communicate with the foreign students, but they treated those students as if they were their own children. The villagers hope that this program will be continued.
APA, Harvard, Vancouver, ISO, and other styles
7

Tanuwidjaja, Gunawan, Claudia Levina, Cynthia Tandiono, and Christian Tandiono. "Service Learning on Inclusive Design: Sidewalk Redesign for Siwalankerto, Surabaya, Indonesia." SHS Web of Conferences 59 (2018): 01013. http://dx.doi.org/10.1051/shsconf/20185901013.

Full text
Abstract:
Public facilities and transportation infrastructure were very important for all residents including Persons with Disabilities (PwDs). Sidewalk should be safe and easy to use for all kind of users, ranging from the elderly, children, and the PwDs including wheelchair users, visual impairment, low vision disability, etc. The sidewalk should be safe, which means it should be inclusive yet also meets the standards. The Service Learning and research program in Petra Christian University’s Architecture Program was conducted with literature study, observation, discussion and interviews with users at Siwalankerto street’s sidewalks. The design would be implemented in Petra's area in the following year.
APA, Harvard, Vancouver, ISO, and other styles
8

Desideri, Andrea Vanni, and Silvia Leporatti. "Monks across the desert. Hermitic life in Christian Petra." Studies in Ancient Art and Civilisation 24 (December 1, 2020): 133–43. http://dx.doi.org/10.12797/saac.24.2020.24.06.

Full text
Abstract:
Monks across the desert. Hermitic life in Christian Petra A new interpretation of the pre-Crusader phase of the site follows from the identification of a pre-Crusader rock-cut chapel. In particular, in early mediaeval time, a monastic community at al-Wu’ayra and a number of hermitic cells surrounding a central fortified coenobium preceded the later military castle keep. The Crusaders profited by the presence of a Christian fortified settlement, easy to transform into a military installation by a simple addition of a number of buildings, which are identifiable by a chrono-typology of building techniques.The new program of research which started in 2017 aims at registering, surveying, and studying various hermitic installations around the perimeter of the town in order to contextualize this early medieval phase of al-Wu’ayrain the topography of Petra and contribute to the knowledge of a ‘minor’and underestimated aspect of the town in early Christian time. In fact, these monastic-hermitic settlements located in segregated spots of the peri-urbanarea, surviving the abandonment of the major churches of the town, can help to understand in a more realistic way the articulated forms of Christian presence and its duration until the late 19th century.
APA, Harvard, Vancouver, ISO, and other styles
9

Hong, Lu Man, Muhammad Azim Abu Hassan Sha'ari, Wan Farha Wan Zulkiffli, Roslizwati Che Aziz, and Mohammad Ismail. "DETERMINANT FACTORS THAT INFLUENCE ENTREPRENEURIAL INTENTION AMONG STUDENTS IN MALAYSIA." Jurnal Manajemen dan Kewirausahaan 22, no. 1 (March 1, 2020): 80–86. http://dx.doi.org/10.9744/jmk.22.1.80-86.

Full text
Abstract:
The unemployment among university students become main issues in Malaysia since the increasing number of umnemployed graduates from higher education institution. In order to minimize this issue, entrepreneurship become one of the main solutions especially for higher education institution in Malaysia. This including the Kolej Islam Antarabangsa Sultan Ismail Petra (KIAS), Kelantan, Malaysia which provided entrepreneurship as main core subjects for their program of studies. Thus, this research tends to examine the factors that influence entrepreneurial intention among diploma student at Kolej Islam Antarabangsa Sultan Ismail Petra (KIAS) by using The Theory of Planned Behaviour (TPB). Quantitative research design has been where 100 set of questionnaires has been distributed to target respondents in order to get the necessary information. All data were panalyzed using SmartPLS software. The finding shows that attitude and entrepreneurial education are significant towards entrepreneurship intention. Therefore, this study is expected to provide a significant insight towards higher institutions, public as well as government about entrepreneurial intention.
APA, Harvard, Vancouver, ISO, and other styles
10

Gheith, Eman, and Nahil M. Aljaberi. "The Effectiveness of an Interactive Training Program in Developing a Set of Non-Cognitive Skills in Students at University of Petra." International Education Studies 10, no. 6 (May 30, 2017): 60. http://dx.doi.org/10.5539/ies.v10n6p60.

Full text
Abstract:
This study aimed to investigate the effectiveness of interactive training programs in developing a set of non-cognitive skills in students at the University of Petra. Furthermore, it sought to examine the impact of the sex, academic year, and university major variables on developing these skills in students who underwent the training program, as well as whether a correlation exists between the GPA of students in the experimental group and how they acquired these non-cognitive skills. The study focused on the following six non-cognitive skills: (a) locus of control; (b) planning; (c) empathy; (d) self-confidence; (e) growth mindset; and (f) grit. The study sample was randomly distributed into three groups: the first (Group A) attended an interactive training program; the second (B) attended a training course using a traditional teaching strategy; while the third (C) did not attend any programs whatsoever. The researchers have designed an interactive training program and a questionnaire to measure the sample’s non-cognitive skills on all six dimensions. The results indicate statistically significant differences between the different teaching methods used on all three groups (A, B, and C) in the overall test, as well as on three dimensions of empathy, growth mindset, and grit in favor of the experimental group (A). Additionally, findings have revealed no significant differences in the extent to which students in the experimental group (A) have acquired non-cognitive skills on the variables of sex, academic year, and university major. Moreover, the study did not show significant correlation between the extent to which students acquired these non-cognitive skills and their GPAs.
APA, Harvard, Vancouver, ISO, and other styles
11

Santoso, Christopher Wibisono, Timotius Andrew, Joshua Sasongko, and Mariana Wibowo. "PENGEMBANGAN DESAIN INTERIOR RUMAH KREATIF BATIK PUTAT JAYA UNTUK MENINGKATKAN KUALITAS HIDUP MASYARAKAT EKS LOKALISASI DOLLY." SHARE "SHaring - Action - REflection" 6, no. 1 (March 24, 2020): 45–52. http://dx.doi.org/10.9744/share.6.1.45-52.

Full text
Abstract:
Kelurahan Putat Jaya, Surabaya merupakan kawasan Eks-Lokalisasi Dolly. Kawasan tersebut dikenal dengan masa lalunya yang banyak dilakukan praktek prostitusi, hingga dicatat sebagai kawasan lokalisasi terbesar se-Asia Tenggara. Guna memperbaiki pandangan tersebut, maka pemerintah mulai menjalankan beberapa program untuk memperbaiki kualitas hidup masyarakat di kawasan Dolly dengan menyediakan lapangan pekerjaan bagi mereka. Rumah Kreatif Batik Putat Jaya merupakan salah satu wadah dari pemerintah untuk meningkatkan kualitas hidup masyarakat Kelurahan Putat Jaya. Wadah ini juga berguna untuk melestarikan budaya Batik sebagai bukti pengabdian masyarakat kepada Indonesia. Paper ini membahas mengenai proyek pengabdian untuk pengembangan lokasi Rumah Batik Putat Jaya. Kegiatan ini dilakukan oleh 5 orang Mahasiswa, dan dibimbing oleh satu Dosen dari Program Studi Interior Universitas Kristen Petra. Proyek ini dijalankan melalui lima tahap Design Thinking menurut Stanford, yaitu emphatize, define, ideate, prototype, dan test. Proyek pengabdian ini menghasilkan desain yang dapat meningkatkan daya tarik masyarakat Surabaya dan sekitarnya untuk lebih mengenal budaya batik.Putat Jaya Village, Surabaya is a Dolly Ex-Localization area. The area is known for its past which is widely practiced prostitution, to be recorded as the largest localization area in Southeast Asia. To improve this view, the government began to run several programs to improve the quality of life of the people in the Dolly region by providing them with jobs. Batik Putat Jaya Creative House is one of the institutions of the government to improve the quality of life of the Putat Jaya Kelurahan community. This container is also useful for preserving Batik culture as evidence of community service to Indonesia. This paper discusses the community service project for the development of the Putat Jaya Batik House location. This activity was carried out by 5 students, and was guided by a Lecturer from the Interior Study Program of Petra Christian University. The project is run through five stages of Design Thinking, namely emphatize, define, ideate, prototype, and test. This service project produces a design that can increase the appeal of the people of Surabaya and surrounding areas to get to know the culture of batik.
APA, Harvard, Vancouver, ISO, and other styles
12

Adriel A., Jovan, Olivia Reynalda T., Dion Nathanael W., and Surya Hermawan. "LINGKUNGAN ADALAH SEORANG GURU (REFLEKSI PEMBERDAYAAN TERHADAP LINGKUNGAN MELALUI PROGRAM SERVICE LEARNING)." JPM17: Jurnal Pengabdian Masyarakat 5, no. 01 (January 25, 2020): 54–58. http://dx.doi.org/10.30996/jpm17.v5i01.3251.

Full text
Abstract:
Di era globalisasi ini, tidak banyak masyarakat yang sadar akan pentingnya menjaga kebersihan di lingkungan sekitar mereka. Masih banyak daerah-daerah di surabaya ini baik daerah perkotaan maupun daerah pinggiran yang masih terdapat sampah berserakan, sungai yang tercemar sampah dari pabrik maupun dari limbah rumah tangga. Masyarakat masih meremehkan kebiasaan membuang sampah pada tempatnya sehingga tanpa kita sadari, sampah yang berserakan tersebut mengakibatkan kerusakan lingkungan yang merugikan kita sendiri. Contohnya seperti kampung Putat Jaya ini. Dari survei yang kita lakukan, Mahasiswa Petra sudah melakukan kegiatan Service Learning sebanyak 4 kali yaitu melakukan kegiatan membuat toilet,lomba cuci tangan,dan lain lain. Tetapi dari lingkungan kita belajar kembali bahwa ada yang kurang. Kita lupa bahwa ada hal yang lebih sederhana yang bisa dilakukan untuk membiasakan diri menjaga kebersihan. Oleh karena itu, demi menyadarkan akan pentingnya menjaga lingkungan sekitar, diadakanlah lomba mengecat tong sampah yang ditujukan untuk anak-anak di daerah Kelurahan Putat Jaya yang juga merupakan tempat eks-lokalisasi dolly. Dengan tujuan utama yaitu meningkatkan kesadaran betapa pentingnya menjaga kebersihan lingkungan sekitar dengan membuang sampah di tong sampah yang tersedia lebih dekat dengan rumah tiap warga. Kegiatan Service Learning ini dilakukan melalui banyak tahapan. Tahapan pertama adalah melakukan pendataan dan survei di lingkungan sekitar, yaitu Kelurahan Putat Jaya. Tahapan kedua dilakukan pencarian materi dan gambar skets tong sampah yang sesuai dengan kegemaran anak-anak di daerah Putat Jaya. Tahapan ketiga yaitu mengelompokan mereka dengan mahasiswa Universitas Kristen Petra sebagai pembimbing. Tahapan keempat adalah pelaksanaan lomba di lokasi dimana semua pealatan dan fasilitas sudah disediakan oleh pihak panitia lomba dan melakukan cat secara bersama-sama. Tahapan terakhir, tong sampah tersebut dikumpulkan dan dinilai sesuai dengan tingkat kreativitas mereka. Tong sampah tersebut kemudian dipilih dan ditentukan untuk juara 1,2,dan 3 dan kemudian pemberian hadiah juga untuk semua anak- anak yang ikut menjadi peserta. Tujuan diberikannya hadiah kepada seluruh peserta yaitu agar anak-anak tersebut senang dan bisa mengingat terus mengenai lomba ini sehingga bisa menanamkan pelajaran kepada mereka betapa pentingnya menjaga kebersihan lingkungan mulai dari hal kecil yaitu dengan membuang sampah pada tempatnya. Kata kunci: Lomba Mengecat Tong Sampah, Putat Jaya, dan Lingkungan.
APA, Harvard, Vancouver, ISO, and other styles
13

Ilic, Radovan, Darko Lalic, and Srboljub Stankovic. "Srna - Monte Carlo codes for proton transport simulation in combined and voxelized geometries." Nuclear Technology and Radiation Protection 17, no. 1-2 (2002): 27–36. http://dx.doi.org/10.2298/ntrp0202027i.

Full text
Abstract:
This paper describes new Monte Carlo codes for proton transport simulations in complex geometrical forms and in materials of different composition. The SRNA codes were developed for three dimensional (3D) dose distribution calculation in proton therapy and dosimetry. The model of these codes is based on the theory of proton multiple scattering and a simple model of compound nucleus decay. The developed package consists of two codes: SRNA-2KG and SRNA-VOX. The first code simulates proton transport in combined geometry that can be described by planes and second order surfaces. The second one uses the voxelized geometry of material zones and is specifically adopted for the application of patient computer tomography data. Transition probabilities for both codes are given by the SRNADAT program. In this paper, we will present the models and algorithms of our programs, as well as the results of the numerical experiments we have carried out applying them, along with the results of proton transport simulation obtained through the PETRA and GEANT programs. The simulation of the proton beam characterization by means of the Multi-Layer Faraday Cup and spatial distribution of positron emitters obtained by our program indicate the imminent application of Monte Carlo techniques in clinical practice.
APA, Harvard, Vancouver, ISO, and other styles
14

Tanuwidjaja, Gunawan, Felicia Lisandra, Agnes Magdalena, Josephin Martina Negara, and Arina Hayati. "Service Learning on Inclusive Design: Adaptive Home for Wheelchair-Using Persons with Disabilities." SHS Web of Conferences 59 (2018): 01012. http://dx.doi.org/10.1051/shsconf/20185901012.

Full text
Abstract:
More than 1 000 000 000 people in the world live with disabilities, and 200 000 000 among them experience heavy functioning difficulties. Persons with Disabilities (PwDs) usually have limited economic participation, faced poverty and limited access to housing. Service Learning Program in Architecture Department (Inclusive Design Course) was created to answer the Persons with Disabilities (PwDs) needs. The course was supported by UBCHEA (https://unitedboard.org/) for the program of Service Learning of Inclusive Design for Homes and Schools in Surabaya and Bandung: Participatory Design and Campaign. It started with accessibility evaluation at PwDs’ residences (wheelchair users) in Surabaya. Simulation as PwDs in Petra Campus was also conducted to create empathy to wheelchair users. Later on, an inclusive-and-universal design was proposed. Three participatory workshops in Surabaya and Bandung were conducted to review it. The new design was produced to cater the wheelchair users. In conclusion, role play and participatory design process was the important key points of the program’s success.
APA, Harvard, Vancouver, ISO, and other styles
15

Evelin, Monika, Feliecia Angelina, and Yusita Kusumarini. "RESPON EKOLOGIS DAN KREATIF BEBAN LIMBAH FURNITUR RUSAK DI INSTITUSI PENDIDIKAN." SHARE "SHaring - Action - REflection" 4, no. 2 (January 31, 2019): 37–44. http://dx.doi.org/10.9744/share.4.2.1-9.

Full text
Abstract:
Limbah furnitur rusak di institusi pendidikan adalah permasalahan rutin yang cukup menjadi beban bagi pengelola sarana prasarana di institusi pendidikan. Sebagai studi kasus dalam bahasan ini adalah menumpuknya furnitur rusak di Universitas Kristen Petra.Isu tersebut menjadi materi kasus yang dipilih dan perlu diselesaikan dalam mata kuliah Eko-Desain Program Studi Desain Interior, Universitas Kristen Petra pada tahun 2018. Fenomena menumpuknya furnitur rusak di gudang UPPK (Unit Pemeliharaan dan Pelayanan Kampus) dipandang sebagai bagian dari permasalahan lingkungan kampus yang perlu diresponi secara ekologis dan kreatif. Respon terhadap permasalahan tersebut diproseskan dalam kegiatan pembelajaran dengan melibatkan mahasiswa dan pemangku kepentingan, dengan pendekatan design thinking dan metode service-learning. Hasil dari proses pembelajaran tersebut adalah 21 produk kreatif berupa furnitur baru untuk memenuhi kebutuhan aktivitas di kampus
APA, Harvard, Vancouver, ISO, and other styles
16

Santoso, Monica, Christine Yulie Kurniawan, and Yusita Kusumarini. "PERANCANGAN FASILITAS DISPLAY MAKET FURNITUR MENGGUNAKAN MATERIAL BEKAS BANGUNAN DAN FURNITUR KAMPUS (Studi Kasus: Service Learning Mata Kuliah Eko Desain 2017)." SHARE "SHaring - Action - REflection" 4, no. 2 (January 31, 2019): 56–61. http://dx.doi.org/10.9744/share.4.2.32-40.

Full text
Abstract:
Mata kuliah Eko-Desain 2017 di Program Studi Desain Interior meresponi per­masalah­an menumpuknya solid waste di kampus dengan metode service-learning untuk membantu memberikan alternatif solusi terhadap menumpuknya solid waste di institusi pendidikan Universitas Kristen Petra. Solid waste yang diresponi adalah menumpuknya fur­nitur bekas aktivitas kampus yang sudah habis masa pakainya, dan material bongkaran bangunan renovasi kampus yang telah menumpuk menjadi material bekas. Material bekas yang dipilih adalah kaca nako bekas jendela bangunan lama kampus dan besi bekas kursi kuliah. Prinsip eko-desain yang diterapkan adalah perancangan produk dari material bekas tersebut untuk menjadi produk fasilitas kampus kembali. Metode yang digunakan dalam proses perancangan produk adalah design thinking. Metode yang digunakan dalam proses pembelajar­an adalah service-learning. Mitra dalam proses service-learning MK eko-Desain 2017 adalah civitas pengguna galeri pameran Program Studi Desain Interior, Unit Pelayanan dan Peme­lihara­an Kampus, dan Wakil Rektor yang mengelola Sarana dan Prasarana Kampus. Peran­cangan ini menghasilkan tiga model produk display maket furnitur dengan gaya modern-minimalis yang dapat juga digunakan di berbagai ruangan untuk fungsi lain-lain
APA, Harvard, Vancouver, ISO, and other styles
17

Chang, Jekuk. "The Role of Service Learning in a ‘Future University’." SHS Web of Conferences 59 (2018): 01014. http://dx.doi.org/10.1051/shsconf/20185901014.

Full text
Abstract:
In 2016, Dongseo University announced its vision of becoming a „Future University‟ in connection with a detailed plan involving ten changes for achieving that goal. This paper outlines the importance of service learning in the development path of Dongseo University. It begins with the university‟s early history, where service learning figured prominently as a founding principle. It then presents a specific example of a service learning program that has been successfully operated by Dongseo University and Petra Christian University for roughly 20 yr, namely the International Tech Corps. Next, the paper examines four potentially harmful societal trends and suggests ways they might be counterbalanced through innovative higher education. Finally, it provides an overview of some relevant aspects of Dongseo‟s vision of a Future University, including the role of service learning within that paradigm shift in the provision of higher education.
APA, Harvard, Vancouver, ISO, and other styles
18

Salim, Melisia, Alpin Gadman Markali, and Liejanto Wijaya. "ANALISIS KESALAHAN PENGGUNAAN SINONIMI KATA KERJA DALAM KALIMAT BAHASA TIONGHOA PADA MAHASISWA SASTRA TIONGHOA UNIVERSITAS KRISTEN PETRA." Century: Journal of Chinese Language, Literature and Culture 6, no. 2 (July 31, 2018): 30–46. http://dx.doi.org/10.9744/century.6.2.30-46.

Full text
Abstract:
Penelitian ini dilakukan untuk menganalisis jenis kesalahan dan penyebab kesalahan dalam menggunakan sinonimi kata kerja ke dalam kalimat bahasa Tionghoa pada mahasiswa Program Studi Sastra Tionghoa angkatan 2015, Universitas Kristen Petra Surabaya.Pada proses pembelajaran seringkali timbul kesalahan dalam memadukan objek serta kegunaannya dari sinonimi kata kerja bahasa Tionghoa dalam kalimat, sehingga mendorong penulis untuk menganalisis lebih lanjut terhadap kesalahan penggunaan serta penyebabnya yang didasarkan pada teori sinonim bahasa Tionghoa oleh Xing dan Wang (2009). Data penelitian didapat dari tes dan wawancara. Hasil analisis tes menunjukkan bahwa subjek penelitian masih belum dapat dengan baik menentukan sasaran objek dari sinonimi tersebut apakah diikuti objek benda atau manusia. Melalui wawancara juga diketahui kesalahan didominasi oleh kesalahan interlingual. Kesalahan ini semakin jelas terlihat saat siswa menterjemahkan sinonimi bahasa Tionghoa ke dalam bahasa Indonesia dengan tidak memperhatikan batasan objek sehingga timbul kesalahan. Faktor lain datang dari siswa melakukan overgeneralisasi, mengabaikan kaidah bahasa, penerapan kaidah yang kurang sempurna, faktor dari materi pengajaran dan pengajar serta dari diri siswa.Dapat diketahui bahwa penggunaan dari sinonimi kata kerja bahasa Tionghoa masih terdapat kesulitan, selain memiliki kemiripan makna, penggunaannya juga tidak semua dapat saling menggantikan, hal ini yang dapat mengakibatkan terjadinya kesalahan penggunaan.
APA, Harvard, Vancouver, ISO, and other styles
19

MATIIV, Yuliia. "SOCIAL POLICY IN THE DISCOURSE OF POLITICAL PARTIES IN THE SNAP ELECTION TO THE VERKHOVNA RADA IN 2014." Ukraine: Cultural Heritage, National Identity, Statehood 33 (2020): 234–42. http://dx.doi.org/10.33402/ukr.2020-33-234-242.

Full text
Abstract:
The article describes the political parties' approach to implementing the state's social policy during the snap election to the Verkhovna Rada of Ukraine in 2014. A discursive dimension of political parties' activities in the area of social policy was studied. Specific examples have shown political parties as a subject of social policy formation. It was found out that the events of the Revolution of Dignity and the beginning of Russia's military aggression against Ukraine forced Ukrainian politicians to reconsider existing approaches to the formation of party programs. The author analyzed the reflection of social policy in the election programs of the parties that had formed parliamentary groups: «Blok Petra Poroshenka «Solidarnist», «Narodnyi front», Radykalnoi partii Oleha Liashka, «Opozytsiinyi blok», «Obiednannia «Samopomich», «Vseukrainskoho obiednannia «Batkivshchyna». Domestic political events were reflected in the party's discourse on social policy, shifting the priorities in the election programs of political forces in the direction of security policy, improving defense capabilities, and fighting corruption. The main tendencies related to the change of political parties' approaches to forming state social policy are revealed. Dominating the liberal approach to social policy issues in parliamentary parties' programs was aimed at reducing the state's role. At the same time, the speeches of political forces on social policy were mostly full of populist slogans and, in most cases, did not contain any specifics, including ways to solve social problems in society. Trying to get as much electoral support as possible, politicians did not bother to develop real program steps in the social sphere. Instead, the social sphere problems, which had a systemic character, were not solved based on a clear "road map" of actions. The discourse of the political parties participating in the election race, which eventually formed the parliament, did not present a comprehensive program for forming and implementing social policy in the new political environment. Keywords: political parties, social policy, social state, Verkhovna Rada of Ukraine, political discourse.
APA, Harvard, Vancouver, ISO, and other styles
20

Wahyudi, Raymond, and Nanik Linawati. "PENGGUNAAN ALAT PERMAINAN EDUKASI (APE) KEUANGAN BAGI ANAK USIA DINI." SHARE: "SHaring - Action - REflection" 7, no. 2 (August 31, 2021): 136–43. http://dx.doi.org/10.9744/share.7.2.136-143.

Full text
Abstract:
Nowadays, the shifting of technology and the internet that has an effect on changing consumption patterns, impacted social lifestyle, is a hedonic and leisure prioritize lifestyle. The lifestyle gives a negative impact to the behaviour of millennial generation especially to their consumption behaviour. Parents and teachers have an important role to teach them early about financial education so they have prevention to the consumptive lifestyle. The Financial Mana­gement Programme of Petra Christian University has cooperated with some Early Childhood School and Kindergarten to teach the children about financial education using Education games. Financial education could easily be learned through education games so the children could understand about saving behaviour and spending wisely. The children responded positively to the lesson through education games. The parents and teacher could teach the children easily and efficiently about saving attitude and spending wisely using the education games. Abstrak: Perubahan pola konsumsi yang disebabkan oleh kemajuan internet dan teknologi yang begitu pesat dibandingkan tahun-tahun sebelumnya berdampak pada gaya hidup masyarakat yaitu gaya hidup yang mengutamakan kemewahan dan kesenangan semata. Gaya hidup tersebut memberikan dampak negatif terutama pada perilaku konsumsi generasi milenial saat ini. Orang tua dan tenaga pendidik memiliki peran penting untuk memberikan edukasi keuangan sejak dini supaya perilaku konsumtif tersebut dapat dihindarkan. Program Manajemen Keuangan Universitas Kristen Petra mengadakan kegiatan pengabdian masya­rakat kepada PAUD dan TK yang telah bekerja sama untuk memberikan edukasi keuangan kepada anak-anak TK melalui penggunaan Alat Permainan Edukasi (APE) Keuangan yang dapat membantu anak-anak belajar mengenai tema menabung dan hidup hemat. Anak-anak TK memberikan respon yang baik terhadap pembelajaran melalui alat permainan tersebut. Para orang tua dan pendidik dapat menggunakan APE Keuangan untuk mengajar­­kan anak-anak mengenai kebiasaan menabung dan hidup hemat dengan mudah dan efisien.
APA, Harvard, Vancouver, ISO, and other styles
21

Hermawan, Surya, Joko Purnomo, Handy Prayogo, Hans Handoyo, and Jonathan Setiawan. "PEMBANGUNAN SMOKING AREA UNTUK MENINGKATKAN KUALITAS HIDUP MASYARAKAT DI KAWASAN EKS-LOKALISASI DOLLY." SHARE "SHaring - Action - REflection" 4, no. 1 (November 6, 2018): 29–36. http://dx.doi.org/10.9744/share.4.1.29-36.

Full text
Abstract:
Asap rokok mengandung banyak zat berbahaya bagi tubuh manusia, terutama bagi perokok aktif. Namun, berdasarkan penelitian beberapa tahun belakangan ini, dampak yang sama ditimbulkan oleh asap rokok kepada orang yang tidak merokok—perokok pasif (passive smoking). Lebih lanjut, tidak terkendalinya peredaran rokok menyebabkan tren merokok di tempat umum merajalela. Fenomena serupa seperti seseorang merokok di dalam rumah, kantor, tempat umum, bahkan di kendaran umum terlihat jelas di kawasan Eks-Lokalisasi Dolly, Kelurahan Putat Jaya, Kota Surabaya, Jawa Timur. Perilaku tersebut membawa dampak negatif bagi lingkungan, terutama bagi ibu-ibu dan anak-anak sebagai perokok pasif (passive smoker). Untuk mengurangi dampak negatif perilaku passive smoking diperlukan sebuah tindakan nyata untuk menyadarkan masyarakat untuk hidup sehat dan bebas dari asap rokok. Paper ini membahas tentang kegiatan pengabdian kepada masyarakat berbasis service learning dengan hasil nyata berupa pembangunan smoking area. Kegiatan pengabdian kepada masyarakat ini melibatkan 120 Mahasiswa Program Studi Teknik Sipil Universitas Kristen Petra. Proses pengabdian kepada masyarakat ini dilaksanakan dalam tiga tahap, meliputi prapelaksanaan, pelaksanaan pembangunan smoking area, dan paska pelaksanaan. Berdasarkan hasil akhir yang dicapai, program ini dinilai berhasil meningkatkan kesadaran masyarakat untuk hidup sehat dan bebas dari asap rokok, serta menjadikan smoking area sebagai tempat berkumpul dan berdiskusi untuk melakukan hal-hal positif.
APA, Harvard, Vancouver, ISO, and other styles
22

Setiawan, Tutus, Gunawan Tanuwidjaja, and Mohamad Ali Muhaidhori. "PENINGKATAN RANCANGAN WAYFINDING (MENEMUKAN JALAN) UNTUK SEKOLAH PENYANDANG DISABILITAS VISUAL DI SURABAYA DAN PELUANG PENGEMBANGANNYA UNTUK BANGUNAN PUBLIK LAINNYA." ATRIUM: Jurnal Arsitektur 5, no. 1 (June 10, 2020): 23–30. http://dx.doi.org/10.21460/atrium.v5i1.70.

Full text
Abstract:
Title: Wayfinding Design Improvement for the Blind School in Surabaya and Development Opportunities for Other Public Buildings Yayasan Pendidikan Anak Buta (Blind Children Education Foundation or YPAB) Special Junior High School in Surabaya is a dedicated institution for teaching blind students. Unfortunately, the school is found less accessible for the blind because it was designed for the farming school with spread buildings’ footprints in the 1970s. A literature review and accessibility evaluation conclude that besides architecture improvement, a small architectural model is needed to teach the students to be able to conduct orientation and mobility. The model should be accessible to blind students, total blind and low vision, with various information such as voice, braille, contrasting colour, and tactile marking. This architecture model is designed in collaboration of YP AB teachers, Architecture Program Study, Electrical Program Study of Petra Christian University and Prototype Studio. The model is created with laser cutting and equipped with electronic circuits for the voice of wayfinding instructions for blind students. The model is found improving the blind students to practice orientation and mobility in the school. Further research pursues improving public building wayfinding for the blind persons as described in the State Library of Queensland (SLQ).
APA, Harvard, Vancouver, ISO, and other styles
23

Vannini, Guido. "Al-Jaya Palace and the New Shawbak Town. A Medieval frontier and the return of the urbanism in the Southern Transjordan." Studies in Ancient Art and Civilisation 24 (December 1, 2020): 83–98. http://dx.doi.org/10.12797/saac.24.2020.24.04.

Full text
Abstract:
Al-Jaya Palace and the New Shawbak Town. A Medieval frontier and the return of the urbanism in the Southern Transjordan The recent discovery – made during the 2018 campaign ofthe ‘Medieval Petra’ Mission of the University of Florence – of the residential al-Jaya Palace at the bottom of the hill of Shawbak’s ‘incastellato’ site is of particular relevance both for medieval and Islamic heritage in Jordan (no architecture of a comparable quality from the Ayyubid-Mamluk periodhas ever been found in the country) and mostly for the archaeological confirmation that underneath al-Jaya, lays the ancient medieval capital city of southern Jordan, founded by Saladin, on the same site of the castle-capital of the previous Crusader Lordship of Transjordan. This result represents a triple confirmation for the scientific program of the Mission: the productivity of the ‘Light Archaeology’ methodology that characterizes our approach; the real existence of the city whose foundation we had deemed to be able to propose (owing solely to the ‘light’ reading son the walls of the ‘castle’); and the excellence of the formal level of the building – perfectly matching the quality of the political and productive structures documented earlier in the castle – that speaks of a cultured and refined city and of an extraordinary strategic project that can be attributed to Saladin’s political intelligence. A project that gave back a new centrality to the entire southern Transjordan and started a settlement and political tradition that is the basis of modern Jordan itself (it is not accidental that the first capital of the state was Ma’an). Once the urban structure that has now appeared is understood, future research will be able to direct the excavations so as to address another great historical question which 2018 investigations have highlighted: we know the birth and begin to read the life of this extraordinary town, butwhen, how and why did it perish so much so that it was forgotten by history (and to be rediscovered by archaeology)? Perhaps for the first time, we will have an opportunity to study archaeologically an aspect of the historical crisis that, probably during the 15th century, engulfed the Arab-Islamicworld, opening the way for the Ottoman conquest. It is an intriguing perspective to be addressed in tandem with a renewed public archaeology program: conservative restoration, social valorization, broad communication directed both to the local communities and to the international public with the implementation of the master plan 2010-14, and, finally, tourist routes connecting Shawbak with the Petra area.
APA, Harvard, Vancouver, ISO, and other styles
24

Sunantiyo, Ary, and Ronny Durrotun Nasihien. "MODEL INTEGRATION (BIM) FOR MAINTENANCE BUILDING AS INFORMATION AND ACTION PLAN IN LAUNDRY LABORATORY AND KITCHEN LABORATORY OF PETRA SURABAYA CHRISTIAN UNIVERSITY." Neutron 19, no. 2 (January 31, 2020): 10–16. http://dx.doi.org/10.29138/neutron.v19i2.31.

Full text
Abstract:
Maintenance of each building along with every component and its facilities is needed to provide smooth and comfortable activities in the building. Often the building maintenance process/activity has not been able to run properly due to a lot of information such as maintenance records, work drawings (as-built drawings), types of assets, specifications, repair, and maintenance history that have not been recorded or stored properly. Most building maintenance systems currently only focus on existing information or records. The proposed information system is to utilize 3D modeling techniques namely BIM (Building Information Modeling), which through this BIM will be able to capture relevant information according to the data in the building. The technology used is the BIM (Building Information Modeling) technology using the SketchUp program. This method is by making a model of the building and its facilities. Modeling is done by giving visual data in 3D (three dimensions) to resemble the original object. The benefit of 3D (three-dimensional) modeling is that it provides clearer information because the visualization displayed is the same as the original object at the location, so just looking at the 3D model is quite the same as seeing the original object at the location. This research resulted in an information system in the form of three-dimensional visual model images that can be accessed easily. This concludes that an integrated Building Information Modeling (BIM) based system can provide useful functions in building maintenance quickly and accurately.
APA, Harvard, Vancouver, ISO, and other styles
25

Damajanti, Maria Nala, and Elisabeth Christine Yuwono. "The Implementation of Service-learning in Typography Class to Design the Cover of Street Vendor Stalls in Surabaya, Indonesia." SHS Web of Conferences 59 (2018): 01018. http://dx.doi.org/10.1051/shsconf/20185901018.

Full text
Abstract:
Through Service Learning (S-L) program students of Typography 2 class, Visual Communication Design, Petra Christian University, had an opportunity to learn and applied their knowledge. The selected media is street vendor stall’s cover (it is known as keber Pedagang Kaki Lima or PKL in Indonesia) at Surabaya. This media usually installed in front of the street vendors stall. The cover material is fabric or outdoor vinyl. S-L itself is a new method which applied to Typography 2 class. S-L method was selected as one of learning method which allows students to implementing typography theories to society. According to S-L application a number of experts requiring benefits of parties involved. In this case it is important to measure the success of S-L considers the balancing benefits of students and PKL communities as the target. Therefore, students not only learning from their interaction with community by doing the cover design process but simultaneously must provide significant benefits of PKL. Through depth interviews researcher found benefits of both parties. Students got real experiences as graphic designers by serving the PKL communities as clients. In the other hand the PKL communities received new covers design as a promotional media for their stall.
APA, Harvard, Vancouver, ISO, and other styles
26

Fenyő, Imre. "Professional Development in Higher Education." Practice and Theory in Systems of Education 12, no. 3 (August 1, 2017): 152–60. http://dx.doi.org/10.1515/ptse-2017-0015.

Full text
Abstract:
AbstractThe University of Debrecen is a participant of the PETRA project (Promoting Excellence in Teaching and Learning in Azerbaijani Universities) with the University of Jyvaskyla, Finland, University of Applied Sciences Vienna, Austria, Polytechnic University of Valencia, Spain. The aim of the project is promoting of teaching and learning excellence in Azerbaijan Universities, by supporting the professional development in higher education and, in the academic community. For this reason, the program wants to enhance the usage of technology and innovative forms of teaching, to provide support for designing courses and for choosing and using diverse approaches in assessment. The purpose of this study is to identify the possibilities of promoting the professional development in higher education and to explore the theoretical landscape: the roles and implications of the professional development. This paper explores the connections between the reflective behaviour of the teachers and their assessment methods and wants to provide new approaches to assessment in the context of the institutional strategies of the higher education. This paper argues for innovative forms of assessment such as the portfolios in teacher preparation or the group-based assessment forms - as methods of promoting higher quality learning. The study investigates the ways towards the autonomous assessment in the higher education, using self-assessment and peer assessment.
APA, Harvard, Vancouver, ISO, and other styles
27

Wibowo, Mariana, Astri Indrawati Gunawan, and Yiawla Ismarch Priadi. "PENGEMBANGAN PAUD MELALUI PELATIHAN KETERAMPILAN & KREATIVITAS DI KELURAHAN SIWALANKERTO, KECAMATAN WONOCOLO, SURABAYA." SHARE "SHaring - Action - REflection" 5, no. 1 (November 22, 2019): 14–19. http://dx.doi.org/10.9744/share.5.1.14-19.

Full text
Abstract:
Para guru (bunda) Pendidikan Anak Usia Dini (PAUD) diharapkan memiliki kemampuan untuk membuat seorang anak nyaman di PAUD, mampu memberikan pendidikan yang sesuai dengan perkembangan kecerdasan si anak serta dapat mengembangkan metode dan media belajar untuk anak usia dini secara tepat dan efisien. Stimulus yang diberikan bunda PAUD melalui kegiatan bermain sambil belajar, membuat anak dapat menyerap ilmu dan mengembangkan potensinya, sehingga memiliki kualitas yang bagus, cerdas berkarakter, berani, kreatif berkepribadian dan berakhlak mulia, untuk akhirnya siap menempuh pendidikan ke jenjang yang lebih tinggi. Disinilah letak penting peran bunda PAUD dalam membimbing anak didiknya guna mengembangkan potensi yang dimiliki si anak dengan memanfaatkan momentum masa keemasan perkembangan otaknya dengan pengetahuan dan ketrampilan yang dimiliki para bunda PAUD serta melatih motoric dan sensorik anak usia dini. Untuk menjawab kebutuhan inilah, Program studi Desain Interior Universitas Kristen Petra mengadakan kegiatan pelatihan keterampilan membuat art & craft tangan dan elemen desain interior melalui kegiatan abdimas (Pengabdian Masyarakat) dengan memberikan pelayanan kepada masyarakat, khususnya bagi bunda-bunda PAUD di Kelurahan Siwalankerto, Surabaya. Pada pelaksanaan kegiatan Abdimas ini, subyek pelatihan dilatih untuk mampu mengembangkan ketrampilan dan kreatifitas bunda PAUD dalam membuat beberapa produk dengan memanfaatkan material yang mudah ditemukan dan ekonomis di lingkungan sekitar. Hasil produk ketrampilan bunda PAUD ini dapat digunakan untuk pengembangan desain interior ruang PAUD di Siwalankerto, Surabaya
APA, Harvard, Vancouver, ISO, and other styles
28

Alias, Norazman, and Khairul Anuar Mohamad. "Penelitian Terhadap Kriteria dan Tekstual Ijazah Sanad Al-Quran." Maʿālim al-Qurʾān wa al-Sunnah 15, no. 2 (December 1, 2019): 76–92. http://dx.doi.org/10.33102/jmqs.v15i2.188.

Full text
Abstract:
The method of ijazah (permission) sanad (authority) of al-Quran in Malaysia is still relatively unfamiliar and unknown to most people in Malaysia. Perhaps this practice is exclusive to the Quranic teachers, huffaz (who have memorized) of the Quran, and students of higher education. Furthermore, among the Quranic sanad holders are those who have obtained it through the Qur'anic talaqqi (acquisition) program coordinated by organizational authorities within and outside of the country such as Sultan Ismail Petra International Islamic College of Kelantan, Al Mufid Studies Center of Terengganu, Al-Azhar Maahad Qiraat of Egypt, International Islamic University of Madinah and many more. In fact, the current trend shows that many people and scholars in the field of Quranic studies especially from Arab countries have been invited to conduct home-based Quranic talaqqi programs. This is especially the case for programs organized by Ainhafeez Enterprise and Khozandaroh Studies Center of Selangor. These programs contribute more to the understanding of public towards the substantiality of the Quranic ijazah sanad that has been traditionally practiced since the time of revelation. In light of this phenomenon, there are some important issues such as the understanding of the component and the textual content of Quranic sanad among the sanad holders that need to be addressed and refined by the organizers. This process of ijazah sanad is of importance since the textual content is utterly different from other discipline of Islamic sciences like hadith or ijazah of classical turath (heritage) books. Therefore, this study discusses the concept of ijazah sanad of al-Quran as well as the textual content of Quranic sanad. This qualitative study employs library-based and deductive method in analyzing textual content of Quranic sanad in order to fulfill the fundamental characterization of Quranic sanad sciences. The preliminary findings show the diversities of textual content of Quranic sanad all over the world are unbridged from important items of Quranic sanad written text such as title, awarding body and recipient, official stamp and signature including other information. Accordingly, the understanding of textual content of Quranic sanad is essential for its preservation apart from refinement of sharia’s demand and contemporary culture. Having a proper understanding of the Quranic sanad, the transmission of this tradition from one generation to another can be confined within trustees and not be awarded to the outsiders.
APA, Harvard, Vancouver, ISO, and other styles
29

Lopes, Bruno, Cláudia Nalon, and Edward Hermann Haeusler. "Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic." ACM Transactions on Computational Logic 22, no. 2 (May 15, 2021): 1–22. http://dx.doi.org/10.1145/3441655.

Full text
Abstract:
Petri Nets are a widely used formalism to deal with concurrent systems. Dynamic Logics (DLs) are a family of modal logics where each modality corresponds to a program. Petri-PDL is a logical language that combines these two approaches: it is a dynamic logic where programs are replaced by Petri Nets. In this work we present a clausal resolution-based calculus for Petri-PDL. Given a Petri-PDL formula, we show how to obtain its translation into a normal form to which a set of resolution-based inference rules are applied. We show that the resulting calculus is sound, complete, and terminating. Some examples of the application of the method are also given.
APA, Harvard, Vancouver, ISO, and other styles
30

Morgan, Marilyn, and Dianne Dyck. "Petro-Canada Heart Health Program." AAOHN Journal 43, no. 8 (August 1995): 416–21. http://dx.doi.org/10.1177/216507999504300804.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Santos, Ricardo José dos. "Inova Petro." Revista Brasileira de Inovação 19 (June 23, 2020): e0200010. http://dx.doi.org/10.20396/rbi.v19i0.8654435.

Full text
Abstract:
O objetivo deste trabalho é realizar uma análise ex-ante do Programa Inova Petro para operíodo compreendido entre 2012 e 2017 e responder à seguinte questão: por que a mais importante política de inovação para a cadeia nacional de fornecedores da indústria de petróleo e gás natural apresenta dificuldades em contratar os planos de negócio aprovados? Ao realizar o estudo do programa a partir dos elementos O-M-P (Organizações-Métodos-Propósitos), conclui-se que as fragilidades do Programa Inova Petro estão relacionadas ao baixo nível de coordenação entre as organizações que planejam e executam a política e a seleção dos métodos adequados para o alcance dos propósitos planejados.
APA, Harvard, Vancouver, ISO, and other styles
32

Fu, Yujian, Jeffery Kulick, Lok K. Yan, and Steven Drager. "Formal Modeling and Verification of Security Property in Handel C Program." International Journal of Secure Software Engineering 3, no. 3 (July 2012): 50–65. http://dx.doi.org/10.4018/jsse.2012070103.

Full text
Abstract:
Multi-million gate system-on-chip (SoC) designs easily fit into today’s Field Programmable Gate Arrays (FPGAs). As FPGAs become more common in safety-critical and mission-critical systems, researchers and designers require information flow guarantees for the FPGAs. Tools for designing a secure system of chips (SOCs) using FPGAs and new techniques to manage and analyze the security properties precisely are desirable. In this work we propose a formal approach to model, analyze and verify a typical set of security properties – noninterference – of Handel C programs using Petri Nets and model checking. This paper presents a method to model Handel C programs using Predicate Transition Nets, a type of Petri Net, and define security properties on the model, plus a verification approach where security properties are checked. Three steps are used. First, a formal specification on the Handel C description using Petri Nets is extracted. Second, the dynamic noninterference properties with respect to the Handel C program statements are defined on the model. To assist in verification, a translation rule from the Petri Nets specification to the Maude programming language is also defined. Thus, the formal specification can be verified against the system properties using model checking. A case study of the pipeline multiplier is discussed to illustrate the concept and validate the approach.
APA, Harvard, Vancouver, ISO, and other styles
33

Ripoll Sierra, Holmes, Yamid García Blanco, Javier Roldán Mckinley, Eugenio Yime Rodríguez, and Holmer Ripoll Goenaga. "Redes de Petri en la automatización de una máquina tampográfica de plásticos." Scientia et technica 24, no. 1 (March 30, 2019): 35. http://dx.doi.org/10.22517/23447214.18591.

Full text
Abstract:
Se documenta la implementación de la rutina de programación de una máquina para tampografía Comec-1998 usada para la impresión de piezas de plástico. El ciclo de trabajo comprende tres rutinas: batido de tinta, operación de ciclo sencillo y operación de ciclo continuo; programadas con tres cilindros, cuatro finales de carrera y dos temporizadores. Después de identificar los elementos para el ciclo de trabajo, se establecen las condiciones para generar los estados. Las transiciones en la red de Petri sirven para ir de un lugar a otro, usando la Automatización de las Redes de Petri y los conceptos de la Lógica de Pase de Tokens. Un PLC Siemens S7-200 se programó en programa KOP Ladder, dada la simplicidad y facilidad al pasar de la red de Petri al diagrama de lógica cableada.
APA, Harvard, Vancouver, ISO, and other styles
34

Doligalski, Michał, and Marian Adamski. "Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism." International Journal of Electronics and Telecommunications 58, no. 1 (March 1, 2012): 43–48. http://dx.doi.org/10.2478/v10177-012-0006-6.

Full text
Abstract:
Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Program model presented in form of state machine diagram may be later transformed into a program in the SFC language or transformed in the Petri Net and implemented in the FPGA structure. Similarity between SFC language and Petri Nets give us lot of tools for analysis such control system. Article presents new approach for exceptions handling in hierarchical Petri nets as formal specification for logic controllers. Proposed method of specification can be used independently or as a part of dual specification (correlated state machine diagram and hierarchical configurable Petri Net).
APA, Harvard, Vancouver, ISO, and other styles
35

Voevoda, Aleksandr, and Dmitrii Romannikov. "Symbolic marks in Petri nets regarding program analysis." Transaction of Scientific Papers of the Novosibirsk State Technical University, no. 2 (July 15, 2015): 80–86. http://dx.doi.org/10.17212/2307-6879-2015-2-80-86.

Full text
APA, Harvard, Vancouver, ISO, and other styles
36

Hura, G. S., and J. W. Atwood. "Program verification for microprocessors through Petri net modeling." Microelectronics Reliability 25, no. 5 (January 1985): 1001–10. http://dx.doi.org/10.1016/s0026-2714(85)80029-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Gorton, Ian. "Parallel program design using high-level Petri nets." Concurrency: Practice and Experience 5, no. 2 (April 1993): 87–104. http://dx.doi.org/10.1002/cpe.4330050202.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Balbo, Gianfranco, Susanna Donatelli, and Giuliana Franceschinis. "Understanding parallel program behavior through petri net models." Journal of Parallel and Distributed Computing 15, no. 3 (July 1992): 171–87. http://dx.doi.org/10.1016/0743-7315(92)90002-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Yang, Li, Zhi Gang Jiao, and Hui Biao Lin. "Modeling and Applied Research in Petri Net of Virtual Assembly Program Control." Advanced Materials Research 482-484 (February 2012): 264–69. http://dx.doi.org/10.4028/www.scientific.net/amr.482-484.264.

Full text
Abstract:
The conventional method of PLC program design is difficult to analysis and solve the complicated control system. Based on examples, the model of Virtual Assembly System is established through by Petri Net (PN), ordinal, parallel and synchronous relationship among events is described directly and accurately. And the Petri net transfers the PN model into LAD of PLC, which improves the efficiency in programming the LAD program of PLC.
APA, Harvard, Vancouver, ISO, and other styles
40

Richard, P. "Modelling integer linear programs with petri nets." RAIRO - Operations Research 34, no. 3 (July 2000): 305–12. http://dx.doi.org/10.1051/ro:2000115.

Full text
APA, Harvard, Vancouver, ISO, and other styles
41

Stansifer, Ryan, Mike Beaven, and Dan C. Marinescu. "Modeling concurrent programs with colored Petri nets." Journal of Systems and Software 26, no. 2 (August 1994): 129–48. http://dx.doi.org/10.1016/0164-1212(94)90084-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
42

Stansifer, Ryan, and Dan Marinescu. "Petri net models of concurrent Ada programs." Microelectronics Reliability 31, no. 4 (January 1991): 577–94. http://dx.doi.org/10.1016/0026-2714(91)90004-q.

Full text
APA, Harvard, Vancouver, ISO, and other styles
43

Flochová, Jana, Branislav Hrúz, and Peter Jirsák. "Program Solution of Supervisory Control Based on Petri Nets." IFAC Proceedings Volumes 30, no. 21 (September 1997): 323–27. http://dx.doi.org/10.1016/s1474-6670(17)41458-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Weitz, Marcus, Saskia Heeringa, Thomas J. Neuhaus, Thomas Fehr, and Guido F. Laube. "Standardized multilevel transition program: Does it affect renal transplant outcome?" Pediatric Transplantation 19, no. 7 (August 11, 2015): 691–97. http://dx.doi.org/10.1111/petr.12570.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Shen, Victor R. L. "Novel Code Plagiarism Detection Based on Abstract Syntax Tree and Fuzzy Petri Nets." International Journal of Engineering Education 1, no. 1 (June 15, 2019): 46–56. http://dx.doi.org/10.14710/ijee.1.1.46-56.

Full text
Abstract:
Those students who major in computer science and/or engineering are required to design program codes in a variety of programming languages. However, many students submit their source codes they get from the Internet or friends with no or few modifications. Detecting the code plagiarisms done by students is very time-consuming and leads to the problems of unfair learning performance evaluation. This paper proposes a novel method to detect the source code plagiarisms by using a high-level fuzzy Petri net (HLFPN) based on abstract syntax tree (AST). First, the AST of each source code is generated after the lexical and syntactic analyses have been done. Second, token sequence is generated based on the AST. Using the AST can effectively detect the code plagiarism by changing the identifier or program statement order. Finally, the generated token sequences are compared with one another using an HLFPN to determine the code plagiarism. Furthermore, the experimental results have indicated that we can make better determination to detect the code plagiarism.
APA, Harvard, Vancouver, ISO, and other styles
46

Wicaksono, A., and M. A. Rudhito. "The simulation of three crossroad traffic queueing systems using petri nets and colored petri nets program." Journal of Physics: Conference Series 1307 (August 2019): 012012. http://dx.doi.org/10.1088/1742-6596/1307/1/012012.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Yao, Weili, and Xudong He. "Mapping Petri nets to concurrent programs in CC++." Information and Software Technology 39, no. 7 (January 1997): 485–95. http://dx.doi.org/10.1016/s0950-5849(97)00006-2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Cress, Anne. "Petra Ahrens: Actors, Institutions, and the Making of EU Gender Equality Programs." 100 Jahre Frauenwahlrecht – Und wo bleibt die Gleichheit? 27, no. 2-2018 (November 20, 2018): 198–200. http://dx.doi.org/10.3224/feminapolitica.v27i2.22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
49

SZCZESNY, ROMUALD, and MIECZYSLAW RONKOWSKI. "MODELING AND SIMULATION OF CONVERTER SYSTEMS PART I: METHODS, MODELS AND TECHNIQUES." Journal of Circuits, Systems and Computers 05, no. 04 (December 1995): 635–68. http://dx.doi.org/10.1142/s0218126695000394.

Full text
Abstract:
In this paper a critical analysis of the methods, models and techniques applied in modeling and simulation programs of converter systems is presented. The three principal components of the converter system, i.e. converter, electrical machine and control are considered. Different approaches to modeling of power semiconductor elements are described. A general switch model and the approach, based on the Petri net, to development of switch macromodel is presented. Electrical machine modeling based on its multiport dynamic network representation are considered, and chosen as adequate for simulations of converter/machine interactions. A basic structure and features of a general-purpose simulation program are considered. Pertinent features for its five basic stages, i.e. input/pre-processing, description of component models, equation formulation, numerical solution and output/post-processing is developed. Theoretical considerations presented in this paper, should enable, depending on a given problem to be solved, both the correct development of a special program or a rational choice of a general purpose simulation program. The practical implementation of the described methods, models and techniques into a general purpose simulation program, particularly into a TCAD package, is the topic of a companion paper.
APA, Harvard, Vancouver, ISO, and other styles
50

Fengler, W., A. Wendt, M. Adarnski, and J. L. M. P. Monteiro. "Petri Net Based Program Design and Implementation for Controller Systems." IFAC Proceedings Volumes 29, no. 1 (June 1996): 4849–53. http://dx.doi.org/10.1016/s1474-6670(17)58448-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography