The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The optical satellite imagery with high resolution and large coverage has been widely applied to gain the geospatial information of island and reef area. In this paper, according to the repeated observation of satellites, the method of georeferencing with multi-source optical satellite imagery is presented, in which the constraint model is introduced in to solve the rank defect of the coefficient...
The de-personalised Electronic Healthcare Record (EHR) for secondary use has suffered re-identification. The Realistic Synthetic EHR (RS-EHR) is a promising solution safe from the threat of re-identification. This paper addresses the problem of generating the RS-EHR without using the real EHR by exploiting published Clinical Practice Guidelines (CPG) and Health Incidence Statistics (HIS). The CoMSER...
Evaluating repayment ability and willing has abstracted a lot of attention from various aspects, such as finance, marketing, economics, mathematics and information science. Various credit evaluation methods emerge from time to time. Despite of the differences among these methods, constraints cannot be absent. This paper proposes an opportunity cost based transaction credit evaluation constraint model...
This paper studies the modeling method based on the unified constraint complex systems for the complex products' design and analysis. The method solves the multi-domain optimization problems by a unified constraint model. For the multi-domain physical systems, the model cell's libraries of the machinery, electronic, hydraulic, control systems and other areas are established. A digitized functional...
Current environment of geo-visualization still has some disadvantages which mainly are: visualization entity model is not easy to be built; system software cannot support rapid modification and effectively reuse of former results; system platform cannot support consistency maintenance of visualization models. The theory and method of variant design, which has a public optimization feature, was proposed...
An approach to the solution of sequencing machining step on a machining center is proposed. Constraints model is established based on polychromatic sets theory and it is combined with a genetic algorithm to a sequence machining step on a machining center. In the model part contour matrix is used to formalize the conditioned restrictions visually and comprehensively, through which the computer programming...
This paper proposes an uncertain data reconciliation algorithm for Process Industry. First of all, the dynamic Event Dependency Graph is defined to abstract the problem. Taking into account the scale of the industry, a granularity partition algorithm relied on event detection is presented. In the following for the purpose of data prediction to improve the precision of the predicted value of the measured...
An improved genetic algorithm (GA) is presented to solve Flexible Job Shop scheduling (FJSS) problem. This algorithm combines GA with constraint model based on polychromatic sets theory (PST). According to the characteristic of FJSS problem, this algorithm uses contour matrix to formalize the restrictions between workpiece and operations, and between operations and machines. During the process of...
Constraint-Based Testing (CBT) is the process of generating test cases against a testing objective by using constraint solving techniques. When programs contain dynamic memory allocation and loops, constraint reasoning becomes challenging as new variables and new constraints are created during the test data generation process. In this paper, we address this problem by proposing a new constraint model...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.