摘要:
A computer-readable recording medium stores therein an information retrieving program that causes a computer to execute acquiring a document to be searched and having a hierarchical structure; generating a path schema related to the acquired document; receiving input of a retrieval keyword, a retrieval condition for the retrieval keyword, and a retrieval equation specifying a retrieval range for the retrieval keyword; generating a single automaton that includes a hierarchy retrieval automaton that retrieves a hierarchy of the generated path schema and a hit keyword retrieval automaton that retrieves a hit keyword satisfying the retrieval condition, the single automaton making state transition between a hit hierarchical node where the hit keyword in the hierarchy retrieval automaton is present and a set of nodes representing the hit keyword; retrieving, from the document and using the single automaton, the hit keyword within the retrieval range; and outputting a retrieval result.
摘要:
Cold-rolled steel sheets or hot-dip galvanized steel sheets for deep drawing which have excellent resistance to cold-work embrittlement, containing, all by mass, 0.01% or less C, 0.2% or less Si, 0.05-1.0% Mn, 0.10% or less P, 0.02% or less S, 0.005-0.08% sol.Al, and 0.006% or less N, containing Ti (%) and/or NB (%) solely or in combination within the range in which a relationship between the effective amount of Ti (hereinafter referred to as Ti*) defined by the following formula (1) and the amounts of Nb and C satisfies the following formula (2), and further containing 0.003% or less B when required.Ti*=total Ti-{(48/32).times.S+(48/14).times.N}TM (1)1.ltoreq.(Ti*/48+Nb/93)/(C/12).ltoreq.4.5 (2)And the balance of Fe and inevitable impurities, the steel sheets have a concentration gradient as a result of carburizing.
摘要:
An apparatus includes a unit dividing a region into blocks having a predetermined bit length and generating addition data having the predetermined bit length corresponding to coordinate data, a unit storing storage data having the predetermined bit length, a unit generating composite data having a bit length twice the length of the predetermined bit length by connecting the addition data to the storage data, and storing the composite data, and a unit repeating an operation of designating the bit length of the composite data as the predetermined bit length, instructing to generate the addition data, and instructing to generate and store the composite data. The number of different bits between a bit string of a location corresponding to the input coordinate data and a bit string of a reference location tends to increase as a distance between the location corresponding to the coordinate data and the reference location increases.
摘要:
A matching device builds a parse tree from an event pattern. The matching device builds an automaton by, while traversing the parse tree, joining child nodes of an AND node in parallel to the AND node and joining child nodes of an OR node in parallel to the OR node. The matching device performs matching of determining whether an event stream includes the event pattern by comparing the event stream with the automaton.
摘要:
A workpiece bending method of forming a final formed article that has two surfaces on opposite sides of an inclined area, in which an inclined area is made up of a first bend portion, a second bend portion, and a flat surface portion, includes: cantilevering an end portion of a workpiece by a stationary die and a holding member; and curving an area in the workpiece that corresponds to the flat surface portion by moving a movable die to the stationary die so that the movable die presses a free-end side of the workpiece, and then forming the first bend portion and the second bend portion, and unbending the area in the workpiece that corresponds to the flat surface portion of the inclined area, by causing the movable die to press the workpiece to the stationary die.
摘要:
A retrieval device, from semi-structured data formed by item elements and value elements, creates aggregated structure information from the semi-structured data by aggregating the plurality of child item elements having the same name and directly connected to parent item elements having the same name, into one child item element. The device receives a retrieval request with an output condition and a constraint condition specified on the aggregate structure information. The device determines whether or not a plurality of query are created according to the retrieval request by checking a branch point at the common item elements between the output condition and the constraint condition in the aggregated structured information. And the device outputs a re-aggregate structure information corresponded to the query showing the branch point which is not expressed in the aggregate structure information to the display device.
摘要:
In a search device according to the present invention, a path trie generation unit generates an input path trie from XML data, a path trie display unit outputs the input path trie to an output unit such as a display, so that a user can specify Join points and combining conditions. An instruction reception unit generates a query serving as a command statement to combine each piece of XML data based on the Join points and the combining conditions that are specified by the user.
摘要:
A method of manufacturing a hot-formed steel product is provided, by which when a steel sheet is subjected to hot forming, excellent forming can be achieved without causing break or a crack during forming. When a steel sheet is subjected to hot forming to obtain a hot-formed product, the steel sheet is heated to be austenitized, then the steel sheet is cooled to a temperature range of martensite transformation start temperature Ms or less at an average cooling rate of 20° C./sec or more, and then the steel sheet obtained in this way is heated to Ac1 transformation temperature or more, then subjected to hot forming, thereby an excellent hot-formed product is obtained.
摘要:
A computer-readable storage medium storing a dataset sorting program is provided to sort records in a dataset into a plurality of destination groups according to a given key item specification. An item value extractor creates an item value list for every record. Then a frequent tree builder builds a frequent tree from the item value lists by finding patterns of item values that appear more often than a threshold specified by a given growth rate parameter. Each item value pattern is a leading part of an item value list with a variable length. A destination group mapper associates each node of the frequent tree with one of the plurality of destination groups. A record sorter traces the frequent tree according to the item value list of each given record, and upon reaching a particular node, puts the record into the destination group associated with that node.
摘要:
An article reader program of this invention comprises: detecting that a display of data concerning a first article is instructed by a user; calculating an article relevance degree between the first article and a second article; extracting the second article whose article relevance degree with the first article satisfies a predetermined condition in relation to the first article; assigning a top priority to the first article; assigning a priority lower than the top priority of the first article to the extracted second article; and displaying the data concerning the first article and data concerning the extracted second article according to the assigned priorities of the first article and the extracted second article.