Operational Software Research Articles

Preserving Secondary Knowledge

Emulation and migration are still our main tools for digital curation and preservation practice. Both strategies have been discussed extensively and have been demonstrated to be effective and applicable in various scenarios. Discussions have primarily centered on technical feasibility, workflow integration, and usability. However, there remains one important aspect when discussing these two techniques: managing and preserving operational knowledge. Both approaches require specialized knowledge but especially emulation requires future users to also have a great variety of knowledge about past software and computer systems for successful operation. We investigate how this knowledge can be stored and utilized, and to what extent it can be rendered machine-actionable, using modern large language models. We demonstrate a proof-of-concept implementation that operates an emulated software environment through natural language.

P-102 Incorporation of an automated sperm counting method: a matter of time

Abstract Study question Is a fully-automated system a faster and reliable sperm counting method? Summary answer A fully-automated sperm counting system is a reliable tool that significantly reduces time spent for semen evaluation. What is known already The emergence of automated tools in our everyday life is a reality. Fully-automated systems for the evaluation of seminal samples are available for the andrology laboratories. The expected advantages of such analysers would be a higher reliability and reproducibility of results, with lower inter and intra-individual variability. Although there are few published validation studies, available data have evidenced that results obtained with these methods are, in general, consistent with those obtained with manual/conventional analysis. Moreover, automatic sperm assessment could be useful in reducing the time spent for analysis. However, no data have been published in this regard. Study design, size, duration Observational retrospective study of 220 semen samples analyzed in 2022. Every sample was analyzed using three different methodologies: manual analysis, semi-automated and fully-automated. Manual assessment was performed by senior embryologists undergoing periodical quality control evaluations and included counting with improved Neubauer chamber, motility assessment with slide with phase-contrast optics, and morphology analysis by Diff-Quick stain. The semi-automated analysis was performed by SCATM plus manual morphology assessment. The fully-automated analysis was exclusively performed by SQA-VisionTM. Participants/materials, setting, methods Male patients consulting for infertility and undergoing a spermiogram in a single centre. The sperm parameters evaluated for correlation study among methodologies were: total sperm, motile sperm and progressive sperm concentrations (106 per ml), and morphologically normal forms (%). Duration of analysis (sperm count + motility + morphology) using each method was recorded and compared. Intraclass correlation coefficient (ICC[95%CI]) was used to compare agreement between methodologies and Wilcoxon’s test was used for time (median (p25-p75)). Main results and the role of chance The observed correlation between the three methodologies was moderate (ICC=0.5-0.79) to high (ICC >0.8) for all parameters analysed. Concerning total sperm concentration, both fully and semi-automated systems showed a high correlation with manual assessment (ICC=0.93 (0.90-0.95) fully-automated vs manual; ICC=0.83 (0.73-0.89) semi-automated vs manual, respectively). Concerning motile sperm concentration and progressive motile sperm concentration, both fully and semi-automated systems showed a high or moderate correlation with manual assessment (ICC =0.86 (0.77-0.91) and ICC=0.87 (0.76-0.92) fully-automated vs manual; ICC=0.54 (0.27-0.70) and ICC=0.62 (0.39-0.76) semi-automated vs manual, respectively). In terms of normal forms, fully-automated showed a moderate correlation with manual assessment (ICC=0.69 (0.57-0.78)). Regarding time spent for analysis, both fully and semi-automated analysers showed to be faster than manual method (p < 0.001) (1343 (1199-1472) seconds faster fully-automated vs manual and 608 (429-769) seconds faster semi-automated vs manual). Comparing time spent for analysis between the fully and the semi-automated systems, fully-automated was 707 (610-784) seconds faster (p < 0.001) than the semi-automated. Limitations, reasons for caution Retrospective study. SCATM is a semi-automated operator-dependent system based on image analysis and its accuracy relies on the number of sperm analysed and the operators’ ability in reviewing images. SQA-VisionTM is fully-automated, based on electro-optical signal analysing millions of sperm. Therefore, conclusions may not apply to other software operators. Wider implications of the findings Fully-automated systems for sperm assessment can be reliably introduced in andrology laboratories offering a dramatic reduction in the time spent for analysis. However, such analysers may only be cost-efficient in centres with a very high activity. Trial registration number not applicable

Development of novel intrusion detection in Internet of Things using improved dart game optimizer‐derived optimal cascaded ensemble learning

AbstractBackground of the StudyInternet of things (IoT) industry has accelerated its development with the support of advanced information technology and economic expansion. A complete industrial foundation includes software, chips, electronic components, IoT services, integrated systems, machinery, and telecom operators, which the gradual improvement in the IoT industry system has formulated. As the exponential growth of IoT devices increases, the attack surface available to cybercriminals enables them to carry out potentially more damaging operations. As a result, the security sector has witnessed a rise in cyberattacks. Hackers use several methods to copy and modify the information in the IoT environment. Machine learning techniques are used by the intrusion detection (ID) model to determine and categorize attacks in IoT networks.ObjectivesThus, this study explores the ID system with the heuristic‐assisted deep learning approaches for effectively detect the attacks in the IoT. At first, the IoT data are garnered in benchmark resources. Then, the gathered data is preprocessed to perform data cleaning. Next, the data is transformed and fed to the feature extraction stage. The feature extraction is performed with the help of one‐dimensional convolutional neural network (1D‐CNN), where the features are extracted from the target‐based pooling layer. Then, these attained deep features are fed to the ID phase, where the cascaded ensemble learning (CEL) approach is adopted for detecting the intrusions. Here, the hyperparameter tuning is done with a new suggested improved darts game optimizer (IDGO) algorithm. Here, the main objective of the developed algorithm helps to maximize accuracy in ID.FindingsThroughout the experimental findings, the developed model provides 86% of accuracy. Thus, the finding of the developed model shows less detecting time and higher detection efficiency.

A dataset of statistics of egg breeding farms in China from 1998 to 2020

Historical statistics of egg breeding farms are important for future market regulation and advancing the high-quality development of the egg industry. This dataset uses data from the China Animal Husbandry and Veterinary Yearbook(China Animal Industry Yearbook) to compile and organize statistical data of egg breeding farms from 1998 to 2020. The data have processed using Excel software for organization, summarization, review, and other necessary operations. Following the basic principles of completeness and consistency, the data underwent processing and quality checks. Furthermore, multiple linear regression analysis was then conducted using SPSS software to address missing data. In this way, we obtained a dataset of statistics of egg breeding farms in China from 1998 to 2020. The dataset comprises three data files, involving statistics on the number, year-end stock, and slaughter volume of breeder farms, grandparent and above egg farms, and parent egg farms in 31 provinces (autonomous regions and municipalities directly under the central government) across China, with a total of 61 data items. This data set can provide data support for the regional distribution of breeder farms, forecasting the trends in the egg industry, and formulating research on production planning and industrial layout strategies.

Having Difficulty Understanding Manuals? Automatically Converting User Manuals into Instructional Videos

While users tend to perceive instructional videos as an experience rather than a lesson with a set of instructions, instructional videos are more effective and appealing than textual user manuals and eliminate the ambiguity in text-based descriptions. However, most software vendors only offer document manuals that describe how to install and use their software, leading burden for non-professionals to comprehend the instructions. In this paper, we present a framework called M2V to generate instructional videos automatically based on the provided instructions and images in user manuals. M2V is a two-step framework. First, an action sequence is extracted from the given user manual via natural language processing and computer vision techniques. Second, M2V operates the software sequentially based on the extracted actions; meanwhile, the operation procedure is recorded into an instructional video. We evaluate the usability of automatically generated instructional videos via user studies and an online survey. The evaluation results show, with our toolkit, the generated instructional videos can better assist non-professional end users with the software operations. Moreover, more than 85% of survey participants prefer to use the instructional videos rather than the original user manuals.

Utilization of Hotspot Network Bandwidth Management at SMK Muhammadiyah Parkan

Mikrotik is a routing activity using Wireless Local Area Network (W-LAN) technology. Mikrotik is an operating system and software used to function a computer as a router. The model used in this study refers to the PPDIOO type development model with 6 stages, namely Prepare, Plan, Design, Implement, Operate, and Optimize. Validity tests and effectiveness tests include the product being able to run optimally and successfully improving the quality of existing network bandwidth. Data collection instruments used interviews and observation. Data collection was carried out in November 2022 at Muhammadiyah Parakan Vocational School. The results of the material expert validity test were 92%, the media expert validity test was 80%, the teacher response effectiveness test was 80% and the student effectiveness test was 88%

Проблемы признания правосубъектности искусственного интеллекта и ответственности за принятые решения в трудовых отношениях

The paper outlines the ways of solving the formed and foreseeable problems in the legal regulation of labour relations using artificial intelligence. It is concluded that artificial intelligence cannot have legal personality in labour relations. It is proposed to fix in labour legislation the presumption of employer's responsibility for the decisions made by artificial intelligence, as well as to oblige employers and software developers to certify the protocols of digital security of software operating on the basis of artificial intelligence technologies.

Обеспечение функционирования графических GLX приложений на промышленном оборудовании с использованием API EGL

This paper discusses the operation of engineering software on systems with graphics adapter drivers that provide limited to no support for certain graphics subsystems of Linux OS. The paper demonstrates that software with GLX API-based visualization subsystem needs modification to be ported to the embedded systems using graphics accelerators with drivers that support only the EGL API. The purpose of the study is to develop approaches for enabling the operation of software on industrial equipment and utilizing the GLX API via the EGL API of the Linux-based graphics subsystem. The paper discussed the method for translating GLX API calls to the EGL API and its applicability. A new algorithm has been developed for organizing interaction between user applications and the Linux OS graphics subsystem, which allows running applications with the GLX API in the absence of DRI support by the graphics accelerator driver. The correctness of the algorithm’s operation has been tested and compared with the results of the tests of open drivers with DRI2 support. The findings will make it possible to reduce the resources needed to support individual graphics driver subsystems and make a smooth transition to using the EGL API in the embedded systems.

Applications of Data Mining in Software Engineering: Techniques, Trends, and Case Studies

Data mining, the process of discovering patterns and knowledge from large quantities of data, has come a vital tool in software engineering, transubstantiating colorful aspects of the field through its advanced logical capabilities. This paper explores the different operations of data mining ways in software engineering, pressing their impact on perfecting software quality, effectiveness, and operation. We give a comprehensive overview of crucial data mining styles, including bracket, clustering, association rule mining, anomaly discovery, and textbook mining, and their specific operations within software disfigurement vaticination, quality assurance, conservation, design operation, and security. Through an analysis of contemporary case studies and empirical data, this paper illustrates how data mining ways have been effectively employed to prognosticate disfigurement-prone areas in software, optimize testing processes, and enhance design estimation and monitoring. Also, we address the challenges and limitations encountered in enforcing data mining results and bandy arising trends similar as the integration of data mining with machine literacy and artificial intelligence.

APPROVAL OF FORMATION OF PROFESSIONAL COMPETENCE OF FUTURE OPERATORS IN INFORMATION PROCESSING AND SOFTWARE

The article is devoted to the problem of researching the effectiveness of the process of forming the professional competence of future information processing and software operators in the process of professional training. It was found that the system of training future specialists in the process of professional training is aimed at ensuring their readiness for professional activity, taking into account all components of the educational process of the educational institution. It was clarified that the important factors of the problem of the formation of professional competence of future specialists in the process of professional training are inadequate readiness for professional activity and the appropriate level of their professional competence for such activity. It was revealed that the process of formation of professional competence of individuals for professional activity is influenced by the following factors: transformation of the content of training of future operators in information processing and software in professional (vocational and technical) education institutions; the prestige of the profession and its social significance; professional development and development of the personality of future specialists; acquisition of practical experience by students of education regarding the implementation of innovative technologies and project activities; purposeful mastery of professional skill and specialty; the formation of a culture of mastery and the readiness of qualified specialists for professional activity. It is specified that the formation of professional competence of future specialists in the process of professional training is oriented towards: purposeful formation of a complete system of professional competences in the process of professional training; development of motivational potential; enrichment of the development of individual and professional qualities, formation of self-assertion, improvement of personal and professional assets, acquisition of one's own style of work; accumulation of experience in professional skills for effective performance of professional activities, improvement of professional abilities and skills for further self-actualization, self-improvement of professional activities, development of quick adaptation to full-fledged future activities; improvement of assets of creative and scientific research, enabling professional self-development in professional activity. The study of the continuity of the development of future specialists to professional activity requires further development.

An efficient finite element mesh generation methodology based on μCT images of multi-layer woven composites

High-fidelity models are essential for accurate finite element (FE) simulations of composite material behavior. This paper proposes an efficient meshing methodology based on micro-Computed Tomography (μCT) images. U-Net convolutional neural network was used for image segmentation. Connected yarns were then separated using an improved procedure based on watershed algorithm and geometric transformations. The proposed Constrained Delaunay-Advancing Front Technique (CD-AFT) surface reconstruction algorithm extracts point cloud of yarns from segmented images and outputs high-quality and smooth orientable manifold watertight triangulated surface. Intersecting meshes of yarns are separated through node position detection and Laplacian moving. Experimental results show that proposed methodology is capable of accomplishing mesh generation for different mesh sizes. Compared with commercial software, it has obvious advantages in mesh quality and size control. Since the proposed method operates independently of commercial software and manual operation, it facilitates the automated generation of numerous high-fidelity models from μCT images for FE simulations.

Challenges Related to Grammatical and Morphological Processing of Arabic Texts by Means of Artificial Intelligence

This research aims to study the challenges facing artificial intelligence in processing Arabic texts grammatically and morphologically, by conducting a survey on a random sample of Microsoft Word 2010 users. The research provided a theoretical framework for the subject of the study, as it addressed the concept of artificial intelligence, as well as the general challenges facing artificial intelligence and some challenges specific to processing Arabic texts. The research relied on the descriptive approach, and this helped highlight the importance of the study and provide a comprehensive vision of its subject. The study concluded a set of results, the most important of which are: - There are many challenges facing users in processing Arabic texts grammatically and morphologically, such as derivation, morphology, and the breadth and comprehensiveness of the Arabic language. - The inability of artificial intelligence so far to reach a high degree of quality and efficiency in processing Arabic texts grammatically and morphologically. - The possibility of processing the Arabic language in the future by adding some software operations that help develop the machine’s capabilities to understand the Arabic language and the ability to express it effectively, through the use of new artificial intelligence methods, such as deep learning and machine learning. The study recommended a number of important recommendations, which are: - Microsoft Word is constantly updated by Microsoft, in order to ensure the quality and efficiency of the program in processing Arabic texts grammatically and morphologically. - Encouraging students and researchers to conduct more scientific research in the field of automated processing of linguistic texts, in order to enhance the progress and development of this vital field.

Electronic Sales Partnership Network Management Information System Model Of In Multi-Level Marketing

Advertising is a commercial activity that has found its place in our lives since the earliest known periods of trade. The impact of developing technologies has led to changes in advertising techniques and media. An important part of trade has recently moved online. Similarly, advertising activities have also moved online. Advertising activities to be carried out online have superior and weak sides. One of the marketing methods adopted and accepted by businesses today is multi-level marketing. Another working method adopted by businesses is the sales revenue partnership system. Within the scope of our research, we have tried to put forward a working model that brings together the superior aspects of multi-level marketing and sales revenue partnership system organization. On the one hand, it is aimed to create a management information system model that accepts the advertising campaigns organized by advertisers and acts as an affiliate system, and on the other hand, it is aimed to create a management information system model for promoting these campaigns quickly and reliably on the internet through publishers who have come together with the multi-level marketing organization. The question "How can a management information system be designed for this type of working model?" was adopted as the main problem of the research and a literature review was conducted in this direction. Leading global and local companies adopting both working models were analyzed in terms of structure and terms used. With the information gathered, an application software based on the theoretical model was developed and tested in terms of all stakeholders and workflows. In cases where the objectives of the theoretical model could not be achieved, the model was revised and workflow problems were eliminated. After the successful operation of the application software, concrete results were presented on how this new working model should be managed as a management information system. Suggestions are presented for the superior aspects of the new model, as well as the points that may create vulnerabilities.

A study of the electric circuit modelling and simulation software efficiency and their accuracy, speed and ease of use comparison

The increasing complexity of microchips and the limitations of miniaturisation are making the electronics design process more complex and time-consuming. The problem of Moore’s Law losing its force is causing rapid development in the design and manufacture of electronic components. The study aimed to provide structured information on electrical circuit design tools by functionality and availability to help optimise operations, increase productivity and save money. The study provided a theoretical description of the principles of operation of software for modelling and simulation of electrical circuits, an overview of algorithms and methods used in automatic design programs, a classification of programs by key characteristics and a comparative analysis of popular software packages: LTspice, EAGLE, MATLAB/Simulink, Multisim, Proteus, KiCad. The analysis addressed the speed of modelling, accuracy of results, ease of use, functionality and accessibility, as well as user experience. The study recommended selecting software depending on the user’s needs, project complexity and budget, accounting for the experience of other users. LTspice, Multisim, and KiCad were recommended for beginners and students: LTspice is powerful, free and easy to use, KiCad offers open source and an active community, and Multisim is suitable for learning. MATLAB/Simulink, Proteus and EAGLE are recommended for professionals: Simulink provides powerful modelling and integration with other MathWorks products; Proteus is optimal for microcontroller system developers; EAGLE is suitable for integration with CAD and automation systems. The practical value of the research results lies in the creation of a rating of EDA software by the criteria of functionality and performance, designed to help users make a choice based on their needs

Using Symmetries to Lift Satisfiability Checking

We analyze how symmetries can be used to compress structures (also known as interpretations) onto a smaller domain without loss of information. This analysis suggests the possibility to solve satisfiability problems in the compressed domain for better performance. Thus, we propose a 2-step novel method: (i) the sentence to be satisfied is automatically translated into an equisatisfiable sentence over a ``lifted'' vocabulary that allows domain compression; (ii) satisfiability of the lifted sentence is checked by growing the (initially unknown) compressed domain until a satisfying structure is found. The key issue is to ensure that this satisfying structure can always be expanded into an uncompressed structure that satisfies the original sentence to be satisfied. We present an adequate translation for sentences in typed first-order logic extended with aggregates. Our experimental evaluation shows large speedups for generative configuration problems. The method also has applications in the verification of software operating on complex data structures. Our results justify further research in automatic translation of sentences for symmetry reduction.

Electrophysiological Recording from a "Model" Cell.

The muscle cell or neuron membrane is functionally equivalent to a resistor-capacitor (RC) circuit with the membrane resistance and capacitor in parallel. Once inserted inside the membrane, an electrode introduces a serial resistance and small capacitance to the RC circuit. Through a narrow opening at its tip (∼0.1-μm), current can pass through the electrode, into the cell, and back to the outside (ground) across the membrane to complete the circuit. This arrangement enables a voltage difference between the outside and inside of the cell membrane to be recorded. To determine cell membrane properties, a current can be injected into the cell through the electrode. One complication with this approach, however, is that the voltage difference measured with the electrode includes the voltage drop across the cell membrane and that across the electrode. Furthermore, a small amount of current is drawn by the electrode capacitor, thereby slowing the current flow across the membrane. Fortunately, most amplifiers are equipped with bridge balance and capacitance compensation functions so that the effects of the electrode on cell membrane properties can be canceled out or minimized. This protocol describes the basics of setting up and conducting electrophysiological experiments using a model cell. For the novice, a model cell provides a way to learn the operation of electrophysiology equipment and software without the anxiety of damaging living cells. This protocol also illustrates passive membrane properties such as the input resistance, capacitance, and time constant.

An open-source FACS automation system for high-throughput cell biology.

Recent advances in gene editing are enabling the engineering of cells with an unprecedented level of scale. To capitalize on this opportunity, new methods are needed to accelerate the different steps required to manufacture and handle engineered cells. Here, we describe the development of an integrated software and hardware platform to automate Fluorescence-Activated Cell Sorting (FACS), a central step for the selection of cells displaying desired molecular attributes. Sorting large numbers of samples is laborious, and, to date, no automated system exists to sequentially manage FACS samples, likely owing to the need to tailor sorting conditions ("gating") to each individual sample. Our platform is built around a commercial instrument and integrates the handling and transfer of samples to and from the instrument, autonomous control of the instrument's software, and the algorithmic generation of sorting gates, resulting in walkaway functionality. Automation eliminates operator errors, standardizes gating conditions by eliminating operator-to-operator variations, and reduces hands-on labor by 93%. Moreover, our strategy for automating the operation of a commercial instrument control software in the absence of an Application Program Interface (API) exemplifies a universal solution for other instruments that lack an API. Our software and hardware designs are fully open-source and include step-by-step build documentation to contribute to a growing open ecosystem of tools for high-throughput cell biology.

A modular and multi-functional purification strategy that enables a common framework for manufacturing scale integrated and continuous biomanufacturing.

Biopharmaceutical manufacture is transitioning from batch to integrated and continuous biomanufacturing (ICB). The common framework for most ICB, potentially enables a global biomanufacturing ecosystem utilizing modular and multi-function manufacturing equipment. Integrating unit operation hardware and software from multiple suppliers, complex supply chains enabled by multiple customized single-use flow paths, and large volume buffer production/storage make this ICB vision difficult to achieve with commercially available manufacturing equipment. Thus, we developed SymphonX™, a downstream processing skid with advanced buffer management capabilities, a single disposable generic flow path design that provides plug-and-play flexibility across all downstream unit operations and a single interface to reduce operational risk. Designed for multi-product and multi-process cGMP facilities, SymphonX™ can perform stand-alone batch processing or ICB. This study utilized an Apollo™ X CHO-DG44 mAb-expressing cell line in a steady-state perfusion bioreactor, harvesting product continuously with a cell retention device and connected SymphonX™ purification skids. The downstream process used the same chemistry (resins, buffer composition, membrane composition) as our historical batch processing platform, with SymphonX™ in-line conditioning and buffer concentrates. We used surge vessels between unit operations, single-column chromatography (protein A, cation and anion exchange) and two-tank batch virus inactivation. After the first polishing step (cation exchange), we continuously pooled product for 6 days. These 6 day pools were processed in batch-mode from anion exchange to bulk drug substance. This manufacturing scale proof-of-concept ICB produced 0.54 kg/day of drug substance with consistent product quality attributes and demonstrated successful bioburden control for unit-operations undergoing continuous operation.

Analysis Of Different Types of Digital Audio Workstations

With the development of technology, digital audio workstation (DAW) has become a must-have tool for modern music production, which allows music producers to edit, record, mix and add effects on the computer to create music works of various styles and qualities. This paper mainly introduces the definition, purpose, function, type and development of DAW, and how to choose the appropriate DAW according to individual needs. This article compares and analyzes three commonly used DAWs (Apple Logic Pro X, Cubase 12, Ableton Live Lite 11) from the aspects of personal budget, user experience, software operating system compatibility, long-term development, and whether live performances are needed. Their advantages, disadvantages and application range are pointed out. This paper also points out some limitations of DAW, (e.g., the requirements of hardware and software conditions, the difficulty of learning and mastering, the problems of music creation), and looks forward to the future development direction of DAW (the improvement of user experience and personalization, the utilization of cloud computing and artificial intelligence, and the integration of other fields and media). These results can help independent music producers to understand the basic situation and selection criteria of DAW, so as to better use DAW to create and express their own music ideas, and provide some reference and inspiration for further improvement and innovation of DAW.

Rapid generation of high-quality structure figures for publication with PyMOL-PUB.

The advancement of structural biology has increased the requirements for researchers to quickly and efficiently visualize molecular structures in silico. Meanwhile, it is also time-consuming for structural biologists to create publication-standard figures, as no useful tools can directly generate figures from structure data. Although manual editing can ensure that figures meet the standards required for publication, it requires a deep understanding of software operations and/or program call commands. Therefore, providing interfaces based on established software instead of manual editing becomes a significant necessity. We developed PyMOL-PUB, based on the original design of PyMOL, to effectively create publication-quality figures from molecular structure data. It provides functions including structural alignment methods, functional coloring schemes, conformation adjustments, and layout plotting strategies. These functions allow users to easily generate high-quality figures, demonstrate structural differences, illustrate inter-molecular interactions, and predict performances of biomacromolecules. Our tool is publicly available at https://github.com/BGI-SynBio/PyMOL-PUB.