A large number of high-quality web information is deeply hidden in the Web, which can not be indexed by conventional search engines, be called Deep Web. Because query interface is the only entrance to the Deep Web, we...
详细信息
Deep Web sources classification is one of key steps in Large-scale data integration, and structured query interface of Deep Web serves as a valid approach for research on online databases organization by domains. This...
详细信息
Along with the rapid development of observational techniques in astronomy,mass data which observed from earth or space astronomical instruments arerequired to process, analyze and public release urgently. In order to ...
详细信息
Model composition is frequently used during large software development in MDE (Model Driven Engineering). The consistency of the composed model is quite essential to model composition. This paper presents a weaving-ba...
详细信息
Model composition is frequently used during large software development in MDE (Model Driven Engineering). The consistency of the composed model is quite essential to model composition. This paper presents a weaving-based model composition framework (WMCF) and then gives a prototype implementation of the framework using Alloy language. Models are converted into Alloy codes and model composition is verified by the Alloy Analyzer.
We propose LucScript as a new logic based language for expressing digital rights, which bases on a logic update language with active rules so that the rights model can show an active adapting ability to the environmen...
详细信息
ISBN:
(纸本)9781424435661
We propose LucScript as a new logic based language for expressing digital rights, which bases on a logic update language with active rules so that the rights model can show an active adapting ability to the environments and get a continuous authorization procedure during the whole period of operations. The syntax and semantics of the language are illuminated by the paper. And the authorization procedure and management mechanisms of the language are analyzed and explained. Finally, an implementation model of the language is presented.
A novel Lagrangian ¿individual-based¿ isotropic continuous time exponential type stochastic swarming model in an n-dimensional Euclidean space with a family of attraction/repulsion function is proposed in th...
详细信息
ISBN:
(纸本)9781424463251;9780769539911
A novel Lagrangian ¿individual-based¿ isotropic continuous time exponential type stochastic swarming model in an n-dimensional Euclidean space with a family of attraction/repulsion function is proposed in this article. The stability of aggregating behavior of the swarms system are verified by stability theoretical analysis and numerical simulation. Stability analysis and numerical simulations results further indicate that the individual members living in group during the course of coordinative motion can realize the mutual aggregating behavior, the motion of each individual member is a combination of the inter-individual interactions, meanwhile, which are also presented to demonstrate the effectiveness of our model. The attraction/repulsion function is odd, so the attractive force and repulsion force taking effect in opposite direction that leads to aggregation behavior. Moreover, numerical simulation results of globally asymptotically stability analysis also verify the capability of the proposed relevant theories.
Due to the urgent requirements of mass data processing in the field of astronomy, with the advent of network grid computing techniques, a scientific workflow technique was presented and quickly adopted for distributed...
详细信息
Due to the urgent requirements of mass data processing in the field of astronomy, with the advent of network grid computing techniques, a scientific workflow technique was presented and quickly adopted for distributed astronomical data processing. However, current existing scientific workflow systems are too complex and enormous in system deployment and system manipulation. Few people can master it in a short period. In this paper, we presented a lightweight scientific workflow system, C-SWF, which is specially designed for astronomy. All required fundamental functions, such as task customization, data movement, provenance and task re-run mechanisms, are fully implemented. Comparing with the existing scientific workflow system, C-SWF provides many useful features such as simple, high performance and is easy to deploy in order to meet the requirements of astronomers.
Analytical and numerical solutions of the Schroedinger Equation which was satisfied by the propagator P(b, a) , including all the paths contribution, are discussed. The definition of Schrödinger transform of imag...
详细信息
Collecting data with confidence of the environment is an important application of the wireless sensor networks (WSN). In this study, we used a splay tree based event region fault-tolerant detection algorithm (STERD) f...
详细信息
In order to improve the imaging quality of conventional laser photography, this study proposes a new system for colored pulse laser photography to obtain high speed color microscopic imaging. Based on the RGB synthesi...
详细信息
In order to improve the imaging quality of conventional laser photography, this study proposes a new system for colored pulse laser photography to obtain high speed color microscopic imaging. Based on the RGB synthesis technique, three channels of red, green, and blue images are acquired from three cameras with three independent laser light sources. Then, a high quality color image can be obtained by assembling the monochromatic images with the image realignment and color calibration processes. The experimental results show that the proposed system can achieve a high quality colored pulse photography.
暂无评论