Recently, I read a research paper called TransRepair: Automatic Testing and Improvement of Machine Translation. The paper describes a methodology called TransRepair for automated testing of machine translation models under the software testing domain. Below, I will summarize the paper in several ways and discuss the key points. Introduction to TransRepair TransRepair is a method for automatically detecting and fixing conformance problems in machine translation software. It provides both black-box and gray-box approaches to address machine translation software conformance issues.The main steps of TransRepair include generating test cases, creating test guidelines, and automating the repair process. The method provides clear, rigorous and detailed algorithms for test case generation and uses four methods for quantifying sentence differences for comparison. In addition, TransRepair utilizes the principle of structural consistency as an assertion and provides a comprehensive experimental design and diverse results. ...

I have previously read the paper Structure-Invariant Testing for Machine Translation, which proposes a method for detecting the robustness problem of machine translation software systems. Below I will detail my understanding of its contents from several aspects. thrust SIT is a method for detecting robustness problems in machine translation software systems. This method utilizes a metamorphosis relation in a metamorphosis test, i.e., “structural invariance”. By selecting original sentences, generating similar sentences, obtaining results from translation software, performing constituent parsing and quantifying sentence differences, and filtering and detecting problems according to a set threshold, SIT can efficiently detect robustness problems in machine translation software systems. According to the experimental results, SIT can process 2k+ sentences in 19 seconds and achieves 70% accuracy for Google/Bing Translate. However, there is still room for improvement, probably due to the threshold selection. ...

rocessor interrupt handling is one of the must-have knowledge in computer architecture. Under Intel’s x86 processor, interrupts can be categorized as external interrupts, exceptions, and traps. External interrupts come from the hardware and occur randomly, while exceptions are the result of error conditions detected during the execution of instructions within the processor. Traps, on the other hand, are generated by the program and are usually triggered by instructions such as INT n, INTO, and so on. ...

Memory management is a very important part of the operating system. With the continuous development of computer technology, the way of memory management is also evolving. In this article, we will introduce several common memory management methods for the Intel 64 system. Flat-page memory management is a relatively simple way of memory management. It uses page-based management to mask out segment-based management. Specifically, it maps logical addresses directly to linear addresses, defines a code segment and a data segment, and the size of both segments is 4 GB. The advantage of this approach is that it is simple and easy to understand, but its disadvantage is that it does not allow for multi-process memory isolation. ...

In segment-page memory management, the linear address of a segment is divided into linear pages of equal size (4KB, 4MB or 2MB, etc.). Physical memory space is also divided into physical pages of equal size. The operating system maintains a page table to manage the mapping of linear pages to physical pages. The page table is divided into two levels in the IA-32 architecture, the page catalog and the page table. ...

The IA-32 system provides a segmented page-based memory management mechanism, with segmentation followed by paging. Page-based is provided to support virtual memory. Segment: The processor’s addressable linear memory space is divided into segments of varying sizes. A segment is a contiguous interval in the linear address space. Segments can hold code, data, stacks, or other data structures. The attribute information of a segment is described by its corresponding segment descriptor. A segment descriptor is a data structure that Intel manages using a segment descriptor table. The segment descriptor table can be up to 64KB. ...

Memory is the storage space that can be directly accessed by the processor. To speed up memory access, computer systems usually provide some cache, which is usually managed by hardware. I/O devices consist of I/O controllers and physical devices, and the processor manages the physical devices through the I/O controllers.The I/O controllers are mainly composed of control and status registers (CSRs) and data registers. The processor reads CSRs to obtain device status, writes CSRs to control device actions, and reads and writes data registers to exchange data. The kernel usually abstracts I/O devices into a set of registers and gives an I/O address to a register. The processor accesses the I/O registers through the I/O address. ...

When installing the zsh plugin zsh-autosuggestions or zsh-syntax-highlighting, we generally encounter the problem of oh-my-zsh plugin ‘xxx’ not found. Now, we analyze and solve the oh-my-zsh plugin ‘zsh-autosuggestions’ not found and plugin ‘zsh-syntax-highlighting’ not found problems. The reason for the problem is that the code repository of the plug-in has not been cloned to the local location, so the plug-in you want is not actually installed. Solving the problem is very simple, just simply enter the following command: ...

Introduction I have an 8G TF card with Openwrt installed on it, and the capacity of the root partition is not enough to meet my usage needs. So I started to expand the size of the root partition. The file system format of the root partition is Ext4. First, I tried to use DiskGenius and other Windows tools to expand the capacity, but unfortunately, none of them worked. So, we are going to use Gparted to expand it. Since the tool needs to run in a Linux environment, I didn’t really want to install a Linux distribution virtual machine for this purpose, so I used Gparted’s lightweight ISO image with Virtual Box virtual machine. ...