Most of real-life scheduling problems are semi on-line scheduling,where we do not know all the time variables of jobs in ***,solving such dynamic problems is a hot topic of research in Constraint *** this paper we ana...
详细信息
Most of real-life scheduling problems are semi on-line scheduling,where we do not know all the time variables of jobs in ***,solving such dynamic problems is a hot topic of research in Constraint *** this paper we analyze the constraints in the semi on-line scheduling problems and introduce the concept of monotonic about constraints which appear in general dynamic constraint *** designed a generic dynamic constraint solving algorithm for solving the scheduling *** give an example of its application to semi on-line discrete resource-constrained scheduling problem(ship-loading problem).
In this paper, we propose a new supervised compound learning algorithm for training our constructed approximated bivariate non-tensor product adaptive pre-wavelet neural network (APWNN). On the one hand, the linear we...
详细信息
In this paper, we propose a new supervised compound learning algorithm for training our constructed approximated bivariate non-tensor product adaptive pre-wavelet neural network (APWNN). On the one hand, the linear weights of APWNN are trained by the self-adaptive learning rate method. On the other hand an extended Kalman filter method is used to update the nonlinear parameters such as dilation parameters and translation parameters. Additionally we demonstrate the efficiency of our proposed method through a concrete example of function approximation.
This paper deals with the problem of osculatory rational interpolation. We discuss the existence of the osculatory rational interpolation function for the given interpolation data and construct the relative rational f...
详细信息
This paper deals with the problem of osculatory rational interpolation. We discuss the existence of the osculatory rational interpolation function for the given interpolation data and construct the relative rational function as it exists. Furthermore, we point out that the rational interpolation function exists for almost all given interpolation nodes and corresponding interpolation values. Finally some examples are presented.
In this paper, we analyze the method of support-confidence framework when mining association rules. In order to avoid the limitation in the criterion, we propose a new method of match as the substitution of confidence...
详细信息
In this paper, we analyze the method of support-confidence framework when mining association rules. In order to avoid the limitation in the criterion, we propose a new method of match as the substitution of confidence. We analyze in detail the property of the proposed measurement. Experimental results show that there is higher correlation between the antecedent and the consequent of the rules produced by the improved method compared with the rules produced by the support-confidence framework. Furthermore, the improved method decreases the generation of redundancy rules.
The reduct of Boolean functions is widely used in many applications, for example: digital circuits. In this paper, we present an approach, which is based on primes, to representing the Boolean system. We present an al...
详细信息
The reduct of Boolean functions is widely used in many applications, for example: digital circuits. In this paper, we present an approach, which is based on primes, to representing the Boolean system. We present an algorithm for reduct of Boolean functions based on primes, and the cost of the algorithm is analyzed to indicate that the algorithm is efficient.
In UML, a modeling language popularly used to describe models at different abstraction levels, sequence diagram and statechart are both used to represent systems' behavior models. A consistency problem may arise d...
详细信息
In UML, a modeling language popularly used to describe models at different abstraction levels, sequence diagram and statechart are both used to represent systems' behavior models. A consistency problem may arise due to the fact that sequence diagram represent interactive behavior of all objects, whereas statechart represent the complete behavior of one specific object. This paper proposes an approach checking the consistency between sequence diagrams and state diagrams. In our approach, statechart is formalized using finite state processes and sequence diagram is represented using messages trace. An existing tool LTSA is used to support our method.
The workflow model is the abstract expression of the workflow or the business process. Following the WfMC reference model, a PKI-based lightweight workflow model named as PBLW is put forward in this paper. The framewo...
详细信息
The workflow model is the abstract expression of the workflow or the business process. Following the WfMC reference model, a PKI-based lightweight workflow model named as PBLW is put forward in this paper. The framework of PBLW is proposed. Based on the time constraint directed graph, the workflow theory model in formalization is described in detail, and the time constraint problems are discussed in order to enhance the time management ability of the workflow model. Furthermore, in order to express the complicated secure access control constraint of the workflow, a conditioned RBAC model based on PKJ technology is presented, according to the traditional RBAC security access control model. Finally, the workflow engine driven algorithms for the workflow instance are given. By the actual inspection and users' feedback, it proves that this model can express the basic requirements of a majority of the process applications.
This paper presents two parallel semantics of constraint logic programs: multiset answer constraint semantics and game semantics, which differ entirely from the traditional semantics. When giving the first semantics, ...
详细信息
This paper presents two parallel semantics of constraint logic programs: multiset answer constraint semantics and game semantics, which differ entirely from the traditional semantics. When giving the first semantics, it adopts the s-semantics approach, whose aim is to find notions of models which really capture the operational semantics. And it defines the program equivalence based on multiset answer constraint. Then it investigates the game semantics and proves that it is consistent with traditional operational semantics. On the basis of these two semantics, programmers can comprehend the programs deeply and develop more sound parallel constraint logic programming systems. Finally, it gives the conclusions and future work.
ETL tools are responsible for the extraction of data from sources, their cleansing and loading into a target data warehouse. However, nowadays, the design and development of ETL processes are performed in an in-house ...
详细信息
ETL tools are responsible for the extraction of data from sources, their cleansing and loading into a target data warehouse. However, nowadays, the design and development of ETL processes are performed in an in-house fashion, and need uniformed methodological foundations. In this paper, we propose a novel conceptual model for the modeling of ETL processes. We employ CommonCubes to represent the cubes in a target data warehouse. CommonCubes release the design of ETL processes from overdependence on the physical schema of the target data warehouse, and enable the designers to pay more efforts to data transforming than data loading when designing ETL processes. Based on the constraint functions on source attributes and the transforming operations on target attributes, we define ETL mappings 1:0 capture the semantics of various relationship cardinalities between source attributes and target attributes, which provide a good basis for the design of ETL processes.
暂无评论