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

A proximity approach to some region-based theories of space1

Journal of applied Non-Classical Logics 2002年第3-4期12卷 527-559页

作者： Vakarelov, Dimiter Dimov, Georgi Düntsch, Ivo Bennett, Brandon Department of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science Sofia University Blvd 1126 Sofia James Bouchier 5 Bulgaria Faculty of Mathematics and Computer Science Sofia University Blvd 1126 Sofia James Bouchier 5 Bulgaria Department of Computer Science Brock University St. Catherines ON Canada School of Computing University of Leeds Leeds LS2 9JT United Kingdom

This paper is a continuation of [VAK 01]. The notion of local connection algebra, based on the primitive notions of connection and boundedness, is introduced. It is slightly different but equivalent to Roepeŕs notion of region-based topology [ROE 97]. The similarity between the local proximity spaces of Leader [LEA 67] and local connection algebras is emphasized. Machinery, analogous to that introduced by Efremovi?c [EFR 51],[EFR 52], Smirnov [SMI 52] and Leader [LEA 67] for proximity and local proximity spaces, is developed. This permits us to give new proximity-type models of local connection algebras, to obtain a representation theorem for such algebras and to give a new shorter proof of the main theorem of Roepeŕs paper [ROE 97]. Finally, the notion of MVD-algebra is introduced. It is similar to Mormanńs notion of enriched Boolean algebra [MOR 98], based on a single mereological relation of interior parthood. It is shown that MVD-algebras are equivalent to local connection algebras. This means that the connection relation and boundedness can be incorporated into one, mereological in nature relation. In this way a formalization of the Whiteheadian theory of space based on a single mereological relation is obtained.

关键词： Connection algebra Connection relation Local connection algebra MVD-algebra Pointless geometry Proximity and local proximity spaces

来源：评论

学校读者我要写书评

暂无评论

Computational models of natural language argument

引用

International Conference on Computational science, ICCS 2001

作者： Reed, Chris Grasso, Floriana Department of Applied Computing University of Dundee United Kingdom Department of Computer Science University of Liverpool United Kingdom

ISBN: (纸本)3540422323

This paper offers an introduction to the 2001 Workshop on Computational Models of Natural Language Argument (CMNLA 2001), a special event of the International Conference on Computational science. The contributors to the workshop represent, in their backgrounds, the diversity of fields upon which the focus of the event draws. As a result, this paper aims not only to introduce the accepted papers, but also to provide a background that will be accessible to researchers in the various fields, and to sit each work into a coherent context. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

B-splines on 3-D tetrahedron partition in four-directional mesh

引用

science China Mathematics 2001年第4期44卷 491-496页

作者：孙家昶施锡泉 1. Parallel Computing Division and Laboratory of Computer Science Institute of Software Chinese Academy of Sciences 100080 Beijing China 2. Department of Applied Mathematics University of Dalian 116024 Dalian China

It is more difficult to construct 3-D splines than in 2-D case. Some results in the three directional meshes of bivariate case have been e xtended to 3-D case and corresponding tetrahedron partition has been constructed. The support of related Bsplines and their recurrent formulas on integration and differentiationdifference are obtained. The results of this paper can be extended into higher dimension spaces, and can be also used in wavelet analysis, because of the relationship between spline and wavelets.

关键词： high dimensional splines box splines tetrahedron partition

来源：评论

学校读者我要写书评

暂无评论

A magnification lens for interactive volume visualization

A magnification lens for interactive volume visualization

引用

Pacific Conference on computer Graphics and Applications

作者： E. LaMar B. Hamann K.I. Joy Center for Applied Scientific Computing Lawrence Livemore National Laboratory USA Center for Image Processing and Integrated Computing Department of Computer Science University of California Davis USA

Volume visualization of large data sets suffers from the same problem that many other visualization modalities suffer from: either one can visualize the entire data set and lose small details or visualize a small region and lose the context. The authors we present a magnification lens technique for volume visualization. While the notion of a magnification-lens is not new, and other techniques attempt to simulate the physical properties of a magnifying lens, our contribution is in developing a magnification lens that is fast, can be implemented using a fairly small software overhead, and has a natural, intuitive appearance. The issue with magnification lens is the border, or transition region. The lens center and exterior have a constant zoom factor, and are simple to render. It is the border region that blends between the external and interior magnification, and has a nonconstant magnification. We use the "perspective-correct textures" capability, available in most current graphics systems, to produce a lens with a tessellated border region that approximates linear compression with respect to the radius of the magnification lens. We discuss how a "cubic" border can mitigate the discontinuities resulting from the use of a linear function, without significant performance loss. We discuss various issues concerning development of a three-dimensional magnification lens.

关键词： Lenses Data visualization Rendering (computer graphics) Displays Pixel Navigation Scientific computing Laboratories Image processing computer science

来源：评论

学校读者我要写书评

暂无评论

Toward a query language on simulation mesh data: an object-oriented approach

Toward a query language on simulation mesh data: an object-o...

引用

International Conference on Database Systems for Advanced Applications

作者： B.S. Lee R.R. Snapp R. Musick Department of Computer Science University of Vermont Burlington VT USA Center for Applied Scientific Computing Lawrence Livemore National Laboratory Livermore CA USA

ISBN: (纸本)0769509967

As simulation is gaining popularity as an inexpensive means of experimentation in diverse fields of industry and government, the attention to the data generated by scientific simulation is also increasing. Scientific simulation generates mesh data, i.e. data configured in a grid structure, in a sequence of time steps. Its model is complex - understanding it involves mathematical topology and geometry in addition to fields (in the relational sense). Moreover, there is no query language developed on mesh data at all. We develop a comprehensive model of mesh data in an object-oriented manner, propose a set of primitive algebraic operators, show their object-oriented implementation and demonstrate that the well-known object query language OQL (from the ODMG) is powerful enough to express queries on mesh data, whether the queries are on a mesh topology, geometry, fields, or a combination of them. Finally, we discuss some physical implementation issues that are pertinent to executing queries efficiently.

关键词： Database languages Object oriented modeling Computational modeling Topology Geometry Medical simulation Data structures computer simulation Scientific computing Mesh generation

来源：评论

学校读者我要写书评

暂无评论

Scalable Atomistic Simulation Algorithms for Materials Research 01

Scalable Atomistic Simulation Algorithms for Materials Resea...

引用

2001 ACM/IEEE Conference on Supercomputing, SC 2001

作者： Nakano, Aiichiro Kalia, Rajiv K. Vashishta, Priya Campbell, Timothy J. Ogata, Shuji Shimojo, Fuyuki Saini, Subhash Concurrent Computing Laboratory Materials Simulations Biological Computation and Visualization Center Department of Computer Science Department of Physics and Astronomy Louisiana State University United States Logicon Inc. Naval Oceanographic Office Major Shared Resource Center Department of Applied Sciences Yamaguchi University Japan Faculty of Integrated Arts and Sciences Hiroshima University Japan It Modeling and Simulation Nasa Ames Research Center

ISBN: (纸本)158113293X

A suite of scalable atomistic simulation programs has been developed for materials research based on space-time multiresolution algorithms. Design and analysis of parallel algorithms are presented for molecular dynamics (MD) simulations and quantum-mechanical (QM) calculations based on the density functional theory. Performance tests have been carried out on 1,088-processor Cray T3E and 1,280-processor IBM SP3 computers. The linear-scaling algorithms have enabled 6.44-billion-atom MD and 111,000-atom QM calculations on 1,024 SP3 processors with parallel efficiency well over 90%. The production-quality programs also feature wavelet-based computational-space decomposition for adaptive load balancing, spacefilling-curve-based adaptive data compression with user-defined error bound for scalable I/O, and octree-based fast visibility culling for immersive and interactive visualization of massive simulation data. © 2001 ACM.

关键词： Density functional theory

来源：评论

学校读者我要写书评

暂无评论

Wavelet representation of contour sets 01

Wavelet representation of contour sets

引用

IEEE Conference on Visualization

作者： M. Bertram D.E. Laney M.A. Duchaineau C.D. Hansen B. Hamann K.I. Joy Department of Computer Science University of Kaiserslautern Kaiserslautern Germany SCI Institute University of Utah Salt Lake UT USA Center for Applied Scientific Computing CASC Lawrence Livemore National Laboratory Livermore CA USA Center for Image Processing and Integrated Computing CIPIC Department of Computer Science University of California Davis CA USA

ISBN: (纸本)0780372018

We present a new wavelet compression and multiresolution modeling approach for sets of contours (level sets). In contrast to previous wavelet schemes, our algorithm creates a parametrization of a scalar field induced by its contours and compactly stores this parametrization rather than function values sampled on a regular grid. Our representation is based on hierarchical polygon meshes with subdivision connectivity whose vertices are transformed into wavelet coefficients. From this sparse set of coefficients, every set of contours can be efficiently reconstructed at multiple levels of resolution. When applying lossy compression, introducing high quantization errors, our method preserves contour topology, in contrast to compression methods applied to the corresponding field function. We provide numerical results for scalar fields defined on planar domains. Our approach generalizes to volumetric domains, time-varying contours, and level sets of vector fields.

关键词： Image coding Data visualization Image reconstruction Wavelet coefficients Topology Isosurfaces Data mining Solid modeling Wavelet transforms Quantization

来源：评论

学校读者我要写书评

暂无评论

Interactive display of surfaces using subdivision surfaces and wavelets

Interactive display of surfaces using subdivision surfaces a...

引用

Spring Conference on computer Graphics

作者： M.A. Duchaineau M. Bertram S. Porumbescu B. Hamann K.I. Joy Center for Applied Scientific Computing Lawrence Livemore National Laboratory Livermore CA USA FB Informatik Universitaet Kaiserslautern Kaiserslautern Germany Center for Image Processing and Integrated Computing Department of Computer Science University of California USA

Complex surfaces and solids are produced by large-scale modeling and simulation activities in a variety of disciplines. Productive interaction with these simulations requires that these surfaces or solids should be viewable at interactive rates - yet many of these surfaces/solids can contain hundreds of millions of polygons/polyhedra. Interactive display of these objects requires compression techniques to minimize storage, and fast view-dependent triangulation techniques to drive the graphics hardware. In this paper, we review recent advances in subdivision-surface wavelet compression and optimization that can be used to provide a framework for both compression and triangulation. These techniques can be used to produce suitable approximations of complex surfaces of arbitrary topology and can be used to determine suitable triangulations for display. The techniques can be used in a variety of applications in computer graphics, computer animation and visualization.

关键词： Solid modeling Large-scale systems Drives Hardware Topology computer displays Application software computer graphics Animation Visualization

来源：评论

学校读者我要写书评

暂无评论

A note on proximity spaces and connection based mereology 01

A note on proximity spaces and connection based mereology

引用

Formal Ontology in Information Systems: Collected Papers from the Second International Conference

作者： Vakarelov, Dimiter Düntsch, Ivo Bennett, Brandon Laboratory for Applied Logic Fac. of Math. and Computer Science Sofia University blvd James Bouchier 5 1126 Sofia Bulgaria Faculty of Informatics University of Ulster Newtownabbey BT 370QB United Kingdom School of Computing University of Leeds Leeds LS2 9JT United Kingdom Department of Computer Science Brock University St. Catherines Ont. L2S 3AI Canada

ISBN: (纸本)1581133774

Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann has demonstrated the fruitfulness of the methods of continuous lattices to obtain a topological representation theorem for his formalisation of Whiteheadian ontological theory of space;similar results have been obtained by Roeper. In this note, we prove a topological representation theorem for a connection based class of systems, using methods and tools from the theory of proximity spaces. The key novelty is a new proximity semantics for connection relations.

关键词： Information science

来源：评论

学校读者我要写书评

暂无评论

Large-scale molecular dynamics simulations of materials on parallel computers

引用

AIP Conference Proceedings 2001年第1期583卷 57-62页

作者： Aiichiro Nakano Timothy J. Campbell Rajiv K. Kalia Sanjay Kodiyalam Shuji Ogata Fuyuki Shimojo Priya Vashishta Phillip Walsh 1Concurrent Computing Laboratory for Materials Simulations Department of Computer Science Department of Physics & Astronomy Louisiana State University Baton Rouge Louisiana 70803 2Logicon Inc. Naval Oceanographic Office Major Shared Resource Center Stennis Space Center Mississippi 39529 3Department of Applied Sciences Yamaguchi University Ube 755-8611 Japan 4Faculty of Integrated Arts and Sciences Hiroshima University Higashi-Hiroshima 739-8521 Japan

Scalable space-time multiresolution algorithms implemented on massively parallel computers enable large-scale molecular dynamics simulations involving up to a billion atoms, which are applied to the study of nanosystems of great technological importance. These include sintering, structure, and mechanical properties of nanostructured ceramics and nanocomposites, structural transformation in semiconductor nanocrystals, nanoindentation, and oxidation of metallic nanoparticles.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：