Abstract: A power decentralized electric locomotive apparatus includes an electric locomotive and a plurality of muck trucks. The electric locomotive and the plurality of muck trucks are connected in sequence, and a mater drive motor is fixedly mounted on the electric locomotive. A slave drive motor is fixedly mounted on at least one of the muck trucks; a torque of the slave drive motor is smaller than a torque of the mater drive motor; and the slave drive motor cooperates with the mater drive motor, to enable the muck truck to travel on rails and reduce drive power and self-weight of the electric locomotive.

Abstract: A vinyl-containing copolymer is copolymerized from (a) first compound, (b) second compound, and (c) third compound. (a) First compound is an aromatic compound having a single vinyl group. (b) Second compound is polybutadiene or polybutadiene-styrene having side vinyl groups. (c) Third compound is an acrylate compound. The vinyl-containing copolymer includes 0.003 mol/g to 0.010 mol/g of benzene ring, 0.0005 mol/g to 0.008 mol/g of vinyl group, and 1.2*10?5 mol/g to 2.4*10?4 mol/g of ester group.

Abstract: In one embodiment, one or more computing systems may determine a first set of bins that collectively cover a pre-determined numerical range with each bin covering a sub-range of the pre-determined range. The system may determine a second set of bins that collectively cover the pre-determined range with each covers a different but overlapping sub-range with respect to a corresponding bin in the first bin set. The system may access a value that falls within the pre-determined range. The system may determine that the value falls within a first bin of the first bin set and a second bin of the second bin set. The system may determine a positive value for each the first and second bins. The positive values indicate an association level of the value with the first and second bins. The system may determine a representation of the value based on the positive values.

Abstract: A machine learning model predicts the hardness of unsolved properties. For example, the machine learning model may predict the relative hardness of pairs of properties—i.e., which property in the pair is harder to solve. These hardness predictions may then be used to formulate a priority order for a formal verification process to attempt to solve the unsolved properties. As the formal verification process progresses, it generates results. For example, certain properties may be solved. These results are used to update a training set, which is used to further train the machine learning model. The machine learning model is trained at runtime with incremental fine-tuning as the formal verification process progresses.

Abstract: A method protects a daemon in an operating system of a host computer. The operating system detects that there is an access of a plist file of a daemon by a process in the computer. If so, then it executes a callback function registered for the plist file. The callback function sends to a kernel extension a notification of the attempted access. The kernel extension returns a value to the operating system indicating that the access should be denied. The operating system denies access to the plist file of the daemon by the process. The extension may also notify an application which prompts the user for instruction. The kernel extension also protects itself by executing its exit function when a command is given to unload the extension, and the exit function determines whether or not the command is invoked by an authorized application, such as by checking a flag.

Abstract: A minimally invasive surgical device includes a main body, a buffer assembly and a cutter bit. The main body includes an inner tube and an outer tube, wherein the inner tube is disposed in the outer tube. An end of the buffer assembly is connected to the inner tube. The cutter bit is connected to another end of the buffer assembly, wherein the cutter bit has a cutting portion. When the cutting portion is in contact with an object, the buffer assembly is adapted to enable the cutter bit to move relatively to the inner tube to decrease a cutting force between the cutting portion and the object, and is adapted to enable the cutting portion to be tilted with a surface of the object.

Abstract: The present invention provides an inpatient unit of modular design, built of recycled materials and environmentally friendly materials, allowing reconfiguration, redeployment and quick assembly, preventing indoor air from leaking, applicable to epidemic prevention and treating special patients, with high structural strength, lower cost and good environmental benefit.

Abstract: Provided is an arthroscopic system including an disposable arthroscope having a distal end and a proximal end, and including a light source, a lens set, an image sensor, a transmitter, and a control interface. The arthroscopic system eliminates the possibility of infecting the patient with contaminated devices by its cost-effectively disposable arthroscope. Also provided is a method for image rotating in an arthroscopic system.

Abstract: A method protects a daemon in an operating system of a host computer. The operating system detects that there is an access of a plist file of a daemon by a process in the computer. If so, then it executes a callback function registered for the plist file. The callback function sends to a kernel extension a notification of the attempted access. The kernel extension returns a value to the operating system indicating that the access should be denied. The operating system denies access to the plist file of the daemon by the process. The extension may also notify an application which prompts the user for instruction. The kernel extension also protects itself by executing its exit function when a command is given to unload the extension, and the exit function determines whether or not the command is invoked by an authorized application, such as by checking a flag.

Abstract: A method and system for providing artifacts in a cloud computing environment. In an embodiment, a method includes generating an executable file associated with an artifact to be deployed on a cloud computing system. The method includes creating a directory entry associated with the artifact in an artifact repository. The method includes generating an association between the executable file associated with the artifact and the directory entry associated with the artifact. The method includes generating association between a template associated with the artifact and the directory entry associated with the artifact. The method includes generating an artifact package including the executable file and the template associated with the artifact. The method includes publishing the artifact package associated with the artifact in an application marketplace using the directory entry.

Abstract: A cartilage repair implant, an auxiliary surgical tool kit and a cartilage repair system are provided. The cartilage repair implant includes a body and a plurality of pins. The body is a porous structure and is configured to carry cartilage repair material. The pins are fixed to the body for being inserted into a patient's bone. The auxiliary surgical tool kit includes a positioning sleeve and a click tool. The positioning sleeve has a through passage. A first alignment structure is disposed on the sidewall of the through passage. The click tool includes an outer tube and a push rod. A second alignment structure mutually aligned with the first alignment structure is disposed on the outer wall of the outer tube. The outer tube is configured to pass through the through passage. The push rod is slidably disposed in the outer tube. One end of the outer tube has a shaping blade for slicing a to-be-implanted region on an affected area of the patient.

Abstract: An impeller includes a back cover plate, and vanes and a hub disposed on the back cover plate. The impeller further includes a sealing ring disposed on one end of the impeller away from the back cover plate. A pump using the impeller includes a volute housing and a driving device. The volute housing includes a diffusor chamber, an inlet pipe and an outlet pipe. The impeller is rotatably received in the diffusor chamber and connected to the driving device. A baffle portion is disposed on an end wall in the diffusor chamber adjacent the inlet pipe. The baffle portion engages with the sealing ring to prevent back flow of the fluid. The pump has enhanced fluid delivery efficiency. The back cover plate may further define arc strip-shaped balance holes for reducing an axial force applied to the impeller, such that rotation of the impeller is more stable.

Abstract: Interprocess communication between processes that run on a host operating system of a computer is performed by way of a protected temporary file. File access operation on the temporary file is hooked to detect writing to the temporary file. When a process writes a message to the temporary file, a verification is performed to determine whether or not the process is authorized to access the temporary file. When the process is authorized to access the temporary file, the process is allowed to write the message to the temporary file. This allows another process that is intended to receive the message to read the message from the temporary file and act on the message. Otherwise, when the process is not authorized to access the temporary file, the process is blocked from writing the message to the temporary file.

Abstract: A cartilage repair implant, an auxiliary surgical tool kit and a cartilage repair system are provided. The cartilage repair implant includes a body and a plurality of pins. The body is a porous structure and is configured to carry cartilage repair material. The pins are fixed to the body for being inserted into a patient's bone. The auxiliary surgical tool kit includes a positioning sleeve and a click tool. The positioning sleeve has a through passage. A first alignment structure is disposed on the sidewall of the through passage. The click tool includes an outer tube and a push rod. A second alignment structure mutually aligned with the first alignment structure is disposed on the outer wall of the outer tube. The outer tube is configured to pass through the through passage. The push rod is slidably disposed in the outer tube. One end of the outer tube has a shaping blade for slicing a to-be-implanted region on an affected area of the patient.

Abstract: Methods and systems are provided for processing speech inputs for a controlling one or more vehicle systems of a vehicle. In one embodiment, a method includes: receiving speech input from an audio channel; performing, by a processor, speech recognition on the speech input to obtain recognized results; determining, by a processor, an accuracy level of the audio channel based on a comparison of the recognized results and predictive phraseology; determining, by a processor, an integrity level of the audio channel based on situational awareness information; communicating the recognized results, accuracy level, and the integrity level to a vehicle system; and selectively using the recognized results by the vehicle system based on the accuracy level and the integrity level.

Abstract: A centrifugal blower includes an electric motor, a centrifugal impeller driven by the motor, a diffuser mounted to the motor and disposed between the motor and the centrifugal impeller, and a casing mounted to the diffuser. The centrifugal impeller is received in a chamber defined by the diffuser and the casing. the casing defines an opening facing the inlet of the centrifugal impeller. The diffuser has a plurality of passage walls, and a plurality of diffusing passages, each bounded by neighboring passage walls. The diffuser further has at least one mounting portion connected to one of the passage walls. A cross section of each of the diffusing passages is increased form an outer end to an inner end thereof and no throat is formed in each of the diffusing passages.

Abstract: The present application provides an arthroscopic system, which comprises an disposable arthroscope having a distal end and a proximal end, and comprising a light source, a lens set, an image sensor, a transmitter, and a control interface. The present application eliminates the possibility of infecting the patient with contaminated devices by its cost-effectively disposable arthroscope. The present application also provides a method for image rotating in an arthroscopic system.

Abstract: A liquid pump has a pump housing defining a pump chamber. A motor is accommodated within the pump housing and separated from the pump chamber by an end cap. An impeller disposed within the pump chamber is driven by the motor. The pump chamber has an inlet and one or more outlets. The outlets are located on a sidewall of the pump chamber and extend in a direction substantially tangential to an outer circumference of the pump chamber. Each outlet has a first end near the pump chamber, and a second end remote from the pump chamber. A cross-sectional area S1 of the first end is smaller than a cross-sectional area S2 of the second end, forming a diffuser within the outlet.

Abstract: A minimally invasive surgical device includes a main body, a buffer assembly and a cutter bit. The main body includes an inner tube and an outer tube, wherein the inner tube is disposed in the outer tube. An end of the buffer assembly is connected to the inner tube. The cutter bit is connected to another end of the buffer assembly, wherein the cutter bit has a cutting portion. When the cutting portion is in contact with an object, the buffer assembly is adapted to enable the cutter bit to move relatively to the inner tube to decrease a cutting force between the cutting portion and the object, and is adapted to enable the cutting portion to be tilted with a surface of the object.