检索结果-南通市图书馆

Blending Parameric Patches with Subdivision Surfaces

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2002年第4期17卷 498-506页

作者：李桂清李华 keylaboratoryofintelligentinformationprocessing InstituteofComputingTechnologyTheChineseAcademyofSciencesBeijing100080P.R.China keylaboratoryofintelligentinformationprocessing InstituteofComputingTe

In this paper the problem of blending parametric surfaces using subdivision patches is discussed.A new approach,named removing-boundary,is presented to generate piecewise-smooth subdivision surfaces through discarding the outmost quadrilaterals of the open meshes derived by each subdivision *** the approach is employed both to blend parametric bicubic B-spline surfaces and to fill n-sided *** is easy to produce piecewise-smooth subdivision surfaces with both convex and concave corners on the boundary,and limit surfaces are guaranteed to be C^2 continuous on the boundaries except for a few singular points by the removing-boundary approach Thus the blending method is very efficient and the blending surface generated is of good effect.

关键词： surface blending n-sided hole filling subdivision piecewise-smooth surface

Generalized L systems

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science in China(Series F) 2002年第3期45卷 220-231页

作者：陆汝钤张文妍 keylaboratoryofintelligentinformationprocessing ChineseAcademyofSciences

This paper proposes the concept of generalized L systems, GL systems for short, which can describe asynchronized concurrent phenomena. We have proved that the GL systems are proper extensions of the traditional L systems. We have also defined a classification of GL systems and proved a sufficient and necessary condition for the equivalence of two subclasses of GL systems: two GPDOL (a class of deterministic GL systems) systems L[ m1, m2, ??? mj] and L[ n1, n2, ??? nk] are e-quivalent, iff k = j and there exists a common divisor g of all mi and a common divisor h of all nj such that (?) i: mi/g = nj/h.

关键词： L system concurrency asynchrony classiflcation.

A logical foundation for the semantic Web

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Science in China(Series F) 2005年第2期48卷 161-178页

作者： SHIZhongzhi DONGMingkai JIANGYuncheng ZHANGHaijun keylaboratoryofintelligentinformationprocessing InstituteofComputingTechnologyChineseAcademyofSciencesBeijing100080China

The current research progresses and problems of the semantic Web are analyzed in this paper, and the insufficiency of using description logic to act as logical foundation for the semantic Web is analyzed too. According to the characteristics and requirement of the semantic Web, a kind of new dynamic description logic (DDL) framework is presented. The representation and reasoning of static knowledge and dynamic knowledge are integrated in this framework. Especially, a kind of action description method is proposed, and according to description logic theory, the action semantics is described, so DDL is a kind of formal logical framework which can process static knowledge and dynamic knowledge. The DDL has clear and formally defined semantics. It provides decidable reasoning services, and it can support effective representation and reasoning of the static knowledge, dynamic process and running mechanism (realization and subsumption relation of action). Therefore, the DDL provides reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using description logic to act as logical foundation for the semantic Web.

关键词： semantic Web description logic dynamic description logic logical foundation.

Domain-Specific Formal Ontology of Archaeology and Its Application in Knowledge Acquisition and Analysis

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2004年第3期19卷 290-301页

作者： Chun-XiaZhang Cun-GenCao FangGu Jin-XinSi keylaboratoryofintelligentinformationprocessing InstituteofComputingTechnologyTheChineseAcademyofSciencesBeijing100080P.R.China／／GraduateSchooloftheChineseAcademyofSciencesBeijing100039P.R.China keylaboratoryofintelligentinformationprocessing Instituteo／ComputingTechnologyTheChineseAcademyofSciencesBeijing100080P.R.China

Inherent heterogeneity and distribution of knowledge strongly prevent knowledge from sharing and reusing among different agents and software entities, and a formal ontology has been viewed as a promising means to tackle this problem. In this paper, a domain-specific formal ontology of archaeology is presented. The ontology mainly consists of three parts: archaeological categories, their relationships and axioms. The ontology not only captures the semantics of archaeological knowledge, but also provides archaeology with an explicit and formal specification of a shared conceptualization, thus making archaeological knowledge shareable and reusable across humans and machines in a structured fashion. Further, we propose a method to verify ontology. correctness based on the individuals of categories. As applications of the ontology,we have developed an ontology-driven approach to knowledge acquisition from archaeological text and a question answering system for archaeological knowledge.

关键词： domain-specific ontology archaeology category ontology correctness knowledge acquisition question-answering system

Logical Sentences as the Intent of Concepts

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2005年第3期20卷 338-344页

作者： Yue-FeiSui You-MingXia keylaboratoryofintelligentinformationprocessing InstituteofComputingTechnologyChineseAcademyofSciencesBeijing100080P.R.China InstituteofComputerScienceandInformationTechnology YunnanNormalUniversityKunming650092P.R.China

Pragmatics plays an important role in correctly understanding sentences. Much useful information will be lost if the context in which a sentence is asserted is ignored. There are some approaches in logic to pragmatics, such as situation theories and context logics. Although these methods associate a sentence with a context or a situation, they consider only the truth value of the sentence. However, a sentence should have more meanings than its truth value, and people care more about what a sentence conveys. For the affection of contexts, the meaning of a sentence is not always its semantic meaning and a sentence may have different pragmatical implications in different contexts. In this paper, a context is considered as some structure in the real world. A sentence from some logical language is conceptualized as a concept, whose intent is a set of sentences implied semantically by the sentence, and whose extent is a set of contexts in which the sentence describes a part of the contexts. In terms of tools and theories of concepts, a strictly defined theory is given to study the pragmatics of sentences in contexts in information systems, which cannot be derived from the sentences by using logical reasoning methods.

关键词： context concept logical implication pragmatical implication

面向考古的形式领域本体及其在知识获取和分析中的应用

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2004年第C期19卷 71-71页

随着计算机和互联网的迅猛发展和广泛应用，知识内在的异质性和分布性已经严重地阻碍了知识在多主体和软件实体之间的共享和重用，而形式本体已被认为是很有前途的解决方法。作为一门专业领域知识，考古学知识是人类知识的重要组成部分... 详细信息

随着计算机和互联网的迅猛发展和广泛应用，知识内在的异质性和分布性已经严重地阻碍了知识在多主体和软件实体之间的共享和重用，而形式本体已被认为是很有前途的解决方法。作为一门专业领域知识，考古学知识是人类知识的重要组成部分，在自然语言处理、知识系统、信息检索、信息提取和智能教学等知识密集型应用中是必不可少的。

关键词：领域本体知识获取分布性重用自然语言处理多主体计算机知识密集型发展形式