72 results about "Path cover" patented technology

A device for updating cartographic data for a predetermined region, having a collector for collecting location information of a path covered in the predetermined region, an overlayer for overlaying the collected location information with the cartographic data for the predetermined region, a determiner for determining portions contradictory or missing in the cartographic data for the predetermined region on the basis of the overlaid collected location information, and an updater for updating the cartographic data in the missing or contradictory portions on the basis of the overlaid collected location information.

The invention discloses a method for realizing autonomous exploration mapping and autonomous path covering of an indoor robot cleaner. The method comprises the following steps: 1) the robot cleaner senses the current area environment, obtains the depth information of the current shooting area, and determines a boundary position; 2) the robot moves autonomously to the position, completes the scanning and map generation of the upper area, and senses the environment of the new area; 3) the robot cleaner finally completes the generation of an indoor environment complete map through the continuous boundary exploration and new regional scanning, and distinguishes the area that cannot be passed and the area that can be passed in the map; 4) the indoor environment map can be completed, and the map area can be decomposed to generate the cleaning path for covering each area; and 5) a motion control module drives the robot cleaner to finally complete the cleaning of the indoor environment in accordance with the planned area order and path. The method overcomes the shortcomings of low coverage and high cleaning repetition rate of a conventional robot cleaner, thereby improving the robustness of the system and the work efficiency.

Computer-implemented methods, systems and program storage devices for knowledge graph based query generation are disclosed herein. A computer-implemented method includes storing electronically a knowledge graph that represents relationships between a plurality of knowledge models. Further steps include: receiving a query specification that identifies a knowledge model for a query dataset; determining with a computing device a path based on path cost criteria, where the path covers a portion of the knowledge graph across one or more knowledge models to one or more data sources; and generating an initial query plan according to one or more knowledge models along the determined path to fulfill the query specification with data from one or more data sources.

According to the invention, a sealing top plate in a multi-chip module is formed from a ceramic with high thermal conductivity having a thermal expansion coefficient consistent with that of a multi-layer circuit substrate. A cooling flow path cover covering the entirety of cooling flow path grooves is formed as a separate metallic member. The back surface of the sealing top plate, on which are formed the cooling flow path grooves, is bonded directly to the back surface of a semiconductor device using solder. A thermal-conductive jacket with low thermal resistance is provided. A multi-chip module sealing frame is soldered to the edge of the sealing top plate. Furthermore, a sealing material such as an O-ring is simply interposed between the edge of the sealing top plate and the cooling water path cover, and tightening means is used to tighten the metallic cooling flow path cover and the multi-chip module sealing frame to each other.

In accordance with an embodiment of the invention, there is provided an electrostatic chuck comprising a conductive path covering at least a portion of a workpiece-contacting surface of a gas seal ring of the electrostatic chuck, the conductive path comprising at least a portion of an electrical path to ground; and a main field area of a workpiece-contacting surface of the electrostatic chuck comprising a surface resistivity in the range of from about 108 to about 1012 ohms per square.

A continuous monitoring path planning method for a large-scale environment with multiple unmanned aerial vehicles is provided. According to the invention, the monitoring path of the aerial vehicles isscientifically planned, so that the maximization of the environmental coverage efficiency is realized. For the large-scale environment, the integrity of the whole environment coverage is guaranteed,and information which is accurate and reliable as possible is collected in the monitoring process, and the calculation of the optimal coverage path is very difficult. The method comprises, based on ablock optimization thought, the following steps: firstly, dividing the whole environment into a plurality of small-area sub-regions, calculating the optimal path covering the region in each sub-region, finally connecting the path in each sub-region into an integral path by setting specific constraints, namely a monitoring path of the aerial vehicles in the whole environment. In addition to the coverage effect, the method also considers factors such as energy and time consumption of flight, and an efficient monitoring path suitable for aircraft tracking is planned. The method is effective and feasible through simulation and experimental verification.

As to a plurality of components in a system, a state transition path covering transitions defined by a behavioral specification of a component is specified to satisfy an input restriction of the component. Action sequences are acquired from the state transition path. By selecting a pair of components connected in the system, it is verified whether an output action sequence of a first component as one of the pair satisfies an input restriction of a second component as the other of the pair. If unsatisfied, the input restriction of the second component is relaxed to satisfy the output action sequence of the first component, or an input restriction of the first component is tightened to acquire a new output action sequence satisfying the input restriction of the second component. Above processing is repeated for each pair of components, so that output action sequences of one and the other of a pair satisfies input restrictions of the other and the one of the pair respectively.

The present invention discloses a method for the online determination of a bulge / upset dimension xST and rivet head end position K of a rivet 3 with a length L in a punch rivet process with the help of a moveable punch 10 and a rigid die 20. The path covered by the punch 10 and the force applied by it are determined and evaluated online during the joining process. The quality characteristics of the joint connection are determined with the help of defined threshold values or a graphical evaluation of force / path data of the joining process.

The invention provides an Android platform malicious application detection method and device. The method comprises the steps that a FlowDroid tool is called, and static data stream features of a to-be-detected Android application are extracted; an SUSI technology is utilized to process the static data stream features of the to-be-detected Android application, and feature vectors of a data stream of the to-be-detected Android application are generated; and the generated feature vectors of the data stream of the to-be-detected Android application are input into a deep belief network detection model trained in advance, and a detection result about whether the to-be-detected Android application is a malicious application is obtained. Through the Android platform malicious application detection method and device, an Android platform malicious application can be accurately detected, the path cover problem existing in dynamic stain tracking is avoided, the two major challenges that accurate modeling needs to be performed on an application running process and target components in communication among components need to be accurately acquired according to a static data stream analysis technology are overcome, accurate and comprehensive extraction of the Android application sensitive data stream is realized, and meanwhile the limitation existing when a detection model is constructed through a traditional shallow machine learning algorithm is overcome.

The invention relates to a sensitive area-oriented embedded software test case generating method. The sensitive area-oriented embedded software test case generating method comprises the steps that firstly, binary files are analyzed, intermediary language transformation is conducted on an assembly language generated by the disassembling technology, and instrumentation is conducted on transformation results so as to obtain an instrumentation procedure; secondly, the instrumentation procedure is used for analyzing a sensitive area so as to determine taint data; thirdly, a seed test case dynamic execution procedure is used for collecting branch path constraint conditions, and when a branch jump occurs, constraint sets collected at present are reversed and output; finally, whether each constraint in the collected constraint sets comprises taints is analyzed, processing is carried out, the simplified constraint sets are sent into a constraint solver and are solved, and obtained final results are test cases which can generate input controllable branch paths covering the taint data. Compared with the single static analysis technology or the single dynamic analysis technology, the sensitive area-oriented embedded software test case generating method has higher analysis efficiency.

The invention discloses a movement path planning method assisting in positioning a beacon node. The method comprises the steps of 1), initializing a program; 2), calculating the column number and line number of hexagonal grids in a whole coverage monitoring area, and coding centers and vertexes of all hexagonal grids, thereby obtaining related matrix vectors; 3), establishing an optimization model; 4), calculating selectable next stay location sets for each grid center and each grid vertex; 5), initializing an initial location and a selected path of an ant; 6), establishing a new next stay location set for the ant; 7), judging whether the selected path covers all grids in the whole coverage monitoring area or not, and recording the currently selected path and length thereof if the selected path cover all grids in the whole coverage monitoring area, judging whether all ants find the paths or not, and jumping to a step 8) if all the ants find the paths; and 8), calculating the lengths of the paths found by all the ants, and updating information elements of all locations. According to the movement path planning method assisting in positioning the beacon node provided by the invention, the lengths of the moving paths and the number of the stay locations of the beacon node can be reduced.

The invention relates to a parameter mapping-based measurement planning method for a complex curved surface which belongs to the field of precision measurement. In the method, a triangular grid curvedsurface is mapped into a plane parameter domain by adopting a grid parameterization method to form a plane grid model corresponding to the vertex of the triangular grid curved surface and the vertexof the plane parameter domain; a boundary contour of the plane grid model is extracted, boundary contour lines are utilized as guiding line segments, and according to a measurement accuracy requirement, each segment is offset in a normal direction to generate measurement paths covering the entire plane grid model; each measurement path is again inversely mapped to the triangular grid curved surface to obtain curved surface measurement paths; and arranging points on the curved surface measurement paths by using an equal-chord height difference method to complete measurement and planning of thecomplex curved surface. The method enables the measurement efficiency to be improved, and enables the difficulty of the measurement and planning of the complex curved surface to be reduced, and versatility is strong, and requirements of unified processing of curved surface measurement path planning of various models under the same framework can be satisfied.

The invention discloses a method for eliminating a five-axis singular problem in a route planning stage. The method includes the steps of inputting curved surface information, cutter parameter information and technique information of a part to be machined; generating cutter paths on a curved surface and meanwhile storing local coordinate system information; converting cutter axis vectors of all cutter location points of any path into C space to obtain a direction curve; judging whether the current direction curve intersects with a taper circle, continuing to detect the next path if the current direction curve does not intersect with the taper circle and otherwise horizontally moving the current direction curve to avoid the taper circle; carrying out back calculation on new cutter location points according to a new direction curve and the correspondingly stored local coordinate system information and continuing to detect the next path; carrying out traversal on all paths to ultimately output a non-singularity five-axis cutter path covering the whole curved surface. The five-axis singular problem is taken into account in the route planning stage, the singular problem can be eliminated on the premise that the cutter location points are not increased, meanwhile cutter contact positions on an original path keep unchanged, five-axis machining efficiency and precision are improved.

The embodiment of the invention provides a driving path planning method and device and a vehicle. The method comprises the steps of determining at least one reference curve covering a first length range, and selecting a target reference curve covering the first length range from the at least one reference curve covering the first length range; extracting a to-be-adjusted curve covering a second length range from the target reference curve covering the first length range; processing the to-be-adjusted curve based on the safety parameters in the second length range to obtain an adjusted curve; and determining a driving path covering the first length range based on the adjusted curve and the target reference curve. The problems are solved that the complexity of actual traffic cannot be considered and the path planning is influenced by the precision of sampling points.

The invention discloses a detection method and apparatus for a virtual machine business network port. The method is applied to a host machine. A first virtual exchanger is arranged on the host machine. A virtual detection network port is arranged on the first virtual exchanger. The method comprises the steps of establishing a second communication path between the first virtual exchanger and a target network according to a first communication path between the virtual machine business network port and the target network, wherein the second communication path covers the first communication path;and according to the second communication path, detecting network connectivity between the virtual detection network port and the target network, and according to a detection result, judging network connectivity between the virtual machine business network port and the target network. The application network connectivity of the virtual machine business network port can be detected in the host machine, so that relatively few system resources of a virtual machine are occupied and the network detection still can be effectively performed when a system of the virtual machine is busy.

The invention discloses a Web composite service test method of an extension-based hierarchical colored Petri net. The method comprises the following steps of: (1) converting an OWL-S (Ontology Web Language-Service) document into an extended hierarchical colored Petri net to model abundant semantic information therein; and (2) utilizing a prematrix and a postmatrix of the extended hierarchical colored Petri net to analyze data flow information therein: firstly, acquiring definition use pairs of all variables, then, finding all output and input definition use chains of all the variables by using a complete definition-use path cover rule as a test rule, then, extending the output and input definition use chains into an executable test sequence, and finally, combining the test sequence and the test data to generate a test use case. The invention proposes a whole set of automatic test method which comprises the generation and the execution of the test use case by analyzing the interactive information of the variables among services from the start of a composite service stipulation OWL-S so that the interactive activities among the services in the composite service can be effectively tested.

The invention relates to a vector type scanning method of a laser scanning confocal microscope. The method comprises the following steps: pre-scanning a sample rapidly; carrying out ROI (region of interest) identification on the pre-scanned sample; carrying out vector type scanning path generation on the sample according to the ROI identification, wherein the generated scanning path covers the sample ROI; carrying out vector fine scanning on the sample ROI according to the vector type scanning path; and under a driving function of a controller, rotating a scanning galvanometer according to the vector type scanning path and obtaining a scanning image of the sample by the laser scanning confocal microscope.

The invention provides a magnetic passive element and a manufacturing method thereof. The magnetic passive element comprises a magnetic core and a metal wire layer twined and covered at the outer surface of the magnetic core; an insulating layer is arranged between the magnetic core and the metal wire layer, and the insulating layer is an insulating material layer including metal ions and is tightly covered on the outer surface of the magnetic core; the insulating layer is provided with one or a plurality of communicated metal ion guide paths covered at the outer surface of the insulating layer, wherein the metal ion guide paths are spiral and can form one or a plurality of electrical loops. The manufacturing method of the magnetic passive element comprises the following steps of setting the magnetic core; directly molding the insulating material layer including the metal ions on the magnetic core by using a die; molding the spiral metal ion guide paths on the surface of the insulating layer; depositing the metal wire layer on the surfaces of the metal ion guide paths to finally form the metal winding on the surface of the magnetic core. The magnetic passive element and the manufacturing method thereof provided by the invention have the advantages of simple process, low production cost and capability of realizing the automatic production with the stable and reliable quality.

The invention discloses an automatic fishpond contamination suction machine and a contamination clearing method. An MCU controller controls a submerged pump to work, sewage in a fishpond is ejected to the upper space of a filtering container, and the sewage impacts a filtering screen and then is filtered; the filtered sewage returns to the fishpond via a water outlet pipe of the filtering container, and excrement and residual bait falls into the lower space of the filtering container through a gap between the filtering screen and an intermediate baffle plate; and the MCU controller detects signals of three waterproof ultrasonic sensors, calculates out the distances between the front wall, the left wall and the right wall of a vehicle body and opposite walls of the fishpond, control the vehicle body to straightly move forward or turn left and turn right at the angle of 90 degrees, and allows the vehicle body to traverse the bottom of the fishpond along a continuous extension rectangular path in a reciprocation manner. The ultrasonic sensors and the MCU controller are combined to determine the position of the contamination suction machine in the bottom of the fishpond, the contamination clearing path covers the whole fishpond through the reciprocation movement manner, repeated contamination clearing jobs can be avoided, and the efficiency of contamination clearing can be improved.

With a measurement method and a measurement device for the measurement of a path covered by a first object (1) in relation to a second object (2), a measurement body (3) is deformed by a relative movement of the objects and at least a first deformation sensor (4) assigned to the measurement body (3) converts the measurement body (3) deformation into a measurement signal. The measurement signal is converted by an evaluation device (20) into information on the path covered. In order to increase the precision and measurement speed in a way that is simple structurally and saves space, the measurement signal is emitted when an area of the measurement body (3) is stretched along the longitudinal axis (6) of the measurement body (3) and a further area is compressed along the longitudinal axis (6) of the measurement body (3).

The present invention discloses a base plate cutting machine, which comprises a base plate bearing platform, a cutting mechanism, a splitting mechanism, a residue material collection mechanism and a base plate conveying mechanism, wherein the outer side of the base plate bearing platform is sequentially provided with the cutting mechanism and the splitting mechanism, the residue material collection mechanism is positioned below the splitting mechanism, the cutting mechanism comprises a cutter wheel mechanism and a base plate clamp mechanism, the residue material collection mechanism comprises a residue material collection funnel, a residue material mincing mechanism and a residue collection box, the residue material collection funnel, the residue material mincing mechanism and the residue collection box are sequentially communicated from top to bottom, the residue material collection funnel comprises a funnel drive device and a funnel main body, the funnel drive device drives the funnel main body to move, and the movement path covers the movement path of the splitting mechanism. The present invention further provides a base plate long edge cutting and splitting method. With the base plate cutting machine and the base plate long edge cutting and splitting method of the present invention, the waiting time for the movement of the splitting mechanism onto the residue material collection funnel to clean the residue material before the loading and the unloading of the base plate and the time of the moving back and forth can be avoided, the takt time of the base plate cutting and splitting is reduced, and the production efficiency is improved.

The system described herein determines a distance of a component of a particle beam device from an object to the particle beam device and sets a position of the component in the particle beam device. The component is moved from a first starting position of the component relatively in the direction of an object, which is located in a second starting position, until the component makes contact with the object. When the component makes contact with the object, an adjusting path covered by the component and / or the object during the movement is determined. The adjusting path runs along a straight line that joins a first point on the component in the first starting position to a second point on the object in the second starting position that is arranged closest to the first point on the component along this line. The adjusting path corresponds to the distance.

A gas turbine inner flow path cover piece for a gas turbine a first turbine wheel and a second turbine wheel is provided is provided. The gas turbine inner flow path cover piece can include a main body having an first surface and a second surface, side pieces disposed on the first surface of the main body and mating pairs disposed on the second surface of the main body.

The invention provides a large diameter mirror surface profile in-place detecting method and device. The detecting system is composed of a robot, a laser tracker mainframe, a mirror to be detected, a supporting tooling thereof, a mirror reference positioning device, a target ball and a robot interface device. The robot interface device comprises a magnetic seat, a flexible force sensor and a robot interface. The mirror to be detected is placed on the supporting tooling of the mirror. The target ball can contact the mirror to be detected, and is magnetically absorbed on the magnetic seat. The robot can drive the target ball to carry out dotting and scanning on the machining face of the mirror to be detected according to a pre-planned path to realize the surface profile scanning of the mirror to be detected until the scanning path covers the machining face of the whole mirror to be detected. Through data processing, the surface profile distribution of the machining face of the whole mirror to be detected is acquired. According to the invention, the detection state of the detected mirror is consistent with the machining state, and the method and device are particularly suitable for large diameter mirror milling and on-line surface profile detection of a grinding stage.

The invention relates to a metamorphic relation priority ranking method for metamorphic testing of parallel programs. A metamorphic testing technology is applied to software testing of the parallel programs, and priority ranking is firstly performed on constructed metamorphic relations, so that errors in the programs are discovered as early as possible, and the solving efficiency of the Oracle problem in software testing is improved. According to a priority ranking strategy, derivative testing examples and original testing examples, generated on the basis of the metamorphic relations, are adopted, and similarity between the examples are taken as the basis, the similarity of paths covered by executive programs of the examples is estimated, the error detecting range of the metamorphic relations based on the existing testing examples is further estimated, and priority ranking is performed based on the metamorphic relations. The method comprises specific steps as follows: (1) evaluating the error detecting capacity of each process of the metamorphic relations; (2) setting a weight value of each process so as to reflect the error detecting capacity of each process of the metamorphic relations, and evaluating weight of the error detecting capacity of each process to the error detecting capacity of the whole program; (3) evaluating the program error detecting capacity of the metamorphic relations, and determining the priority of each metamorphic relation; (4) detecting the programs.

The invention relates to a data flow test case generating method. Test cases meeting data flow test criteria are searched by a genetic algorithm. In the method, fitness is computed according to a following formula, wherein fitness (t) represents the fitness, m represents the number of paths covered by a test case t, n represents the number of total paths required to be covered in a program, p represents the quantity of branch predicates contained in (n-m) paths which are uncovered, the branch predicates are condition expressions of branches of the program, alpha represents an influence weight factor of the corresponding branch predicate to the fitness, and f(x) represents a branch function value of the i branch. The method is favorable for increasing convergence speed of the data flow test case generating algorithm.

The invention relates to a processing error uniform distribution method based on cutter posture gradual change. The method comprises three steps that 1, a range is delimited on a processing curved surface to be used as a cutter posture gradual change region; 2, several lines of cutter paths are sampled in the gradual change region at equal intervals, each line of cutter paths samples the cutter position points in the preset number at equal intervals, each line of cutter paths is calculated, in addition, a cutter angle which does not generate processing surface overcut or non-processing surface interference is determined, and a segmented linear change rule of the cutter angle corresponding to the curved surface parameters is built; 3, the cutter paths are calculated line by line from one end of the gradual change region until the cutter paths cover the whole gradual change region, the initial cutter angle of each line of cutter paths is obtained according to the rule defined in the step 2, and when the cutter generates the processing surface overcut or non-processing surface interference, the avoidance can be realized through regulating the cutter angle. The processing error uniform distribution method has better application prospects in the technical field of metal cutting processing.

The conventional temperature control device for an optical measuring instrument only cools down a light source module, and cannot maintain a stable temperature of other modules and optical path space in the optical measuring instrument, so that a measuring result is not accurate. The invention provides an optical measuring instrument temperature control method and device, and an optical measuring instrument. The device comprises a first temperature control element (15) which is thermally coupled with an incident module (11) of the optical measuring instrument, and a second temperature control element (10) which is thermally coupled with an emitting module (9) of the optical measuring instrument. The first temperature control element and the second temperature control element control the temperature of the modules to prevent the modules from being influenced by light source heat. Preferably, the device also comprises an air supply device (4,2,1,7,33,3) which is used for providing airflow on an air path to keep the temperature within a certain range. The air path covers the optical path space between a wafer and a measuring mechanism of the optical measuring instrument, so that the stable temperature in the optical path space is maintained.