摘要:
A verification support device supports logic verification of a design object corresponding to modified sequence diagrams obtained by modifying sequence diagrams expressing processes of a design object in a chronological order. A diagram extracting unit extracts the modified sequence diagrams. A modified process detecting unit detects modified processes by comparing the sequence diagrams before modification and the sequence diagrams after modification. Based on the modified processes, an applicability determining unit determines whether test benches used for a regression test of the design object of the sequence diagrams before modification is applicable to a regression test of the design object of the sequence diagrams after modification. A test bench output unit outputs test benches based on a result of determination by the applicability determining unit.
摘要:
Pseudo-positive data can be reduced by incubating a solution containing an enzyme in the absence of a test substance and a substrate of the enzyme.
摘要:
The recyclable single-sheet mailer is a single sheet of predominantly opaque paper stock having a front face, a rear face, top and bottom edges, and a transparent and seamless addressee window area defined thereon. All printed content is applied to the rear face of the mailer. The mailer has a plurality of transverse fold lines formed parallel to the top and bottom edges, dividing the sheet into a plurality of panels configurable as either a one-way mailer or as mailer with a business or courtesy reply envelope. Furthermore, a two-dimensional barcode containing addressee specific account information may be printed on the reply envelope to facilitate handling. Finally, addressee information, including bar-coded POSTNET data, may be printed in mirror image within the transparent window area, facilitating correct barcode scanning.
摘要:
An exhaust gas purification system of internal combustion engine having a branch pipe coupled to the exhaust pipe through a flange and having a first cylindrical case constituting a bypass exhaust gas passage and a second cylindrical case constituting a main exhaust gas passage, whose flow are switched by a switch-over valve by selectively connecting the exhaust pipe to the main exhaust gas passage or the bypass exhaust gas passage, and an adsorbent installed in the bypass exhaust gas passage for adsorbing unburned components of the exhaust gas. The unburned exhaust gas components are recirculated to the air intake system through an EGR pipe. In the system, an inlet of the EGR pipe is formed integrally with the branch pipe flange, thereby enabling to prevent increase in fabrication step and cost and further to facilitate maintenance. Moreover, the first cylindrical case is made displace relative to the second cylindrical case. This can prevent the deformation due to the thermal stress which could occur when they are different in temperature.
摘要:
A plurality of trays are arranged in a disk package disposed in a disk device, and disks of different types are placed on the trays, respectively. A first lock mechanism for locking all the trays is arranged in the package, and a locking operation of this lock mechanism can be released by a manual operation. A second lock mechanism is designed to be able to lock only a tray on which a RAM disk or the like is placed and to prevent the RAM disk or the like from being removed. However, when an projection portion of the tray is deformed, the tray can be removed.
摘要:
An ultrasound probe with a needle guide passage for a puncture needle, the ultrasound probe having an ultrasound transducer mounted on a girder portion of a rigid fore end section at the distal end of a flexible insert section of a catheter member to be introduced into an intracavitary portion, and a needle passage provided axially within the catheter member for launching the puncture needle therethrough. The needle passage is turned toward an exit opened on a lateral side portion of the rigid fore end section at a position on the near side of the ultrasound transducer. The rigid fore end section of the catheter member is provided with a bent portion which is turned off the axis of the catheter member through a predetermined angle in a direction away from a needle launching direction of the needle passage at a position on the near side of the exit opening of the needle passage.
摘要:
An optical recording medium comprising practically a naphthalocyanine dye represented by the following general formula (I): ##STR1## wherein M means a metal, metal oxide or metal halide, and --OR.sub.1, --OR.sub.2, --OR.sub.3 and --OR.sub.4 are the same or different and denote ether groups respectively having R.sub.1, R.sub.2, R.sub.3 and R.sub.4 each of which is a saturated or unsaturated hydrocarbon group having 4-12 carbon atoms.
摘要:
Difficult flushing of a very narrow gap between a first member having a bore with a closed end and a second member inserted and fixed in the bore can be easily achieved by connecting the gap with a container filled with a pressurized flushing liquid and locally heating the closed end of the gap. Preferably, while locally heating the blocked end of the gap the pressure of the pressurized liquid is reduced to cause the liquid to boil, and if necessary, the pressurizing and pressure reduction are repeated to enhance the flushing effect.
摘要:
An image forming apparatus includes a sheet feed unit which feeds a sheet to an image forming unit forming an image on the sheet, a re-transport roller which reverses the sheet with a toner image fixed on the sheet and re-transports the sheet to the image forming unit, and a control unit which controls a sheet feed operation of the sheet feed unit for feeding the sheet. As the temperature of the re-transport roller sensed by the temperature sensing unit is decreased, the control unit retards the timing at which the sheet feed unit starts the sheet feed operation when a duplex image formation in which the image is formed on both sides of the sheet is performed after a one-side image formation is completed.
摘要:
A friction couple including a frictionally rubbing member that contains at least one of a binder and a filler, in which the binder and the filler have a modulus of elasticity of 1 GPa or higher and 15 GPa or lower, no softening point or no glass transition point in the range of −50° C. or higher and 200° C. or lower, and a compressive strength of 50 MPa or higher at 25° C. and 25 MPa or higher at 200° C.; and a frictionally rubbed member. The ratio of the maximum value tan δ(Max) to the minimum value tan δ(Min) of the loss tangent tan δ of the frictionally rubbing member obtained through a dynamic viscoelastic measurement performed at a frequency of 0.1 Hz or higher and 20 Hz or lower and in the range of −50° C. or higher and 250° C. or lower after thermoforming is 5 or less.