bluuebunny/crossref_metadata_2025_split huggingface dataset:
Forecasting useful life of pumping equipment elements based on multivariate regression approaches
Authors: Коленчуков Олег Александрович , Бухтояров Владимир Викторович , Швецов Никита Сергеевич , Сергиенко Роман Борисович , Башмур Кирилл Александрович 
Published: May 2024

В настоящее время подходы к прогнозированию срока полезного использования (RUL) элементов насоса можно разделить на два типа: основанные на модели и управляемые данными. Многочисленные традиционные подходы к прогнозированию RUL имеют ограничения. Современные технологические достижения и разработки привели к резкому увеличению объема многомерных данных и повысили спрос на модифицированные и эффективные многомерные методы регрессии для прогнозирования RUL элементов насосов, которые стали предметом критического анализа и основным методом исследования в данной работе. Целью авторов являлась апробация и обобщение модифицированных методов многомерной регрессии для обнаружения неисправностей насосов на основе имитационного моделирования. Проанализированы методы многомерной регрессии с различными вариациями данных. Проведено имитационное моделирование для оценки их эффективности и сравнение с традиционными методами выбора переменных. С помощью сравнительного анализа продемонстрирована эффективность рассматриваемых подходов. Результаты исследований RUL насосов современными многорегрессионными подходами показывают, что при небольшом объеме выборки наиболее точным является метод регрессии с поддержкой подпространства с разреженностью строк, а при большом объеме выборки предпочтительнее метод разреженной регрессии частично наименьших квадратов, так как ошибка в данных случаях будет наименьшей. При этом необходимо учитывать выбор надлежащего штрафа при подгонке модели.
Currently, approaches to remaining the useful life (RUL) of pump elements can be divided into two types: modelbased and data-driven. Numerous traditional approaches to RUL forecasting have limitations. Modern technological advances and developments have led to a sharp increase in the volume of multidimensional data and increased the demand for modified and effective multidimensional regression methods for predicting the RUL of pump elements, which have become the subject of critical analysis and the main research method in this paper. The aim of the authors was to test and generalize modified multivariate regression methods for detecting pump malfunctions based on simulation modeling. Methods of multivariate regression with various variations of data are analyzed. Simulation modeling was carried out to assess their effectiveness and compare them with traditional methods of variable selection. With the help of a comparative analysis, the effectiveness of the approaches under consideration is demonstrated. The results of the RUL studies using modern multi-regression approaches show that with a small sample size, the SARRS method is the most accurate, and with a large sample size, the SPLS method is preferable, since the error in these cases will be the smallest. At the same time, it is necessary to take into account the choice of the appropriate penalty when fitting a particular model.
Efficient and Verified Continuous Double Auctions
Authors: Garg Mohit , Sarswat Suneel 
Published: May 2024

Continuous double auctions are commonly used to match orders at currency, stock, and commodities exchanges. A verified implementation of continuous double auctions is a useful tool for market regulators as they give rise to automated checkers that are guaranteed to detect errors in the trade logs of an existing exchange if they contain trades that violate the matching rules. We provide an efficient and formally verified implementation of continuous double auctions that takes O(nlogn) time to match n orders. This improves an earlier O(n2) verified implementation. We also prove a matching Ω(nlogn) lower bound on the running time for continuous double auctions. Our new implementation takes only a couple of minutes to run on ten million randomly generated orders as opposed to a few days taken by the earlier implementation. Our new implementation gives rise to an efficient automatic checker.We use the Coq proof assistant for verifying our implementation and extracting a verified OCaml program. While using Coq’s standard library implementation of red-black trees to obtain our improvement, we observed that its specification has serious gaps, which we fill in this work; this might be of independent interest.
Hybrid Intersection Types for PCF
Authors: Barenbaum Pablo , Kesner Delia , Milicich Mariana 
Published: May 2024

Intersection type systems have been independently applied to different evaluation strate- gies, such as call-by-name (CBN) and call-by-value (CBV). These type systems have been then generalized to different subsuming paradigms being able, in particular, to encode CBN and CBV in a unique unifying framework. However, there are no intersection type systems that explicitly enable CBN and CBV to cohabit together, without making use of an encoding into a common target framework.This work proposes an intersection type system for a specific notion of evaluation for PCF, called PCFH. Evaluation in PCFH actually has a hybrid nature, in the sense that CBN and CBV operational behaviors cohabit together. Indeed, PCFH combines a CBV- like behavior for function application with a CBN-like behavior for recursion. This hybrid nature is reflected in the type system, which turns out to be sound and complete with respect to PCFH: not only typability implies normalization, but also the converse holds. Moreover, the type system is quantitative, in the sense that the size of typing derivations provides upper bounds for the length of the reduction sequences to normal form. This first type system is then refined to a tight one, offering exact information regarding the length of normalization sequences. This is the first time that a sound and complete quantitative type system has been designed for a hybrid computational model.
Minimizing Sorting Networks at the Sub-Comparator Level
Authors: Cruz-Filipe Luís , Schneider-Kamp Peter 
Published: May 2024

Sorting networks are sorting algorithms that execute a sequence of operations indepen- dently of the input. Since they can be implemented directly as circuits, sorting networks are easy to implement in hardware – but they are also used often in software to improve performance of base cases of standard recursive sorting algorithms. For this purpose, they are translated into machine-code instructions in a systematic way.Recently, a deep-learning system discovered better implementations than previously known of some sorting networks with up to 8 inputs. In this article, we show that all these examples are instances of a general pattern whereby some instructions are removed. We show that this removal can be done when a particular set of constraints on integers is satisfiable, and identify conditions where we can reduce this problem to propositional satisfiability. We systematically apply this general construction to improve the best-known implementations of sorting networks of size up to 128, which are the ones most commonly found in software implementations.
SISTEM PAKAR PENENTUAN PEMBERIAN MODAL USAHA MASYARAKAT DENGAN METODE FORWARD CHAINING PADA PROGRAM NASIONAL PEMBERDAYAAN MASYARAKAT (PNPM)
Authors: Sari Amelia Permata 
Published: May 2024

Pemberian modal usaha adalah sesuatu yang sangat diharapkan bagi masyarakat kalangan bawah. Terjerat dari kemiskinan membuat mereka melakukan berbagai cara untuk memenuhi kebutuhan hidup. Penanggulangan keadaan yang seperti ini, pemerintah menghadirkan program nasional pemberdayaan masyarakat (PNPM) di berbagai daerah. Pada program ini masyarakat kalangan bawah dapat melakukan pinjaman dengan kriteria yang telah ditetapkan oleh daerahnya masing-masing. Peminjaman yang dilakukan harus melalui proses yang cukup sulit. Banyak masyarakat yang memasukkan data pinjaman bearti membutuhkan waktu untuk mencek data satu persatu. Untuk membantu masalah tersebut, maka diperlukan kehadiran sistem pakar menggunakan metode forward chaining yang diyakini mampu mengambil keputusan dalam pemilihan masyarakat secara cepat dan tepat. Dengan demikian adanya sistem ini dapat lebih mempermudah dan mempercepat kinerja unit pengelolaan keuangan dan unit pengelolaan sosial untuk mengetahui masyarakat yang termasuk kriteria peminjaman.
Potensi pemanasan global emisi gas nitrous oksida (N2O) pada kawasan mangrove Desa Poka, Kota Ambon
Authors: Lilitnuhu Meisye K , Kesaulya Irma , Rahman Rahman 
Published: May 2024

Nitrous oksida (N2O) merupakan salah satu gas rumah kaca (GRK) yang berpotensi menimbulkan pemanasan global (GWP) sebesar 298 kali dibandingkan CO2. Ekosistem mangrove mempunyai fungsi ganda yaitu dapat menyerap dan menghasilkan GRK. Salah satu wilayah yang merupakan habitat mangrove adalah pesisir pantai Poka yang terletak di Teluk Ambon Dalam. Informasi mengenai emisi dan potensi pemanasan global dari gas N2O pada sedimen mangrove yang ada di pesisir pantai Poka sampai saat ini belum ada. Penelitian bertujuan untuk mengetahui nilai emisi gas N2O dan potensi pemanasan global pada sedimen mangrove di pantai Poka, Teluk Ambon. Pengambilan sampel gas dilakukan dengan menggunakan spoit melalui syringe pada sungkup yang diletakkan di bawah kanopi mangrove. Analisis konsentrasi gas N2O menggunakan metode kromatografi gas dan rata-rata perbedaan konsentrasinya diuji dengan ANOVA single factor. Hasil penelitian menunjukkan bahwa emisi gas N2O terbesar pada sedimen mangrove di pantai Poka terdapat pada tipe pasir berlumpur, dan terendah terdapat pada pasir. Total GWP pada sedimen mangrove pantai Poka yaitu 13.6 mg/m2/jam yang dikontribusikan oleh tipe substrat lumpur lumpur berpasir sebesar 5.21 CO2e mg/m2/jam, pasir berlumpur sebesar 6.31 mg/m2/jam, dan pasir sebesar 2.08 CO2e mg/m2/jam.
Penggunaan Model Pembelajaran Interaktif Tipe Time Token Arends Terhadap Keterampilan Sosial (Social Skill) Biologi Siswa Sekolah Menengah Atas
Authors: Fitri Hidayatul Fitri 
Published: May 2024

Penelitian ini bertujuan untuk mengetahui rata-rata skor keterampilan sosial (social skill) siswa sebelum dan sesudah menggunakan model pembelajaran interaktif tipe time token arends serta pengaruh signifikan penerapan model pembelajaran interaktif tipe time token arends. Penelitian ini yaitu penelitian eksperimen dengan desain penelitian Pre Experimental Design yaitu One-Group Pretest-Postest Design. Populasi yang digunakan dalam penelitian adalah siswa kelas XI IPA Sekolah Menengah Atas Negeri 7 Kota Jambi. Sampel penelitian ini sebanyak 27 siswa. Teknik pengumpulan data menggunakan lembar observasi. Hasil dalam penelitian menunjukkan bahwa skor rata-rata sebelum diberi perlakuan menggunakan model pembelajaran interaktif tipe time token arends sebesar 45,1%, sedangkan setelah diberi perlakuan menggunakan model pembelajaran interaktif tipe time token arends sebesar 68,68%. Hasil perhitungan uji-t diperoleh thitung = 6,26% ttabel 5% = 1,70. Hasil uji pengaruh Phi-Korelasi (Φ) mendapatkan skor 1,890 dan rtabel pada taraf 5 % = 0,632 dan 1 % = 0,765 karena skor phi lebih besar dari rtabel maka terdapat pengaruh yang signifikan. Setelah dianalisis maka dapat disimpulkan bahwa model pembelajaran interaktif tipe time token arends memiliki pengaruh yang signifikan terhadap keterampilam sosial (social skill) siswa.
Kata Kunci: Model Pembelajaran Tipe Time Token Arends, Keterampilan Sosial (social skill)
Analisis Kemampuan Berpikir Kritis Matematis Peserta Didik SMP Ditinjau dari Self Efficacy
Authors: Prajono Rahmad , Gunarti Dayangku Yasmin , Anggo Mustamin 
Published: May 2024

Untuk berbagai tingkatan self efficacy, kemampuan berpikir kritis matematis merupakan kemampuan yang wajib dimiliki oleh peserta didik di abad 21. Penelitian ini bertujuan untuk menganalisis kemampuan berpikir kritis matematis peserta didik kelas VIII ditinjau dari self efficacy. Jenis penelitian ini adalah eksploratif dengan pendekatan deskriptif kualitatif. Subjek dalam penelitian ini adalah 3 orang peserta didik yang berasal dari kelas VIII-1 yaitu subjek self efficacy tinggi, sedang dan rendah. Instrumen dalam penelitian ini menggunakan angket self efficacy, tes Kemampuan Berpikir Kritis Matematis (KBKM) serta wawancara. Pemeriksaan keabsahan data menggunakan triangulasi waktu. Berdasarkan hasil penelitian ini disimpulkan bahwa: (1) Peserta didik dengan self efficacy tinggi memiliki KBKM yang sangat baik; (2) Peserta didik dengan self efficacy sedang memiliki KBKM yang cukup baik; dan (3) Peserta didik dengan self efficacy rendah memiliki KBKM yang kurang baik. Dari hasil ini, guru disarankan memperhatikan aspek self efficacy peserta didik dalam upaya melatih kemampuan berpikir kritis matematis.
For various levels of student self-efficacy, mathematical critical thinking skills are skills that must be possessed by students in the 21st century. This study aims to analyze the mathematical critical thinking skills of class VIII students in terms of self-efficacy. This type of research is exploratory with a qualitative descriptive approach. The subjects in this study were 3 students who came from class VIII, namely the subject of a high, medium, and low self-efficacy. The instrument in this study used a self-efficacy questionnaire, a Mathematical Critical Thinking Skills (MCTS) test, and interviews. Check the validity of the data using time triangulation. Based on the results of this study, it was concluded that: (1) Students with high self-efficacy had a very good MCTS; (2) Students with moderate self-efficacy have a fairly good MCTS; and (3) Students with low self-efficacy have poor MCTS. From these results, teachers are advised to pay attention to aspects of students' self-efficacy in an effort to train mathematical critical thinking skills.
Media Google Classroom Berbantuan Animasi PowerPoint terhadap Hasil Belajar Siswa
Authors: Jamil Abdul , Sa’dijah Cholis , Susanto Hery 
Published: May 2024

Perubahan serentak dari pembelajaran clasical menjadi pembelajaran jarak jauh akibat pandemi Covid-19 menyebabkan pembelajaran berbasis internet perlu dilakukan. Salah satu yang dinilai mudah dipahami yaitu kombinasi antara animasi Powerpoint dengan Google Classroom. Melalui bantuan animasi Power Point yang di sisipkan dalam aplikasi Google Classroom diharapkan membuat pembelajaran lebih atraktif. Penelitian ini berfokus pada pengaruh pembelajaran online menggunakan Google Classroom berbantuan animasi PowerPoint terhadap hasil belajar siswa. Jenis penelitian yaitu kuantitatif berdesain quasy-experiment dengan post-test only control group design. Sampel penelitian yaitu siswa kelas XII IPA di salah satu SMA Negeri di Pamekasan dengan jumlah 5 siswa kelas eksperimen dan 5 siswa kelas kontrol. Sampel diperoleh dengan simple random sampling. Materi penelitian yaitu geometri ruang. Instrumen menggunakan teknik tes tulis, dan dianalisis dengan uji t. Hasil Penelitian menunjukkan pembelajaran online dengan Google Classroom berbantuan animasi PowerPoint berpengaruh signifikan terhadap hasil belajar. Kombinasi Google Classroom dan animasi PowerPoint direkomendasikan pada pembelajaran online.
The simultaneous change from classical learning to distance learning due to the Covid-19 pandemic has forced internet-based learning to be carried out. One that is considered easy to understand is the combination of PowerPoint animation with Google Classroom. The help of PowerPoint animations inserted in the Google Classroom application is expected to make learning more interesting. This study focuses on the effect of online learning using Google Classroom with the help of PowerPoint animations on student learning outcomes. This type of research is a quantitative quasi-experimental design with a post-test-only control group design. The sample of this research was students of class XII science in one of the public high schools in Pamekasan with 5 students in the experimental class and 5 students in the control class. Samples were obtained by means of simple random sampling. The research material is the geometry of space. The instrument uses a written test technique and is analyzed by a t-test. The results showed that online learning with Google Classroom assisted by PowerPoint animation had a significant effect on learning outcomes. The combination of Google Classroom and PowerPoint animations is recommended for online learning.
METHODOLOGICAL AND APPLIED COMPONENTS OF THE IMPLEMENTATION OF DEVELOPMENT PROJECTS OF OBJECT-TARGETED RENOVATIONS IN CONSTRUCTION
Authors: Druzhynin Maksym 
Published: May 2024

The article is devoted to the creation of a fundamentally new scientific and methodological basis for the adaptation of construction project stakeholders to dynamic shifts in the construction market through the implementation of renewal and change management in the form of a target project for the introduction of innovative technologies in the construction organization. The urgency of revising the content of processes and approaches to the organization of the construction and investment process based on the analysis of global trends has been worked out. It is substantiated that, taking into account the operational and production features of the functioning of the developer as an executor of works in construction projects, with the further development and implementation of the BIM platform management industry model, it can form an information-technological integration basis for the reorganization of the technological processes of the construction enterprise. It is proven that the novelty of innovations is evaluated by technological parameters and from the market position. Product and process innovations are distinguished by technological parameters. A condition for the formation of an environment capable of stimulating the innovative development of construction enterprises is the formation of an innovative business system, which is based on integrated multi-level management aimed at the spread of innovative competences, taking as a basis modern concepts of the idea of digital transformation, the creation of clusters, as the newest forms of association of participants for achieving synergistic effects of development, and creating a platform of innovative development with functional infrastructural support of the construction organization.
ANALYSIS OF METHODS OF FORECASTING THE PRODUCTIVITY OF GEOTHERMAL HEAT EXCHANGERS FOR ESTABLISHING HEAT PUMP INSTALLATIONS
Authors: Predun Kostyantyn , Voinalovich Vitalii , Guliyev Jamil 
Published: May 2024

At the current stage of Ukraine's development, the problems of effective use of fuel and energy resources and environmental safety are among the most important. Housing and communal services are among the largest consumers of energy in the state and, accordingly, sources of environmental pollution. The introduction of "green construction" standards in European countries has proven to be effective in reducing the negative impact of construction and engineering infrastructure on the natural environment.
A technical solution to the problem of a source of alternative energy due to the use of the heat of the near-surface layers of the earth's crust is proposed. At the depth of placement of probes-heat exchangers, which are structurally part of heat pump installations, the soil temperature is practically unchanged throughout the year and is positive. Non-freezing glycol solutions are used to increase the operational reliability of the installations.
A comprehensive analysis of publications and literature demonstrates the absence of a clear scenario for the necessary steps to determine the main parameters of high-capacity heat pump units (more than 30 kW). State regulatory documents contain requirements only for relatively small systems in terms of performance. However, even for such systems, the specific values of the selected thermal energy are indicated in the form of ranges, the discrepancy of which reaches almost 40% between the minimum and maximum values for a certain type of soil. Thus, the resulting effect of thermal energy production cannot be determined precisely. The proposed calculation methodology does not allow taking into account the mutual influence of heat exchangers among themselves. Also, it is impossible to take into account the influence of groundwater. But taking into account the low annual energy productivity, this approach can be considered acceptable.
For more powerful systems, it is suggested to perform individual calculations, without a clear road map. Accurate calculations of high-capacity heat pump systems can be carried out only with the help of computer modeling using the finite element method. Initial information can be obtained by placing a test geothermal probe or a group of probes on the project site, with which a thermal response test (TRT) is conducted.
FUZZY MODEL FOR ASSESSING THE COMPLIANCE OF ORGANIZATIONAL, TECHNOLOGICAL AND DIGITAL ADMINISTRATION LEVELS OF CONSTRUCTION PROJECTS
Authors: Prykhodko Oleh 
Published: May 2024

The article presents a visual and graphical defragmentation of the life and operational-production cycle of a construction project using the principles and applied tools of digitalization, presented as a Fuzzy model for assessing the compliance of organizational, technological and digital administration levels with construction projects. The combined use of the apparatus of fuzzy set theory and neural networks is a convenient modeling tool in multicriteria selection problems. It is proved that, as a rule, important information for management decision support systems comes from two sources: obtaining object assessments by certain quantitative indicators, which generates inaccuracy; and questionnaires-surveys of experts describing their knowledge of the subject area, which generates subjectivity and uncertainty. It is proposed to use quantitative estimates of the research object (aggregated estimates obtained using multi-criteria models) and linguistic considerations of experts in the neuro-fuzzy network; to test and verify the proposed model for an example of assessing the levels of deviations and risk that can be reduced through digitalization and the construction of a single information and organizational space for project administration, as well as the "interval representation" of synaptic weights of the neuro-fuzzy network. Methodological approaches to multi-criteria digital diagnostics of the state and prospects of development of the enterprise in this segment of the construction market are proposed. The innovation lies in the combination of digital administration, diagnostics and the possibility of formalized, clearly predictable detection of the hit (or miss) of the current point of the enterprise's trajectory in a certain projection of the progressive development (or bifurcation) of the enterprise's operating system. This further gives grounds to model the predictors of the possibility of increasing the organizational and technological level of digitalization of a construction project using certain resources of the enterprise as a stakeholder in construction projects.