state Machine Diagram (SMD) is one of the SysML behavior diagrams, but it is a kind of semi-formal model language. As a consequence, models can not be verified conveniently and efficiently, especially in real-time emb...
详细信息
With the pervasiveness of the success cases of SaaS applications, outsourcing the manuscript submission and review system of periodical presses to SaaS providers becomes a new trend. This study proposes a solution for...
详细信息
ISBN:
(纸本)9781467350686
With the pervasiveness of the success cases of SaaS applications, outsourcing the manuscript submission and review system of periodical presses to SaaS providers becomes a new trend. This study proposes a solution for constructing the journal manuscript submission and review system based on level-3 maturity model of SaaS. In this article, the requirements of the system have been elicited, the architecture has been designed, and the key implementation has been presented. By renting the services provided by the system instead of buying or developing, the periodical presses can not only obtain better technical support, but also save costs. In addition, the periodical press can utilize its agglomeration effect based on SaaS platform and subscribe the value-added services such as journal recommendation service to implicit contributors and reviewer recommendation service to periodical presses which will be helpful to promote the quality and impact factor of the journal.
Depth of field (DoF) is a depth range outside of which objects are blurred. DoF has been widely used in photography and films by artists and is expected to be applied to realistic image rendering and virtual reality a...
详细信息
Search-based method using meta-heuristic algorithms is a hot topic in automatic test data generation. In this paper, we develop an automatic test data generating tool named particle swarm optimization data generation ...
详细信息
Cyber-Physical systems (CPS) play an important role in the safety-critical systems. It is very significant to verify whether some concerned behaviors exist in a CPS. Hybrid interface automata, extension of a non-hybri...
详细信息
Cyber-Physical systems (CPS) play an important role in the safety-critical systems. It is very significant to verify whether some concerned behaviors exist in a CPS. Hybrid interface automata, extension of a non-hybrid version, are used to model a CPS. A scenario, described by MARTE sequence diagram, specifies the concerned behaviors. An algorithm is given for bounded checking the behavioral nonexistent consistency, namely, the behaviors specified by a scenario all do not exist in a hybrid interface automaton. The idea of the algorithm is, firstly, encoding the behavioral nonexistent consistency to an unconstrained dynamic programming, secondly, solving the unconstrained dynamic programming by a genetic algorithm. The algorithm can search the results on the real domain, and be applied to nonlinear as well as linear hybrid systems.
In teaching of computer language, how can we improve their hearing of hearing-impaired students featured with special physiological characteristics and reduce the inconvenience and obstacles caused during teaching kno...
详细信息
In teaching of computer language, how can we improve their hearing of hearing-impaired students featured with special physiological characteristics and reduce the inconvenience and obstacles caused during teaching knowledge in the most effective way? In this research, we have applied simulation technology and developed the teaching simulation platform for them, and it is practically demonstrated in the hearing-impaired students in higher education and the application of research result that the system works well, with intuitive, efficient, and other characteristics, a strong promotion of the college teaching model changes, the language learning, education teaching and research referred.
In this paper, a discriminant manifold learning method based on Locally Linear Embedding (LLE), which is named Locally Linear Representation Fisher Criterion (LLRFC), is proposed for the classification of tumor gene e...
详细信息
In this paper, we give a new definition of community which is composed of two parts: community core and the periphery. Community core consists of highly densely connected nodes. And we propose LGSM (Local Greedy Searc...
详细信息
By using the knowledge of facial structure and temperature distribution, this paper proposes an automatic eye localization method from infrared thermal images. A facial structure consisting of 15 sub-regions is propos...
详细信息
Modern real time embedded systems are typically composed of multiple functional and nonfunctional concerns with nonfunctional concerns affect the former in many aspects. MARTE, an extension profile of UML2, aims to be...
详细信息
暂无评论