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

Domain-independent temporal reasoning with recurring events

COMPUTATIONAL INTELLIGENCE 1996年第3期12卷 450-477页

作者： Morris, RA Shoaff, WD Khatib, L Program in Computer Science Florida Institute of Technology Melbourne Florida 32901

Numerous examples of temporal reasoning involve a process of abstraction from the number of times an event is to occur or the number of times events stand in a temporal relation. For example, scheduling a recurring event such as one's office hours may consider things like the relative temporal ordering of the office hours and a number of other events in a given work day. The number of times office hours will actually be held may be unknown, even irrelevant, at the time of scheduling them. The objective of this article is to formulate a domain-independent framework for reasoning about recurring events and their relations. To achieve this end, we propose an ontology of recurrence based on the model-theoretic structure underlying collective predication using plural noun phrases. We offer a calculus of binary temporal relations for temporal collections based on a well-defined transformation of interval temporal relations into recurrence relations. Finally, we describe a reasoning framework based on manipulating knowledge stored in temporal relation networks, which is in turn a specialization of the CSP (constraint satisfaction problem) framework. The reasoner manipulates recurrence relations in the network to determine the network's consistency or to generate scenarios.

关键词： temporal logic constraint solving ontologies for time

来源：评论

学校读者我要写书评

暂无评论

Operational systems, logistics engineering and technology insertion

引用

NAVAL ENGINEERS JOURNAL 1997年第3期109卷 205-220页

作者： Grubb, MJ Skolnick, A Michael J. Grubb:has perfomzed naval engineering at the Crane Division Naval Surface Warfare Center (NSWC) for more than twenty-five years. He currently the program manager for the Sustainable Hardware and Affordable Readiness Practice Program (SHARP). is a Navy-wide logistics research and development prgram aimed at the successful transiton of proved technologies inot the fleet. SHARP focuses on reducing acquisition performance capability reliability maintainability and readiness of these systems. Mr. Grubb has served as a department director for the past eleven years. His most recent assignment was as director of the Tactical Computer Resources and Test Equipment Department. This organization provided acquisition and in-service engineering support of the Navy's tectical embedded computers priphirals displays and mass memory storage devices. The organization also provided a complete range of product engineering and metrology engineerig services for SSP NevSeaSysCom and the Trident Program. Prior to this appointment Mr. Grubb was deptuy director psysical security programs department and site responsible for program management and system integration of ashore integrated security systems. Mr. Grubb holds a B.S. degree in industrial engineering from Iowa State Universtiy an M.S. degree in industrial engineering from Purdue University and has copleted the course work (Dec.'96 for a master's degree in public and environment affairs at Indiana University-Purdue Univeristy Indianapolis. Dr. Alfred Skolnick operates System Science Consultants (SSC) specilizing in strategic planning technical program definiton technology assessment and engineering analyses on selected matters of national interest. He has taught physics mathematics and management sciences at University of Virginia and Marymount University and is currently adjunct professor of mathematics at Northern Virginia Community College. Form 1985 to 1989 he was president of the American Society of Noval Engineers. Dr. Skolnick served at Applied Physic

In an era of fiscal austerity, downsizing and unforgiving pressure upon human and economic capital, it is an Augean task to identify resources for fresh and creative work. The realities of the day and the practical demands of more immediate fleet needs can often dictate higher priorities. Yet, the Navy must avoid eating its seed corn. Exercising both technical insight and management foresight, the fleet, the R&D community, the Office of the Chief of Naval Operations (OpNav) and the product engineering expertise of the Naval Surface Warfare Center (NSWC) are joined and underway with integrated efforts to marry new, fully demonstrated technologies and operational urgencies. Defense funding today cannot sponsor all work that can be mission-justified over the long term because budgets are insufficient to support product maturation within the classical development cycle. However, by rigorous technical filtering and astute engineering of both marketplace capabilities and currently available components, it is possible in a few select cases to compress and, in effect, integrate advanced development (6.3), engineering development (6.4), weapon procurement (WPN), ship construction (SCN), operation and maintenance (O&M,N) budgetary categories when fleet criticalities and technology opportunities can happily meet. In short, 6.3 funds can be applied directly to ''ripe gateways'' so modern technology is inserted into existing troubled or aging systems, sidestepping the lengthy, traditional development cycle and accelerating practical payoffs to recurrent fleet problems. To produce such constructive results has required a remarkable convergence of sponsor prescience and engineering workforce excellence. The paper describes, extensively, the philosophy of approach, transition strategy, polling of fleet needs, technology assessment, and management team requirements. The process for culling and selecting specific candidate tasks for SHARP sponsorship (matching operational need with t

关键词： Naval vessels

来源：评论

学校读者我要写书评

暂无评论

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 objectives 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 objective 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

来源：评论

学校读者我要写书评

暂无评论

Efficient chain-code encoding for segmentation-based image compression

Efficient chain-code encoding for segmentation-based image c...

引用

Data Compression Conference (DCC)

作者： D.E. Tamir K. Phillips A. Abdul-Karim Computer Science Program Florida Institute of Technology Melbourne FL USA

Summary form only given. This paper presents a new and efficient method of encoding uniform image regions and lines. Regions and lines are obtained as the result of image segmentation, split and merge image compression, or as the output of line and polygon drawing algorithms. Lines and contours of uniform regions are encoded using chain-code. The chain-code is obtained in a way that is efficient with respect to bit-rate and produces lossless contour and line encoding. A lossy method for contour encoding is also presented. A set of experiments to compare the performance of traditional chain-code contour encoding with the improved contour encoding is presented. The results show a reduction of about 50% in the bit-rate with no reconstruction error.

关键词： Image coding Image segmentation Image reconstruction Bit rate Joining processes Image quality computer science Machinery

来源：评论

学校读者我要写书评

暂无评论

Teaching top-down design using VHDL and CPLD

Teaching top-down design using VHDL and CPLD

引用

Frontiers in Education (FIE) Conference

作者： M. Chang Computer Engineering Program Department of Computer Science Illinois Institute of Technology Chicago IL USA

The paper presents a teaching experience in using VHDL and CPLD in the senior digital design course. The course focuses on teaching the top-down design methodology through hands-on experiments. The industrially available tools-Maxplus2, made possible through Altera's University program, provide students with a smooth transition from academic concepts to industrial practice. VHDL, the industrial standard language (IEEE-1076), is used as the design entry. Thus the students are forced to learn the practical aspect of writing a synthesizable VHDL code. The hands-on weekly projects are exercised on the integrated CPLD design tool which has VHDL, compiler, logic synthesizer, functional and timing simulator, floor plan editor and programmer. With the help of programmable devices, students can bypass the timing period for IC fabrication and obtain ASIC designs after the devices have been programmed. The VHDL design entry in Maxplus2 is ideal for teaching top-down design methodology. Translating from a given algorithmic state machine (ASM) chart to a synthesizable and efficient VHDL code is presented. Exploiting the VHDL constructs to make a design reusable is demonstrated through examples. In this course, students learn how to partition a complex design into small components and focus on higher level of abstraction and hierarchy in design description which have become desirable to digital systems designers.

关键词： Education Design methodology Timing Writing program processors Logic devices Logic design Synthesizers programming profession Fabrication

来源：评论

学校读者我要写书评

暂无评论

Finite automation cryptosystem

Finite automation cryptosystem

引用

International Conference on Communication technology (ICCT)

作者： Qi Yulu S.R. Kodituwakku Computer Science program Asian Institute of Technology Bangkok Thailand Department of Mathematics Science University of Peradeniya Sri Lanka

A new public key cryptosystem is proposed, together with signature capabilities. This system based on the invertibility of finite automata. The security of the system rests on the difficulty of finding inverse automat... 详细信息

关键词： Automata Public key cryptography Galois fields Delay computer science Polynomials Mathematics Graphics Software algorithms Automatic testing

来源：评论

学校读者我要写书评

暂无评论

Partition and task migration on k-extra-stage omega networks

Partition and task migration on k-extra-stage omega networks

引用

International Conference on Parallel Processing (ICPP)

作者： Xiaojun Shen Yixin Zhang Computer Science Telecommunications Program University of Missouri Kansas City Kansas City MO USA Computer Science Department Guangdong Institute of Technology Guangzhou Guangdong China

ISBN: (纸本)081867623X

In a large-scale parallel computing system the interconnection network is its key component. Partitionability of such a network is an important feature which allow multiple tasks to be run independently on different subsystems. Partitionable networks also provide fault-tolerant ability by localizing and disabling the minimal faulty subsystem so the entire system can gracefully sustain the normal computation. A task run on a subsystem may need to be migrated to another subsystem if the subsystem is faulty, or load balance is needed, or subsystem restructuring desired. Siegel et al. (1990) discussed the migration problem for Omega-equivalent networks. This paper studies the partitionability and presents an optimal task migration algorithm for k-extra-stage Omega networks.

关键词： Parallel processing Multiprocessor interconnection networks computer science Cities and towns Large-scale systems Fault tolerant systems computer networks Partitioning algorithms Electronic mail Degradation

来源：评论

学校读者我要写书评

暂无评论

Reasoning with sequences of point events 3

Reasoning with sequences of point events

引用

3rd International Workshop on Temporal Representation and Reasoning, TIME 1996

作者： Wetprasit, R. Sattar, A. Khatib, L. Sch. of Comput. and Inf. Tech. Griffith Univ. NathanQLD Australia Computer Science Program Florida Institute of Technology 150 W. University Blvd MelbourneFL32901 United States

ISBN: (纸本)0818675284

Proposes the modeling of recurring events as multi-point events by extending Vilain and Kautz's (1986) point algebra. We then propose an exact algorithm, based on van Beek's (1990) exact algorithm, for finding feasible relations for multi-point event networks. The complexity of our method is compared with previously known results both for recurring and non-recurring events. We identify the special cases for which our multi-point based algorithm can find an exact solution. Finally, we summarise our paper with brief discussion on ongoing and future research. © 1996 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Reasoning with sequences of point events

Reasoning with sequences of point events

引用

International Workshop on Temporal Representation and Reasoning (TIME)

作者： R. Wetprasit A. Sattar L. Khatib School of Comp. and Infor. Tech. Griffith University Brisbane Australia Computer Science Program Florida Institute of Technology Melbourne FL USA

关键词： Algebra computer networks Australia Polynomials Artificial intelligence computer science Radiofrequency interference

来源：评论

学校读者我要写书评

暂无评论

Room-temperature performance of double-fused 1.54 /spl mu/m vertical-cavity laser

Room-temperature performance of double-fused 1.54 /spl mu/m ...

引用

Indium Phosphide and Related Materials Conference

作者： D.I. Babic K. Streubel R.P. Mirin J. Piprek N.M. Margalit J.E. Bower E.L. Hu D.E. Mars L. Yang K. Carey Department of Electrical and Computer Engineering University of California Santa Barbara USA Department of Electronics Royal Institute of Technology Stockholm Sweden Materials Science Program University of Delaware Newark USA Hewlett Packard Laboratories Palo Alto CA USA

The progress in understanding wafer-fused vertical-cavity lasers and improvements in fabrication techniques have led to the realization of the first room-temperature continuous-wave operating 1.54-/spl mu/m vertical-cavity lasers. By demonstrating continuous-wave operation at room temperature using vertical-cavity lasers fabricated by two wafer fusion steps, we have shown that wafer fusion is a viable technique. The lasers comprise strain compensated InGaAsP quantum-well active layers sandwiched between two AlGaAs/GaAs quarter-wave mirrors. Characteristics discussed include cavity losses, the gain-current density relationship, and voltage-current characteristics.

关键词： Vertical cavity surface emitting lasers Mirrors Optical pulse generation Absorption Pulse measurements Quantum well lasers Doping Temperature Propagation losses Size measurement

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：