Global optimization has many real-world applications. Most methods for solving it are based on search,so decreasing its search space can increase the efficiency for their solving. Symmetry-breaking is an important tec...
详细信息
Global optimization has many real-world applications. Most methods for solving it are based on search,so decreasing its search space can increase the efficiency for their solving. Symmetry-breaking is an important technique for decreasing search space and it has been widely used in SAT,CSP and so on. In this paper, we try to decrease the search space of an unconstrained optimization problem by symmetry *** present a method for extracting symmetries of an unconstrained optimization problem, and a method for constructing constraints to break those symmetries. The experimental results show that our methods are effective and efficient and symmetry-breaking can indeed increase the efficiency of global optimization problems solving.
The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable manner. In heterogeneous software systems, both ...
详细信息
The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable manner. In heterogeneous software systems, both approaches can coexist and complement each other. In this setting, interoperability is one the essential issues, since it enables composition of diverse components and *** the paper, we analyze possibilities of interoperability between component systems and the service oriented platforms and based on that we propose a solution for their mutual collaboration. To demonstrate the concepts, we use SOFA 2 as the particular component platform and OSGi service platform as the particular service platform.
We present a new method for adding furry effects for cartoon characters in images and videos. We synthesize furry stylized textures based on 3D texel structure. Given an image or a video as input, realistic fur texels...
详细信息
ISBN:
(纸本)9781424446568
We present a new method for adding furry effects for cartoon characters in images and videos. We synthesize furry stylized textures based on 3D texel structure. Given an image or a video as input, realistic fur texels are generated and mapped onto the region of interest(ROI) which is obtained using the Snake method. The 3D texels are rendered using ray marching algorithm on GPU for fast synthesizing the furry stylized textures. Specifically, fur texels of triangular prism shape are generated in order to be possibly mapped onto the traditional triangular mesh. Gaussian function is also introduced to provide parameters for users to control the fuzz degree. For the video applications, we use SIFT(scale invariant feature transform) algorithm to extract feature points and calculate the feature matching of the ROI along with the timeline. Experimental results show that the presented method is able to synthesize the furry stylized textures in the input image and generate dynamic fur in a video for better realistic rendering.
We present a new approach for quickly designing 3D models of botanical trees using an iterative addition of new nodes to the tree branch structure. This process is guided by the proximity of points marking volume dens...
详细信息
We present a new approach for quickly designing 3D models of botanical trees using an iterative addition of new nodes to the tree branch structure. This process is guided by the proximity of points marking volume density data captured from photographs. Numerical parameters provide the user controls that are consistent with the characteristics of trees in landscaping and make it possible to generate a wide variety of tree styles. Meanwhile we synthesize visually believable motions for the generated tree models affected by a wind field. Our system enables the simulation of tree animation, by introducing physically-based transformation matrix calculations for hierarchical branch patterns. The system also supports the tree-shaping modes in which many branches and leaves are generated by interactively designed their distribution density. Experimental results show that our approach can design a variety of reasonably natural-looking trees and their motions.
Since the scalability of logic circuits is becoming larger and more complex, the auto-design is becoming more and more difficult. In order to improve automatic design and performance evaluation of logic circuits in ef...
详细信息
Since the scalability of logic circuits is becoming larger and more complex, the auto-design is becoming more and more difficult. In order to improve automatic design and performance evaluation of logic circuits in efficiency and capability of optimization, multiobjective simulated annealing (MSA) based increasable evolution approach is designed to evolve logic circuits automatically with an extended matrix encoding method, which can be able to reflect the potential performance of a circuit and reduce the risk of deleting a circuit with a good developing potential during evolution is devised. In the process of evolution, each individual is renewedly associated to a corresponding objective in terms of a novel adaptive evaluation method at each generation. In experiments, complicated arithmetic circuits are designed to assess the performance of MSA against other algorithms. Results indicate that the proposed method could design logic circuits efficiently.
The prediction of the transmissibility of avian influenza A viruses from birds to humans is very important for the public health. Recently, two categories of molecular patterns, which were associated with the phenotyp...
详细信息
The prediction of the transmissibility of avian influenza A viruses from birds to humans is very important for the public health. Recently, two categories of molecular patterns, which were associated with the phenotype of interspecies transmission, were found to exist among avian influenza A viruses with different subtypes. In the paper, we used the similar method based on wavelet packet decomposition to transform the viral sequences and used the energy features of viral genome as input to train BP neural network. The good results of experimentation were got to discriminate the two categories of molecular patterns. A novel method was constructed to predict the transmissibility of avian influenza A viruses.
Small Message Criterion (SMC) can measure the capability of the covert channel on transmitting small messages and is a necessary complement to the capacity criterion. However, SMC's present definition has deficien...
详细信息
As nodes can move randomly in mobile sensor networks, the network topology changes frequently. Generally, there is no stable communication path between source node and sink node, even in a short interval. Thus the dat...
详细信息
As nodes can move randomly in mobile sensor networks, the network topology changes frequently. Generally, there is no stable communication path between source node and sink node, even in a short interval. Thus the data forwarding protocol encounters great challenges in mobile sensor networks. Receiver based routing protocols do not require to establish an overall routing from source node to sink node, but allow the neighbor nodes of the sender to contend for the forwarding right under certain rules, and only the contention winner has the opportunity to forward data. Existing receiver based routing protocols can be applied to mobile sensor networks, but they still suffer to some disadvantages in the fields of forwarding priority calculation, data collision, multicast suppression and routing void bypass. Taking into account the characteristics of mobile sensor networks, a receiver based cross-layer forwarding protocol (RCF) is proposed in this paper. The RCF protocol optimizes the forwarding priority calculation and utilizes a self-adaptive mechanism for forwarding right contention. Also, it deals with the data collision and multicast suppression better through the dual-channel communication model, and puts forward an efficient routing void bypass mechanism. The simulation results show that RCF performs well in terms of communication consumption, forwarding delay and reliability.
Existing methods for modeling E-commerce systems (ECSs) focus mostly on either mathematically abstract verification or graphical modeling, and cannot explicitly describe and analyze the obligations of partners. This w...
详细信息
Existing methods for modeling E-commerce systems (ECSs) focus mostly on either mathematically abstract verification or graphical modeling, and cannot explicitly describe and analyze the obligations of partners. This work presents a new class of Labeled Petri nets for the modeling and analysis of ECSs. And the life cycle of a case and the time/date of firing an action are considered. It can model graphically the dynamic behavior of the systems, and analyze elegantly the obligations. This approach is illustrated with a nontrivial example of the modeling and analysis of the trading process of the Purchase transaction in the Internet open trading protocol.
The emergence of Grid Computing settings lays a solid foundation for designing and constructing a next generation E-commerce environment. This work presents a new E-commerce architecture based on a Grid Computing envi...
详细信息
The emergence of Grid Computing settings lays a solid foundation for designing and constructing a next generation E-commerce environment. This work presents a new E-commerce architecture based on a Grid Computing environment, and models and analyzes the architecture using Temporal Petri nets (TPNs). It can make sufficiently use of the Grid resources to implement various electronic bargains between the geographically dispersed users. By means of its TPN model, some main temporal properties are represented and verified formally.
暂无评论