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

Triangle-based View Interpolation without Depth-buffering

Journal of Graphics Tools 1998年第4期3卷 13-31页

作者： Chi-Wing Fu[a] Tien-Tsin Wong[b] Pheng-Ann Heng[c] [a]Department of Computer Science & Engineering The Chinese University of Hong Kong (CUHK) Shatin Hong Kong E-mail: http://www.cse.cuhk.edu.hk/~cwfu/[b]Department of Computer Science The Hong Kong University of Science & Technology (HKUST) Clear Water Bay Kowloon Hong Kong E-mail: http://www.cs.ust.hk/~ttwong/[c]Department of Computer Science & Engineering The Chinese University of Hong Kong (CUHK) ShatinM Hong Kong E-mail: http://www.cse.cuhk.edu.hk/~pheng/

In this paper, we propose a triangle-based view interpolation algorithm that can correctly resolve the visibility prob.em without depth-buffering. The algorithm is especially useful when depth information is not availab.e, such as in the case of real-world photographs. by subdividing the reference image into variab.esized triangles, view interpolation can be done efficiently using existing graphics hardware. We derive the drawing order between each pair of neighboring triangles from the epipolar geometry. Using this drawing order, a graph can be built and topological sorting is applied on the graph to obtain the complete drawing order of all triangles in linear time.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sampling with Hammersley and Halton Points

引用

Journal of Graphics Tools 1997年第2期2卷 9-24页

作者： Tien-Tsin Wong[a] Wai-Shing Luk[b] Pheng-Ann Heng[c] [a]Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin Hong Kong E-mail: [b]Departement Computerwetenschappen Katholieke Universiteit Leuven Celestijnenlaan 200A B-3001 Heverlee Belgium E-mail: [c]Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin Hong Kong E-mail:

The Hammersley and Halton point sets, two well-known, low discrepancy sequences, have b.en used for quasi-Monte Carlo integration in previous research. A deterministic formula generates a uniformly distributed and stochasticlooking sampling pattern at low computational cost. The Halton point set is also useful for incremental sampling. In this paper, we discuss detailed implementation issues and our experience of choosing suitab.e bases for the point sets, not just on the two-dimensional plane but also on a spherical surface. The sampling scheme is also applied to ray tracing, with a significant improvement in error over standard sampling techniques.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fast Robust bSP Tree Traversal Algorithm for Ray Tracing

引用

Journal of graphics tools 1997年第4期2卷 15-23页

作者： Vlastimil Havran Tomas Kopal Jiř &#xeD bittner Jiř &#xeD Ž &#xe1 ra [a]Czech Technical University Faculty of Electrical Engineering Department of Computer Science and Engineering Karlovo nam. 13 12135 Prague 2 Czech Republic E-mail: [b]Czech Technical University Faculty of Electrical Engineering Department of Computer Science and Engineering Karlovo nám Czech Republic E-mail: [c]Czech Technical University Faculty of Electrical Engineering Department of Computer Science and Engineering Karlovo nám 13 12135 Prague 2 Czech Republic E-mail: [d]Czech Technical University Faculty of Electrical Engineering Department of Computer Science and Engineering Karlovo nám. 13 12135 Prague 2 Czech Republic E-mail:

An orthogonal bSP (binary space partitioning) tree is a commonly used spatial subdivision data structure for ray-tracing acceleration. While the construction of a bSP tree takes a relatively short time, the efficiency of a traversal algorithm significantly influences the overall rendering time. We propose a new fast traversal algorithm based on statistical evaluation of all possib.e cases occuring during the traversal of a bSP tree. More frequent cases are handled simply, while less frequent ones are more computationally expensive. The proposed traversal algorithm handles all singularities correctly, and saves between 30% and 50% of traversal time compared with the commonly-known Sung and Arvo algorithms.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Meeting the 21st century with SMART mission flexibility

引用

NAVAL eNGINeeRS JOURNAL 1997年第3期109卷 341-346页

作者： Alexander, RK Olmstead, L Ronald K. Alexander P.E.:received his B.S. degree in mechnaical engineering from Purdue University and his M.S. degree in mechanical engineering from the Naval Postgraduate School. He is currently manager quality programs at RGE Engineering Service Company where he provides technical support to the ATC Program in the area of combat system modularity design. lhe is a member of ASNE and the Surface Navy Association. Larry Olmstead:received his B.L.S. degree in mathematics and computer scienc from Mary Washington College in 1982 and his M.S. degree in system management from the University of Southern California in 1986. He chaired the C'I Modular Implementation Wroking Group (MIWG) from its inception in September 1993 to December 1996 as a combat system engineer in the PEO CLA Engineering management Office (Code PMS307). He is currently employed at Science Application International Corporation.

A revolution is underway in the design, production and installation of the Navy/Marine Corps team's command, control, communications, computers and intelligence ((CI)-I-4) vision and strategies, which is significantly reducing costs, and dramatically improving the battle readiness of tomorrow's forward deployers. A strong emphasis on research and development has enab.ed the design, development and installation of the Shipboard Modular Arrangement Reconfiguration Technology (SMART) systems in ships. SMART is a methodology for installing equipment in shipboard spaces that will provide the fleet with enhanced mission flexibility. The heart of this technology is a track rail system, similar to that used by the aircraft industry, which enab.es equipment to be bolted to the deck, bulkheads or overhead, and meets all shipboard shock and vibration requirements. The fleet can reconfigure designated spaces to receive new systems, install equipment upgrades, position cross-decked systems, or rearrange work areas with minimal industrial work (welding, grinding, lagging, painting, etc.), and maximum cost savings. Key (CI)-I-4 spaces such as Tactical Flag Command Center (TFCC), Joint Operations Center (JOC), Communication Centers, etc., can be reconfigured as required. Thereby, new technology insertion can enab.e rapid deployment of state-of-the-art technologies much faster than the standard method of welding foundations in place to support various equipment installations. The SMART system includes a foundation track system, modular-connectorized power and lighting, and modular workstations.

关键词： Naval vessels

来源：评论

学校读者我要写书评

暂无评论

Preface

引用

International Journal of Pattern Recognition and Artificial Intelligence 1997年第7期11卷 1023-1024页

作者： Serge Miguet Annick Montanvert P. S. P. Wang Laboratory E.R.I.C. bâtiment L Université Lumière Lyon 2 5 avenue Pierre Mendes 69676 Bron Cedex France TIMC - INFODIS Domáine de la Merci F-38700 LaFronche France Department of Computer Science and Systems Engineering Faculty of Engineering Yamaguchi University Ube 755 Japan

Several nonclosure properties of each class of sets accepted by two-dimensional alternating one-marker automata, alternating one-marker automata with only universal states, nondeterministic one-marker automata, deterministic one-marker automata, alternating finite automata, and alternating finite automata with only universal states are shown. To do this, we first establish the upper bounds of the working space used by "three-way" alternating Turing machines with only universal states to simulate those "four-way" non-storage machines. These bounds provide us a simplified and unified proof method for the whole variants of one-marker and/or alternating finite state machine, without directly analyzing the complex behavior of the individual four-way machine on two-dimensional rectangular input tapes. We also summarize the known closure properties including boolean closures for all the variants of two-dimensional alternating one-marker automata.

关键词： Automaton two-dimensional tape connected picture one-marker closure property alternation Turing machine

来源：评论

学校读者我要写书评

暂无评论

Influence of human engineering on manning levels and human performance on ships

引用

NAVAL eNGINeeRS JOURNAL 1997年第5期109卷 67-76页

作者： Anderson, De Oberman, FR Malone, Tb baker, CC David E. Anderson:has a bachelor of science degree in environmental engineering from Florida Technological University and a master's degree in environmental engineering from the University of Central Florida. He is a graduate of the Naval Sea Systems Command's Engineer-In-Training (EIT) Program. Mr. Anderson was instrumental in introducing the collective protection system (CPS) in the U.S. Navy developing the initial forward-fit package for the USS Gunston Hall and the engineering change proposal (ECP) for the USS Wasp. In 1990 he joined the Human Systems Integration (HSI) Division (SEA 55W5) where he was task leader for auxiliary ships. He is currently the HSI manager for the future technology variant of the SeaLift ship and the future carrier. Association of Scientists and Engineers 33rdAnnual Technical Symposium 26 April 1996. Fred R. Oberman:has B.A. and M.A. degrees from the University of Chicago and Loyola University (experimental psychology) and an M.S. degree in industrial engineering and operations research from Virginia Polytechnic Institute (VPI). He has more than 30 years experience in HSI management planning research analysis design and testing in government and private sector positions. He is currently responsible for NavSea HSI generic research and tool development efforts. He is responsible for Human Engineering Specifications and Standards (Commercial Hypertext) and is the NavSea 03D7 representative on HSI in Performance Specifications and for integration of HSI within Integrated Logistic Support (ILS). He has served as DoD HSI SubTAG chair and member of the Simulation and Modeling Test and Evaluation Display and Control Systems Human Computer Interaction Specifications and Standards and Systems Design Sub Tags as a member of the Society of Naval Architects and Marine Engineers (SNAME) Systems Safety Panel and a member of NATO RSG 14 on man-machine analysis. Thomas B. Malone: CHFEP received a Ph.D. in experimental psychology from Fordham University in 1964. He is president of Carlow

The ob.ectives of Human engineering (He) are generally viewed as increasing human performance, reducing human error, enhancing personnel and equipment safety, and reducing training and related personnel costs. There are other benefits that are thoroughly consistent with the direction of the Navy of the future, chief among these is reduction of required numbers of personnel to operate and maintain Navy ships. The Naval Research Advisory Committee (NRAC) report on Man-Machine Technology in the Navy estimated that one of the benefits from increased application of man-machine technology to Navy ship design is personnel reduction as well as improving system availability, effectiveness, and safety The ob.ective of this paper is to discuss aspects of the human engineering design of ships and systems that affect manning requirements, and impact human-performance and safety The paper will also discuss how the application of human engineering leads to improved performance, and crew safety, and reduced workload, all of which influence manning levels. Finally, the paper presents a discussion of tools and case studies of good human engineering design practices which reduce manning.

关键词： Human engineering

来源：评论

学校读者我要写书评

暂无评论

Representation and synthesis of interface of a circuit for its reuse [VLSI design]

Representation and synthesis of interface of a circuit for i...

引用

International Conference on VLSI Design

作者： S. Sarkar A. basu A.K. Majumdar Department of Computer Science & Tech B. E. College Howrah India Department of Computer Science & Engineering IIT Kharagpur India

In this paper we propose an ob.ect oriented approach for reusing presynthesized components in VLSI design. each component ob.ect has an interface which hides its internal implementation details and yet allows the operations, performed by the component, to be invoked by sending an appropriate message. A graph based representation scheme has b.en adopted for capturing necessary interface information. The proposed interface graph can deal with circuits of various complexities. Moreover, the utilization of the interface graph of an ob.ect, during its reuse in sub.equent synthesis of a new circuit, has b.en described and illustrated with the help of examples. Lastly, a scheme for extracting the interface graph during synthesis of an ob.ect has b.en proposed.

关键词： Circuit synthesis Control system synthesis Ob.ect oriented modeling Libraries educational institutions Very large scale integration High level synthesis Digital circuits Protocols Timing

来源：评论

学校读者我要写书评

暂无评论

Indigo: a local propagation algorithm for inequality constraints 96

Indigo: a local propagation algorithm for inequality constra...

引用

Proceedings of the 9th annual ACM symposium on User interface software and technology

作者： Alan borning Richard Anderson bjorn Freeman-benson Dept. of Computer Science & Engineering University of Washington PO BOX 352350 Seattle WA Object Technology International Inc R. Buckminster Fuller Laboratory 201-506 Fort St Victoria B.C. CANADA V8W 1E6

来源：评论

学校读者我要写书评

暂无评论

A method for understanding intentions of indirect speech acts in natural language interfaces

引用

SYSTeMS AND computerS IN JAPAN 1996年第1期27卷 77-91页

作者： Mima, H Aoe, J Fuketa, M Hayashi, Y Member Faculty of Engineering The University of Tokushima Tokushima Japan 770 Jun-ichi Aoe received his B.E. and M.E. degrees in Electronic Engineering from the University of Tokushima Tokushima Japan in 1974 and 1976 respectively and his Ph.D. degree in Communication Engineering from the University of Osaka Japan in 1980. Since 1976 he has been with the University of Tokushima. He is currently a Professor in the Department of Information Science and Intelligent Systems at the University of Tokushima. He is the author of about 50 scientific papers. His research interests include computer algorithms in software engineering and natural language processing. Dr. Aoe is editing Computer Algorithms Series of the IEEE Computer Society Press and author of two books: Computer Algorithms-Key Search Strategies in 1991 and String Pattern Matching Strategies in 1994. He received a Best Author Award from the Information Processing Society of Japan in 1993. He is a member of the Association for Computing Machinery the American Association for Artificial Intelligence the Association for Computational Linguistics and the Information Processing Society of Japan the Society for Software Science and Technology the Japanese Society for Artificial Intelligence and the Association for Natural Language Processing of Japan. Nonmember

In an attempt to propose a robust method for understanding natural language (NL) interface commands, a scheme is proposed that infers intentions from an indirect speech-act that does not express users' real intentions explicitly. This method classifies the real intentions of the indirect speech-act into: 1) refusal;2) reversal;3) restriction;4) benefit;and 5) disability. Further, concepts are abstracted for operations, e.g., displaying, moving, and deleting information systems;and constructing the operation knowledge base. This knowledge based comprises operational concepts and the relationships between them. These relationships are assigned the foregoing classifications for intentions. In addition, we construct the knowledge base of ob.ects for the target of operations, e.g., files, figures, strings. This knowledge base contains the relationships: a) antonym;b) exclusive;c) part-of, between the ob.ects;and uses these relations to infer the transitions between the ob.ects. An algorithm is the proposed to infer concepts for operations and concepts for target ob.ects of operations that may represent the user's actual intentions. This proposal scheme was tested with requests on UNIX and a commercially availab.e Japanese Word Processor. The system successfully inferred the intentions for approximately 80 percent of the user's indirect speech-act.

关键词： natural language interface indirect speech act inference of intention

来源：评论

学校读者我要写书评

暂无评论

Proof Method for correctness of refinements of algebraic specification in abstract sequential machine style

引用

SYSTeMS AND computerS IN JAPAN 1996年第5期27卷 25-38页

作者： Okano, K Higashino, T Taniguchi, K Member Faculty of Engineering Science Osaka University Toyonaka Japan 560 Teruo Hipshino received his B.E. M.E.and Ph.D. degrees in Information and Computer Sciences from Osaka University Osaka Japan in 1R9 1981 and 1984 respectively. He joined the Faculty of Osaka University in 1984. Since 1991 he has been an Associate Professor in the Department of Information and Computer Sciences at Osaka University. In 1990 he was a Visiting Researcher of Dept. I.R.O. at University of Montreal Canada. His current research interests include design and analysis of distributed systems specification and verification of communication protocols and formal approach of program design. He is a member of IEEE-CS ACM IEICE of Japan and IPS of Japan.

In this paper, new methods for providing the correctness of refinement among abstract sequential machine style programs are described. The programs are described in algebraic language ASL using some useful notions, i.e., the extended projection and the valid reachability condition for each transition function. These notions allow a designer to refine a given text (program or specification) to a concrete text more freely than the text that does not use such notions. These notions can also enhance the expressive power of the text. On the other hand, these advantages would have lost half their values, if useful methods to prove the correctness of refinement among the texts using them are not found. Thus new methods for proving the correctness of the texts are proposed, and they do not require much proof loads. First, the correctness of refinement among the ASL texts with the extended projection is defined. Second, a method is proposed for proving the correctness of refinement among such texts. Also proposed is a definition of the correctness of refinement among the texts with the valid reachability conditions and a method to prove their correctness. These methods do not require more proof loads than the usual methods for the texts that do not use such notions in the abstract sequential machine style. Therefore, these methods are useful.

关键词： abstract sequential machine ASL language proof algebraic specification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：