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

11TH SYMP ON RELIABLE DISTRIBUTED SYSTEMS

作者： RAMARAO, KVS VENKATESAN, S Technology Resources Southwestern Bell Company 550 Maryville Centre Drive St. Louis 63141 MO United States Computer Science Program University of Texas at Dallas Richardson 75083-0688 TX United States

ISBN: (纸本)0818628901

Processor failures not leading to a network partition are considered, and the issue of computing associative functions in spite of processor failures is addressed. An intuitive and fundamental result formally proved is that failure detection and computing associative functions are equivalent in faulty networks: One can be performed if and only if the other can be performed. Protocols and impossibility results in various system models are presented in the context of computing associative functions and solving topological problems. © 1992 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A software authentication system for the prevention of computer viruses 92

A software authentication system for the prevention of compu...

引用

Proceedings of the 1992 ACM annual conference on Communications

作者： Lein Harn Hung-Yu Lin Shoubao Yang Computer Science Telecommunications Program University of Missouri-Kansas City Kansas City MO Department of Computer Science University of Science and Technology of China Hefei Anhui 230026 PRC

ISBN: (纸本)9780897914727

In the absence of systematic techniques to detect the existence of computer viruses, preventing suspicious software from entering the system at the initial point of entry appears to be the best method to protect computing resources against attacks of computer viruses. Currently, software is distributed primarily by diskettes instead of online transmission. Diskettes are more susceptible to modification and masquerading while on-line transmission usually follows proper user/message authentication. A software authentication system is proposed which does not require a mutually trusted center of both software vendors and users, or users' interaction with any key center. Vendors assume responsibility by signing released software and users verify the authenticity of received software before using it. Through such an authentication process, users eliminate the risk of running “unlicensed” or modified programs, thus eliminating the possibility of virus infections.

关键词：

来源：评论

学校读者我要写书评

暂无评论

An exploratory study of ad hoc query languages to databases

An exploratory study of ad hoc query languages to databases

引用

International Conference on Data Engineering

作者： J.E. Bell L.A. Rowe Instructional Technology Program University of California Berkeley CA USA Computer Science Division-EECS University of California Berkeley CA USA

The authors describe an exploratory study performed to compare three different interface styles for ad hoc query to a database. Subjects with wide-ranging computer experience performed queries of varying difficulty using either an artificial, a graphical, or a natural language interface. All three interfaces were commercial products. The study revealed strengths and weaknesses of each interface and showed that interaction with the natural language interface was qualitatively different than interaction with either the graphical or artificial language systems.< >

关键词： Database languages Natural languages computer interfaces computer science Educational institutions Costs User interfaces Aggregates Performance analysis Usability

来源：评论

学校读者我要写书评

暂无评论

Distributed problem solving in spite of processor failures

Distributed problem solving in spite of processor failures

引用

Reliable Distributed Systems

作者： K.V.S. Ramarao S. Venkatesan Technology Resources Southwestern Bell Company Saint Louis MO USA Computer Science Program University of Texas Dallas Richardson TX USA

Processor failures not leading to a network partition are considered, and the issue of computing associative functions in spite of processor failures is addressed. An intuitive and fundamental result formally proved is that failure detection and computing associative functions are equivalent in faulty networks: one can be performed if and only if the other can be performed. Protocols and impossibility results in various system models are presented in the context of computing associative functions and solving topological problems.< >

关键词： Problem-solving Protocols computer networks Fault tolerance Intelligent networks Fault detection Distributed computing Clocks computer science Paper technology

来源：评论

学校读者我要写书评

暂无评论

Data Point Reduction for NC Tool Path Generation on Over-Determined Data Set

引用

IFAC Proceedings Volumes 1992年第7期25卷 117-122页

作者： M. Yeung D. Walton Advanced Manufacturing Technology Program Institute of Mechanical Engineering National Research Council of Canada 435 Ellice Avenue Winnipeg Manitoba Canada R3B 1Y6 Department of Computer Science University of Manitoba Winnipeg Manitoba Canada R3T 2N2

Data acquired for object reproduction by laser or stereovision scanning processes are often over-determined. This causes problems in manufacturing processes, for example, NC tool path generation. Data reduction is a sensible solution to such problems. A heuristic method to reduce the data points with the user given tolerance is presented.

关键词： Data point reduction two axis scanner three axis scanner CNC tool path

来源：评论

学校读者我要写书评

暂无评论

FFG-61 PROTOTYPE DIGITAL TECHNICAL LIBRARY

引用

NAVAL ENGINEERS JOURNAL 1992年第2期104卷 58-68页

作者： VINROOT, CA ORNER, JG USN Capt. Charles A. Vinroot USN (Ret.)retired from the U.S. Navy in September 1991 following over 27 years of active duty as an engineering duty officer. He holds a BSEE from North Carolina State University and a MSEE and professional degree from the U.S. Naval Postgraduate School. During his naval career he served on USSIndependence (CVA-62) and USSLuce (DLC-7/DDC-38). He also served at Supship Quincy Mass. and Hunters Point Naval Shipyard. He was stationed in Washington D.C. with assignments at CNO (OP 98) ASN (S&L) and the Naval Sea Systems Command. Captain Vinroot was technical director of the Battleship Reactivation Program (PMS 378) technical director of the Destroyer Acquisition Program (PMS 389) and deputy program manager of the Amphibious Warfare and Strategic Sealift Program (PMS 377). Most recently he served as program manager for Gas Turbine Surface Combatants (PMS 314) and Surface Combatants (PMS 330). Captain Vinroot is now employed by PRC Inc. and serves as technical director for the Advanced Technology Division in Crystal City Va. Jeffery G. Ornergraduated from Wittenberg University in Springfield Ohio in 1979 with a bachelor of arts degree in political science and earned a master's of science degree in business from The American University in Washington D.C. in 1982. He has ten years of professional experience with the Naval Sea Systems Command in positions with responsibilities for logistic support planning policy and delivery computer-aided acquisition and logistic support and Fleet Modernization Program (FMP) and ship construction issues. He was a key player in establishing the current FMP integrated logistic support (ILS) process and in implementing of the Ships' Configuration and Logistic Support Information System (SCLSIS). His current position as Fleet Logistic Support Branch head for the Surface Combatant Program includes responsibility for logistic support and management of ship configuration and logistic data for all surface combatant ships (except for Aegis ships). In

USS Ingraham (FFG-61) is the prototype ship for NavSea's Advanced Technical Information System (ATIS). ATIS is a digital technical library, which holds on optical disks the ship's 2,000 technical manuals and 73,000 drawing sheets. It contains a detailed ship's configuration index (derived from SCLSIS) to lead the user to the proper drawing or manual, and it replaces the ship's aperture cards and the second (library) copy of the technical manuals. ATIS, and the data standards established and tested through ATIS development, will be the technical library portion of micro-SNAP and SNAP III. It also forms an important part of NavSea's plans to utilize EDMICS data. This paper describes the goals and technical concepts behind the development of ATIS. Problems encountered, solutions developed, and lessons learned are detailed. Special attention was paid to the application of the computer Aided Acquisition and Logistic Support (CALS) standards, problems caused by conflicts and ambiguities in those standards, the standards. Original program goals are compared with actual operational experiences. Plans for future expansion are outlined, including applications of this technology in the availability planning and execution process. A comparison is developed among the various methods of optical imaging and their costs and benefits.

关键词： Information Retrieval Systems

来源：评论

学校读者我要写书评

暂无评论

CAD CAM GOES TO SEA - THE SAAR-5 DESIGN AND CONSTRUCTION

引用

NAVAL ENGINEERS JOURNAL 1992年第3期104卷 148-155页

作者： LINDGREN, JR SOLITARIO, WA MOORE, AP STREIFF, MA John R. Lindgren Jr:. is vice president for engineering at Ingalls Shipbuilding Inc. a Division of Litton Industries in Pascagoula Miss. He joined Ingalls in 1958 and has held various positions in the Engineering Division and participated in the design of numerous merchant ships drill rigs submarines and surface combatants and auxiliary support ships. Mr. Lindgren is a 1958 graduate of the University of Southwest Louisiana. His degree is in mechanical engineering and he is also a licensed professional engineer. William A. Solitario:is the director of advanced technology at Ingalls Shipbuilding Inc. in Pascagoula Miss. He received his B.S. degree in chemical engineering from the City University of New York and has 28 years experience in marine engineering and design. His current responsibilities include the direction of Ingalls' IRAD programs and several Navy-funded R&D programs to improve ship's performance and reduce ship's operating costs. He is a member of the Society of Naval Architects and Marine Engineers and past chairman of the Gulf Section East Area. Arnold P. Moore:is the director design engineering at Ingalls Shipbuilding where he is responsible for all new construction design and engineering activities. Prior to promotion to his current position Mr. Moore served as chief naval architect at Ingalls. He has 24 years experience in ship design construction and repair. Mr. Moore holds the professional degree of ocean engineer as well as a master's degree in naval architecture and marine engineering from MIT. He also earned a bachelor's degree in naval science from the U.S. Naval Academy and is a registered professional engineer. Mr. Moore served as an engineering duty officer in the U.S. Navy and is currently a captain in the Naval Reserve. He is a past chairman of the Gulf Section of the Society of Naval Architects and Marine Engineers and a member of the American Society of Naval Engineers and Sigma Xi. Michel A. Streiff:is the manager of CAD/CAM applications at Ingalls Shipbuilding Inc. His

The SA'AR-5 Corvette program is the first major warship construction to be entirely accomplished using a 3-dimensional, interference checked computer based design. This paper discusses the organization and approach used to create the design models which form the basis for interference checking as well as the source of extracted production data. The design or product model is the nucleus of the computer data base that defines the configuration of the entire ship. The data base includes geometry, weight, and material, as well as production control data. The ability of the computer to link such diverse information is the key to maintaining configuration control during the course of the design and construction. The ease with which formatted manufacturing data (both N.C. fabrication and installation) can be extracted enables the preparation of detailed packages containing the desired geometry as well as the associated material and sequencing data, thus assuring the producibility of the design. The SA'AR-5 design is CAD/CAM's state of the art in U.S. shipbuilding.

关键词： Warships

来源：评论

学校读者我要写书评

暂无评论

Network dimensioning for a multi-service integrated digital network with dynamic routing

Network dimensioning for a multi-service integrated digital ...

引用

1991 Symposium on Applied Computing, SOAC 1991

作者： Medhi, Deepankar Center for Advanced Technology Computer Science Telecommunications Program University of Missouri - Kansas City Kansas CityMO64110-2499 United States

ISBN: (纸本)0818621362

With ISDN user part (ISUP) signalling, it will be possible to provide different services in the same transmission facility without dedicated partitioning. We consider here a multi-service switched integrated digital network with dynamic routing where several services are offered, as proposed in [3, 4]. This type of networks provides a viable platform for deploying new services in the ISDN era by taking advantage of the dynamic routing capabilities. In this paper, we address the problem of network dimensioning for such a multi-service dynamic routing network and present mathematical formulations of this problem. Exploiting the structure, we propose a penalty-function based decomposition algorithm for solving this problem. © 1991 IEEE.

关键词： Network routing

来源：评论

学校读者我要写书评

暂无评论

Network dimensioning for a multi-service integrated digital network with dynamic routing

Network dimensioning for a multi-service integrated digital ...

引用

Symposium on Applied Computing

作者： D. Medhi Center for Advanced Technology Computer Science TeIecommunications Program University of Missouri Kansas City Kansas City MO USA

With ISDN user part (ISUP) signalling, it will be possible to provide different services in the same transmission facility without dedicated partitioning. The paper considers a multi-service switched integrated digital network with dynamic routing where several services are offered. This type of network provides a viable platform for deploying new services in the ISDN era by taking advantage of the dynamic routing capabilities. The paper addresses the problem of network dimensioning for such a multi-service dynamic routing network and presents mathematical formulations of this problem. Exploiting the structure, it proposes a penalty-function based decomposition algorithm for solving this problem.< >

关键词： Routing Switches ISDN Telecommunication switching Telecommunication control Cities and towns computer science Electronic mail Spine Ash

来源：评论

学校读者我要写书评

暂无评论

Diverse routing for survivability in a fiber-based sparse network

Diverse routing for survivability in a fiber-based sparse ne...

引用

IEEE International Conference on Communications (ICC)

作者： D. Medhi Center of Advanced Technology Computer Science Telecommunications Program University of Missouri Kansas City Kansas City MO USA

The problem of obtaining optimal pairs of diverse routes to minimize cost for given demand, capacity, and bound requirements is addressed. The mathematical formulation of this problem yields a mixed-integer, multicommodity flow model which can be solved by a Lagrangian relaxation-based algorithm exploiting the structure of the problem. A preliminary study shows improvement in worst case network survivability with diverse routing.< >

关键词： Routing Intelligent networks Telecommunication traffic Mathematical model Lagrangian functions Cities and towns Optical fibers Cost function Spine computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：