检索结果-内蒙古大学图书馆

International Conference on Trustworthy Computing and Services, ISCTCS 2012

作者： Huang, Xiaopu Sun, Qingqing Li, Jiangwei Zhang, Tian State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

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 embedded system (RTES) field as there are no descriptions of time and probability in SMD. To address these problems, we extend SMD with time and probability elements extracted from MARTE and propose a transformation algorithm based on MDE. With the algorithm, we transform the extended SMD to timed automata (TA) and then analyze and verify the transformation result using existing tools. So at the very beginning of system design, errors and deficiencies can be found. At last, we construct an instance to illustrate the validity of our approach. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Design and implementation of journal manuscript submission and review system based on SaaS 11

Design and implementation of journal manuscript submission a...

引用

11th IEEE International Symposium on Autonomous Decentralized systems, ISADS 2013

作者： Lai, Han Peng, Rong Cui, Jingsong Ni, Yuze Huang, Ying State Key Lab. of Software Engineering Wuhan University Wuhan China Computer School Wuhan University Wuhan China

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.

关键词： Presses (machine tools)

来源：评论

学校读者我要写书评

暂无评论

Layered depth-of-field rendering using color spreading

Layered depth-of-field rendering using color spreading

引用

12th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and Its Applications in Industry, VRCAI 2013

作者： Yu, Kai Wu, Shang Sheng, Bin Ma, Lizhuang Department of Computer Science and Engineering Shanghai Jiao Tong University Shanghai China State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences Beijing China

ISBN: (纸本)9781450325905

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 applications in the area of computer graphics. This paper presents a framework that produces DoF effect with high quality and performance. It is a layered method rendering the scene into layers where spreading filter is used to directly get the output, reduce memory usage and improve the result comparing with other layered methods using gathering filter. Depth peeling is used to solve partial occlusion problem and modified to discard the insignificant occluded pixels so as to reduce the number of occluded layers. This framework can also eliminate artifacts such as intensity leakage and depth discontinuity, and is GPU-friendly. © 2013 ACM.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Generating software test data by particle swarm optimization

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8886卷 37-47页

作者： Jia, Ya-Hui Chen, Wei-Neng Zhang, Jun Li, Jing-Jing School of Information Science and Technology Sun Yat-sen University Guangzhou China School of Advanced Computing Sun Yat-sen University Guangzhou China Key Lab. Machine Intelligence and Advanced Computing Ministry of Education China Engineering Research Center of Supercomputing Engineering Software MOE China School of Computer Science South China Normal University Guangzhou China

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 tool (PSODGT). The PSODGT is characterized by the following two features. First, the PSODGT adopts the condition-decision coverage (C/DC) as the criterion of software testing, aiming to build an efficient test data set that covers all conditions. Second, the PSODGT uses a particle swarm optimization (PSO) approach to generate test data set. In addition, a new position initialization technique is developed for PSO. Instead of initializing the test data randomly, the proposed technique uses the previously-found test data that can reach the target condition as the initial positions so that the search speed of PSODGT can be further accelerated. The PSODGT is tested on four practical programs. Experimental results show that the proposed PSO approach is promising. © Springer International Publishing Switzerland 2014.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Scenario-Based Behavioral Nonexistent Consistency Checking for Cyber-Physical systems

Scenario-Based Behavioral Nonexistent Consistency Checking f...

引用

International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS)

作者： Yan Zhang Xiangwei Liu Jin Shi Tian Zhang Zhuzhong Qian Department of Computer Science and Technology Beijing Electronic Science and Technology Institute Beijing P. R. China State Key Lab. for Novel Software TechnologyNanjing University Naniing P. R. China School of Information Management Nanjing University Nanjing P. R. China Department of Computer Science and Technology Nanjing University Nanjing P. R. China

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.

关键词： Unified modeling language Automata Trajectory Orbits Heuristic algorithms Dynamic programming Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Research on Simulation Technology Application on Higher Education for Deaf/hard-of-hearing Students in China

Research on Simulation Technology Application on Higher Educ...

引用

2014 3rd International Conference on science and Social Research

作者： Dengfeng Yao Zhili Liu Junxia Yan Yunfeng Qiu Beijing Key Laboratory of Information Service Engineering Beijing Union University Lab. of Computational Linguistics School of HumanitiesTsinghua University Special Education College Beijing Union University College of Computer Wuhan Vocational College of Software and Engineering Foreign Language College Jing Chu University of Science and Technology

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.

关键词： robot simulation deaf/hard-of-hearing students educational technology

来源：评论

学校读者我要写书评

暂无评论

Tumor gene expressive data classification based on locally linear representation Fisher criterion

引用

9th International Conference on Intelligent Computing, ICIC 2013

作者： Li, Bo Tian, Bei-Bei Liu, Jin School of Computer Science and Technology Wuhan University of Science and Technology 430081 Wuhan China Hubei Province Key Laboratory of Intelligent Information Processing and Real-time Industrial System Wuhan China State Key Lab. of Software Engineering Wuhan China

ISBN: (纸本)9783642394812

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 expressive data. In the proposed LLRFC, an inter-class graph and intra-class graph is constructed based on the class information of tumor gene expressive data, where the weights between nodes in both graph are optimized using locally linear representation trick. Moreover, a Fisher criterion is modeled to maximize the inter-class scatter and minimize the intra-class scatter simultaneously. Experiments on some benchmark tumor gene expressive data validate its efficiency. © 2013 Springer-Verlag.

关键词： Genes

来源：评论

学校读者我要写书评

暂无评论

A local greedy search method for detecting community structure in weighted social networks

A local greedy search method for detecting community structu...

引用

9th International Conference on Advanced Data Mining and Applications, ADMA 2013

作者： Liu, Bin Qian, Tieyun Computer School Wuhan University Wuhan 430071 China State Key Lab. of Software Engineering Wuhan University Wuhan 430071 China

ISBN: (纸本)9783642539138

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 Search Method) for discovering community structures in social networks. LGSM sorts node according to weighted degree. For each node, LGSM derives a maximal weighted clique as a seed cluster. Then, LGSM adds new nodes into the seed cluster until the weighted edge density is smaller than the threshold value. After all community cores are detected, LGSM allots isolated nodes to the detected cores, and optimizes the community structure based on modularity. Our method is an integrative method, which is applicable not only to discovering overlapping communities, but also to discovering non-overlapping community. Experiments illustrate that LGSM can achieve good community structure on synthetic and real-world networks and the time complexity is O(|E|Ig(|V|)). © Springer-Verlag 2013.

关键词： computers

来源：评论

学校读者我要写书评

暂无评论

Eye localization from infrared thermal images

Eye localization from infrared thermal images

引用

1st IAPR TC3 Workshop on Multimodal Pattern Recognition of Social Signals in Human-computer-Interaction, MPRSS 2012

作者： Wang, Shangfei Shen, Peijia Liu, Zhilei Key Lab. of Computing and Communication Software of Anhui Province School of Computer Science and Technology University of Science and Technology of China HeFei AnHui 230027 China

ISBN: (纸本)9783642370809

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 proposed to extract Haar-like features. Eight classifiers are learned from the features selected by Adaboost algorithm for left and right eye, respectively. A vote strategy is used to find the most likely eyes. Experimental results on the NVIE and Equinox databases show the effectiveness of our approach. © 2013 Springer-Verlag.

关键词： Adaptive boosting

来源：评论

学校读者我要写书评

暂无评论

XTiming Aspects Construction Using UML-MARTE Profile

XTiming Aspects Construction Using UML-MARTE Profile

引用

作者： Sun, Qingqing Huang, Xiaopu Li, Jiangwei Zhang, Tian State Key Lab. for Novel Software Technology Nanjing University Nanjing China Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783642357947

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 the unified standard language for real time and embedded systems. Aspect-Oriented technology, as a complement to Object-Oriented technique, decomposes systems into distinct features by separating and modularizing crosscutting concerns. In this article, we illustrate how to use plenty of time modeling elements in MARTE profile to support comprehensive modeling of RTES. Similar to general crosscutting concerns, time concerns are often triggered at multiple concerns and tangled with other requirements. We try to deal with time as typically crosscutting concerns by AO technology. We practice these thoughts by means of examples and seek to explore an effective modeling mechanism using of both Aspect-Oriented methods and MARTE profile. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：