摘要 :
Computational science is a relatively new discipline which has blossomed over thelast 15 years or so with the widening availability of high performance (super) computing facilities and which now underpins a huge amount of science ...
展开
Computational science is a relatively new discipline which has blossomed over thelast 15 years or so with the widening availability of high performance (super) computing facilities and which now underpins a huge amount of science and engineering. Theory and Computational Science at Daresbury (TCS) aims to provide, in a fully cost-effective and efficient manner, world class expertise and support for UK theoretical and computational science and engineering, both in Academia and Industry. The accompanying reports give much more information on projects currently in progress, the scientific software we develop and distribute and the services we provide.
收起
摘要 :
This paper presents our efforts in developing XMHF, an eXtensible and Modular Hypervisor Framework. XMHF takes a developer-centric approach to hypervisor design and implementation, and strives to be a comprehensible and flexible p...
展开
This paper presents our efforts in developing XMHF, an eXtensible and Modular Hypervisor Framework. XMHF takes a developer-centric approach to hypervisor design and implementation, and strives to be a comprehensible and flexible platform for performing hypervisor research and development. XMHF encapsulates common hypervisor core functionality in a framework that allows others to build custom hypervisor-based solutions (called 'hypapps') while freeing them from a considerable amount of wheel-reinventing that is often associated with such efforts. We are encouraged by the end result - a clean, barebones hypervisor framework with desirable performance characteristics and an architecture amenable to formal analysis.
收起
摘要 :
Algorithms to locate and identify the P wave in single lead electrocardiograms (ECG's) are developed and evaluated on eighteen 12 second electrocardiogram recordings. The program does not assume that the P wave has any specific ti...
展开
Algorithms to locate and identify the P wave in single lead electrocardiograms (ECG's) are developed and evaluated on eighteen 12 second electrocardiogram recordings. The program does not assume that the P wave has any specific time relationship to the occurrence of the QRS complex. The program searches the entire ECG to locate the P wave in any part of the ECG. The program divides the ECG into sections and classifies the sections as P waves or some other wave. The first test selects the sections that have a frequency domain pattern that is similar to a training set P wave. The sections that pass this test are checked for a periodic relationship with past selected sections. If a section was selected at a time assumed to be one P wave period before the present one, the present one will be classified as a P wave. Of the 209 P waves in the ECG records, 123 or 58.85% were located correctly. There were 83 false classifications of sections which were not P waves. (Author)
收起
摘要 :
In this paper the author traces the development of the Soviet computer industry along with its problems and shortcomings as discussed in the Soviet press. The major shortcomings noted tend to concentrate on organizational matters ...
展开
In this paper the author traces the development of the Soviet computer industry along with its problems and shortcomings as discussed in the Soviet press. The major shortcomings noted tend to concentrate on organizational matters as opposed to hardware production. Nevertheless, the paper shows that a technology gap exists. A discussion of Soviet military applications of computers and cybernetics is presented to demonstrate the interests of the USSR in this field. The author concludes that the Soviets have so far been ineffectual in dealing with many of their problems. He also concludes that the Soviets have abandoned independent development and resigned themselves to following the US lead in order to close the gap. (Author)
收起
摘要 :
Turbo Vision TM , a new application framework for PC DOS-based softwaredevelopment, is evaluated for its effectiveness as a base for computer applications. Turbo Vision provides an object-oriented, text-mode user interface and an ...
展开
Turbo Vision TM , a new application framework for PC DOS-based softwaredevelopment, is evaluated for its effectiveness as a base for computer applications. Turbo Vision provides an object-oriented, text-mode user interface and an event-driven program structure. An overview of the structure and software tools provided by Turbo Vision is presented. Various factors, such as consistency in architectural design, technical support, and ease of use, are considered.
收起
摘要 :
The purpose of this Technical Report is to review the Final Computer System Operator's Manual, CDRL A011-03, which was produced for the Government by Evaluation Research Corporation. The results are provided in the form of Data It...
展开
The purpose of this Technical Report is to review the Final Computer System Operator's Manual, CDRL A011-03, which was produced for the Government by Evaluation Research Corporation. The results are provided in the form of Data Item Discrepancy worksheets as requested by the CMOS Program Office.
收起
摘要 :
Implementation of a new operating system, including hardware and software for the magnetometer network was discussed. A computer package for filtering and spectral analysis was described, including flow charts, user's directory, m...
展开
Implementation of a new operating system, including hardware and software for the magnetometer network was discussed. A computer package for filtering and spectral analysis was described, including flow charts, user's directory, mathematical foundations and examples.
收起
摘要 :
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by engineers to design and implement future manufacturing...
展开
A new type of computer-aided engineering environment is envisioned which will improve the productivity of manufacturing/industrial engineers. This environment would be used by engineers to design and implement future manufacturing systems and subsystems. This paper describes work which is currently underway at the United States National Institute of Standards and Technology (NIST) on computer-aided manufacturing system engineering environments. The NIST project is aimed at advancing the development of software environments and tools for the design and engineering of manufacturing systems. The paper presents an overall vision of the proposed environment, identifies technical issues which must be addressed, and describes work on a current prototype computer-aided manufacturing system engineering environment.
收起
摘要 :
The Operating Room of the Future will be a location that can support the most advanced treatment methods available. This room however will not necessarily be in a traditional operating room setting. To accomplish this feat we are ...
展开
The Operating Room of the Future will be a location that can support the most advanced treatment methods available. This room however will not necessarily be in a traditional operating room setting. To accomplish this feat we are developing advanced surgical instrumentation to support the Operating Room of the Future concept. One advanced surgical instrument is a medical record search engine. This instrument provides the interface to the patient's medical history and a way to record delivered treatment. We have developed a system of medical data searching and storage to enable an up to the minute review of a patient's medical status. Another advanced surgical instrument is a digital micro-endoscope. This device can be inserted into a patient's body using percutaneous anesthesia methods. Once inserted, the device enables the clear visualization of internal structures providing direct evaluation of a patient's malady. Another advanced surgical instrument is a personal surgical display. This device brings all of the visual and aural information of the micro- endoscope and medical history to the surgeon's eyes and ears. The result is an immersive presentation of the patient to the surgeon anywhere that surgeon happens to be located. Truly an Operating Room of the Future.
收起
摘要 :
OTTER (Organized Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first-order logic with equality. OTTER includes the inference rules binary resolution, hyperresolution, UR-r...
展开
OTTER (Organized Techniques for Theorem-proving and Effective Research) is a resolution-style theorem-proving program for first-order logic with equality. OTTER includes the inference rules binary resolution, hyperresolution, UR-resolution, and binary paramodulation. Some of its other abilities and features are conversion from first-order formulas to clauses, forward and back subsumption, factoring, weighting, answer literals, term ordering, forward and back demodulation, evaluable functions and predicates, and Knuth-Bendix completion. OTTER is coded in C, is free, and is portable to many different kinds of computer.
收起
