Language Programming Research Articles

SOSIALISASI PENGEMBANGAN PROTOTYPE COMPANY PROFILE BERBASIS WEBSITE UMKM PENGUSAHA GERABAH DAN KERAMIK PAGERJURANG MELIKAN BAYAT – WEDI KLATEN

The rapid development of Information Technology encourages Pagerjurang- Melikan MSME residents to always develop creations and have creativity in achieving maximum results in all fields. The need for easy, fast and timely information has become a way of life for humans, in the current 4.0 to 5.0 era. The rapid business competition forced the owners of the Pagerjurang - Melikan pottery craftsmen to find the right media to sell their products and innovate to develop more attractive and highly marketable types and forms of products. Purpose of Outreach Socialization Development of Website-Based Prototype Company Profile Umkm Pottery and Ceramic Entrepreneurs Pagerjurang Melikan Bayat – Wedi Klaten. Website is an internet application that can be accessed by almost all people today. The purpose of implementing PkM activities is to design and develop a website-based prototype company profile for Umkm Pottery and Ceramic Entrepreneurs Pagerjurang Melikan Bayat – Wedi Klaten. Because the sales made by MSMEs are still traditional, although there are some who have used the WA group and Facebook, but have never used a website application. The company profile prototype development method is waterfall, namely through several stages starting from planning and data collection, system design with Data Flow Diagrams (DFD), Entity Relationship Diagrams (ERD), programming in PHPMySQL and XAMPP languages. Results of the Company Profile Website for UMKM Pottery Pager Jurang - Melikan Pay -Wedi Klaten, Outcome of implementing the Website which is expected to help provide solutions to problems encountered during the process carried out by UMKM manually.

Languages with Decidable Learning: A Meta-theorem

We study expression learning problems with syntactic restrictions and introduce the class of finite-aspect checkable languages to characterize symbolic languages that admit decidable learning. The semantics of such languages can be defined using a bounded amount of auxiliary information that is independent of expression size but depends on a fixed structure over which evaluation occurs. We introduce a generic programming language for writing programs that evaluate expression syntax trees, and we give a meta-theorem that connects such programs for finite-aspect checkable languages to finite tree automata, which allows us to derive new decidable learning results and decision procedures for several expression learning problems by writing programs in the programming language.

Automatic measurement of slice thickness in CT images of a Siemens phantom

This study aims to develop a program in Python language for automatic measurement of slice thickness in computed tomography (CT) images of a Siemens phantom with different values of slice thickness, field of view (FOV), and pitch. A Siemens phantom was scanned using a Siemens 64-slice Somatom Perspective CT scanner with various slice thicknesses (i.e. 2, 4, 6, 8, and 10 mm), FOVs (i.e. 220, 260, and 300 mm), and pitch (i.e. 0.7, 0.9, and 1). Automatic measurement of slice thickness was performed by segmenting the ramp insert in the image and detecting angles of the ramp insert using the Hough transform. The resulting angles were subsequently used to rotate the image. Profiles of pixel along the ramp insert were made from the rotated images, and the slice thickness was calculated by determining the full-width at half maximum (FWHM) of the profiles. The product of the FWHM in pixels and the pixel size was corrected by the tangent of the ramp insert (i.e., 23°) to obtain the measured slice thickness. The results of the automatic measurements were compared with manual measurements carried out using a MicroDicom Viewer. The differences between the automatic and manual measurements at all slice thicknesses were less than 0.30 mm. The automatic and manual measurements had high linear correlations. For variations of the FOV and pitch, the differences between the automatic and manual measurement were less than 0.16 mm. The automatic and manual measurements were significantly different (p-value < 0.05) for slice thickness variation. In addition, the automatic and manual measurements were not significantly different (p-value > 0.05) for variations of FOV and pitch.

Analysis of errors and inaccuracies in the current edition of the GOST R ISO 7730-2009 standard

The paper analyzes the inaccuracies and inconsistencies of the national standard GOST R ISO 7730-2009 "Ergonomics of the thermal environment. Analytical determination and interpretation of the comfort of the thermal regime using the calculation of PMV and PPD indicators and criteria of local thermal comfort" and similar international standard ISO 7730:2005. These standards are designed to assess the quality of the internal environment in order to comply with international practices both in the field of environmental sustainability and in the field of energy efficiency of construction. The authors have investigated and described inaccuracies and inconsistencies, have proposed their corrections in Sections 4 and 5, which establish the method of calculating the predicted mean estimate (PMV – Predicted Mean Vote) and the predicted percentage of dissatisfied with the temperature environment (PPD – Predicted Percentage of Dissatisfied), as well as in Appendix D, which contains a listing of the PMV calculation program in the BASIC language. The paper has been written in accordance with the recommendations developed during the implementation of the international project KO1089 "Green Arctic Building" of the Cross-Border Cooperation Program.

Analisis Kebutuhan pada Pembelajaran Kolaboratif sebagai Strategi Pengajaran dalam Kelas Penerjemahan Bahasa Indonesia-Mandarin

The translator’s profession has existed for decades and evolved as international interaction and communication intensified. The rising demand for the translator’s profession is met by undergraduate-level programs in foreign languages by providing translation classes. One of the challenges in undergraduate-level translation classes is the number of students and the inadequacy of students’ foreign language proficiency. The syllabus design of an undergraduate-level translation classroom has to consider several aspects, such as the number of students, students’ language proficiencies, and students’ needs. Translation class needs to train students in both, hard skills such as translation competence and content knowledge, and soft skills such as working under pressure and teamwork. Collaborative Learning (CL) could be an alternative to tackle this situation. In CL, learners are encouraged to collaborate to produce an acceptable translation. This study investigates the impact of Needs Analysis (NA) and Collaborative Learning (CL) in translation classrooms by surveying students of translation courses. Through NA, the trainer could understand learners’ needs before designing the syllabus. Besides that, CL benefits not only learners’ interpersonal skills but also learners’ translation skills.

Hardware Efficient Reconfigurable Digital Down Converter for Software Radio Receiver

ABSTRACT This paper describes a reconfigurable digital down converter (DDC) that can reduce the input sampling frequency from 128 MHz to an output of 1 MHz on a field-programmable gate array (FPGA) device. The proposed design employs a polyphase mixer followed by a half-band (HB) filter and a finite impulse response (FIR) filter. All the decimation filters involve polyphase architectures, enabling efficient hardware implementation. The polyphase mixer can reduce the high sampling rate frequency, and combining both HB and FIR filters results in a complex down-converted baseband spectrum. In addition, the modified HB filter reduces multiplier units, and the proposed FIR filter saves the delay elements. Using the optimal hardware description language (HDL) programming style, the design can further improve the area efficiency without sacrificing functionality. To evaluate the performance, the design has been implemented on the Kintex-7 Xilinx FPGA device. Experimental outcomes show that the proposed design significantly reduces hardware costs associated with other existing designs. Finally, a verification test certifies that the DDC has achieved a satisfactory spurious-free dynamic range (SFDR) of 115 dB. The high sampling rate and parallel processing capabilities of the proposed DDC make it an attractive solution for any software radio standard.

Conducting research on and with your own students

Abstract Researchers’ proximity to their field of interest can make it difficult to create what Bourdieu called “the strange point of view” needed to look beyond the field’s implicit beliefs when producing new knowledge. Based on a Bourdieusian approach to reflexive sociology, this article discusses proximity and distance when conducting research on and with one’s own students. To problematize proximity and distance in a research project, this article discusses a case in which a teacher/researcher conducted research on and with her own students in a bachelor’s degree program in sign language and interpreting as part of a project focusing on the students’ development of professional characteristics as interpreters for individuals with deafblindness. This article argues that student participation and input created an epistemological rupture and represented the strange point of view that became a counterweight to the researcher’s proximity to the field.

Discussion on the Teaching Reform of Python Language Programming Course for Engineering Majors Based on OBE

Python has a simple language structure and is free and open source. Therefore, more and more colleges and universities set it as a required course of engineering programming language. By analyzing the advantages of python language teaching, and based on the concept of Outcome-based Education (OBE), this paper puts forward the teaching reform idea of python language programming public course in ordinary colleges and universities.

PARAMETER-DRIVEN GENERATION OF EVALUATION PROGRAM FOR A NEUROEVOLUTION ALGORITHM ON A BINARY MULTIPLEXER EXAMPLE

Context. The problem of automated development of evaluation programs for the neuroevolution of augmenting topologies. Neuroevolution algorithms apply mechanisms of mutation, recombination, and selection to find neural networks with behavior that satisfies the conditions of a certain formally defined problem. An example of such a problem is finding a neural network that implements a certain digital logic.&#x0D; Objective. The goal of the work is the automated design and generation of an evaluation program for a sample neuroevolution problem (binary multiplexer).&#x0D; Method. The methods and tools of Glushkov’s algebra of algorithms and hyperscheme algebra are applied for the parameterdriven generation of a neuroevolution evaluation program for a binary multiplexer. Glushkov’s algebra is the basis of the algorithmic language intended for multilevel structural design and documentation of sequential and parallel algorithms and programs in a form close to a natural language. Hyperschemes are high-level parameterized specifications intended for solving a certain class of problems. Setting parameter values and subsequent interpretation of hyperschemes allows obtaining algorithms adapted to specific conditions of their use.&#x0D; Results. The facilities of hyperschemes were implemented in the developed integrated toolkit for the automated design and synthesis of programs. Based on algorithm schemes, the system generates programs in a target programming language. The advantage of the system is the possibility of describing algorithm schemes in a natural-linguistic form. An experiment was conducted consisting in the execution of the generated program for the problem of evaluating a binary multiplexer on a distributed cloud platform. The multiplexer example is included in SharpNEAT, an open-source framework that implements the genetic neuroevolution algorithm NEAT for the .NET platform. The parallel distributed implementation of the SharpNEAT was proposed in the previous work of the authors.&#x0D; Conclusions. The conducted experiments demonstrated the possibility of the developed distributed system to perform evaluations on 64 cloud clients-executors and obtain an increase in 60–100% of the maximum capabilities of a single-processor local implementation.

Multi-objective optimization of the solar orientation of two residential multifamily buildings in south Brazil

The shape and orientation of a building influence the energy demand, therefore optimal decisions should only be made rigorously supported by energy evaluation programs, which allow for measuring the energy demand of a building more precisely. The main purpose of this research is to evaluate the shape and orientation of massive residential social housing multifamily buildings to find the best solar positioning to minimize cooling and heating demands simultaneously in the bioclimatic zone 2 (Cfa) in the southern region of Brazil. To do this, this study utilizes multi-objective optimization with a genetic algorithm (NSGA-II) simulating the thermal behavior in EnergyPlus and performing the optimization with a Python language programming code, totalizing 80,000 simulations. The main results showed that solar orientation optimization could reduce the total demand by 4% for the “H” shape and 22% for linear buildings in the isolated scenario. For the condominium condition, the reduction is 2% for the “H” typology and 8% for the linear shape. The results presented can help engineers and architects to design more energy-efficient buildings and address the energetic vulnerability in the same building. Moreover, future work can be carried out to improve the constructive pattern replicated all over the country, improving the surroundings.

Optimization Path and Design of Intelligent Logistics Management System Based on ROS Robot

With the rapid development of the Internet of Things (IoT), the logistics and transportation industry is booming. At the same time, with the advancement of AI technology, intelligent logistics is also gradually emerging, and the purpose of intelligent logistics is to use different types of automatic guided transport machines to replace people to handle and move products. At the same time, with the help of big data, cloud computing, artificial intelligence, sensor technology, and other technologies, we can achieve logistics automation. However, the current logistics robot creation platforms are diverse, which makes intelligent logistics robots diverse in variety and wide in application and also makes the creation and use of robots more challenging. Robot Operating System (ROS) is an open-source software platform that supports programming in multiple languages and has excellent adaptability. In addition, most of the currently used path planning focuses on a single target point, which is insufficient to support the current needs of multitasking in intelligent logistics. Therefore, this paper aimed to design an intelligent logistics management system based on ROS robot and proposed to use the A-star algorithm to calculate the shortest path of the robot so as to achieve the optimal path. In the simulation experiment, 20 ROS robots were selected and divided into two groups. In the logistics warehouse of different transportation nodes, 20 ROS robots were set up to transport goods of different weights in the experiment, and the transportation data were collected at last. The final simulation results have shown that the power consumption and response delay performance of the ROS robot are good, and the logistics transportation speed is significantly improved. In addition, compared with the traditional transportation method, the daily transportation weight of each robot is up to 310.1% and the monthly profit is up to 171%, which shows that the intelligent logistics management system designed in this paper is more efficient in logistics and transportation and can bring more profits.

ОСОБЛИВОСТІ ВИВЧЕННЯ ЕЛЕМЕНТІВ ЛЕКСИКОЛОГІЇ В ПОЧАТКОВІЙ ШКОЛІ В АСПЕКТІ КОМУНІКАТИВНО-ДІЯЛЬНІСНОГО ПІДХОДУ

У статті йдеться про важливість вивчення елементів лексикології на уроках української мови в початкових класах, звернуто увагу на особливості опрацювання лексичного матеріалу молодшими школярами; підкреслено необхідність здійснення комунікативно-діяльнісного підходу до опрацювання учнями початкової школи основних понять з лексикології; наголошено на значущості вивчення елементів лексикології як таких, що сприяють збагаченню словникового запасу молодших школярів, увиразнюють мовлення, дозволяють висловлювати власну думку більш зрозуміло й переконливо.

Bridging Direct and Indirect Data-Driven Control Formulations via Regularizations and Relaxations

In this article, we discuss connections between sequential system identification and control for linear time-invariant systems, often termed indirect data-driven control, as well as a contemporary direct data-driven control approach seeking an optimal decision compatible with recorded data assembled in a Hankel matrix and robustified through suitable regularizations. We formulate these two problems in the language of behavioral systems theory and parametric mathematical programs, and we bridge them through a multicriteria formulation trading off system identification and control objectives. We illustrate our results with two methods from subspace identification and control: namely, subspace predictive control and low-rank approximation, which constrain trajectories to be consistent with a nonparametric predictor derived from (respectively, the column span of) a data Hankel matrix. In both cases, we conclude that direct and regularized data-driven control can be derived as convex relaxation of the indirect approach, and the regularizations account for an implicit identification step. Our analysis further reveals a novel regularizer and a plausible hypothesis explaining the remarkable empirical performance of direct methods on nonlinear systems.

Определение эффективной мощности газотурбинного газоперекачивающего агрегата методами машинного обучения

The paper considers methods of the gas turbine plant power designed for natural gas transportation and reveals their drawbacks. A program in the Python language was created to study applicability of the machine-learning methods to determine the plant power under operating conditions. Archival gas-dynamic parameters registered by the plant automatic control system were used as the initial data. Forecast quality of the machine-learning models was estimated depending on different sets of the feature parameters. Recommendations on the models use are provided; and the method error was determined. Hypothesis on applicability of models learned based on data of a single engine to estimate the power of the other engines of the same type was refuted. Machine-learning methods could be used to determine the gas turbine plant power even in the absence of part of the initial data, which is the main advantage over traditional methods.

Design and implementation of electrical engineering experiment based on the Arduino platform

Arduino platform is a new hardware and software combination platform that is widely used, flexible, easy to operate, and rapidly developing. In this paper, the design and implementation of the DC chopper circuit were conducted based on the Arduino platform. Firstly, the power signal and trigger signal are output in the form of programming on the Arduino platform, and the rest of the circuit is built on the breadboard in the form of hardware. Finally, the design waveform is obtained. This paper introduces the basic working principles of four power conversion circuits, conducts circuit simulation on MATLAB software and obtains the ideal output waveform, and uses C language programming to trigger control signal generation, generates corresponding electrical signals through compilation and USB wire transmission to Arduino controller, and builds relevant circuits. This paper makes use of the advantages of the breadboard, fully combines the theoretical knowledge and circuit connection, and finally observes the output waveform through an oscilloscope, and compares the waveform of the actual circuit with the simulation results of MATLAB.

Improve Learning Programming through Small Private Online Course and Virtual IDE

In learning programming languages ​​there are some technical problems such as the difficulty of installing IDE applications and tend to be heavy, cannot be used on various operating system platforms and there are no programming tutorials. By providing online and open learning content for certain organizations or often called SPOC (Small Private Online Course) and Virtual IDE to support SPOC, it can help students to improve programming skills. The purpose of this research is to create a SPOC LMS that has a Virtual IDE as a learning support. The Quantitative Method was used as a research method in this study to make a conclusion from the experimental results. The results of this study concluded that LMS SPOC and Virtual IDE can help students understand language programming.

Designing Reconfigurable Cyber-Physical Systems Using Unified Modeling Language

Technological progress in recent years in the Cyber-Physical Systems (CPSs) area has given designers unprecedented possibilities and computational power, but as a consequence, the modeled CPSs are becoming increasingly complex, hierarchical, and concurrent. Therefore, new methods of CPSs design (especially using abstract modeling) are needed. The paper presents an approach to the CPS control part modeling using state machine diagrams from Unified Modelling Language (UML). The proposed design method attempts to combine the advantages of graphical notation (intuitiveness, convenience, readability) with the benefits of text specification languages (unambiguity, precision, versatility). The UML specification is transformed using Model-Driven Development (MDD) techniques into an effective program in Hardware Description Language (HDL), using Concurrent Finite State Machine (CFSM) as a temporary model. The obtained HDL specification can be analyzed, validated, synthesized, and finally implemented in Field Programmable Gate Array (FPGA) devices. The dynamic, partial reconfiguration (a feature of modern FPGAs) allows for the exchange of a part of the implemented CPS algorithm without stopping the device. But to use this feature, the model must be safe, which in the proposed approach means, that it should possess special idle states, where the control is transferred during the reconfiguration process. Applying the CFSM model greatly facilitates this task. The proposed design method offers efficient graphical modeling of a control part of CPS, and automatic translation of the behavior model into a synthesizable Verilog description, which can be directly implemented in FPGA devices, and dynamically reconfigured as needed. A practical example illustrating the successive stages of the proposed method is also presented.

Sistem inventaris berbasis web di workshop Teknik Elektro

This inventory information system provides several facilities that can be used by the manager, including: input of item data, delete item search item, and item data inventory report, item inventory system at the Electrical Engineering Workshop - STTR CEPU aims to facilitate the laboratory manager in data collection goods, both complementary goods or consumables, which are web-based, for example inputting new goods or damaged goods, can be done online, and the number of goods will be automatically entered in the database, without us adding up the goods manually, search results for item data more easily fast, accurate, and the results of reports that can be downloaded in PDF type, and can be printed. The purpose of the research is to increase efficiency in managing computerized laboratory inventory so that it can support the performance of lab managers, Archives and Electrical Engineering workshops, Designing this application using language programming PHP, CSS, HTML, Windows 10 64 bit Operating System, Visual Studio Code software version 1.69.1, Xampp Server version 1.7.7, PHP version 7.3.2, Bootstrap version 5.0, Google Chrome, 000webhost. The test results show that 77% of this application can run and make it easier for the Cepu-Sttr Laboratory manager.&#x0D; Keywords: Inventory System, Laboratory, Cepu Sttr

Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference

We present a static analysis for discovering differentiable or more generally smooth parts of a given probabilistic program, and show how the analysis can be used to improve the pathwise gradient estimator, one of the most popular methods for posterior inference and model learning. Our improvement increases the scope of the estimator from differentiable models to non-differentiable ones without requiring manual intervention of the user; the improved estimator automatically identifies differentiable parts of a given probabilistic program using our static analysis, and applies the pathwise gradient estimator to the identified parts while using a more general but less efficient estimator, called score estimator, for the rest of the program. Our analysis has a surprisingly subtle soundness argument, partly due to the misbehaviours of some target smoothness properties when viewed from the perspective of program analysis designers. For instance, some smoothness properties, such as partial differentiability and partial continuity, are not preserved by function composition, and this makes it difficult to analyse sequential composition soundly without heavily sacrificing precision. We formulate five assumptions on a target smoothness property, prove the soundness of our analysis under those assumptions, and show that our leading examples satisfy these assumptions. We also show that by using information from our analysis instantiated for differentiability, our improved gradient estimator satisfies an important differentiability requirement and thus computes the correct estimate on average (i.e., returns an unbiased estimate) under a regularity condition. Our experiments with representative probabilistic programs in the Pyro language show that our static analysis is capable of identifying smooth parts of those programs accurately, and making our improved pathwise gradient estimator exploit all the opportunities for high performance in those programs.

Top-Down Synthesis for Library Learning

This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain specific language (DSL). The algorithm builds abstractions directly from initial DSL primitives, using syntactic pattern matching of intermediate abstractions to intelligently prune the search space and guide the algorithm towards abstractions that maximally capture shared structures in the corpus. We present an implementation of the approach in a tool called Stitch and evaluate it against the state-of-the-art deductive library learning algorithm from DreamCoder. Our evaluation shows that Stitch is 3-4 orders of magnitude faster and uses 2 orders of magnitude less memory while maintaining comparable or better library quality (as measured by compressivity). We also demonstrate Stitch’s scalability on corpora containing hundreds of complex programs that are intractable with prior deductive approaches and show empirically that it is robust to terminating the search procedure early—further allowing it to scale to challenging datasets by means of early stopping.