Abstract: A photodiode chip, a photodiode, and a method for controlling a wavelength of a photodiode are provided. The photodiode chip sequentially incudes, above a substrate, a grating layer and a ridge waveguide layer. The ridge waveguide layer includes multiple ridge waveguides. Each of the multiple ridge waveguides corresponds to one column of gratings in the multiple columns of gratings below. The grating layer includes multiple columns of gratings. At least two columns of gratings have different grating period pitches.

Abstract: Mechanisms for verifying software on a multi-CPU machine are provided, the mechanisms including: using a hardware processor: reordering, in a shared log, a first local CPU event from a local CPU operating on a shared object to be before at least one first prior oracle query corresponding to a prior event from another CPU based on whether the first local CPU event can be reordered with respect to the prior event without changing the multi-CPU machine's behavior with respect to the shared object; merging first consecutive oracle queries including the at least one first prior oracle query in the shared log; and verifying the software based on the merged first consecutive oracle queries.

Abstract: The present disclosure relates to vehicle positioning methods, apparatus, controllers, intelligent vehicles, and systems. One example vehicle positioning method includes obtaining a first relative pose between a first vehicle and a help providing object, obtaining a global pose of the help providing object, and calculating a global pose of the first vehicle based on the first relative pose and the global pose.

Abstract: Systems comprising: a memory; and a hardware processor and configured to: execute a hypervisor having a first portion and a second portion, wherein the first portion of the hypervisor executes at a first exception level that allows the first portion to access data of a virtual machine in the hardware processor and the memory, and wherein the second portion of the hypervisor executes at a second exception level that prevents the second portion from accessing the data of the virtual machine in the hardware processor and the memory. Methods comprising: executing a first portion of a hypervisor at a first exception level that allows the first portion to access data of a virtual machine in a hardware processor and memory; and executing a second portion of a hypervisor at a second exception level that prevents the second portion from accessing the data in the hardware processor and the memory.

Abstract: The present invention discloses primers, probes, a kit and a method for detecting Enterocytozoon hepatopenaei (EHP) pathogens of Litopenaeus vannamei. A PCR reaction system adopted in the method includes: a forward primer having a nucleotide sequence as shown in SEQ ID NO: 1, a reverse primer having a nucleotide sequence as shown in SEQ ID NO: 2, a forward primer having a nucleotide sequence as shown in SEQ ID NO: 4, a reverse primer having a nucleotide sequence as shown in SEQ ID NO: 5, a probe having a nucleotide sequence as shown in SEQ ID NO: 3, and a probe having a nucleotide sequence as shown in SEQ ID NO: 6. The method can perform duplex quantitative fluorescence PCR, an internal reference and a sample to be detected are put in the same reaction, thereby eliminating unstable factors of two reactions and improving the reliability of the result.