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

7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE

作者： Li, Guo-Zheng Meng, Hao-Hua Yang, Mary Qu Yang, Jack Y. State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China School of Computer Science and Engineering Shanghai University Shanghai 200072 China U.S. Department of Health and Human Services Bethesda MD 20852 United States Harvard Medical School Harvard University Cambridge MA 02140 United States

ISBN: (纸本)1424415098

Several artificial intelligent methods, including Support Vector Regression (SVR), Artificial Neural Networks (ANNs), and Partial Least Square (PLS) are used for the multivariate calibration in the determination of the three aromatic amino acids (phenylalanine, tyrosine and tryptophan) in their mixtures by fluorescence spectroscopy. The results of the leave-one-out method show that SVR perform better than other methods, and appear to be good methods for this task. Furthermore, feature selection is performed for SVR to remove redundant features and a novel algorithm named PRIFER (Prediction RIsk based FEature selection for support vector Regression) is proposed. Results on the above multivariate calibration data set show that PRIFER is a powerful tool for solving the multivariate calibration problems. ©2007 IEEE.

关键词： Amino acids

来源：评论

学校读者我要写书评

暂无评论

Simulation Optimization Based on the Hypothesis Testing and ITO Process

Simulation Optimization Based on the Hypothesis Testing and ...

引用

International Conference on Natural Computation (ICNC)

作者： Wenyong Dong Dengyi Zhang Computer School Wuhan University of China Wuhan Hubei China State key Laboratory of Software Engineering Wuhan University of China Wuhan Hubei China

The ITO algorithm, which is a new kind of simulation optimization methods and is based on the hypothesis testing and Ito stochastic process, is proposed in this paper. The local strategies and global strategies can be utilized to design the ITO algorithm. The experimental results show that the ITO algorithm is suitable for the simulation optimization problems. The methods to improve the evaluation credibility in the simulation optimization are also discussed. Moreover, in this paper, the credibility based on the hypothesis testing is also proposed.

关键词： Indium tin oxide Computational modeling Optimization methods Stochastic processes computer simulation software testing Algorithm design and analysis Constraint optimization software engineering software algorithms

来源：评论

学校读者我要写书评

暂无评论

Novel technique based on triangle decimation for tetrahedral simplification

引用

Tien Tzu Hsueh Pao/Acta Electronica Sinica 2007年第12期35卷 2343-2346页

作者： Wang, Xuan-Ming Wu, Ju-Ying Wu, En-Hua State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100080 China Graduate School Chinese Academy of Sciences Beijing 100080 China Air Force Engineering University Xi'an 710077 China

How to simplify a large scale tetrahedral dataset in order to use in the real time rendering is of more importance. A novel technique based on triangle decimation for tetrahedral simplification is described here. A triangle area ratio is defined as cost function for every triangular in the model. Through this ratio, a list of priority sequences is obtained in the per-compute period. The triangle which of high priority will be deleted firstly. Compared to the published paper, this method can be used to delete at least 8 tetrahedral in one triangle decimation cycle. In the test model, we can delete at most 13 tetrahedral one time. The results of this technique are of high practical use especially in the real time compression transformation of tetrahedral, finite element computation and rendering.

关键词： Data processing

来源：评论

学校读者我要写书评

暂无评论

Evaluation of SAT-based Bounded Model Checking of ACTL Properties

Evaluation of SAT-based Bounded Model Checking of ACTL Prope...

引用

Theoretical Aspects of software engineering (TASE)

作者： Yanyan Xu Wei Chen Liang Xu Wenhui Zhang School of Information Science and Engineering Chinese Academy of Sciences Beijing China State Key Laboratory of Computer Science Institute of Software Chinese Academy and Sciences China

Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD based symbolic model checking of LTL and ACTL properties in recent years. For general LTL and ACTL properties, BMC has traditionally aimed mainly at error detection, taking the advantage that error detection may only need to explore a small portion of the whole state space. Recently bounded model checking aiming at verification has also been proposed. The aim of this paper is to exploit the strength of BMC methods by combining different BMC approaches and compare it with the traditional BDD-based symbolic methods. We consider two bounded model checking methods, which are for error detection and verification of ACTL properties, respectively, and then combine them to a BMC algorithm. Based on this algorithm, we have implemented a tool named BMV (bounded model verifier), and carried out a number of experiments, and we have then compared BMV with Cadence SMV. The experimental results show that for certain types of problems, both for verification and error detection, BMV can perform much better than Cadence SMV in both time and memory consumption, and we believe that this is the first attempt to have an implementation of a method that combines practical error detection and verification of ACTL properties by SAT-based model checking.

关键词： Data structures Boolean functions laboratories computer science Information science state-space methods Formal verification Automatic logic units Minimization methods Partitioning algorithms

来源：评论

学校读者我要写书评

暂无评论

Applying Interface-Contract Mutation in Regression Testing of Component-Based software

Applying Interface-Contract Mutation in Regression Testing o...

引用

International Conference on software Maintenance (ICSM)

作者： Shan-Shan Hou Lu Zhang Tao Xie Hong Mei Jia-Su Sun Institute of Software School of Electronics Engineering and Computer Science Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China Department of Computer Science North Carolina State University Raleigh NC USA

Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use and reuse of black-box components, such as reusable class libraries and COTS components, it is challenging to establish test adequacy criteria for testing software systems built on components whose source code is not available. Without source code or detailed documents, the misunderstanding between the system integrators and component providers has become a main factor of causing faults in component-based software. In this paper, we apply mutation on interface contracts, which can describe the rights and obligations between component users and providers, to simulate the faults that may occur in this way of software development. The mutation adequacy score for killing the mutants of interface contracts can serve as a test adequacy criterion. We performed an experimental study on three subject systems to evaluate the proposed approach together with four other existing criteria. The experimental results show that our adequacy criterion is helpful for both selecting good-quality test cases and scheduling test cases in an order of exposing faults quickly in regression testing of component-based software.

关键词： Genetic mutations software testing Contracts Electronic equipment testing software maintenance System testing computer science software libraries software systems Programming

来源：评论

学校读者我要写书评

暂无评论

B-spline Surfaces of Clustered Point Sets with Normal Maps

B-spline Surfaces of Clustered Point Sets with Normal Maps

引用

10th IEEE International Conference on computer Aided Design and computer Graphics(第十届CAO/Graphics国际会议)

作者： Yanci Zhang Hanqiu Sun Enhua Wu State Key Lab.of Computer Science Institute of SoftwareChinese Academy of Sciences Department of Computer Science and EngineeringThe Chinese University of Hong Kong Faculty of Science and TechnologyUniversity of Macau

In this paper,we propose a novel method that represents the highly-complex point sets by clustering the points to normal-mapped B-spline surfaces (NBSs). The main idea is to construct elaborate normal maps on simple surfaces for the realistic rendering of complex point-set models. Based on this observation,we developed the coarse,normal-mapped B-spline surfaces to approximate the original point datasets with fine surface details. In our algorithm,a genetic clustering algorithm is proposed to automatically segment the point samples into several clusters according to their statistical properties,and a network of B-spline patches with normal maps are constructed according to the clustering results. Our experimental results show that this representation facilitates the modeling and rendering of complex point sets without losing the visual qualities.

关键词： Spline Surface reconstruction Signal processing algorithms Surface fitting Clustering algorithms computer science Sampling methods Frequency Sun Genetics

来源：评论

学校读者我要写书评

暂无评论

Feature selection for co-training: A QSAR study

Feature selection for co-training: A QSAR study

引用

2007 International Conference on Artificial Intelligence, ICAI 2007

作者： Li, Guo-Zheng Li, Dan Lu, Wen-Cong Yang, Mary Q. Yang, Jack Y. School of Computer Science and Engineering Shanghai University Shanghai 200072 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Department of Chemistry School of Science Shanghai University Shanghai 200444 China U.S. Department of Health and Human Services Bethesda MD 20852 United States Harvard Medical School Harvard University Cambridge MA 02140 United States

ISBN: (纸本)9781601320254

Activities of drug molecules can be predicted by QSAR (quantitative structure activity relationship) models, which overcomes the disadvantages of high cost and long cycle by employing the traditional experimental method. With the fact that the number of drug molecules with known activity is less than that of unknown, it is important to predict molecular activities utilizing unlabeled instances. Here, semi-supervised learning (SSL) is introduced and a SSL method, Co-Training is investigated on predicting drug activities utilizing unlabeled instances. At the same time, the numerous features extracted from the structures of drug molecules affect prediction accuracy of QSAR models. Therefore, a novel algorithm named FESCOT is proposed, which applies an embedded feature selection method to remove redundant and irrelevant features for Co-Training. Numerical experimental results on a data set of molecular activities show that Co-Training improves prediction accuracy of molecular activities with unlabeled instances, and feature selection furthermore helps to improve the prediction ability of Co-Training.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Solution of secure multi-party multi-data ranking problem based on El Gamal encryption

引用

Tongxin Xuebao/Journal on Communications 2007年第11期28卷 1-5页

作者： Liu, Wen Luo, Shou-Shan Chen, Ping School of Computer Science and Technology Beijing University of Posts and Telecommunications Beijing 100876 China School of Software Engineering Beijing University of Posts and Telecommunications Beijing 100876 China National Key Lab. of Integrated Service Networks Xidian University Xi'an 710071 China School of Telecommunication Engineering Beijing University of Posts and Telecommunications Beijing 100876 China

Based on El Gamal homomorphic encryption, a protocol of secure multi-party multi-data ranking problem was proposed. The problem extended millionaires' problem. Furthermore, the correctness and security of this protocol were shown in semi-honest model, using the definition of secure multi-party computation. The solution of secure multi-party multi-data ranking problem can form a fundamental basis of new-style electronic transaction, such as private biding and auction, secret online transaction and so on.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

A New Secure Data Forwarding Protocol with Fault Detection for Wireless Ad Hoc Networks

A New Secure Data Forwarding Protocol with Fault Detection f...

引用

第三届IEEE无线通讯、网络技术暨移动计算国际会议

作者： Si-Shen Chen Li Xu Yi Mu Key Lab of Network Security and Cryptology Fujian Normal University Fuzhou Fujian PR China School of Computer Science and Software Engineering University of Wollongong Wollongong NSW 2522.A

In wireless ad hoc networks, the route discovery process or the data forwarding process is vulnerable to attackers. In this paper, we address the data forwarding security problem and propose a light-weight secure data forwarding protocol, which utilizes one-way hash chains to achieve the message integrity, where the intermediate nodes can effectively detect the fault link and the source node of the packet can correctly judge whether the peer-to-peer data transfer is

关键词： Wireless application protocol Fault detection Mobile ad hoc networks Peer to peer computing Protection Authentication Data security Cryptography Routing protocols computer security

来源：评论

学校读者我要写书评

暂无评论

Collaborative filtering recommendation algorithm based on cloud model

引用

Ruan Jian Xue Bao/Journal of software 2007年第10期18卷 2403-2411页

作者： Zhang, Guang-Wei Li, De-Yi Li, Peng Kang, Jian-Chu Chen, Gui-Sheng State Key Laboratory of Software Development Environment Beihang University Beijing 100083 China Institute of Electronic System Engineering Beijing 100840 China Information Security Center Shenzhen Graduate School Harbin Institute of Technology Shenzhen 518055 China School of Computer Science and Technology Shandong Jianzhu University Ji'nan 250101 China

Recommendation system is one of the most important technologies applied in e-commerce. Similarity measuring method is fundamental to collaborative filtering algorithm, and traditional methods are inefficient especially when the user rating data are extremely sparse. Based on the outstanding characteristics of Cloud Model on the process of transforming a qualitative concept to a set of quantitative numerical values, a novel similarity measuring method, namely the likeness comparing method based on cloud model (LICM) is proposed in this paper. LICM compares the similarity of two users on knowledge level, which can overcome the drawback of attributes' strictly matching. This work analysis traditional methods throughly and puts forward a novel collaborative filtering algorithm, which is based on the LICM method. Experiments on typical data set show the excellent performance of the present collaborative filtering algorithm based on LICM, even with extremely sparsity of data.

关键词： Electronic commerce

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：