Abstract: Methods and systems for providing concise data for analyzing checker completeness, in the context of formal verification analysis of circuit designs. The methods and systems concisely report information useful to a human user (e.g., circuit designer or verification engineer) for efficiently determining what manual action should be taken next to resolve holes in verification coverage. The reported information can include lists of signals on which checkers can be written, which lists can be ranked, can be limited to a subset of interest signals, and can include corresponding cover items for each reported interest signal. The present systems and methods thereby improve on reporting provided to the user, permitting the user to more quickly advance a formal verification process toward full coverage of the relevant portions of a circuit design.

Abstract: Methods and systems for reducing emissions of an internal combustion engine are described. In one example, an electric heater and a passive NOx absorber or other emissions control device are positioned in a passage downstream of a combustor so as to process emissions from the combustor before an engine is started.

Abstract: A ceiling fan light wiring structure includes a positioning plate with wiring terminals fixed thereon, one end of the wiring terminals is connected to a line passing through a fixing rod, a top of the fixing rod is fixed to a bottom of the positioning plate so that the fixing rod hangs below the positioning plate. A bottom of the fixing rod is connected with a rotation assembly. Blades are connected to a bottom of the rotation assembly, and are equiangularly arranged about the fixing rod. An upper shielding plate is disposed at the top of the fixing rod, the upper shielding plate has a hollow interior and has a height greater than that of the positioning plate. Connection of the line and the motor wiring is achieved through quick plugs, which facilitates the user installing the ceiling fan light by herself or himself and subsequent wiring connection.

Abstract: An engine is provided with a turbo charger including a wastegate valve. A first setpoint of opening of the wastegate valve is set in accordance with a target boost pressure. While a difference between the target boost pressure and a real boost pressure is large, the opening is controlled to a second setpoint, wherein the second setpoint is smaller than the first setpoint. While the opening is controlled to the second setpoint, it is determined whether a condition for limitation is satisfied in which an intake air quantity is above an intake air quantity criterion and an engine rotation speed is above an engine rotation speed criterion. When the condition is satisfied, the opening is controlled in a direction to increase from the second setpoint. The engine rotation speed criterion decreases as the intake air quantity increases. The intake air quantity criterion decreases as the engine rotation speed increases.

Abstract: Operating an engine exhaust aftertreatment system includes receiving fluid pressure data of a reductant pump, determining a pump operating state, and comparing a pump health parameter to a prognostic pump failure criterion based upon the determining a pump operating state. Operating an engine exhaust aftertreatment system further includes outputting a pump health alert based upon a difference between the pump health parameter and the prognostic pump failure criterion. Related control logic is also disclosed.

Abstract: A print system includes at least one multi-function peripheral (MFP) and an administration server that communicates with the MFP via a network. The administration server accepts user-identification information and an instruction to acquire an audit log of an operating user of the MFP, the instruction specifying the operating user as an audit target. In a case where an assigned group of a user corresponding to the user-identification information and an assigned group of the operating user as the audit target match or correspond to each other, the administration server transmits the instruction to the MFP. The MFP stores the audit log and the operating user of the MFP in association with each other, and transmits the audit log of the operating user specified in the received instruction to the server.

Abstract: Device for expanding a fluid, which device (1) comprises an inlet (2) for a high pressure fluid, an outlet (3) for a low pressure fluid, and a control valve (4) between the aforementioned inlet (2) and outlet (3) for expanding the fluid to a predefined pressure level, characterized in that the device (1) is further provided with one or more expanders (5) for expanding the fluid, of which one or more expanders (5) are connected in parallel with the control valve (4), whereby the device (1) is provided with a controller (8) configured to control the expanders (5) based on a flow rate (Qklep) of the fluid through the control valve (4).

Abstract: An illuminating device, an image reading device, and an image forming apparatus. The illuminating device includes a plurality of first light sources arrayed on a circuit board, the first light sources having a plurality of first light emitting surfaces through which light is emitted, and a second light source disposed on an upstream side of the first light sources in an irradiation direction of the light. In the illuminating device, the second light source has a second light emitting surface through which light is emitted, and the second light source has a directivity angle different from a directivity angle of each one of the first light sources. The image reading device includes the illuminating device, and an imaging device to receive the light reflected by a document to capture an image of the document.

Abstract: A one-way airflow dual fan assembly of dismantling ease, comprising a first installation casing and a second installation casing, the first installation casing is aligned with the second installation casing, a flap is respectively fixed in both the first installation casing and the second installation casing, a cover plate is provided in the flap, connection mechanisms are provided between the cover plate and the flap, the flap is connected with the cover plate via the plurality of connection mechanisms, and the connection mechanisms comprise respectively a flexible connection component and a limiting part. By cooperation of the cover plates and the connection mechanisms, by pulling the cover plates, under limiting actions of the second wedges, the first wedges are pressed, the U-shaped connection blocks deform flexibly until the flexible connection components are released, and the cover plates are released from the flaps, so that the cover plates can be disassembled.

Abstract: Disclosed are a quantum topology graph optimization method, apparatus, terminal and storage medium, comprising: obtaining a first quantum topology graph of a target quantum algorithm, determining an intermediate node in the first quantum topology graph, and removing connecting lines between other graph nodes other than the intermediate node so as to obtain a second quantum topology graph without the crossed connecting lines; if not, updating the first quantum topology graph to a third quantum topology graph; determining an optimized sub-graph corresponding to one node to be optimized and composed of N child nodes connected by connecting lines according to a preset way, assigning connecting lines between non-optimized nodes and each child node so as to obtain a fourth quantum topology graph; restoring connecting lines between non-optimized nodes in the fourth quantum topology graph so as to obtain an optimized quantum topology graph.

Abstract: A printing system according to an aspect is a printing system in which a printing apparatus and an information processing apparatus are connected via a network, the information processing apparatus receiving image data from an imaging apparatus that images a user of the printing apparatus and performing authentication processing for the user based on the image data, the printing apparatus including a detecting section configured to detect a human body and a transmitting section configured to transmit detection information by the detecting section. The information processing apparatus includes a receiving section configured to receive the detection information and a control section configured to control, based on the detection information, whether to perform the authentication processing.

Abstract: A method and system for generating a physical layout for a grating coupler integrated in a photonically-enabled circuit are disclosed herein. In some embodiments, the method receives a parametrized wavelength, a parametrized first refractive index, a parametrized second refractive index, a parametrized taper length, a parametrized width, a parametrized grating length, and a parametrized incident angle of the optical beam incident onto the grating coupler and generates a physical layout for the grating coupler based on the received parametrized inputs, the generating of the physical layout is according to a predefined model, and outputs the physical layout of the grating coupler for manufacturing under a semiconductor fabrication process.

Abstract: The present disclosure describes methods for evaluating quality of DEF dosed to an EAS including a close coupled SCR unit a downstream SCR unit. A NOx conversion efficiency of the close coupled SCR unit and a NOx conversion efficiency of the downstream SCR unit are used to evaluate quality of DEF. In some embodiments, the NOx conversion efficiency of close coupled SCR unit is used to evaluate quality of DEF. Operation of an EAS using the results of the evaluation of quality of DEF are described.

Abstract: A suspension device includes: a hydraulic damper including a rod provided with a valve for generating a hydraulic pressure when the rod is displaced between a first liquid chamber and a second liquid chamber; and an electric damper configured to electrically displace the rod by an actuator. The electric damper includes: an outer cylinder; an inner cylinder; a piston provided on the rod and configured to stroke in the inner cylinder; and a communication passage disposed inside the inner cylinder at a central portion where the piston strokes. The communication passage establishes communication between the first liquid chamber at one axial end side of the piston and the second liquid chamber at another axial end side of the piston.

Abstract: A system includes a first heater positioned in or proximate to an exhaust aftertreatment system in exhaust gas-receiving communication with an engine, a second heater positioned downstream of the first heater, and a controller coupled to the first and second heaters. The controller is structured to activate the second heater in response to determining that a compound deposit is likely present.

Abstract: A CPU is configured to executes a filter regeneration process, a firing process, and a stopping process. The CPU is configured to stop rotation of a crankshaft of an internal combustion engine mounted on a vehicle on the condition that the vehicle is decelerating after termination of the firing process in the stopping process.

Abstract: A method of estimating a temperature of a component of a wind turbine is provided, comprising, during a calibration period, receiving measurements of the temperature of the component and of one or more corresponding operational parameter; and calculating, using the measurements coefficients of a model of the temperature of the component. The model relates temperature at a current time to a temperature a preceding time, Tn?1. The model is segregated into separate bins based on wind speed or power generated by the wind turbine. The method further comprises using the model to estimate a temperature of the wind turbine.

Abstract: A computer-aided design (CAD) tool is provided for logic optimization and synthesis. The CAD tool executes a process that involves optimizing power, performance, and area (PPA) of a logic circuit by minimizing a number of CMOS gates, and majority and/or minority gates in the circuit and its depth. The CAD tool implements a methodology of optimizing logic synthesis based on a mix of standard cell libraries (such as AND, OR, NAND, NOR, XOR, Multiplexer, full adder, half adder, etc.) and varying input majority and minority gates (where the number of inputs in the minority and majority gates could vary as odd numbers from 3 and above). The standard cell libraries cells may contain minority and/or majority gates.

Abstract: Systems and methods are disclosed for automated generation of integrated circuit designs and associated data. These allow the design of processors and SoCs by a single, non-expert who understands high-level requirements; allow the en masse exploration of the design-space through the generation processors across the design-space via simulation, or emulation; allow the easy integration of IP cores from multiple third parties into an SoC; allow for delivery of a multi-tenant service for producing processors and SoCs that are customized while also being pre-verified and delivered with a complete set of developer tools, documentation and related outputs. Some embodiments, provide direct delivery, or delivery into a cloud hosting environment, of finished integrated circuits embodying the processors and SoCs.

Abstract: A non-transitory computer-readable medium stores instructions readable and executable by at least one electronic processor (10, 12, 14) to perform a log pattern analysis method (300) by applying a log pattern to log data undergoing analysis comprising log events which are time stamped and which are defined by values for a set of fields. The log data undergoing analysis are stored on a server (30) accessible by the at least one electronic processor via an electronic network (31).