baber/WOPTO huggingface dataset:
Patent JP-2018060465-A (JP)
Title: Specification error detection program, specification error detection apparatus, and specification error detection method
Inventor: WADA DAIKI
IPC: G06F8/70
Filed: 2016-10-07
Abstract: PROBLEM TO BE SOLVED: To provide a specification error detection program, a specification error detection apparatus, and a specification error detection method capable of mechanically and efficiently detecting errors in a software specification.SOLUTION: A specification error detection program according to an embodiment causes a computer to realize: a function of a determination formula tuple generating unit 11 configured to generate a determination formula tuple, including a determination formula according to the type of determination, on the basis of a processing tuple of a software specification; a function of a logical formula specification generation unit 12 configured to generate a logical formula specification in which the entire software specification is represented by one logical formula on the basis of a data tuple and the processing tuple of the software specification; a function of a satisfiability problem information generating unit 13 configured to combine the logical formula specification with one determination formula to generate satisfiability problem information,; and a function of an error detection unit 14 configured to detect an error in the software specification on the basis of satisfiability determination results with respect to the satisfiability problem information.SELECTED DRAWING: Figure 4
Patent JP-2017063436-A (JP)
Title: Method for resource allocation, method for channel state information transmission, base station and user device
Inventor: WANG YI
IPC: H04L27/26
Filed: 2016-10-13
Abstract: PROBLEM TO BE SOLVED: To provide a method for resource allocation, a method for channel state information transmission, a base station and a user device.SOLUTION: The method for resource allocation includes: determining, by a base station, that it is necessary for a user device to report aperiodic channel state information of relevant downlink component carriers; and allocating, by the base station, corresponding resources to the user device according to the number of the relevant downlink component carriers. The base station allocates corresponding resources to the user device in accordance with the number of relevant downlink component carriers thereby allowing for flexible resource allocation to support transmission of uplink control information over multiple carriers.SELECTED DRAWING: Figure 1
Patent JP-2018062920-A (JP)
Title: Spacer and electric supercharger
Inventor: SADAMITSU TAKAHIRO
IPC: F02B39/00
Filed: 2016-10-14
Abstract: PROBLEM TO BE SOLVED: To obtain a spacer in which a position of the center of gravity of the spacer is hardly displaced from a center axis of the spacer, and which can be favorably fixed to a rotor.SOLUTION: This spacer 7 is arranged between a rotor 3 and a bearing 8 in order to fix the rotor 3 of an electric supercharger 1 has a tapered face which is wide in an area of end face 7c of the spacer 7 at the rotor side compared with an end face 7b of the spacer 7 at the bearing side, and contracted in a diameter as approximating the bearing 8 side at an external peripheral face of the spacer 7, a balance correction part 7e for correcting the balance of the spacer 7 is arranged in a recess 7d which is formed at an end face 7c of the spacer 7 at the route 3 side, and an outer region 7h is made to be a contact face contacting with the rotor 3 with respect to a center axis AX1 of the spacer 7 rather than the recess 7d of the end face 7c of the spacer 7 at the rotor 3 side.SELECTED DRAWING: Figure 2
Patent JP-2018061800-A (JP)
Title: Combination of stuffed toy and attachment
Inventor: HAYASHI TOSHIRO
IPC: A63H3/36
Filed: 2016-10-16
Abstract: PROBLEM TO BE SOLVED: To provide a combination of a stuffed toy and an attachment, which can provide a fresh design by being attached to clothes put on by a person, personal belongings or a bag.SOLUTION: A first magnet M1 is built in an inside part of a surface layer of the back part of the head of a stuffed toy 99, and an attachment F is equipped with a second magnet M2. When the stuffed toy 99 is attached to a body C subjected to attachment, the first and second magnets M1 and M2 are magnetically attached to each other in such a manner that axes of magnetic poles of both of them automatically correspond to each other, with the body C subjected to attachment in between.SELECTED DRAWING: Figure 1
Patent JP-2018067427-A (JP)
Title: Connector device and manufacturing method thereof
Inventor: TAKAGI TAKASHI
IPC: H01R43/00
Filed: 2016-10-18
Abstract: PROBLEM TO BE SOLVED: To provide a connector device that is easy for down-sizing and low cost, and that can stabilize an operation and a state.SOLUTION: A connector device comprises a first member that has a peripheral surface inner wall inside of a rotating body and that has a plurality of first electrodes provided on the inner wall being arranged in an axial direction, and a second member that has a peripheral surface outer wall outside of the rotating body and that has a plurality of second electrodes respectively corresponding to the first electrodes provided on the outer wall being arranged in the axial direction, and comprises a rotating member that is self-rotatably arranged in a gap between the inner wall and the outer wall, in which the first member and the second member are relatively rotatable in a state where each of the first electrodes faces each of the second electrodes, each of the first electrodes is electrically connected to the corresponding second electrode, and the rotating member has a plurality of conductive members contacting with the first electrode and the second electrode corresponding to each other for two or more different first electrodes to be electrically connected to corresponding second electrodes, provided to be arranged in the axial direction.SELECTED DRAWING: Figure 1
Patent JP-2018065478-A (JP)
Title: Parking brake control device
Inventor: SUMI YASUNORI
IPC: B60W10/04
Filed: 2016-10-20
Abstract: PROBLEM TO BE SOLVED: To prevent a vehicle from being erroneously started in an unintended manner when a driver becomes unconscious.SOLUTION: A parking brake control device 40 comprises a vehicle interior camera 24 and an accelerator opening sensor 30 for detecting a driver's starting will, and an EPB controller 11. When an emergency stop operation is performed by actuation of a parking brake during traveling of a vehicle 100, the EPB controller 11 inhibits an operation of an EPB 10 from being automatically cancelled, until the driver's starting will is detected by both the vehicle interior camera 24 and the accelerator opening sensor 30.SELECTED DRAWING: Figure 3
Patent JP-2018069803-A (JP)
Title: Auxiliary power unit for vehicle
Inventor: YAMANOUE KOUICHI
IPC: B60R16/03
Filed: 2016-10-25
Abstract: PROBLEM TO BE SOLVED: To provide an auxiliary power unit for vehicle that comprises a power storage device which is grounded and connected to a main power supply of a vehicle, and that can supply electric power continuously to an electrical accessory upon demand even if wiring connecting the power storage device and the electrical accessory to each other short-circuits.SOLUTION: An auxiliary power unit 10 for vehicle comprises: a power storage device 21 which is grounded and connected to a main power supply 3 of a vehicle; wiring lines 4c, 4d which connect nodes 21a, 21b provided at both end parts of the power storage device 21 and an electric load 5 of an electrical accessory to each other; and a current limiting part 22 which is connected in series between a ground point Gr of the power storage device 21 and a ground point-side node of the power storage device 21.SELECTED DRAWING: Figure 2
Patent JP-2018068162-A (JP)
Title: Getting in/out device of field work vehicle
Inventor: YOSHIDA YUMI
IPC: B60R3/00
Filed: 2016-10-26
Abstract: PROBLEM TO BE SOLVED: To ride easily on an operation part step of a field work vehicle by using a getting in/out step, even from a low field or from a high levee.SOLUTION: A field work vehicle in which an operator rides on a step floor 13 of a traveling vehicle body 2 and performs steering operation has such a getting in/out device of the field work vehicle that getting in/out steps 27, 28 provided on the traveling vehicle body 2 on the side of the step floor 13 can be moved or fixed on a lower position or a higher position than the step floor 13.SELECTED DRAWING: Figure 3
Patent JP-2018074714-A (JP)
Title: Method for assembling magnetization yoke
Inventor: OKADA KAZUMICHI
IPC: H02K15/02
Filed: 2016-10-27
Abstract: PROBLEM TO BE SOLVED: To provide a method for assembling a magnetization yoke capable of accurately laminating core members.SOLUTION: An insertion hole jig 50 with a thermal expansion coefficient larger than that of a core member 10 is inserted into an insertion hole 22 of a laminated core 20, a slot part jig 60 with a thermal expansion coefficient larger than that of the core member 10 is inserted into a slot part 24 of the laminated core 20, and the laminated core 20 is temporarily tightened with a fixing bolt 70. The laminated core 20 in a state in which the insertion hole jig 50 and the slot part jig 60 are inserted therein, and which is temporarily tightened with the fixing bolt 70 is heated. The fixing bolt 70 is finally tightened when temperatures of the laminated core 20, the insertion hole jig 50 and the slot part jig 60 are at a first temperature or higher. The insertion hole jig 50 and the slot part jig 60 are extracted when the temperatures of the laminated core 20, the insertion hole jig 50 and the slot part jig 60 become a second temperature or lower.SELECTED DRAWING: Figure 1
Patent JP-2017177801-A (JP)
Title: Resin component, and method for manufacturing the same
Inventor: SUZUKI RINA
IPC: B29C48/12
Filed: 2016-11-01
Abstract: PROBLEM TO BE SOLVED: To make a resin component of a stripe shape versatile by heating the resin component to be deformed into a spiral shape.SOLUTION: The present invention relates to a resin component 10 molded into a strip shape, the length dimension of which is substantially larger than the width dimension. The resin component is asymmetrically formed in a plate thickness direction, such that a portion X in which the internal temperature rises quickly when heated is arranged in a position closer to one end in the plate thickness direction, and such that a portion Y in which the internal temperature rises slowly is arranged in a position closer to the other end in the plate thickness direction. In addition, the resin component is asymmetrically formed in a width direction such that the portion X in which the internal temperature rises quickly is arranged in a position closer to one end in the width direction, and such that the portion Y in which the internal temperature rises slowly is arranged in a position closer to the other end in the width direction. The resin component is configured to contract in a length direction in the process of being heated to the softening temperature of the resin.SELECTED DRAWING: Figure 1
Patent JP-2018081540-A (JP)
Title: Vehicle width measurement system, vehicle width measurement method, and toll collection facility
Inventor: YAMAGUCHI YASUHIRO
IPC: G08G1/015
Filed: 2016-11-17
Abstract: PROBLEM TO BE SOLVED: To provide a vehicle width measurement system that highly precisely calculates the width of a vehicle even when tires on one side of the vehicle do not ride on a tread.SOLUTION: A tread riding position at which tires of a vehicle A ride on a tread placed on a lane L is acquired. A light emitter E2 disposed at a position at which the light emitter is close to the tread in a lane direction and installed on one side in a width direction of the lane emits inspection light toward the vehicle. A light receiver R2 disposed at a position at which the light receiver is close to the tread in the lane direction, installed on one side in the width direction, and receives reflected light of the inspection light emitted from the light emitter receives the inspection light. A range finder measures a distance from the light emitter to the vehicle on the basis of reception of the inspection light by the light receiver. A vehicle width calculator measures the width of the vehicle by using the tread riding position which is detected from information contained in a tread riding detection signal, and the distance which is detected from information contained in a range finding signal obtained from the range finder.SELECTED DRAWING: Figure 2
Patent JP-2018085829-A (JP)
Title: Circuit determination system, circuit determination method, and program
Inventor: SHIOKAWA AKEMI
IPC: H02J13/00
Filed: 2016-11-22
Abstract: PROBLEM TO BE SOLVED: To provide a circuit determination system capable of determining a type of a branch circuit while suppressing increase in the number of components of a branch breaker, a circuit determination method, and a program.SOLUTION: A circuit determination system includes a measurement device 2 and a determination device 3. The measurement device 2 measures at least respective first current I1 flowing through a first voltage line 41 and second current I2 flowing through a first voltage line 42. The determination device 3 determines which is at least respective plurality of branch circuits 5, a first branch circuit, a second branch circuit, or a third branch circuit using measurement results of the measurement device 2. Then, the determination device 3 specifies change in a current generated between a first period and a second period as change in a current to determine each kind of the plurality of branch circuits 5 according to whether change in the first current I1 and that in the second current I2 coincides or not.SELECTED DRAWING: Figure 1
Patent JP-2018083178-A (JP)
Title: Recycle device of solar cell module
Inventor: WATANABE MAKOTO
IPC: B09B5/00
Filed: 2016-11-25
Abstract: PROBLEM TO BE SOLVED: To provide a recycle device of a solar cell module which can cut into a space between a glass substrate and another material and easily and unfailingly peel the glass substrate without breaking the glass substrate.SOLUTION: A recycle device of a solar cell module includes: an upstream transport part 22 having multiple upstream transport means which transport a solar cell module 100; a cutter part 35 having a blade 1 which contacts with an area between a glass substrate 101 of the transported solar cell module and another material to peel the glass substrate; a downstream transport part 36 having multiple downstream transport means which transport the peeled glass substrate; a pre-cut device part 200 which places a pre-cut blade tool 201 in contact with the area between the glass substrate and the other material at a solar cell module end part on the upstream side of the upstream transport part to peel a predetermined length of the other material; and a central processing control device which controls operations of the pre-cut device part, the upstream transport part, the cutter part, and the downstream transport part.SELECTED DRAWING: Figure 4
Patent JP-2017108619-A (JP)
Title: Ultrasonic motor, drive control system, optical equipment and vibrator
Inventor: FURUTA TATSUO
IPC: H02N2/14
Filed: 2016-11-25
Abstract: PROBLEM TO BE SOLVED: To provide an ultrasonic motor, and a drive control system and the like using the same.SOLUTION: Provided is an ultrasonic motor that comprises an annular ring-shaped vibrator, and an annular ring-shaped mobile body pressure-contacted with the vibrator. The vibrator consists of an annular ring-shaped diaphragm and an annular ring-shaped piezoelectric element. The piezoelectric element consists of an annular ring-shaped piece of piezoelectric ceramics, a common electrode provided on one surface of the piece of piezoelectric ceramics, and a plurality of electrodes provided on the other surface of the piece of piezoelectric ceramics. A lead content of the piezoelectric ceramics is less than 1000 ppm. The plurality of electrodes consist of two drive phase electrodes, one or more non-drive phase electrodes, and one or more detection phase electrodes.SELECTED DRAWING: Figure 1
Patent JP-2018086805-A (JP)
Title: Mold for tire vulcanization molding, and method for production of pneumatic tire
Inventor: FUJIKI KUNIKO
IPC: B29C33/10
Filed: 2016-11-29
Abstract: PROBLEM TO BE SOLVED: To provide a mold for tire vulcanization molding in which a spring vent hardly drops off from a lower hole.SOLUTION: A mold for tire vulcanization molding comprises a lower hole 20 communicating a mold inside with a mold outside and a spring vent 30 provided at the inner diameter side of the lower hole 20, and the spring vent 30 is equipped with a housing 40 having at an inner diameter side, a cylindrical air hole 32 leading from the mold inside to that outside, and a stem 50 inserted in the inner diameter side of the housing 40 and opening or closing the air hole 32. The female and male thread parts 25 and 48 are provided on the inner diameter face of the lower hole 20 and on the outer diameter face of the housing 40, respectively. The housing 40 is screwed to the lower hole 20.SELECTED DRAWING: Figure 5
Patent JP-2018090022-A (JP)
Title: Cowl structure for vehicles
Inventor: HIRAHARA JUN
IPC: B62D25/08
Filed: 2016-11-30
Abstract: PROBLEM TO BE SOLVED: To upgrade rustproof performance of electrodeposition at a joint part between a cowl and dash panel while obviating the necessity of an additional process such as water-proofing.SOLUTION: A cowl structure for vehicles S includes a dash panel 10 serving as a front wall of a compartment of a vehicle body, a cowl 12 that extends in a vehicle width direction, is joined with the vehicular upper end of the dash panel 10, and has the bottom of a joint part 26, which is joined with the dash panel 10, on the forward side of a vehicle tilted toward the upward side of the vehicle from both outer sides in the vehicle width direction toward the center part in the vehicle width direction, and an oblique part 14 that extends from the center part 29C in the vehicle width direction of the bottom 29 to the vehicular forward end 30 of the cowl 12 and tilts on the upward side of the vehicle toward forward the vehicle.SELECTED DRAWING: Figure 1
Patent JP-2017061411-A (JP)
Title: Manufacturing method of nonstoichiometric oxide particle
Inventor: KINOSHITA AKIHIRO
IPC: C01G23/04
Filed: 2016-12-01
Abstract: PROBLEM TO BE SOLVED: To provide a nano-sized nonstoichiometric oxide particle with high purity and a manufacturing method capable of manufacturing the nano-sized nonstoichiometric oxide particle by using thermal plasma in short time.SOLUTION: A manufacturing method of a nonstoichiometric oxide particle includes the processes of: preparing at least one powder of metal oxide powder, metal powder of a metal element constituting the metal oxide powder, powder of a compound of an element other than oxygen and the metal element and powder of nonstoichiometric oxide of the metal element; supplying the metal oxide powder and at least one powder to thermal plasma flame; and cooling the metal oxide powder and at least one powder with gaseous phase states with coolant gas. A combination of a composition of the metal oxide powder and a composition of at least one powder is SiOand Si.SELECTED DRAWING: Figure 2
Patent JP-2018091732-A (JP)
Title: Method for removing radioactive iodine compound and absorbent therefor
Inventor: ONO HIROMOTO
IPC: G21F9/12
Filed: 2016-12-04
Abstract: PROBLEM TO BE SOLVED: To provide a method for removing a radioactive iodine compound, specifically iodate ions (IO), from polluted water containing sea water efficiently and economically, and an absorbent used for the method.SOLUTION: Such a radioactive iodine compound as iodate ions (IO) can be removed efficiently, in other words, with a high adsorption rate, in such a manner that polluted water containing sea water containing a radioactive iodine compound, specifically iodate ions (IO), is brought into contact with an adsorbent processed with an aqueous solution of such a reducing material as hydrazine in a liquid phase.SELECTED DRAWING: None
Patent JP-2018091288-A (JP)
Title: Tube unit and transportation device
Inventor: NAKAMURA TARO
IPC: F04B43/12
Filed: 2016-12-06
Abstract: PROBLEM TO BE SOLVED: To provide a tube unit that can provide stable elastic deformation of an inner tube.SOLUTION: A tube unit 1a includes an inner tube 3a having a movable tube part 6a that is a length part in an axial direction coming into contact with a compression space 4a. The movable tube part 6a is formed so that a cross-sectional shape orthogonal to an axial direction on at least one of the outer peripheral surface and the inner peripheral surface thereof has a non-circular shape.SELECTED DRAWING: Figure 1
Patent JP-2018090215-A (JP)
Title: Vehicle cab support structure
Inventor: SEKIUCHI TAKAHIRO
IPC: B62D33/067
Filed: 2016-12-07
Abstract: PROBLEM TO BE SOLVED: To provide a vehicle cab support structure that, in the event of a collision of a vehicle, prevents bending of a cab-side underframe by hindering upward movement of a front mount supporting the cab on a vehicle body, thereby preventing the space of a driving room in the cab from narrowing.SOLUTION: A vehicle cab structure 1 in which the front of a cab 3 is mounted on a vehicle frame 2 via a front mount 5 comprises: a stopper 10 having, near the mount, a rotation shaft 11 that has an axial direction in a sidewise direction of the vehicle, and also having a turning member 12 that is able to turn around this rotation shaft. Also, the support structure supports the rotation shaft of the stopper with a bearing part 31a provided on the lower frame 31 of the cab. The turning member is formed having: a receiving part 12a that receives impact force F applied to the cab; force direction converting parts 12b, 11, and 12c that converts the received impact force into downward force; and an upward-movement hindering part 12c that hinders upward movement of the second bracket 54 of the front mount.SELECTED DRAWING: Figure 1
Patent JP-2018096767-A (JP)
Title: Soil corrosiveness evaluation device
Inventor: MINETA SHINGO
IPC: G01N17/02
Filed: 2016-12-12
Abstract: PROBLEM TO BE SOLVED: To provide a soil corrosiveness evaluation device with a simple configuration.SOLUTION: There is provided a soil corrosiveness evaluation device 1 for evaluating an extent to which a soil 100 corrodes metal 11, 12 from a potential difference between two pieces of metal 11, 12 buried in the soil 100, comprising: two pieces of metal 11, 12 buried in the soil 100; a circuit 20 connected between two pieces of metal; and a measurement unit 21 for measuring a current flowing in the circuit 20. Furthermore, a measurement unit 22 having a voltmeter connected between the pieces of metal 11, 12 is provided in place of the measurement unit 21.SELECTED DRAWING: Figure 1
Patent JP-2017109092-A (JP)
Title: Bag containing reference fluid
Inventor: HANS PETER BLAABJERG JAKOBSEN
IPC: B65D81/24
Filed: 2016-12-12
Abstract: PROBLEM TO BE SOLVED: To provide an improved reference fluid bag for the calibration and/or quality control of a creatine and/or creatinine sensor.SOLUTION: A sealed bag 4 with an access system is a bag assembly 1. The bag assembly 1 comprises a sealed bag 4 shaped as an envelope and containing a reference fluid for the calibration and/or quality control of a creatine and/or creatinine sensor, the bag comprising: an inner polymer layer and an outer polymer layer; and an aluminium oxide gas barrier layer there between; where the inner polymer layer is in contact with the reference fluid.SELECTED DRAWING: Figure 1