293results about How to "Increase constraints" patented technology

Aspects discussed herein present a solution for utilizing large-scale knowledge graphs for inference at scale and generating explanations for the conclusions. In some embodiments, aspects discussed herein learn inference paths from a knowledge graph and determine a confidence score for each inference path. Aspects discussed herein may apply the inference paths to the knowledge graph to improve database lookup, keyword searches, inferences, etc. Aspects discussed herein may generate a natural language explanation for each conclusion or result from one or more inference paths that led to that conclusion or result. Aspects discussed herein may present the best conclusions or results to the user based on selection strategies. The presented results or conclusions may include generated natural language explanations rather than links to documents with word occurrences highlighted.

A system of self-organizing mobile robotic agents (MRAs) in a multi-robotic system (MRS) is disclosed. MRAs cooperate, learn and interact with the environment. The system uses various AI technologies including genetic algorithms, genetic programming and evolving artificial neural networks to develop emergent dynamic behaviors. The collective behaviors of autonomous intelligent robotic agents are applied to numerous applications. The system uses hybrid control architectures. The system also develops dynamic coalitions of groups of autonomous MRAs for formation and reformation in order to perform complex tasks.

A system and method that translates sentences of natural language text into sets of axioms of formal logic that are consistent with parses resulting from NLP and acquired constraints as they accumulate. The system and method further present these axioms so as to facilitate further disambiguation of such sentences and produces axioms of formal logic suitable for processing by automated reasoning technologies, such as first-order or description logic suitable for processing by various reasoning algorithms, such as logic programs, inference engines, theorem provers, and rule-based systems.

The invention provides a synthetic polypeptide of Formula I′:or an amide, an ester or a salt thereof, wherein X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12 and X13 are defined herein. The polypeptides are agonist of the APJ receptor. The invention also relates to a method for manufacturing the polypeptides of the invention, and its therapeutic uses such as treatment or prevention of acute decompensated heart failure (ADHF), chronic heart failure, pulmonary hypertension, atrial fibrillation, Brugada syndrome, ventricular tachycardia, atherosclerosis, hypertension, restenosis, ischemic cardiovascular diseases, cardiomyopathy, cardiac fibrosis, arrhythmia, water retention, diabetes (including gestational diabetes), obesity, peripheral arterial disease, cerebrovascular accidents, transient ischemic attacks, traumatic brain injuries, amyotrophic lateral sclerosis, burn injuries (including sunburn) and preeclampsia. The present invention further provides a combination of pharmacologically active agents and a pharmaceutical composition.

An implant delivery system has one or more interlock assemblies which connect the implant delivery catheter to the implant, an improved inner tubular member and an outer tubular member. The interlock assemblies, improved inner tubular member and outer tubular member cooperate to place the implant in tension during deployment, thereby reducing implant deployment force.

A three-dimensional shape measuring apparatus includes a line laser light source (1) and an image capturing device (2). A three-dimensional shape measuring method and apparatus is characterized by irradiating a line laser beam to an object (3) to be measured from a laser projecting device, imaging points (6) irradiated with the laser beam by the image capturing device (2, detecting points on taken images as intersections (8), each of the points being detected from the taken images and being detected as a common point where line laser beams pass, deriving equations including the positions of the laser planes and the three-dimensional positions of the intersections as unknowns based on the detected intersections, determining the three-dimensional positions of the intersections and the positions of the laser planes by solving the derived equations as simultaneous equations, calculating by triangulation the three-dimensional positions of the points irradiated with the laser beams other than the intersections by using the positions of laser planes, and obtaining the three-dimensional shape of the object by repeating the series of processes.

One embodiment of the present invention provides a system that automatically generates an input sequence for a circuit design using mutant-based verification. During operation, the system receives a description of the circuit design. Next, the system determines a target value for a control signal in the description and a mutant value for the control signal. The system then determines if an input sequence exists for the circuit design that stimulates the control signal to the target value and causes the effects of the target value and the effects of the mutant value to reach an observation point in the circuit such that the effects of the target value and the effects of the mutant value differ at the observation point. If such an input sequence exists, the system then simulates operation of the circuit design using the input sequence. During simulation, the system generates two sets of signal outputs for the circuit design. The first set of signal outputs is affected by the target value for the control signal, while the second set of signal outputs is affected by the mutant value for the control signal.

The double-wire powering trolleybus bow collector used in city public traffic includes bottom frame, lower arm rod, pull rod, bow raising spring, upper arm rod, balance rod, head seat cross rod, cylinder, top cross rod, electrically conducting top sliding board, insulating seat, insulating rod and top spring. The six parts including bottom frame, lower arm rod, pull rod, upper arm rod, balance rod and head seat cross rod constitute two duplex planar quadric crank mechanisms with rods connected flexibly. The electrically conducting top sliding board is separated by the middle insulating rod into two current collectors fixed via the insulating seat on the top cross rod; and the top cross rod is connected flexibly to the head seat cross rod, with two ends being connected via the top spring. When the low arm rod is oscillated by the cylinder on the bottom frame and the bow raising spring, the electrically conducting top sliding board will ascend or descent. The present invention has good contact performance, etc.

The invention discloses a portrait style transfer method based on semantic segmentation and a deep convolutional neural network. The method comprises the steps of firstly, selecting a portrait image needed to be converted and a target style portrait image; secondly, carrying out semantic segmentation on the two images to obtain a portrait area and a background area; thirdly, segmenting out the specific five sense organs from the portrait area; fourthly, defining a portrait style transfer loss function; fifthly, adopting the deep convolutional neural network VGG-19 as an image advanced style extraction basic model; sixthly, after a content constraint layer and a style constraint layer is set, defining the content constraint layer and the style constraint layer in the VGG-19 model; and finally, establishing a new model structure. The segmented semantic image and the original image are input to the new VGG-19 model; the advanced style features and content features of the image are extracted; the portrait style transfer loss function is used; by adopting a gradient descent method, the loss function is minimized through multiple iterations; and finally a style transfer result image is generated.

A daily electricity generation planning method of a cascade hydropower plants is disclosed, and the method is comprised of the steps as follows: step 1, regardless of the constraints for opening and closing the generator, taking the power similarity between the power plant group and the typical demand as one of optimization objectives, and performing a first optimization to obtain a daily electricity generation plan; step 2, according to the derived daily electricity generation plan, determining an opening and closing status for the generator; and step 3, considering the constraints for opening and closing the generator, taking the power similarity between the power plant group and the typical demand as the optimization objective, performing a second optimization to obtain the daily electricity generation plan.

A boost PFC converter includes a rectifier, a converter and an output stage comprising an output capacitor where the DC output voltage is provided across the output capacitor. The rectifier includes four rectifying elements connected in a full bridge configuration where the upper two of these four rectifying elements are thyristors and where the lower two are diodes. In that the thyristors are controlled such as to be open for only a part of each half period of the input voltage, the amount of current per half period that is passed to the output capacitor is controllable and can be made very small. Accordingly, the charge current for precharging the output capacitor can be controllably limited such that a bulky precharge resistor is not required anymore to avoid high inrush currents.

In one embodiment, a method (50) is provided for improving switched capacitor performance by lowering a mismatch constraint to be equal to, or nearly equal to, a noise constraint. The mismatch constraint is lowered by increasing a finger spacing of a fringe capacitor design (10) while maintaining the same surface area covered by the fringe capacitor design (10). In another embodiment, a noise constraint is lowered by decreasing finger spacing. Lowering the noise constraint by decreasing finger spacing reduces the area of a fringe capacitor used in, for example, an analog-to-digital converter. Both embodiments may improve performance of the analog-to-digital converter by lowering power consumption, increasing speed, or both.

A 3D real-scene copying device having high cost performance comprises a monocular multi-view stereoscopic vision sensor used for shooting a reconstructed object and a microprocessor used for performing image process and 3D real-scene copying on the reconstructed object; the monocular multi-vies stereoscopic vision sensor comprises a hopper-shaped mirror cavity, a shell, an objective table, a high-definition camera and a semi-spherical LED light source; the microprocessor comprises an image reading module, an image processing module, an image enhancing module, a three-dimensional point cloud obtaining module and a point cloud reconstructing module, the image reading module is used for reading an image, comprising five views, of the reconstructed object, the image processing module is used for segmenting the foreground of the reconstructed object from the image comprising the five views and performing rotation transformation and distortion correction on the image comprising the five views by means of a standardization result of the sensor, the image enhancing module is used for homogenizing the image brightness, in each view, of the reconstructed object, the three-dimensional point cloud obtaining module is used for extracting real three-dimensional coordinate values and color values of points on the surface of the reconstructed object, and the point cloud reconstructing module is used for performing three-dimensional reconstruction on point cloud data.

The present invention is related to an apparatus for cutting webs of material (1) and includes a cutting cylinder (8) having at least one knife assembly (12, 13) assigned to its circumference (9). A supporting element (23) is assigned to said cutting cylinder (8) forming a cutting region (3) there between and a transport belt (20) having cut rubber portions (20.1, 20.2, 20.3) integrated therein is assigned to said supporting element (23).

Processes are described for provision of privacy-sensitive sample analysis results to a sample provider. The sample provider generates a cryptographic commitment encoding a secret value, r, and a sample identifier, s, associated with a sample container. The sample provider provides the commitment to an analysis provider in association with the sample container containing a sample for analysis. The analysis provider analyzes the sample to obtain a set of analysis results corresponding to the sample identifier, s, and generates a cryptographic pre-credential, σ′, corresponding to the sample identifier, s. The pre-credential, σ′, encodes the set of analysis results and the commitment. Completion of the pre-credential, σ′, requires knowledge of the secret value, r, in the commitment. In response to cryptographic proof of knowledge by the sample provider of at least the secret value, r, in the commitment encoded in the pre-credential, σ′, corresponding to the sample identifier, s, the analysis provider supplies the pre-credential, σ′, to the sample provider. The sample provider then completes the pre-credential, σ′ using the secret value, r, to obtain a cryptographic credential, σ, encoding the set of analysis results.

The invention provides a construction site intelligent monitoring system based on internet of things. The system comprises a monitoring processing unit, an inlet and outlet region monitoring unit and an automobile wash region monitoring unit. The invention further provides a construction site intelligent monitoring method based on the internet of things. By the system and the method, the problem of throwing building materials by a waste vehicle in a construction site can be solved. Violations are subjected to early warning and evidence-taking backtrack by automatically monitoring washing, overloading and illegal operation of the waste vehicle in the construction site.

The invention provides a synthetic polypeptide of Formula I′ (SEQ ID NO: 1):X1-X2-X3-R—X5-X6-X7-X8-X9-X10-X11-X12-X13  Ior an amide, an ester or a salt thereof, wherein X1, X2, X3, X5, X6, X7, X8, X9, X10, X11, X12 and X13 are defined herein. The polypeptides are agonist of the APJ receptor. The invention also relates to a method for manufacturing the polypeptides of the invention, and its therapeutic uses such as treatment or prevention of acute decompensated heart failure (ADHF), chronic heart failure, pulmonary hypertension, atrial fibrillation, Brugada syndrome, ventricular tachycardia, atherosclerosis, hypertension, restenosis, ischemic cardiovascular diseases, cardiomyopathy, cardiac fibrosis, arrhythmia, water retention, diabetes (including gestational diabetes), obesity, peripheral arterial disease, cerebrovascular accidents, transient ischemic attacks, traumatic brain injuries, amyotrophic lateral sclerosis, burn injuries (including sunburn) and preeclampsia. The present invention further provides a combination of pharmacologically active agents and a pharmaceutical composition.

The invention provides the structure of a human β2-adrenergic receptor, a cholesterol consensus motif, and methods of identifying modulators of G-protein coupled receptors (GPCRs). Methods of using the modulators of the receptor, GPCRs, and the cholesterol consensus motif are also provided.

Processes are described for provision of privacy-sensitive sample analysis results to a sample provider. The sample provider generates a cryptographic commitment encoding a secret value, r, and a sample identifier, s, associated with a sample container. The sample provider provides the commitment to an analysis provider in association with the sample container containing a sample for analysis. The analysis provider analyzes the sample to obtain a set of analysis results corresponding to the sample identifier, s, and generates a cryptographic pre-credential, σ′, corresponding to the sample identifier, s. The pre-credential, σ′, encodes the set of analysis results and the commitment. Completion of the pre-credential, σ′, requires knowledge of the secret value, r, in the commitment. In response to cryptographic proof of knowledge by the sample provider of at least the secret value, r, in the commitment encoded in the pre-credential, σ′, corresponding to the sample identifier, s, the analysis provider supplies the pre-credential, σ′, to the sample provider. The sample provider then completes the pre-credential, σ′ using the secret value, r, to obtain a cryptographic credential, σ, encoding the set of analysis results.

In a side airbag system (10), a tether portion (22), which serves as a partition between an upper bag portion (16) and a lower bag portion (18), is formed of upper regions (34U) of a piece of lower base fabric (34), and is formed by sewing the upper regions (34U) of the lower base fabric (34), folded toward a vehicle front side along a fold axis, together. In addition, a tube (24) that distributes inflation gas between the upper bag portion (16) and the lower bag portion (18) extends through the tether portion (22) to the lower bag portion (18) and to the upper bag portion (16). The tube (24)is formed into a cylindrical shape in such a manner that a piece of tube base fabric (36) is sewed to the upper regions (34U) of the lower base fabric (34) and folded toward a vehicle front side along the fold axis and then front ends (36F) of the folded tube base fabric are sewed together in a tube longitudinal direction.

A three-dimensional shape measuring apparatus includes a line laser light source (1) and an image capturing device (2). A three-dimensional shape measuring method and apparatus is characterized by irradiating a line laser beam to an object (3) to be measured from a laser projecting device, imaging points (6) irradiated with the laser beam by the image capturing device (2, detecting points on taken images as intersections (8), each of the points being detected from the taken images and being detected as a common point where line laser beams pass, deriving equations including the positions of the laser planes and the three-dimensional positions of the intersections as unknowns based on the detected intersections, determining the three-dimensional positions of the intersections and the positions of the laser planes by solving the derived equations as simultaneous equations, calculating by triangulation the three-dimensional positions of the points irradiated with the laser beams other than the intersections by using the positions of laser planes, and obtaining the three-dimensional shape of the object by repeating the series of processes.

A dynamic binary translator apparatus, method and program for translating a first block of binary computer code intended for execution in a subject execution environment having a first memory of one page size into a second block for execution in a second execution environment having a second memory of another page size, comprising a redirection page mapper responsive to a page characteristic of the first memory for mapping an address of the first memory to an address of the second memory; a memory fault behaviour detector operable to detect memory faulting during execution of the second block and to accumulate a fault count to a trigger threshold; and a regeneration component responsive to the fault count reaching the trigger threshold to discard the second block and cause the first block to be retranslated with its memory references remapped by a page table walk.

The invention discloses a deformation-controllable frame filling wall which is mainly composed of a frame 1, a filling wall 2, deformation control parts 3, horizontal tie bars 4, restraint columns 5 and horizontal connection beams 12. The deformation-controllable frame filling wall is characterized in that the frame 1 is composed of a frame upper beam 6, a frame lower beam 7, a frame left column 8 and a frame right column 9, the filling wall 2 is a brickwork filling wall which is built by bricks (clay bricks and hollow bricks) or concrete building blocks, the deformation control parts 3 are arranged at positions where four corners of the filling wall contact with joints of the frame, the filling wall 2 is connected with the frame left column 8 and the frame left column 9 through a flexible material 10, and connected with the frame upper beam 6 and the frame lower beam 7 through an elastic connection material 15, the restraint columns 5 are arranged at positions where the filling wall 2 is connected with the flexible material 10, and the horizontal tie bars 4 which are arranged in the height direction of the filling wall are connected with the restraint columns. When the height of the filling wall is large, horizontal tie beams 12 can be arranged in the filling wall, and two ends of the horizontal tie beams 12 are connected with the restraint columns 5.

The invention provides a bioconjugates comprising a synthetic polypeptide of Formula I′ (SEQ ID NO: 1):or an amide, an ester or a salt thereof, wherein X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12 and X13 are defined herein and a half-life extending moiety wherein the peptide and the half-life extending moiety are covalently linked or fuse, optionally via a linker. The polypeptides are agonist of the APJ receptor. The invention also relates to a method for manufacturing the bioconjugates of the invention, and its therapeutic uses such as treatment or prevention of acute decompensated heart failure (ADHF), chronic heart failure, pulmonary hypertension, atrial fibrillation, Brugada syndrome, ventricular tachycardia, atherosclerosis, hypertension, restenosis, ischemic cardiovascular diseases, cardiomyopathy, cardiac fibrosis, arrhythmia, water retention, diabetes (including gestational diabetes), obesity, peripheral arterial disease, cerebrovascular accidents, transient ischemic attacks, traumatic brain injuries, amyotrophic lateral sclerosis, burn injuries (including sunburn) and preeclampsia. The present invention further provides a combination of pharmacologically active agents and a pharmaceutical composition.

The invention discloses an improved anti-crack construction technique for an aerated concrete block wall. The technological process of the improved anti-crack construction method comprises the steps of construction preparation; drawing of a masonry block arrangement map according to the spatial size of a filler wall; leveling of frame columns or a shear wall, snapping of axes, and scribing and brick layer lines; arrangement of tie bars; line hanging, mortar laying and construction; construction of skew bricks when construction is conducted to the position 130 mm away from the beam bottom; pipeline laying; repairing treatment of the wall; spraying of a special interface treating agent through a machine; nailing of a steel wire gauze; alignment and bar embedding; plastering of the bottom layer; plastering of the surface layer; and water spraying for curing. The improved anti-crack construction technique for the aerated concrete block wall has the characteristics that construction operation is easy and convenient, comprehensive cost is reduced, the construction period is shortened, the anti-crack requirement of the wall is met, and accordingly the quality of the wall is improved; and the improved anti-crack construction technique for the aerated concrete block wall has extremely good application prospects.

The invention discloses a submarine suction foundation which comprises a barrel shape body. The lateral of the upper end of the barrel shape body is provided with a circular stable disk which is formed into an integrated 'T'-shaped structure together with the barrel shape body. The invention arranges the circular stable disk at the barrel shape body of the suction foundation and presses the stable disk directly onto a soil body surface surrounding the foundation when anchoring the foundation so as to ensure part of the soil body to form an integration more closely with the foundation and to connectively move together with the foundation when the foundation is movably loaded by a horizontal ice force and so on. Therefore, the problems that formerly, as the soil surrounding the barrel foundation gets closer to the barrel foundation, the soil receives bigger disturbance and the softening degree and the liquefaction degree become more and more serious are eliminated; the disturbance brought by the barrel foundation can be more evenly and extensively distributed into the soil surrounding the barrel foundation; the softening degree of the soil body is reduced; the liquefaction of soil mass is eliminated; and thereby the stability of the foundation and the reliability of the anchorage in the submarine soil are guaranteed.

The invention discloses a method for compiling and compounding 3D face animation based on sport communication and Isomap analysis. Firstly, the method requires a user to choose a control point in the 3D face model and designate the restriction conditions of expression action in a two-dimension plane; the system trains a prior probability model according to the data of face animation, spreads less user restriction to the other parts of face grids so as to generate completed lively face expression; then modeling to 3D face animation knowledge is carried out by Isomap learning algorithm, key frames designated by the user are combined, smooth geodesic on the higher order surfaces is fitted, and new face animation serial is generated automatically. The method of the invention can lead the compiling of face expression to be carried out only in the two-dimension projection space and the compiling of face expression is easier; owing to the restriction of the prior probability model, 3D face expression satisfying the principle of anthropotomy can be obtained, the new face animation serial can be obtained by combining the key frames designated by the user, and the production of face expression animation is simplified.

The invention discloses a transient electromagnetic inversion method based on transverse smooth constraint and is applied to the earth exploration field. The method comprises steps that S1, a primary pulse magnetic field is emitted to the underground, a secondary magnetic field excited by induction eddy current generated by an underground conductive geologic body under the excitation action of the primary pulse magnetic field is measured, secondary magnetic field data acquired through measurement is taken as observation data; S2, an initial inversion model is constructed; S3, a mismatching functional between the observation data and forward theory data is constructed; S4, a vertical constraint functional for constraining electric parameter change of the conductive geologic body is constructed; S5, a transverse constraint functional for constraining electric parameter change of the conductive geologic body among measurement points is constructed; S6, an inversion target function is constructed on the basis of the mismatching functional, the vertical constraint functional and the transverse constraint functional; and S7, the initial inversion model is taken as initial conditions, an electric parameter corresponding to a smallest inversion target function value is solved, and the underground structure is reconstructed according to the electric parameter. The method is advantaged in that the underground structure acquired on the basis of inversion imaging results is more accurate and reliable.