Abstract: A top-down construction type assembly construction method for paved road surface, including the following steps: step I, manufacturing prefabricating slabs: using a top-down method to manufacture the prefabricating slabs, and providing bolt sleeves, inside the prefabricating slabs, which are evenly arranged in the prefabricating slabs; step II, mounting the prefabricating slabs: on a lower bearing plate, placing the prefabricating slabs in one step, performing a fine tuning on a position and an altitude of the prefabricating slabs, performing a grouting construction, finally forming the paved road surface; the prefabricating slabs are manufactured by laying bricks and pouring concrete, the prefabricating slabs are rolled over and mounted, thus eliminating on-site concrete bonding between bricks and the lower bearing plate, improving overall stability of the bricks and the prefabricating slabs after being mounted, assembled mounting for a paved road surface is implemented, and the construction period is shorte

Abstract: A top-down construction type assembly construction method for paved road surface, including the following steps: step I, manufacturing prefabricating slabs: using a top-down method to manufacture the prefabricating slabs, and providing bolt sleeves, inside the prefabricating slabs, which are evenly arranged in the prefabricating slabs; step II, mounting the prefabricating slabs: on a lower bearing plate, placing the prefabricating slabs in one step, performing a fine tuning on a position and an altitude of the prefabricating slabs, performing a grouting construction, finally forming the paved road surface; the prefabricating slabs are manufactured by laying bricks and pouring concrete, the prefabricating slabs are rolled over and mounted, thus eliminating on-site concrete bonding between bricks and the lower bearing plate, improving overall stability of the bricks and the prefabricating slabs after being mounted, assembled mounting for a paved road surface is implemented, and the construction period is shorte

Abstract: A method for generating test cases. The test cases are used to test a plurality of functional units of a logic system design during a simulation process of the logic system design. The method includes acquiring a constraint for generating test cases, and generating a first set of test cases according to the constraint. The first set of test cases is used to cover a part of the plurality of functional units. The method further includes performing a test on the logic system design based on the first set of test cases, determining uncovered functional units that are not covered by the test and a current coverage of the test, and, in response to the current coverage failing to satisfy a preset test coverage condition, generating a second set of test cases according to the uncovered functional units.

Abstract: Embodiments of the present disclosure provide a method and apparatus for processing a multi-language text. According to embodiments of the present disclosure, the multi-language text including contents in a plurality of languages may be encoded with a Unicode. The method further comprises splitting the multi-language text into a plurality of parts based on the Unicode of the multi-language text, contents of the plurality of parts having different languages. In addition, the multi-language text may also be processed based on the plurality of parts.

Abstract: A method for generating test cases. The test cases are used to test a plurality of functional units of a logic system design during a simulation process of the logic system design. The method includes acquiring a constraint for generating test cases, and generating a first set of test cases according to the constraint. The first set of test cases is used to cover a part of the plurality of functional units. The method further includes performing a test on the logic system design based on the first set of test cases, determining uncovered functional units that are not covered by the test and a current coverage of the test, and, in response to the current coverage failing to satisfy a preset test coverage condition, generating a second set of test cases according to the uncovered functional units.

Abstract: A liquid ingesting management system is provided. The liquid ingesting management system includes a fluid container, a database and a wireless transmit/receive unit. The wireless transmit/receive unit communicates with the fluid container and the database through a wireless technique to access the database and control the fluid container to perform a liquid ingesting management process.

Abstract: Embodiments of the present disclosure generally relate to a method and device for creating an index. For example, the embodiments of the present disclosure propose a method for creating an index, comprising: dividing a document into a plurality of regions; determining the number of times that a token appears in the plurality of regions, the token including at least one character in the document; assigning respective weights to the plurality of regions; and creating an inverted document linked list directed to the token based on the number of times that the token appears in the plurality of regions and respective weights of the plurality of regions. In addition, the embodiments of the present disclosure propose a corresponding device and computer program product for creating an index.

Abstract: A high-concentration anaerobic fermentation apparatus includes a liquid accumulation tank, a fermentation vessel, a feeding assembly, and a biogas residue collecting bin. The feeding assembly includes a hopper and a return conveyor belt including a first portion extending downward from the hopper till below a liquid level, a second portion extending upward from a bottom end of the first portion till above the liquid level, a third portion extending downward from a top end of the second portion till the liquid level, and a fourth portion extending upward from a bottom end of the third portion till out of the liquid level and above the biogas residue collecting bin. A pressure-feed flange is disposed at an outer side of the fermentation vessel, a feed channel is formed between the pressure-feed flange and the first portion, and a discharge channel is formed between the pressure-feed flange and the fourth portion.

Abstract: A file authentication method and apparatus are provided in the embodiments of this application. File digest data is extracted from a file that includes an installation package of an application. The file digest data identifies file information of the file. A feature character string of the file is generated based on the file digest data. File information of a target file is determined from a feature database based on the feature character string of the file. The target file matches the feature character string of the file, the feature database stores at least file information and feature character strings of a plurality of genuine files, and the file information of the target file and the file information of the plurality of genuine files include at least a certificate feature value. The file is authenticated according to the file information of the target file and the file information of the file.

Abstract: Embodiments of the present disclosure relate to a method and apparatus for managing a document index. The method comprises determining an independently updatable field in a plurality of documents, the independently updatable field comprising at least one item. The method further comprises creating an index for an item in the independently updatable field, the index containing an identifier of a document comprising the item, the document being included in the plurality of documents. Furthermore, the method further comprises storing the identifier of the document in blocks such that the index is updatable without modifying the identifier of the document.

Abstract: Techniques for searching a character string involve: determining a first set of documents including a first token in the character string, and a second set of documents including a second token in the character string; and generating a third set of documents based on the first and second sets of documents, in the third set of documents: i) a document being included in the first and second sets of documents, and ii) a distance between the first and second tokens in the document being equal to a distance between the first and second tokens in the character string.

Abstract: Embodiments of the present disclosure provide a method and apparatus for processing a multi-language text. According to embodiments of the present disclosure, the multi-language text including contents in a plurality of languages may be encoded with a Unicode. The method further comprises splitting the multi-language text into a plurality of parts based on the Unicode of the multi-language text, contents of the plurality of parts having different languages. In addition, the multi-language text may also be processed based on the plurality of parts.

Abstract: Embodiments of the present disclosure provide a solution for indicating a search result. A method of indicating a search result is disclosed, which includes, in response to receiving a query term, searching for an electronic document having metadata related to the query term. The method further includes, in response to the electronic document being searched, locating a metadata term matching with the query term from the metadata of the electronic document. The method further includes providing an indication highlighting the metadata term.

Abstract: Embodiments of the present disclosure provide a method and apparatus for processing a multi-language text. According to embodiments of the present disclosure, the multi-language text including contents in a plurality of languages may be encoded with a Unicode. The method further comprises splitting the multi-language text into a plurality of parts based on the Unicode of the multi-language text, contents of the plurality of parts having different languages. In addition, the multi-language text may also be processed based on the plurality of parts.

Abstract: Access is obtained to raw historic information technology migration data, which data is transformed in accordance with a classification scheme to obtain classified key historic information technology migration data. A statistical model with conditional distributions of the key historic information technology migration data is built. Prior to a new information technology migration project, access is obtained to incomplete data characterizing the new information technology migration project. The statistical model is used to derive data missing from the incomplete data characterizing the new information technology migration project, to obtain derived data. At least one of a migration plan and an estimate for the new information technology migration project is created based on the incomplete data and the derived data.

Abstract: Embodiments of the present disclosure generally relate to a method and device for creating an index. For example, the embodiments of the present disclosure propose a method for creating an index, comprising: dividing a document into a plurality of regions; determining the number of times that a token appears in the plurality of regions, the token including at least one character in the document; assigning respective weights to the plurality of regions; and creating an inverted document linked list directed to the token based on the number of times that the token appears in the plurality of regions and respective weights of the plurality of regions. In addition, the embodiments of the present disclosure propose a corresponding device and computer program product for creating an index.

Abstract: A liquid ingesting management system is provided. The liquid ingesting management system includes a fluid container, a database and a wireless transmit/receive unit. The wireless transmit/receive unit communicates with the fluid container and the database through a wireless technique to access the database and control the fluid container to perform a liquid ingesting management process.

Abstract: An external device including at least a first connector, a signal transmission module and a power module is provided. The signal transmission module is electrically connected to the first connector. The power module is electrically connected to the first connector and outputs power via the first connector. The signal transmission module of the external device is a pluggable external graphics card. A graphics card or a graphics chip in the electronic device connected to the external device can be replaced via the external graphics card. Consequently, the graphics card or the graphics chip in the electronic device can be eliminated and thus the electronic device can be made light and thin.

Abstract: A liquid ingesting management system is provided. The liquid ingesting management system includes a fluid container, a database and a wireless transmit/receive unit. The wireless transmit/receive unit communicates with the fluid container and the database through a wireless technique to access the database and control the fluid container to perform a liquid ingesting management process.

Abstract: Techniques for searching a character string involve: determining a first set of documents including a first token in the character string, and a second set of documents including a second token in the character string; and generating a third set of documents based on the first and second sets of documents, in the third set of documents: i) a document being included in the first and second sets of documents, and ii) a distance between the first and second tokens in the document being equal to a distance between the first and second tokens in the character string.