bluuebunny/crossref_metadata_2025 huggingface dataset:
Learning Interpretable Heuristics for WalkSAT
Authors: Interian Yannet , Bernardini Sara
Published: July 2023

Local search algorithms are well-known methods for solving large, hard instances of the satisfiability problem (SAT). The performance of these algorithms crucially depends on heuristics for setting noise parameters and scoring variables. The optimal setting for these heuristics varies for different instance distributions. In this paper, we present an approach for learning effective variable scoring functions and noise parameters by using reinforcement learning. We consider satisfiability problems from different instance distributions and learn specialized heuristics for each of them. Our experimental results show improvements with respect to both a WalkSAT baseline and another local search learned heuristic.
Concerning Measures in a First-order Logic with Actions and Meta-beliefs
Authors: Liu Daxin , Feng Qihui , Belle Vaishak , Lakemeyer Gerhard
Published: July 2023

The unification of logic and probability has been seen as a long-standing concern in philosophy and mathematical logic. In this paper, we propose a new general probabilistic modal logic of belief and only-believing in the situation calculus. Our logic can express both continuous and discrete degrees of belief. More importantly, expressing degrees of belief for arbitrary first-order formulas in a dynamic setting is possible for the first time, going well beyond previous proposals where fluents are assumed to be nullary or discrete. We show that our notion of belief retains many of the properties known from the previous related work.
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics
Authors: Punčochář Vít
Published: July 2023

In logic, the meaning of a sentence is usually reduced to its truth conditions. However, this makes sense only for declarative sentences. In order to model also the meaning of questions, inquisitive semantics replaces the truth-conditional approach relating sentences to possible worlds with a support-conditional approach that relates sentences to information states. The standard framework of inquisitive semantics is based on a crisp notion of an information state, defined as a set of possible worlds, and a crisp relation of informational support. This paper introduces and studies two refinements of the standard framework. The first refinement takes into account fuzzy information states (defined as fuzzy sets of possible worlds) and the second one introduces a notion of fuzzy informational support. The main result of this paper shows that in the resulting framework that fuzzifies inquisitive semantics in two different directions we obtain an abstract and very general version of a principle known from the basic inquisitive semantics as Truth-Support Bridge.
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog
Authors: Tena Cucala David , Cuenca Grau Bernardo , Motik Boris , Kostylev Egor V.
Published: July 2023

Although there has been significant interest in applying machine learning techniques to structured data, the expressivity (i.e., a description of what can be learned) of such techniques is still poorly understood. In this paper, we study data transformations based on graph neural networks (GNNs). First, we note that the choice of how a dataset is encoded into a numeric form processable by a GNN can obscure the characterisation of a model's expressivity, and we argue that a canonical encoding provides an appropriate basis. Second, we study the expressivity of monotonic max-sum GNNs, which cover a subclass of GNNs with max and sum aggregation functions. We show that, for each such GNN, one can compute a Datalog program such that applying the GNN to any dataset produces the same facts as a single round of application of the program's rules to the dataset. Monotonic max-sum GNNs can sum an unbounded number of feature vectors which can result in arbitrarily large feature values, whereas rule application requires only a bounded number of constants. Hence, our result shows that the unbounded summation of monotonic max-sum GNNs does not increase their expressive power. Third, we sharpen our result to the subclass of monotonic max GNNs, which use only the max aggregation function, and identify a corresponding class of Datalog programs.
General Game Playing With State-Independent Communication
Authors: Zammit Sean , Thielscher Michael
Published: July 2023

Communication actions in games are usually given meaning by either the effect they have on the game state or a possible reduction in the size of the information set of an agent. However, this precludes analysis of games involving state-independent communication, in which players are given the ability to communicate with each other but are not required to be truthful. As such, these communication actions cannot be used to reduce the size of the information set or update beliefs in states without considering the intent of the communicating agent. In this paper, we introduce a language to describe the rules of such games as an extension of the Game Description Language (GDL). We also identify a set of scenarios involving state-independent communication actions in which an effective agent should be able to derive information, and propose and evaluate strategies for reasoning about such actions in these scenarios.
On Conflict-free Labellings – Realizability, Construction and Patterns of Redundancy
Authors: Baumann Ringo , Heine Anne-Marie
Published: July 2023

The paper deals with the topic of realizability in abstract argumentation. More precisely, we consider the most basic kind of labellings, so-called conflict-free labellings. The understanding of these labellings is essential as any mature labelling-based semantics selects its output among these labellings. We show how to decide whether a given set of labellings is the conflict-free outcome of a certain Dungean framework. To this end we introduce several new criteria like L-tightness, reject-witness and reject-compositionality. These properties play a decisive role in the central characterization theorem. Moreover, we present a construction method, showing how to realize a conflict-free realizable labelling-set. Finally, we study the representational freedom in case of such labellings. This leads to an uniqueness result for a certain sub-class and a surprising connection to strong equivalence in case of extension-based semantics.
Towards Parallelising Extension Construction for Serialisable Semantics in Abstract Argumentation
Authors: Bengel Lars , Thimm Matthias
Published: July 2023

We consider the recently proposed notion of serialisability of semantics for abstract argumentation frameworks.

This notion describes a method for the serialised non-deterministic construction of extensions through iterative addition of non-empty minimal admissible sets.

Depending on the semantics, the task of enumerating all extensions for an argumentation framework can be computationally complex.

Serialisability provides a natural way of parallelising the construction of extensions for most admissible-based semantics.

In this work, we investigate the feasibility of using the serialisable construction scheme for a more efficient enumeration of extensions on the example of the recently introduced unchallenged semantics and provide an experimental evaluation.
Planning with Epistemic Preferences
Authors: Klassen Toryn Q. , Muise Christian , McIlraith Sheila A.
Published: July 2023

Within the field of automated planning, two areas of study are planning with preferences and epistemic planning. Planning with preferences involves generating plans that optimize for properties of the plan instead of, or in addition to, trying to reach a fixed goal. Epistemic planning allows for planning over the knowledge or belief states of one or more agents for the purpose of achieving epistemic goals (where agents have particular states of knowledge or belief). In this paper we motivate and explore the task of planning with epistemic preferences, proposing a method by which existing automated planning techniques can be combined for this purpose.
Verification of Semantic Key Point Detection for Aircraft Pose Estimation
Authors: Kouvaros Panagiotis , Leofante Francesco , Edwards Blake , Chung Calvin , Margineantu Dragos , Lomuscio Alessio
Published: July 2023

We analyse Semantic Segmentation Neural Networks running on an autonomous aircraft to estimate its 6DOF pose during landing. We show that automated reasoning techniques from neural network verification can be used to analyse the conditions under which the networks can operate safely, thus providing enhanced assurance guarantees on the behaviour of the overall pose estimation systems.
Unified Foundations of Team Semantics via Semirings
Authors: Barlag Timon , Hannula Miika , Kontinen Juha , Pardal Nina , Virtema Jonni
Published: July 2023

Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe dependencies between variables. Combining these two, we propose a unifying approach for analysing the concepts of dependence and independence via a novel semiring team semantics, which subsumes all the previously considered variants for first-order team semantics. In particular, we study the preservation of satisfaction of dependencies and formulae between different semirings. In addition we create links to reasoning tasks such as provenance, counting, and repairs.
The Model of Experimental Non-Infectious Autoimmune Uveitis With Key Clinical Signs Manifestation Depending on the Severity Level
Authors:   Danylo Halytsky Lviv National Medical University, Kuryltsiv N.
Published: July 2023

Introduction. Uveitis primarily affects young individuals and often leads to loss of productivity. Understanding the clinical, immunological, and morphological characteristics of this disease is of utmost importance and should be based on a thorough study of its developmental mechanisms. Therefore, the experimental modeling of uveitis in rabbits plays a significant role in studying its dynamics. There are numerous models of non-infectious autoimmune uveitis (NAU) available. However, previous publications did not address the question of the severity level of experimental NAU based on the type of used model or amount of antigen administered. The aim of the study. To describe the model of experimental NAU exposing key clinical manifestations depending on the severity level. Materials and methods. The study was conducted on 30 “Chinchilla” breed rabbits subdivided into two groups 15 animals each. NAU was induced in both eyes by intravitreal injection of either insoluble (group I) or soluble (group II) sterile horse serum. On the days of animal withdrawal from the experiment (3, 7, 10, 14, and 21), the clinical manifestatioin of NAU was evaluated based on changes in the humidity of the anterior chamber and vitreous body. A quantitative assessment of clinical signs of NAU was conducted in both groups animals under investigation. Results. From day 2, the clinical signs of NAU in two experimental groups demonstrated different degrees of severity of inflammation, with certain differences in the developmental dynamics. Namely, in group I, NAU was characterized by moderate and severe degrees of inflammation, while in group II, it was predominantly mild. In both groups, progress of intraocular inflammation was noted on days 3, 7, and 10, followed by a decrease in this process on the later phases of experiment. In comparison between two groups of rabbits concerning the dynamics of inflammatory clinical manifestations reflected in scores, a statistically significant differences were documented on all days of the experiment (p is less than 0.05). Conclusions. An experimental model of non-infectious autoimmune uveitis is described, which manifests key clinical signs of this disease development depending on its severity level. These observations open a new possibilities for this model prospective use in clinical practice for diagnostic and prognostic purposes, as well as for the development of new protocols for endogenous uveitis effective treatment. Keywords: experimental model, non-infectious autoimmune uveitis, blood serum, quantitative assessment.
Cybersecurity: a general framework in the maritime and military world
Authors: Martínez Ferney , Guevara Francisco , Sánchez Luis Enrique , Santos-Olmo Antonio
Published: July 2023

In recent decades, the production of information in studies and research papers on the subject of cybersecurity have addressed the convenience of developing cyberdefense capabilities regardless of whether the scope is industrial or military, corporate or State. However, despite the generation of policies to contribute to the synergy of protection, cybersecurity threats continue to grow, affecting all organizations regardless of their size. The article deals with the existing guidelines, policies and environments within the international framework of cybersecurity in the maritime environment and identifies how these are taken through particular measures to the environments of military maritime units.
Analisis Penerapan Sistem Aplikasi Keuangan Tingkat Instansi (SAKTI) : Studi Kasus Pada Kantor Pelayanan Perbendaharaan Negara Semarang I
Authors: Rahman Syaifur , Hartanto Sugeng , Harkat Avisenna
Published: July 2023

The purpose of this study was to analyze the implementation of the Institutional Level Financial Application System (SAKTI) at the Semarang I State Treasury Service Office. This research is a qualitative research with a case study approach. Data collection was carried out by interview, observation, and documentation techniques. The selection of informants is based on certain criteria, namely by selecting KPPN employees who act as users or users of SAKTI. Selection is based on employee knowledge and understanding in using the SAKTI application. In accordance with the provisions of the Regulation of the Minister of Finance of the Republic of Indonesia Number 171/PMK.05/2021 concerning Implementation of the SAKTI System. The results of the study indicate that the application of the SAKTI application at the Semarang I KPPN has been implemented well and has brought many positive influences and is very supportive of all activities, main tasks and functions of the KPPN.
Determinan Konservatisme Akuntansi Pada Perusahaan Real Estate dan Properti
Authors: Neta Raha Dewi , Ismunawan Ismunawan
Published: July 2023

This study aims to examine the effect of profitability, company size, capital intensity, leverage, and growth opportunities on accounting conservatism in the property and real estate sector listed on the Indonesia Stock Exchange (IDX) in 2019-2021. The objects of this research are companies in the property and real estate sector that are listed on the Indonesia Stock Exchange (IDX) in the 2019-2021 period. The sampling technique in this study was a purposive sample and the samples used were 30 samples obtained from 10 companies with a three-year observation period 2019-2021. By using data analysis techniques in the form of multiple regression analysis using the SPSS. The results of this study indicate that the variable profitability has a negative effect on accounting conservatism and capital intensity, growth opportunity has an effect on accounting conservatism. Meanwhile, firm size and leverage have no effect on accounting conservatism.
Partisipasi Manajemen Memoderasi Optimalisasi Teknologi Informasi Pada Efektivitas Sistem Informasi Akuntansi
Authors: Kumalasari Putu Diah , Widhiastuti Ni Luh Putu , Dewi Ni Luh Putu Sandrya
Published: July 2023

This study aims to determine the role of management participation in moderating the influence of the use of information technology on the effectiveness of the Accounting Information System (AIS). The sample in this study was 110 people who were Lembaga Perkreditan Desa’s (LPD) employees in Sukawati District, determined by purposive sampling method. The analysis technique used is Multivariate Regression Analysis (MRA). The results showed that management participation was able to moderate the influence of information technology optimization on the effectiveness of the AIS. This proves the important role of management in carrying out the supervisory function and developing the AIS so that information technology can be utilized optimally.
Analisis Kebangkrutan Pada Perusahaan Sektor Pariwisata, Restoran, dan Hotel
Authors: Syahrenny Nenny
Published: July 2023

The purpose was to test the bankruptcy potential and accuracy of the three models used to analyze company insolvency using the Altman Z-Score, Springate S-Score, and Zmijewski X-Score methods. Each model is calculated using ratio analysis of the elements of assets, liabilities, equity, and retained earnings. This study used secondary data that had been processed. The samples are tourism, restaurant and hotel companies listed on the Indonesia Stock Exchange (IDX) in 2018-2022. Using the purposive sampling method, predetermined criteria so that 26 companies with a total of 130 data. The analysis technique is to calculate financial ratios, then compare the results of the three bankruptcy prediction models and test their accuracy. As a result, the Springate S-Score model with the highest accuracy of 80.77% is considered more accurate in predicting the possibility of bankruptcy which supported by the existence of companies suspended by the IDX due to going concern issues.
Policy-related Homelessness Discourses in Canada: Implications for Nursing Research, Practice, and Advocacy
Authors: Boras Arnel , Komakech Morris , Raphael Dennis
Published: July 2023

Despite Canada’s commitment to several international human rights instruments recognizing the right to housing, homelessness remains widespread nationwide. Informed by critical political economy theory and critical discourse studies, we examined relevant literature focusing on homelessness policy-related documents in the Canadian context. The findings demonstrate interrelated homelessness policy discourses: 1) emergency shelters, 2) housing first, 3) social determinants of health, 4) human rights, and 5) political economy approach. We conclude that a critical political economy approach offers the most helpful way of understanding and responding to the homelessness crisis in Canada. Homelessness is a socioeconomic and political problem requiring nurses and health professionals to take sociopolitical actions. As nurses and health justice advocates, we stand in solidarity with labour movements to protect public health. This study can be adopted in local, national, and global settings.
Fermented Liquid Biofertilizer from Banana Waste-A Value Added Product
Authors: Vellaisamy Muniappan , Hepsibha Thendral
Published: July 2023

As a remedy to meet the current alarming situation caused by chemical fertilizers, agricultural sectors are now refocusing on organic manure production from food waste. Banana wastes have potential biomass and nutrients which could be reutilized. This study aimed to assess the potential of fermented banana waste as a biofertilizer. Banana fruit waste was fermented using cow dung and cow urine. The Physico-chemical components, total bacterial load, phosphate solubilizers count, fecal coliforms count, and germination index of the prepared Fermented Banana Waste – Biofertilizer (FBW-B) was studied. pH of 6.72 and EC value of 19.41 ± 0.09 ms/cm were observed in Fermented Banana Waste - Biofertilizer (FBW-B). The mineral content of FBW-B was: total nitrogen (0.26 ± 0.001), phosphorus (0.35 ± 0.02), potassium (0.04 ± 0.00 %), calcium (2096 ± 12.08 mg/kg), magnesium (595 ± 4.23 mg/kg), sulphur (169 ± 10.7 mg/kg), iron (122.6 ± 0.92 mg/kg), zinc (8.38 ± 0.9 mg/kg), copper (2.41 ± 0.1 mg/kg), lead (4.34 ± 0.02 mg/kg) and manganese (9.83 ± 0.7 mg/kg). In the bacterial population, phosphate solubilizing bacteria (PSB) in a considerable count were noted in FBW-B with the absence of fecal coliforms. Germination test shows that FBW-B has growth promotion potential after 50 fold dilution. The outcome of the study contributes to the development of organic liquid fertilizer from fruit waste and alleviates the effect of disposed of fruit waste and harmful effects of chemical fertilizers on the environment and humans.
Envisioning Pre-service English teacher education in Colombia as political action
Authors: Quintero Luz Mary
Published: July 2023

This reflective article explores the need to revise the education of pre-service English teachers to place critical and political dimensions as central components in the education of future teachers. The author presents a brief critical overview of some key historical events in Colombia that have taken place mainly during the last sixty years. Two national educational proposals that aim to promote peaceful human relations and knowledge of the country’s historically violent past (Cátedra para la Paz and Estándares de Competencias Ciudadanas) are also described. Two complementary approaches to English teacher education are discussed as possible alternatives to enacting teacher education from a political and critical stance (Teacher Education for Social Justice and Critical Teacher Education). Finally, three trends in English teaching and research in Colombia are described as a way to illustrate some of the ways in which different scholars have enacted English teaching as part of a political and critical endeavor. The author concludes that in order to contribute to a more just, equitable, and peaceful country, pre-service English teacher programs must prepare prospective teachers committed to a process of social, cultural, and political transformation of the local realities of Colombia.
Analisis Keberhasilan Program Pertukaran Mahasiswa Fakultas Teknologi Industri Universitas Trisakti
Authors: Rina Fitriana  , Dian Mardi Safitri  , Ratna Mira Yojana  , Amal Witonohadi  , Lydia Sari  , Daisman Aji  , Yunia Ningsih
Published: July 2023

Intisari— Program pertukaran mahasiswa merupakan bagian dari program Kementerian Pendidikan dan Kebudayaan PendidikanTinggi, yaitu Merdeka Belajar Kampus Merdeka (MBKM). Prodi Teknik Industri, Prodi Teknik Elektro, Prodi Teknik Mesin danProdi Teknik Informatika Fakultas Teknologi Industri telah melaksanakan program pertukaran mahasiswa pada semester ganjil2021/2022. Tujuan penelitian adalah untuk mengevaluasi pelaksanaan Pertukaran mahasiswa yang berjalan di Fakultas TeknologiIndustri Universitas Trisakti dan merancang perbaikan untuk pelaksanaan program pertukaran mahasiswa pada semester yang akandatang. Berdasarkan hasil pengolahan data kuesioner dengan metode Importance Performance Analysis (IPA), poin yang penting untuk diperbaiki dalam program pertukaran mahasiswa untuk kuesioner mahasiswa dan dosen adalah pengembangan Student Information System (SIS), pengembangan penggunaan Learning Management System (LMS).

Abstract— The Student Exchange Program is part of the government program, namely Independent Learning Independent Campus.Industrial Engineering Department, Electrical Engineering Department, Mechanical Engineering Department and InformaticsEngineering Department, Faculty of Industrial Technology has implemented student exchange programs in the odd semester 2021/2022. The purpose of the research is to evaluate the implementation of student exchanges that is being run at the Faculty of Industrial Technology of Trisakti University and design improvements for the implementation of student exchange programs in the coming semester. Based on the results of processing questionnaire data with important performance analysis (IPA) methods, important points to improve in student exchange programs are student information system (SIS) development, learning management system (LMS) development and socialization.
Analisis Sistem Antrian Pelayanan Bongkar Muat Kapal Tongkang Batu Bara pada Mother Vessel untuk Meminimalisir Waktu Bongkar Muat pada PT. Handil Bhakti Persada
Authors: Hanrizaldi Bagus Satrio Langgeng  , Hilyatun Nuha  , Hery Murnawan
Published: July 2023

Abstrak — Penelitian ini bertujuan untuk mengetahui berapa lama waktu antrian kapal untuk mendapatkan pelayanan bongkar muat mulai dari proses kapal datang, prepare loading, Pemasangan bumper kapal, pemasangan tali kapal, tongkang sandar ke mother vessel, menurunkan alat berat, commenced loading, triming cargo, complite loading, menaikkan alat berat dan barge cast off serta bagaimana cara mengoptimalkan sistem antrian pelayanan bongkar muat batu bara dengan menggunakan metode simulasi diskrit dan software ARENA pada PT Handil Bhakti Persada Banjarmasin, yang merupakan perusahaan penyedia jasa bongkar muat batu bara. Adanya antrian dan total waktu bongkar muat yang lama menyebabkan terjadinya mahalnya ongkos bongkar muat serta hilangnya pelanggan dikarenakan lamanya waktu bongkar muat . Dari hasil penelitian yang dilakukan didapatkan hasil sebagai berikut yaitu Kapasitas Number Out kapal sebesar 17 kapal, VA Time sebesar 10050.55 Menit, Wait time 20587.22 Menit, Total Time 1133672 Menit dan WIP sebesar 183009 Menit.

Abstract — This study aims to find out how long the ship queues to get loading and unloading services starting from the ship arriving process, preparing loading, installing ship bumpers, installing ship ropes, barges docking to the mother vessel, unloading heavy equipment, commenced loading, triming cargo, complete loading. , raising heavy equipment and barge cast offs and how to optimize the coal loading and unloading service queuing system using discrete simulation methods and ARENA software at PT Handil Bhakti Persada Banjarmasin, which is a coal loading and unloading service provider company. The existence of queues and the long total loading and unloading time causes the occurrence of . the high cost of loading and unloading and the loss of customers due to the long loading and unloading time. From the results of the research conducted, the following results are obtained, namely the Number Out capacity of the ship is 17 ships, VA Time is 10050.55 Minutea, Wait time is 20587.22 Minutes, Total Time is 1133672 Minutes and WIP is 183009 Minutes.
Analisa Resiko Kecelakaan pada Pembangunan, Reparasi dan Pengoperasian Kapal
Authors: Winarno  , Chairul Andrian  , R Yogi Nugraha  , Anthoni Arif P  , Deddy Chrismianto  , Okto Risdianto M
Published: July 2023

Intisari— Dalam pelaksanaan pembangunan kapal baru, maupun reparasi kapal selalu ada potensi terjadinya keterlambatan penyelesaian kapal. Hal ini sangat merugikan bagi pemilik kapal karena tidak dapat mengoperasikan kapal sesuai waktu yang direncanakan. Permasalahan industri galangan kapal nasional dalam pembangunan kapal baru perlu diidentifikasi sehingga dapat diketahui langkah yang perlu dilakukan untuk meminimalkan resiko keterlambatan pembangunan kapal yang merugikan pihak pemilik kapal dan galangan kapal. Tujuan penelitian adalah mengidentifikasi resiko pada pembangunan, reparasi dan kecelakaan kapal saat beroperasi sesuai dengan resiko-resiko yang di-cover oleh pihak asuransi guna mengurangi resiko. Metodologi penelitian menggunakan kuesioner dan survei yang dilakukan di 6(enam) lokasi, yaitu: Medan, Jakarta, Surabaya, Makassar, Bitung, dan Sorong. Kuesioner dilakukan untuk mengetahui resiko-resiko, dan selanjutnya nilai secara kuantifikasi dari resiko tersebut dianalisis metode statistik dengan rumus Likert. Hasil didapatkan bahwa resiko-resiko yang dialami saat pembangunan kapal, reparasi maupun kecelakaan saat kapal beroperasi menunjukkan besar bobot sekitar 0,39 – 0,85, dimana artinya kapal perlu diasuransikan baik saat kapal dibangun di galangan kapal, maupun saat reparasi serta pengoperasian kapal.

Abstract— In the new ship building, as well as ship repair, there is always the potential for delays in the completion of ships. This is very detrimental for ship owners because they cannot operate the ship according to the planned time. The problems of the national shipbuilding industry in the construction of new ships need to be identified so that it can be seen what steps need to be taken to minimize the risk of shipbuilding delays that are detrimental to ship owners and shipyards.  The purpose of this study is to identify risks in the construction, repair and accident of ships while operating in accordance with the risks covered by the insurance company in order to reduce the risk. The research methodology uses questionnaires and surveys conducted in 6 (six) locations, namely: Medan, Jakarta, Surabaya, Makassar, Bitung, and Sorong. Questionnaires were conducted to determine the risks, and then the quantifiable value of these risks was analyzed by statistical methods using the Likert formula. The results show that the risks experienced during ship construction, repairs and accidents when the ship was operating showed a weight of about 0.39 - 0.85, which means that the ship needs to be insured both when the ship is built at the shipyard, as well as during the repair and operation of the ship.
Pengembangan Model Bisnis Menggunakan Lean Canvas dengan Metode Design Thinking di Bulaf Café
Authors: Raka Mahesa Pradhana  , Didien Suhardini  , Annisa Dewi Akbari
Published: July 2023

Intisari— Bulaf Café merupakan kafe yang sudah berdiri sejak tahun 2014, dimana Bulaf Café merupakan pengembangan dari outlet sosis Bulaf yang dimiliki oleh PT. Sumber Pangan Jaya. Berdasarkan hasil observasi dan wawancara kepada pemilik Bulaf Café, ditemukan permasalahan berupa penurunan penjualan pada Bulaf Café, maka dari itu Bulaf Café perlu suatu model  bisnis baru yang diharapkan dapat meningkatkan penjualan dan memberikan inovasi baru yang adaptif terhadap kondisi pandemi. Metode perancangan model bisnis antara lain Business Model Canvas, 5 Why’s Analysis, Design Thinking, Empathy Map, Lean Canvas, Value Proposition Canvas, Blue Ocean Strategy, dan Marketing Mix 4P. Penelitian diawali dengan menggunakan BMC untuk mengetahui kondisi model bisnis sekarang milik Bulaf Cafe. Setelah itu menggunakan 5 Why’s Analysis untuk mengidentifikasi akar permasalahan, serta menggunakan Empathy Map untuk melihat pandangan konsumen terhadap Bulaf Café. Dari Value Proposition Canvas hasilnya menyediakan sistem online self-order serta merubah konsep Bulaf Café dan memberikan pilihan varian menu baru. Pada tahap Protototype menggunakan Lean Canvas untuk melihat jelas permasalahan dan solusi pada Bulaf Cafe. Berdasarkan analisis Blue Ocean Strategy didapatkan faktor pembeda antara Bulaf Cafe dengan pesaing kafe lainnya. Hasil uji validasi menyatakan bahwa 79% responden setuju dengan produk dan layanan baru Bulaf Café.

Abstract—Bulaf Café is a cafe that has been established since 2014, where Bulaf Café is a development of the Bulaf sausage outlet owned by PT. Jaya Food Source. Based on the results of observations and interviews with the owners of Bulaf Café, problems were found in the form of a decrease in sales at Bulaf Café, therefore Bulaf Café needs a new business model that is expected to increase sales and provide new innovations that are adaptive to pandemic conditions. Business model design methods include Business Model Canvas, 5 Why's Analysis, Design Thinking, Empathy Map, Lean Canvas, Value Proposition Canvas, Blue Ocean Strategy, and Marketing Mix 4P. The research begins by using BMC to determine the condition of Bulaf Cafe's current business model. After that, use 5 Why's Analysis to identify the root of the problem, and use Empathy Map to see consumer views on Bulaf Café. From the Value Proposition Canvas, the result provides an online self-order system and changes the concept of Bulaf Café and provides a choice of new menu variants. At the Protototype stage using Lean Canvas to clearly see the problems and solutions at Bulaf Cafe. Based on the analysis of Blue Ocean Strategy, it was found that the differentiating factor between Bulaf Cafe and other cafe competitors. The results of the validation test stated that 79% of respondents agreed with Bulaf Café's new products and services.
Penentuan Strategi Mitigasi Risiko pada Supply Chain AMDK dengan Metode House of Risk dan Analytical Hierarchy Process
Authors: Sabrina Legtria Wardani  , Annisa Kesy Garside  , Shanty Kusuma Dewi
Published: July 2023

Intisari— Risiko yang terjadi pada proses supply chain management dapat mengakibatkan terganggunya proses pengolahan bahan baku menjadi barang jadi yang dapat merugikan perusahaan. Penelitian ini dilakukan pada pabrik AMDK yang berada di NTB dikarenakan sering terjadinya permasalahan terkait proses supply chain yang dapat mempengaruhi perusahaan. Maka tujuan penelitian ini adalah untuk mengetahui risiko prioritas dan menentukan strategi mitigasi untuk meminimasi risiko yang dapat terjadi. Penelitian ini menggunakan metode AHP untuk menentukan nilai severity dari risk event dan nilai occurance dari risk agent, penggunaan AHP juga dibutuhkan untuk membandingkan antara risiko yang satu dengan risiko lain yang akan dilakukan pada perbandingan berpasangan. Sedangkan house of risk untuk menentukan prioritas risiko dan prioritas strategi mitigasi. Dari hasil penelitian diperoleh 3 risk agent prioritas dan 7 strategi mitigasi untuk menangani 3 risk agent prioritas yaitu risk agent A1, A2 dan A25 dan Strategi mitigasi prioritas SM3, SM1, SM2, SM5, SM7, SM4, dan SM 6.

Abstract—The risks that occur in the supply chain management process can result in disruption of the processing of raw materials into finished goods which can harm the company. This research was conducted at an AMDK factory located in NTB due to the frequent occurrence of problems related to the supply chain process that could affect the company. So the purpose of this study is to determine priority risks and determine mitigation strategies to minimize risks that may occur. This study uses the AHP method to determine the severity value of the risk event and the occurrence value of the risk agent, the use of AHP is also needed to compare one risk to another which will be carried out in pairwise comparisons. Meanwhile, the house of risk is to determine risk priorities and mitigation strategy priorities. From the research results obtained 3 priority risk agents and 7 mitigation strategies to handle 3 priority risk agents, namely risk agents A1, A2 and A25 and priority mitigation strategies SM3, SM1, SM2, SM5, SM7, SM4, and SM 6.
Usulan Perawatan Mesin Dengan Menggunakan Metode Modularity Design Pada PT. Varia Usaha Beton
Authors: Ahmad Zamawi Ghozali  , Annisa Kesy Garside  , Rahmad Wisnu Wardana
Published: July 2023

Intisari— PT Varia Usaha Beton bergerak dalam bidang pengadaan beton dan bangunan mengalami kerusakan pada salah satu mesin Batching Plant yang mengakibatkan terjadinya pembengkakan biaya. Mengatasi hal tersebut, diperlukan adanya perawatan preventive yang dilakukan sebatas pemeriksaan, penggantian, dan pengelompokan komponen mesin menurut proses perbaikan dan fungsinya dengan menerapkan modularity design sebagai metodenya. Tujuannya penelitian ini yaitu menentukan perawatan interval preventif dengan melakukan pengelompokan komponen kedalam modul untuk menghasilkan total biaya perawatan yang lebih minimum. Hasil penelitian ini didapatkan total biaya per tahun dengan metode modularity design per tahunnya adalah sebesar Rp 167.584.757,6 ,- sedangkan dengan metode perusahaan yang memiliki nilai sebesar Rp 220.869.687,- per tahun. Dimana biaya yang dikeluarkan oleh metode modularity design lebih kecil dibandingkan dengan total biaya perawatan pada perusahaan setiap tahunnya dengan nilai efisiensi sebesar 24,12%.

Abstract— PT Varia Usaha Beton is engaged in the procurement of concrete and buildings experienced damage to one of the Batching Plant machines which resulted in cost overruns. To overcome this, preventive maintenance is needed which is limited to inspection, replacement, and grouping of machine components according to the repair process and function by applying modularity design as the method. The purpose of this study is to determine preventive maintenance intervals by grouping components into modules to produce a minimum total maintenance cost. The results of this study obtained that the total cost per year with the modularity design method per year is Rp. 167,584,757.6, - while the company method has a value of Rp. 220,869,687, - per year. Where the costs incurred by the modularity design method are smaller than the total maintenance costs at the company each year with an efficiency value of 24.12%.
RELEVÂNCIA E CONTRIBUIÇÃO DAS FONTES ORAIS PARA A HISTORIOGRAFIA DA EDUCAÇÃO: UMA PEQUENA DISCUSSÃO EPISTEMOLÓGICA SOBRE A HISTÓRIA ORAL
Authors: Costa Júlio Resende , Dos Santos Sônia Maria
Published: July 2023

Por meio de uma pequena discussão epistemológica sobre a História Oral, o texto discutiu e analisou a relevância das fontes orais na pesquisa histórica e sua contribuição para a historiografia da educação. O estudo caracteriza-se como pesquisa qualitativa, de natureza descritiva e recorreu ao uso de fontes bibliográficas como percurso metodológico. Sufocada pelos postulados positivistas, a História Oral ressurgiu como estratégia de pesquisa em história a partir da década de 1950, ganhando vigor acadêmico nas décadas seguintes. A história é um fenômeno vivo, dinâmico. Os fatos históricos não estão encerrados em si mesmos. Dessa premissa decorre a necessidade de repensar o passado. À medida que o passado é revisitado, ele revela descobertas inéditas para a história da educação. As fontes orais diferem-se das fontes tradicionais porque não são encontradas ao acaso e nem em estado bruto: são produzidas coletivamente, por meio da relação dialética entre entrevistador e entrevistado, em um movimento subsidiado pela memória e mediado pela linguagem. A memória é o elemento dinamizador do relato que dá origem ao documento oral, inédito e revelador. A relevância acadêmica, histórica e social do documento oral está intimamente ligada à suficiência investigativa do pesquisador, sua competência para recompor eventos passados e acuidade para analisar e interpretar o relato oral. A História Oral não nega as fontes documentais clássicas. Ao responder interrogações que as fontes tradicionais não conseguem elucidar, ao preencher as lacunas apresentadas nos documentos impressos e/ou escritos, a História Oral dialoga com outros tipos de fontes, suscita novas indagações e abre outras perspectivas de abordagem e interpretação do fenômeno histórico. Percorrendo esse caminho, as fontes orais permitem elucidar uma história ainda não conhecida ou parcialmente explicada pelas fontes clássicas.
PRESENÇA DA SITUAÇÃO DE ESTUDO NAS PESQUISAS DESENVOLVIDAS NO PROGRAMA DE PÓS-GRADUAÇÃO EM EDUCAÇÃO NAS CIÊNCIAS
Authors: Cabeleira Marciele Dias santos , Bianchi Vidica
Published: July 2023

Na perspectiva de complementar o debate referente ao contexto do currículo, a presenta escrita discorre sobre uma alternativa de organização curricular, qual através da pesquisa bibliográfica (GIL, 2002), objetivou identificar a presença da Situação de Estudo em dissertações e teses desenvolvidas pelos discentes do Programa de Pós-Graduação Stricto Sensu em Educação nas Ciências (PPGEC), no período de 2005 a 2021. Os resultados oriundos dos trabalhos analisados, indicam que através da Situação de Estudo é possível romper com a fragmentação dos conteúdos escolares e formar novas estruturas de pensamento nos sujeitos por ela proporcionados, uma estrutura que relacione e não apenas dissocie.
O PAPEL SOCIAL DA BRINQUEDOTECA HOSPITALAR NO PROCESSO DE INCLUSÃO DA CRIANÇA HOSPITALIZADA
Authors: Vieira Leocilea Aparecida , Maria Julianna Dias , Casagrande Keli , Mendes Vera Elis
Published: July 2023

A brinquedoteca hospitalar desempenha um papel social crucial no processo de inclusão da criança hospitalizada. Este estudo justifica-se pela necessidade de evidenciar os benefícios da brinquedoteca hospitalar, tanto do ponto de vista teórico, embasando-se em estudos e teorias já existentes, quanto do ponto de vista prático, apresentando exemplos de implementação e resultados positivos. Tem como objetivo analisar o papel social da brinquedoteca hospitalar no processo de inclusão da criança hospitalizada.  Frente ao exposto, o estudo apresenta um breve histórico da brinquedoteca, a fim de entender sua trajetória no cenário mundial, seu surgimento no Brasil, seus objetivos e sua legislação. Posteriormente analisa a função do brincar no desenvolvimento infantil. Reflete-se também sobre a brinquedoteca hospitalar como um espaço mágico no qual a criança pode expressar suas imaginações e emoções, socializar com outras pessoas e desenvolver-se. Para elucidar a contribuição social da brinquedoteca hospitalar à criança, por meio de uma abordagem metodológica bibliográfica e revisão sistemática de fontes primárias e secundárias, a pesquisa busca embasar-se em teorias e estudos já existentes, como os de Cunha (1997), Kishimoto (2003) e Vygotsky (1987), para analisar a relevância do brincar em um ambiente hospitalar e sua promoção à saúde. Deste modo pode-se observar que a brinquedoteca contribui na socialização da criança que se encontra hospitalizada, haja vista, que possibilita a ela um espaço destinado a mitigação dos conflitos internos e oferece um ambiente mágico onde as crianças podem se envolver em atividades lúdicas, permitindo que elas desempenhem seu principal trabalho: brincar.
JOGOS EDUCACIONAIS PARA ENSINAR INGLÊS: A PERSPECTIVA DA INTERCULTURALIDADE - DO CONCEITO À PRÁTICA
Authors: Reiter Suzete Verginia de Souza , Ribeiro Everton
Published: July 2023

Esse artigo apresenta uma reflexão sobre o ensino da Língua Inglesa (LI) na perspectiva do Inglês como Língua Franca (ILF) e Interculturalidade, tendo o jogo por recurso interativo e colaborativo de aprendizagem significativa. Para tanto, realizou-se uma pesquisa bibliográfica e qualitativa tendo por base Rajagopalan (2011), Byram (2002), Siqueira e Barros (2013), Kishimoto (1996), Huizinga (2000), Hadfields (1999), Jenkins (2007), Kachru (1982), Kachru (1992), Byram, Gribkova e Starkey (2002), Corbett (2003), Vygostky, (1988), Hadfields (1999), Leffa (2001), estabelecendo relações entre teoria e prática dada a relevância da temática. Conclui-se que apesar de ser uma área de pesquisa muito vasta e ainda pouco explorada, é possível vislumbrar abordagens capazes de unir as expectativas de docentes e discentes no processo de ensinar e aprender conteúdos específicos do currículo escolar através de recursos além dos tradicionais.
Operation and Power Generation of a Disk-Shaped Pressure Gain Combustor
Authors: Huang Xin , Chang Po-Hsiung , Li Jiun-Ming , Juay Teo Chiang , Cheong Khoo Boo
Published: July 2023

The objective of this experimental study is to evaluate the power generation capability of an ethylene–air disk-shaped pressure gain combustor (DPGC). The main content of this paper focuses on discussing the DPGC testing results, consisting of detonation wave dynamics, power generation, and accompanying combustion instabilities. The experiments can be grouped into two stages. In the first stage, the DPGC was tested under atmospheric back condition. Continuous detonation wave dynamics were evaluated among various testing conditions. Evolution of the detonation wave velocity with respect to changes in the equivalence ratio has been discussed. In the second stage of the experiments, the DPGC was tested with a turbocharger installed. Shaft power extracted by the turbocharger turbine from the DPGC exhaust was used as a metric for evaluating the DPGC power output. During the operation of the DPGC and turbocharger, low- and intermediate-frequency combustion instabilities were observed, which coexisted with the high-frequency component associated with the circumferentially propagating detonation wave. The experimental results suggest that the DPGC shows superiority in compactness relative to conventional combustion power systems. However, more improvements need to be made with regard to overall thermal efficiency in order to achieve the benefits from detonation combustion.
Statistical Study of Uncontrolled Geostationary Satellites near an Unstable Equilibrium Point
Authors: Flores Roberto , Pontani Mauro , Fantino Elena
Published: July 2023

The growth of the population of space debris in the geostationary ring and the resulting threat to active satellites require insight into the dynamics of uncontrolled objects in the region. A Monte Carlo simulation analyzed the sensitivity to initial conditions of the long-term evolution of geostationary spacecraft near an unstable point of the geopotential, where irregular behavior (e.g., transitions between long libration and continuous circulation) occurs. A statistical analysis unveiled sudden transitions from order to disorder, interspersed with intervals of smooth evolution. There is a periodicity of approximately half a century in the episodes of disorder, suggesting a connection with the precession of the orbital plane, due to Earth’s oblateness and lunisolar perturbations. The third-degree harmonics of the geopotential also play a vital role. They introduce an asymmetry between the unstable equilibrium points, enabling the long libration mode. The unpredictability occurs just in a small fraction of the precession cycle, when the inclination is close to zero. A simplified model including only gravity harmonics up to degree 3 and the Earth and moon in circular coplanar orbits is capable of reproducing most features of the high-fidelity simulation.
Control Design and Flight Test of Aerodynamics-Driven Monoplane–Biplane Morphing Aircraft
Authors: Feng Liangtao , Guo Tingyu , Zhu Chenhua , Chen Haixin
Published: July 2023

Increasing the aspect ratio of the wing of an aircraft reduces drag and increases its range and endurance. However, a large wingspan complicates takeoff and landing. Therefore, an aerodynamics-driven monoplane–biplane morphing (MBM) aircraft was proposed, which cruises as a high-aspect-ratio monoplane and takes off and lands as a biplane, switching between two patterns during flight. This concept of MBM was validated in our previous work via wind tunnel experiments. We further develop it beyond this phase and introduce its applications under real flight conditions here. We constructed a test plane with a wingspan of 6 m and conducted a series of flight experiments on it. To examine its performance and facilitate its initial flight test, we built aerodynamic and dynamic models of the aircraft to analyze its morphing behavior through simulations. The corresponding controller algorithm and hardware system were also developed. The successful implementation of these systems enables bidirectional morphing during flight from a large-span monoplane to a half-span biplane. The test results, comprising data and photographs, validated the success of these trials. The concept of MBM, the corresponding models, and the control algorithm for morphing were thus verified.