检索结果-南通市图书馆

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 laboratory of software engineering,wuhan university,wuhan 430072,china 2 state key laboratory of Information engineering in Surveying,Mapping and Remote Sensing,wuhan university,wuhan 430079,china 1. state key laboratory of software engineering Wuhan University Wuhan 430072 China 2. state key laboratory of Information engineering 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

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 state 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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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, wuhan university, wuhan 430079, china 2 state key laboratory of software engineering, wuhan university, wuhan 430072, 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

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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 laboratory of software engineering, wuhan university, wuhan 430072, china 2. School of Computer Science, wuhan university, wuhan 430072, china state key laboratory of software engineering 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

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Reflective state Pattern with Dynamic Constructiveness

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 191-199页

作者： Jiang Hong 1, He Ke\|qing 1, Ying Shi 2 1.College of Computer,wuhan university,wuhan 430072,china 2.state key laboratory of software engineering,wuhan university,wuhan 430072,china College of Computer Wuhan University Wuhan 430072 China

After discussing the reflective method of structure and behavior in the state design pattern based on Role Object pattern and the Reflective pattern of software architecture, this paper proposes a reflective state pattern with dynamic constructiveness. This paper explains the meta level and the base level, which are two levels of this pattern, and specifies the relation of two levels by using Meta Object Protocol (MOP). Then it discusses mechanism of interception and reification for reflecting base object from Meta object. Finally this paper gives an example of network server for applying the Reflective state pattern.

关键词： role model state design pattern reflective pattern role object pattern

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

An Analysis Method of Business Application Framework

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 218-223页

作者： He Ke\|qing 1,Fan Hui hua 1,Ying Shi 2 1.Department of Computer Science, wuhan university, wuhan 430072, china 2.state key laboratory of software engineering, wuhan university, wuhan 430072, china Department of Computer Science Wuhan University Wuhan 430072 China

We discuss the evolution of object oriented software development process based on software pattern. For developing mature software framework and component, we advocate to elicit and incorporate software patterns for ensuing quality and reusability of software frameworks. On the analysis base of requirement specification for business application domain, we present analysis method and basic role model of software framework. We also elicit analysis pattern of framework architecture, and design basic role classes and their structure.

关键词： object oriented software framework analysis pattern of architecture component role model

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Design Method of Business Application Framework Based on software Patterns

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 204-208页

作者： He Ke\|qing 1, Yang Chun wen 1, Ying Shi 2 1. School of Computer Science, wuhan university, wuhan 430072, china 2. state key laboratory of software engineering, wuhan university, wuhan 430072, china School of Computer Science Wuhan University Wuhan 430072 China

This paper discusses design and implementation method of Business Application Framework based on software patterns, and then presents MVC pattern of architecture and the method of dynamical update promulgation for Business Application Framework. We discuss adaptation of Abstract Factory for the kernel functionality of Business Application Framework, such as data creation, manipulation, composition, etc. It also presents class model and its class structure of Abstract Factory pattern. Finally, we briefly discuss the update, modification, and reconstruction method of Business Application Framework.

关键词： object oriented MVC pattern Abstract Factory pattern software framework UML role model

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Role Modeling: A Modeling Method for software Pattern at Knowledge Level

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 200-203页

作者： Xu Yong\|song 1,He Ke qing 1,Ying Shi 2 1.School of Computer, wuhan university, wuhan 430072, china 2.state key laboratory of software engineering, wuhan university,wuhan 430072, china School of Computer Wuhan University Wuhan China state key laboratory of software engineering Wuhan University Wuhan China

Based on dominant degree of role model among the viewpoints for object oriented modeling process, it dissertates that role modeling is a modeling method for software pattern at knowledge level. After giving some examples for modeling design pattern and analysis pattern at knowledge level using role model, it presents a process for refining design pattern from role model to class model and event trace diagram of UML. In this paper, we advocate the opinion that role modeling before object modeling of UML.

关键词： object oriented role modeling software pattern UML

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Code Component Composition Reuse Is a New Programming Paradigm

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 292-297页

作者： Ying Shi 1,Yuan Sheng Qiong 1,Xu Gang 1,He Ke Qing 2 1.state key laboratory of software engineering, wuhan university, wuhan 430072, china 2.School of Computer Science and Technology, wuhan university, wuhan 430072, china state key laboratory of software engineering Wuhan University Wuhan China School of Computer Science and Technology Wuhan University Wuhan China

After describing the characteristics of programming paradigm, this paper introduces the approach of code component composition reuse in detail, proposes and discusses viewpoint that code component composition reuse is a kind of new programming paradigm. This paper also specifies the characteristics of this new programming paradigm in detail, and points out some issues that must be resolved for using this new programming paradigm.

关键词： programming paradigm code component code component composition reuse

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Dependence Analysis Based on Dynamic Slicing for Debugging

引用

wuhan university Journal of Natural Sciences 2001年第Z1期6卷 398-404页

作者： Chen Zhen qiang 1, Xu Bao wen 1,2 1 Department of Computer Science & engineering, Southeast university, Nanjing 210096, china 2 state key laboratory of software engineering, wuhan university, wuhan 430072, china Department of Computer Science & engineering Southeast University Nanjing 210096 China

Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually affect the variables in the slicing criterion. This paper proposes a dynamic slicing method based on static dependence analysis. It uses the program dependence graph and other static information to reduce the information needed to be traced during program execution. Thus, the efficiency is dramatically improved while the precision is not depressed. The slicing criterion is modified to fit for debugging. It consists of file name and the line number at which the statement is.

关键词： program slice slicing criterion program dependence graph

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：