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

2011 International Conference on Computer Science and Education, CSE 2011

作者： Yuan, Yuan Fanping, Zeng Guanmiao, Zhu Chaoqiang, Deng Neng, Xiong Department of Computer University of Science and Technology of China China Anhui Province Key Lab. of Software in Computing and Communication Hefei Anhui China

ISBN: (纸本)9783642224171

Testing is a critical activity to find software errors. And choosing an effective test suite is the key problem in software testing area. Program invariant, as an attribute of program, can record the implementation state of test case very well and reveal the coverage of program data. In this paper, we integrate adaptive random testing and invariant technology, and present a new method which makes full use of the feedback information of program invariant and invalid case suite to generate the next case. Experiment results show that, compared with other similar methods, running for the same time, our method can achieve higher coverage and faster convergence speed. © 2011 Springer-Verlag.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

A new boundary treatment method for SPH and application in fluid simulation

A new boundary treatment method for SPH and application in f...

引用

3rd International Conference on Information and computing, ICIC 2010

作者： Song, Bo Dong, Lanfang School of Computer Science and Technology USTC Hefei China Anhui Province Key Lab. of Software in Computing and Communication China

ISBN: (纸本)9780769540474

Appropriate dealing with boundary conditions is very important for SPH. Current boundary treatment methods like boundary force method, ghost particle method and virtual boundary layer method, when dealing with complex boundaries, they will have to compute much on putting external particles. For resolving this problem, we propose a new method assuming part of boundary surface instead of external particles, called effective force surface, directly repels the internal particles which approach sufficiently close. We call this new method EFS method. It is implemented in the SPH model for simulating fluid in rabbit-type cup and dam-breaking. In the former case, liquid flows vividly and no internal particles penetrate boundaries. In the latter case, the result is similar to existing result. The experimental results show that EFS method can effectively and precisely deal with complex boundary conditions. © 2010 IEEE.

关键词： Boundary conditions

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Emotional music generation using interactive genetic algorithm

Emotional music generation using interactive genetic algorit...

引用

International Conference on Computer Science and software Engineering, CSSE 2008

作者： Zhu, Hua Wang, Shangfei Wang, Zhen Key Lab. of Computing and Communicating Software of Anhui Province Department of Computer Science University of Science and Technology of China Hefei Anhui 230027 China

ISBN: (纸本)9780769533360

This paper proposes an approach to generate emotional music using Interactive Genetic Algorithm. Performance rules are described by the KTH rule system. Different emotional expressions can be modeled by using selections of rules and rule weights. Interactive Genetic Algorithm is applied to optimize rule weights based on users' subjective evaluation. Users can get their satisfied emotional music with the help of GA, although they have no profound knowledge for composition. Two kinds of emotional music with the states of happy and sad are obtained finally. The Sheffé's method of paired comparisons is carried out to estimate the effectiveness of generated music. In the confidence interval of 99%, the music generated by the proposed approach are more approbatory than that generated by the expert, both for the emotion of happy and sad. © 2008 IEEE.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

A real-time attitude recognition by eye-tracking 11

A real-time attitude recognition by eye-tracking

引用

3rd International Conference on Internet Multimedia computing and Service, ICIMCS 2011

作者： Lv, Yanpeng Wang, Shangfei Shen, Peijia Key Lab. of Computing and Communicating Software of Anhui Province School of Computer Science and Technology University of Science and Technology of China Hefei Anhui China

ISBN: (纸本)9781450309189

Attitude, which is the outward manifestation of human psychology information, is inevitable in everyday situation. Attitude recognition by artificial intelligence has become a hotspot and produced promising results in recent years. In this paper, we propose an attitude recognition method based on eye-tracking. We first improve the eye location algorithm in OpenCV and assume that the trajectory of eyes-center is the same with that of head. Then using eye location method, the center of eyes is calculated. By analysis of displacement of eyes' centers in each two successive frames, sub-result is obtained. The final result is determined by voting algorithm. Experimental results indicate that this method could recognize positive and negative attitudes in real time. We applied our method to "KeJia", an intelligent service robot and it worked well. © 2011 ACM.

关键词： Eye tracking

来源：评论

学校读者我要写书评

暂无评论

引用

9th International Symposium on Neural Networks, ISNN 2012

作者： Wang, Shangfei He, Shan Zhu, Hua Key Lab. of Computing and Communicating Software of Anhui Province School of Computer Science and Technology University of Science and Technology of China Hefei Anhui 230027 China

ISBN: (数字)9783642313622

ISBN: (纸本)9783642313615

This paper proposes a novel approach to search for the optimal combination of a measure function and feature weights using an evolutionary algorithm. Different combinations of measure function and feature weights are used to construct the searching space. Genetic Algorithm is applied as an evolutionary algorithm to search for the candidate solution, in which the classification rate of the K-Nearest Neighbor classifier is used as the fitness value. Three experiments are carefully designed to show the attractiveness of our approach. In the first experiment, an artificial data set is constructed to verify the effectiveness of the proposed approach by testing whether it could find the optimal combination of measure function and feature weights which satisfy the data set. In the second experiment, data sets from the University of California at Irvine are employed to verify the general applicability of the method. Finally, a prostate cancer data set is used to show its effectiveness on high-dimensional data. © 2012 Springer-Verlag.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

Research on method of object-oriented test cases generation based on UML and LTS

Research on method of object-oriented test cases generation ...

引用

1st International Conference on Information Science and Engineering, ICISE2009

作者： Zeng, Fanping Chen, Zhide Cao, Qing Mao, Liangliang Department of Computer University of Science and Technology of China Hefei Anhui 230026 China Anhui Province Key Lab. of Software in Computer and Communication Hefei Anhui 230026 China

ISBN: (纸本)9780769538877

We present a novel method of Object-Oriented test case generation based on UML state diagrams and lab.l Transition System (LTS). The procedure is based on model-based testing techniques with test cases generated from UML state diagrams translated into LTS. UML state diagram can be a model of modeling software system. LTS model is an internal model to precisely represent the state transition. The examples and analysis show that our method is effective. ©2009 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Precisely reconstruct porous media model based on synchrotron radiation slice images

Precisely reconstruct porous media model based on synchrotro...

引用

2009 International Conference on Computational Intelligence and software Engineering, CiSE 2009

作者： Song, Bo Dong, Lanfang Lu, Detang Anhui Province Key Lab of Software in Computing and Communication School of Computer Science and Technology USTC Hefei China Institute of Engineering and Science Software USTC Hefei China

ISBN: (纸本)9781424445073

In this paper a method for precisely reconstructing porous media three-dimensional model based on slice images is proposed. It first processes the original slice images, then uses 3D seed filling algorithm to find all pores based on the constructed spatial data, finally uses the modified marching cubes algorithm based on bounding box technology to render material skeletons and pores. Associating with the porous media flow specific application, a novel invalid pore removing method is proposed. The final reconstructed model shows that our method can precisely reconstruct the pore network and recover the pore shape. It also can identify the pores which meet spatial scale threshold conditions. Comparison of running time between the original marching cubes algorithm and the modified marching cubes algorithm is given. It shows that due to the bounding box technology the running time of modified marching cubes algorithm is shorten greatly when the pores are far away from each other. ©2009 IEEE.

关键词： Porous materials

来源：评论

学校读者我要写书评

暂无评论

software Backdoor Analysis Based on Sensitive Flow Tracking and Concolic Execution

引用

Wuhan University Journal of Natural Sciences 2016年第5期21卷 421-427页

作者： XU Xin WANG Jiajie CHENG Shaoyin ZHANG Tao JIANG Fan School of Computer Science and Technology University of Science and Technology of China Hefei 230027 Anhui China China Information Technology Security Evaluation Center Beijing 100085 China Anhui Province Key Lab of Software in Computing and Communication Hefei 230026 Anhui China

In order to effectively detect and analyze the backdoors this paper introduces a method named Backdoor Analysis based on Sensitive flow tracking and Concolic Execution（BASEC）.BASEC uses sensitive flow tracking to effectively discover backdoor behaviors, such as stealing secret information and injecting evil data into system, with less false negatives. With concolic execution on predetermined path, the backdoor trigger condition can be extracted and analyzed to achieve high accuracy. BASEC has been implemented and experimented on several software backdoor samples widespread on the Internet, and over 90% of them can be detected. Compared with behavior-based and system-call-based detection methods, BASEC relies less on the historical sample collections, and is more effective in detecting software backdoors, especially those injected into software by modifying and recompiling source codes.

关键词： software backdoor detection data flow tracking concolic execution malware detection

来源：评论

学校读者我要写书评

暂无评论

Constructing the Voronoi diagram of planar point set in parallel

Constructing the Voronoi diagram of planar point set in para...

引用

2009 International Conference on Computational Intelligence and software Engineering, CiSE 2009

作者： Dong, Lanfang Wu, Yuan Zhou, Shanhai Anhui Province Key Lab. of Software in Computing and Communication College of Computer Science and Technology USTC Hefei China College of Computer Science and Technology University of Science and Technology of China Hefei China

ISBN: (纸本)9781424445073

By researching Voronoi diagram, parallel algorithm, and divide-and-conquer method, we present a special data structure(change doubly-connected list little) for Voronoi diagram generation in parallel. In this paper we also present two proposal, they are one processor gradually to merge and 22-merger on the parallel machine, the experiment results show that the present algorithm runs faster than the serial program. By analyzing the various results, we should choose the most suitable number of processors according to the point set scale. At last, we can conclude that gradually merger with one processor is better proposal for Voronoi diagram parallel generation. ©2009 IEEE.

关键词： Parallel algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：