检索结果-南通市图书馆

Logical verification of scientific discovery

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2010年第4期53卷 677-684页

作者： LI Wei state key laboratory of {3. Development Environment, School of Computer Science and engineering, Beihang University, Beijing 100191, China state key laboratory of {3. Development Environment School of Computer Science and Engineering Beihang University

This paper shows that the discovery processes of Einstein’s special theory of relativity and Darwin’s theory of evolution of species can be formally verified by R-calculus which is a logical inference system. The aim of R-calculus is to delete the principles of scientific theories which contradict empirical evidence. The paper shows that the special theory of relativity is the only and correct choice for physics to meet the experimental evidence given at the time. As far as the biology of Darwin’s time is concerned, however, the R-calculus has derived three logically correct but different theories, which are all consistent with the empirical evidence provided by Darwin and his principle of natural selection. Darwin’s theory of evolution matches one of the three theories derived by R-calculus. This theory has a logical consequence that is "each species has been independently created is erroneous". But the other two theories support the negation of the above statement. The existence of the other two theories may be a reason of the controversies over Darwin’s theory.

关键词： R-calculus theory of relativity theory of evolution

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 {3. engineering,wuhan University,wuhan 43.072,China 2 state key laboratory of Information engineering in Surveying,Mapping and Remote Sensing,wuhan University,wuhan 43.079,China state key laboratory of {3. engineering Wuhan University Wuhan China state key laboratory of Information {3. in Surveying Mapping and Remote Sensing Wuhan University Wuhan 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

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 laboratory of {3. engineering, wuhan University, wuhan 43.072, China) wuhan Univ Wuhan China

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 laboratory of {3. engineering, wuhan University, wuhan 43.072, China state key laboratory of {3. engineering 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

New Refinement Relations of Z Specifications for Multiple Viewpoints Oriented Requirements Method

在线全文

学校读者我要写书评

暂无评论

wuhan University Journal of Natural Sciences 2001年第Z1期6卷 304-312页

作者： He Yan xiang, Song Qiang, Huang Qian School of Computer, state key laboratory of {3. engineering wuhan University, wuhan 43.072, China School of Computer State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.

关键词： temporal state variable formal description language state transition system implementation relation refinement relation multiple viewpoints oriented requirements method

An Inversion Evolutionary Algorithm on How to Convert FDP to TSP

在线全文

学校读者我要写书评

暂无评论

wuhan University Journal of Natural Sciences 2001年第Z1期6卷 589-592页

作者： Xu Jing wen, Zhang Jin bo, Li Yuan xiang state key laboratory of {3. engineering,wuhan University, wuhan 43.072, China state key laboratory of {3. engineering Wuhan University Wuhan China

The Film Copy Deliverer Problem (FDP),much more difficult than TSP,is a new problem in the combination optimization. In this paper,a new algorithm is introduced. First,the FDP is converted to TSP. Then an evolutionary algorithm based on inversion operator is adopted. Compared with other Genetic Algorithms,it is not only more simple and easier to realize but also faster and more accurate.

关键词： film copy deliverer problem (FDP) traveling salesman problem (TSP) evolutionary algorithm inversion operation

R-calculus without the cut rule

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2011年第12期54卷 2550-2563页

作者： LUO Jie & LI Wei state key laboratory of {3. Development Environment, School of Computer Science and engineering, Beihang University, Beijing 100191, China state key laboratory of {3. Development Environment School of Computer Science and Engineering Beihang University

R-calculus is an inference system for deducing all possible changes when a theory is refuted by the facts. In this paper, we try to eliminate the cut rule in R-calculus by modifying the existing rules and by introducing new rules. The result is the R-calculus without the cut rule, which still preserves the reachability, soundness and completeness as R-calculus does. R-calculus without the cut rule is a formal inference system of logical connective symbols and quantifier symbols solely. It can serve as the theoretical foundation of the automation of revision calculus.

关键词： revision R-calculus cut rule

A computational trust model for access control in P2P

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2010年第5期53卷 896-910页

作者： LANG Bo state key laboratory of {3. Development Environment, Beihang University, Beijing 100191, China state key laboratory of {3. Development Environment Beihang University

Trust brings a new method for building scalable and fine-grained access control mechanism in P2P systems. The quantificational expression of trust and the calculation of trust in a trust network are the basis of trust degree based access control. In this paper, the properties of trust is analyzed by referring to the fruits from social science; the semantics of trust in the context of access control is described, and a trust degree based access control model named TDBAC is introduced. Basing on the properties and semantics of trust, a computational trust model which includes a multilevel comprehensive evaluation method for expressing direct trust and calculators for computing recommended trust is put forward. To compute trust in a trust network, an algorithm that transforms a trust network to a computable expression is given. The algorithm simplifies the computation process and is also flexible.

关键词： trust management access control trust degree based access control computational trust model trust graph expression

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 43.072, Hubei, China 2. state {3. laboratory of software engineering, wuhan 43.072, Hubei, China 3. Department of Frontier Informatics, University of Tokyo, Tokyo 113.8656, Japan School of Computer Wuhan University Wuhan Hubei China state key laboratory of {3. engineering Wuhan Hubei China Department of Frontier Informatics University of Tokyo Tokyo Japan

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 (603.1009), the Foundation of Young Scholars of Ministry of Education of China (150118) and Chenguang Project of wuhan City (211121009).Biography: Liu Juan (1970-), female, Associate Professor, Postdoctoral, research direction: bioinformatics, data mining, machine learning.

关键词： bioinformatics tumor classification Pareto optimization MOEA