检索结果-南通市图书馆

A hybrid matching method for geospatial services in a composition-oriented environment

Science China(Technological Sciences) 2010年第S1期53卷 213-220页

作者： LUO An 1,2.WANG YanDong 1,2.& CHEN ShengHua 2.1 state key {2. of {2. {4.,wuhan university,wuhan 430072.China 2.state key {2. of Information {4. in Surveying,Mapping and Remote Sensing,wuhan university,wuhan 4.0079,China 1. state key {2. of {2. {4. Wuhan University Wuhan 430072 China 2. state key {2. of Information {2. in Surveying Mapping and Remote Sensing Wuhan University Wuhan 430079 China

With the development of Internet and GIS,large volumes of spatial data,powerful computing resources and many spatial data processing functions are published in the form of Web *** suitable geospatial services in the composition-oriented environment is a crucial *** semantic Web provides a kind of technology to find and compose various service resources automatically through the *** paper proposes a hybrid method for the semantic matching of geospatial *** method includes two *** 1 puts forward a multi-level semantic matching approach,which matches single geospatial service at four levels:classification,input/output,precondition/effect and the quality of service(QoS).This multi-level matching approach makes single service matching quicker and more *** 2.puts forward a matching algorithm for a geospatial service chain based on the *** algorithm adopts a trace algorithm,taking account of the effect of the *** restricts the input/output parameters of the current service by the input/output parameters of service chain,pre-service and *** matches the atomic service dynamically in a composition-oriented environment,and accurately converts the abstract model of geospatial services into an executable geospatial service chain.A case study of the flood analysis for the Poyang Lake illustrates the effectiveness of our context-based matching method for geospatial services.

关键词： geospatial services semantic context composition service match

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Genetic Algorithm for Chinese Postman Problems

引用

wuhan university Journal of Natural Sciences 2003年第S1期8卷 316-318页

作者： Jiang Hua, Kang Li-shanstate key {2. of {2. {4., wuhan university,wuhan 430072.hubei, China wuhan university State Key Laboratory of Software Engineering Wuhan Hubei China (GRID:grid.49470.3e) (ISNI:***)

Chinese Postman Problem is an unsettled graphic problem. It was approached seldom by evolutionary computation. Now we use genetic algorithm to solve Chinese Postman Problem in undirected graph and get good results. It could be extended to solve Chinese postman problem in directed graph. We make these efforts for exploring in optimizing the mixed Chinese postman problem.

关键词： Chinese postman problem Eularian graph genetic algorithm evolutionary computation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

An efficient method for detecting concurrency errors in object-oriented programs

引用

Science China(Information Sciences) 2012年第12期55卷 2774-2784页

作者： HE YanXiang 1,2.WU Wei 2.& CHEN Yong 2.1 School of Computers,wuhan university,wuhan 430072.China 2.{4. key laboratory of software engineering,wuhan university,wuhan 430072.China 1. School of Computers Wuhan University Wuhan 430072 China2. State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

Multicore and multi-threaded processors have become the norm for modern ***,concurrent programs have become more and more prevalent despite being difficult to write and *** errors are highly likely to appear in concurrent code,conventional error detection methods such as model checking,theorem proving,and code analysis do not scale smoothly to concurrent *** is an indispensable technique for detecting concurrency errors,but it involves a great deal of manual work and is *** paper presents an automatic method for detecting concurrency errors in classes in object-oriented *** method uses a heuristic algorithm to automatically generate test cases that can effectively trigger ***,each test case is executed automatically and a fast method is adopted to identify the actual concurrency error from anomalous run *** have implemented a prototype of the method and applied it to some typical Java *** shows that our method is more effective and faster than previous work.

关键词： concurrency error dynamic test data race atomicity violations test case generation

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Hierarchical Classification of Chinese Documents Based on N grams

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 416-422页

作者： Zhou Shui geng 1, Guan Ji hong 2. He Yan xiang 2.1. state key {2. of {2. {4., wuhan university, wuhan 430072. China 2. School of Computer Science, wuhan university, wuhan 430072. China state key {2. of {2. {4. Wuhan University Wuhan China School of Computer Science Wuhan University Wuhan China

We explore the techniques of utilizing N gram information to categorize Chinese text documents hierarchically so that the classifier can shake off the burden of large dictionaries and complex segmentation processing, and subsequently be domain and time independent. A hierarchical Chinese text classifier is implemented. Experimental results show that hierarchically classifying Chinese text documents based N grams can achieve satisfactory performance and outperforms the other traditional Chinese text classifiers.

关键词： Chinese text classification N grams feature selection hierarchical classification

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Prediction of Tumor Outcome Based on Gene Expression Data

引用

wuhan university Journal of Natural Sciences 2004年第2期9卷 177-182页

作者： Liu Juan 1,2. Hitoshi Iba 3 1. School of Computer, wuhan university, wuhan 430072. hubei, China 2.{2. key {4. of software engineering, wuhan 430072. hubei, China 3. Department of Frontier Informatics, university of Tokyo, Tokyo 113-8656, Japan wuhan university School of Computer Wuhan Hubei China (GRID:grid.49470.3e) (ISNI:***) state key {2. of {2. {4. Wuhan Hubei China (GRID:grid.49470.3e) university of Tokyo Department of Frontier Informatics Tokyo Japan (GRID:grid.26999.3d) (ISNI:***)

Gene expression microarray data can be used to classify tumor types. We proposed a new procedure to classify human tumor samples based on microarray gene expressions by using a hybrid supervised learning method called MOEA+WV (Multi-Objective Evolutionary Algorithm+Weighted Voting). MOEA is used to search for a relatively few subsets of informative genes from the high-dimensional gene space, and WV is used as a classification tool. This new method has been applied to predicate the subtypes of lymphoma and outcomes of medulloblastoma. The results are relatively accurate and meaningful compared to those from other methods. key words bioinformatics - tumor classification - Pareto optimization - MOEA CLC number Q 786 - TP 181 Foundation item: Supported by the National Natural Science Foundation of China (60301009), the Foundation of Young Scholars of Ministry of Education of China (150118) and Chenguang Project of wuhan City (2.112.009).Biography: Liu Juan (1970-), female, Associate Professor, Postdoctoral, research direction: bioinformatics, data mining, machine learning.

关键词： bioinformatics tumor classification Pareto optimization MOEA

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Extended multivariate public key cryptosystems with secure encryption function

引用

Science China(Information Sciences) 2011年第6期54卷 1161-1171页

作者： WANG HouZhen 1,2., ZHANG HuanGuo 1,2., WANG ZhangYi 1,2.& TANG Ming 1,2.1 The key laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education, School of Computer,{2., {2. 4.0079, China 2.{4. key laboratory of software engineering,{2., {2. {12. China 1. The key laboratory of Aerospace Information Security and Trusted Computing Ministry of Education School of Computer Wuhan University Wuhan 430079 China2. State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

Advances in quantum computers pose great threats on the currently used public key cryptographic algorithms such as RSA and ECC. As a promising candidate secure against attackers equipped with quantum computational power, multivariate public key cryptosystems (MPKCs) have attracted increasing attention in recently years. Unfortunately, the existing MPKCs can only be used as a multivariate signature scheme, and it remains unknown how to construct an efficient MPKC enabling secure encryption. Furthermore, some multivariate signature schemes have been shown insecure in recent years, and it is also not trivial to build MPKC which can serve as a secure signature scheme. By employing the basic MQ-trapdoors, this paper proposes a novel MPKC and shows how it can be used as a multivariate signature scheme and a multivariate encryption scheme, respectively. The goal is achieved by incorporating our new hash authentication techniques and some modification methods such as the Shamir's minus method. Thorough analysis shows that our schemes are secure and efficient. Our MPKC gives a positive response to the challenges in multivariate public key cryptography.

关键词： cryptography post-quantum cryptography MQ problem hash function

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Singularity of Some software Reliability Models and Parameter Estimation Method

引用

wuhan university Journal of Natural Sciences 2000年第1期5卷 35-40页

作者： XU Ren-zuo ZHOU Rui YANG Xiao-qing (state key {2. of {2. {4., wuhan university, wuhan 430072. China) wuhan university State Key Laboratory of Software Engineering Wuhan China (GRID:grid.49470.3e) (ISNI:***)

According to the principle, “The failure data is the basis of software reliability analysis”, we built a software reliability expert system (SRES) by adopting the artificial intelligence technology. By reasoning out the conclusion from the fitting results of failure data of a software project, the SRES can recommend users “the most suitable model” as a software reliability measurement model. We believe that the SRES can overcome the inconsistency in applications of software reliability models well. We report investigation results of singularity and parameter estimation methods of experimental models in SRES.

关键词： software reliability measurement models software reliability expert system singularity parameter estimation method path following method maximum likelihood ML-fitting algorithm

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Gradient Gene Algorithm: a Fast Optimization Method to MST Problem

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 535-540页

作者： Zhang Jin bo, Xu Jing wen, Li Yuan xiang state key {2. of {2. {4., wuhan university, wuhan 430072. China state key {2. of {2. {4. Wuhan University Wuhan China

The extension of Minimum Spanning Tree(MST) problem is an NP hard problem which does not exit a polynomial time algorithm. In this paper, a fast optimization method on MST problem——the Gradient Gene Algorithm is introduced. Compared with other evolutionary algorithms on MST problem, it is more advanced: firstly, very simple and easy to realize; then, efficient and accurate; finally general on other combination optimization problems.

关键词： combination optimization minimum spanning tree problem extension of minimum spanning tree problem gradient gene algorithm

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Hybrid Genetic Algorithm for Reduct of Attributes in Decision System Based on Rough Set Theory

引用

wuhan university Journal of Natural Sciences 2002年第3期7卷 285-289页

作者： Dai Jian\|hua 1,2., Li Yuan\|xiang 1,2.,Liu Qun 3 1. state key {2. of {2. {4., wuhan university, wuhan 430072. hubei,China 2. School of Computer, wuhan university, wuhan 430072. hubei, China 3. School of Computer Science, wuhan university State Key Laboratory of Software Engineering Wuhan Hubei China (GRID:grid.49470.3e) (ISNI:***) wuhan university School of Computer Wuhan Hubei China (GRID:grid.49470.3e) (ISNI:***) Chongqing university of Posts & Telecommunications School of Computer Science Chongqing China (GRID:grid.411587.e) (ISNI:***)

Knowledge reduction is an important issue when dealing with huge amounts of data. And it has been proved that computing the minimal reduct of decision system is NP-complete. By introducing heuristic information into genetic algorithm, we proposed a heuristic genetic algorithm. In the genetic algorithm, we constructed a new operator to maintaining the classification ability. The experiment shows that our algorithm is efficient and effective for minimal reduct, even for the special example that the simple heuristic algorithm can’t get the right result.

关键词： rough set reduction genetic algorithm heuristic algorithm

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Code Component Reuse Supporting Environment (CCRSE) and Its Design Strategy

引用

wuhan university Journal of Natural Sciences 2003年第2A期8卷 363-367页

作者： Ying Shi, Xu Gang,Yuan Sheng-qiong, Chen Haostate key {2. of {2. {4., wuhan university, wuhan 430072. hubei, China wuhan university

Code Component Reuse Supporting Environment (CCRSE), which has been developed by us, is an integrated development environment. CCRSE can provide comprehensive supports for the whole process of reusing code component in the manner of dynamic composition. The architecture and functionality of CCRSE are introduced. The key achievement is giving the three strategies that are vital to successfully design CCRSE. The three strategies include: (1) according to the three pivotal technologies (encapsulation, composition and management) for supporting composition reuse of code component, design three tools respectively. (2. keep tool for supporting code component development independent of tool for supporting code component composition. (3) strictly restrict code component specification, provide the strong plug and play support for code component composition reuse, and furthest provide transparence to strictly restricted specification of code component in development of component itself.

关键词： Codes (symbols) Design Management

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：