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

15th Congress on Medical Informatics Europe, MIE 1999

作者： Babič, Špela Hleb Kokol, Peter Zorman, Milan Podgorelec, Vili Faculty of Electrical Engineering and Computer Science University of Maribor Laboratory for System Design Smetanova 17 2000 Maribor Slovenia

ISBN: (纸本)0967335515

Decision support systems that help physicians are becoming very important part of medical decision making. They are based on different models and the best of them are providing an explanation together with an accurate, reliable and quick response. One of the most viable among decision-making models is the concept of decision trees, already successfully used for many medical decision making purposes. Although effective and reliable, the traditional decision tree construction approach still contains several deficiencies. Therefore we decided to develop and compare several decision supporting models, each of them built with different discretization of attributes and decision classes. For the construction of decision trees we used MtDeciT, in our laboratory developed tool for building decision trees using the classical induction method. All solutions were evolved for determining the influence of basic properties of child and his/her parents to length of successful breastfeeding. A comparison between developed models and obtained results has shown that the way of discretization obviously plays a great role in the reliable and accurate real-world medical decision making.

关键词： Decision trees

来源：评论

学校读者我要写书评

暂无评论

CArE: A software package for computer-aided nurse education

引用

Health Informatics Journal 1999年第3期5卷 119-123页

作者： Habjanǐ, A. Kokol, P. Zorman, M. Šlajmer-Japelj, M. The University College of Nursing Studies Maribor Zitna Ulica 15 2000 Slovenia Faculty of Electrical Engineering and Computer Science Laboratory for System Design Maribor Smetanova 17 2000 Slovenia

computer-managed instruction (CMI) has been used in nursing education since the late 1960s. It is because of its accessibility and self-paced format that CMI is very well suited both to students and practising nurses, as learning can take place at the learner's own pace and in his or her own time. In addition CMI also supports continuing education and distant learning. The aim of this paper is to present CArE - a software package for computer Aided Nurse Education and in particular, for teaching the basics of the nursing care process. This package has been developed as a result of the Phare TEMPUS project called NICE (Nursing Informatics and computer Aided Education) [14] [15].

关键词：

来源：评论

学校读者我要写书评

暂无评论

A stratospheric Stationary LTA platform concept and ground-to-vehicle microwave power transmission tests 37th

A stratospheric Stationary LTA platform concept and ground-t...

引用

37th Aerospace Sciences Meeting and Exhibit, 1999

作者： Onda, Masahiko Kaya, Nobuyuki Fujita, Masaharu Fujino, Yoshiyuki Tomita, Kazumasa Yamada, Mamoru Mechanical Engineering Laboratory A.I.S.T. M.I.T.I. Tsukuba Japan Dept. Of Computer and System Engineering Kobe University Kobe Japan Communications Research Laboratory Ministry of Posts and Telecommunications Tokyo Japan Advanced Engineering Services Corp. Tsukuba Japan

Conducted in 1995 in Kobe, a low altitude flight demonstration test of a 10% scale model of the proposed high-altitude platform represents a novel microwave powering system. An unmanned 340 m3 LTA was able to hover at an altitude of 50 m. For the duration of the test, the airship's tandem motors and on-board systems were powered solely by ground-to-air microwave transmissions. The ground transmitter was a 10 kW parabolic antenna. The rectenna, power-absorbing antenna was a lightweight composite unit, and was positioned directly on the underside of the LTA. 2.45 GHz microwaves were transmitted. Tracking of the LTA for microwave beaming was performed manually, with the aid of tracking cameras and monitors. In this configuration, the LTA successfully hovered for a few minutes, though much longer durations are expected to be easily achievable. Overall efficiency of the power transmission process was estimated at about 50%. © 1999 The American Institute of Aeronautics and Astronautics Inc. All rights reserved.

关键词： Microwaves

来源：评论

学校读者我要写书评

暂无评论

Team scheduling by genetic search 2

Team scheduling by genetic search

引用

2nd International Conference on Intelligent Processing and Manufacturing of Materials, IPMM 1999

作者： Zhang, Tiehua Graver, William A. Smith, Michael H. Intelligent Robotics and Manufacturing System Laboratory Simon Fraser University BurnabyBCV5A1S6 Canada University of California at Berkeley Department of Electrical Engineering and Computer Science BerkeleyCA United States

ISBN: (纸本)0780354893

We consider a photographic studio that must schedule multiple teams of photographers to a large number of elementary and secondary schools. The photographers' schedules are to be optimized so that time constraints are satisfied and each team is able to at least visit two schools daily. A multiple Travelling Salesman model is used where the total distance traveled and time consumed can be evaluated in a single cost function to achieve overall optimality. A genetic algorithm has been applied to solve the problem. The results show that this approach rapidly provides an effective means for solving the problem. © 1999 IEEE.

关键词： Cost functions

来源：评论

学校读者我要写书评

暂无评论

Adaptive joint control design for a flexible two-link system

Adaptive joint control design for a flexible two-link system

引用

American Control Conference (ACC)

作者： Wenwei Xu Hongliu Du S.S. Nair Computer Controlled System Laboratory Department of Mechanical and Aerospace Engineering University of Missouri Columbia MO USA

Investigates a robust adaptive control design for a flexible two-link system considering joint angle control in the presence of system uncertainties. The system uncertainties are treated as unknown bounded continuous functions of the states. A Gaussian network is used to map the uncertainties in the MIMO system. A convergent stable learning algorithm is developed for the control design. Simulations show the effectiveness of the proposed learning control strategy.

关键词： Programmable control Adaptive control Control design Uncertainty Friction Control systems Vibrations Shape DC motors Payloads

来源：评论

学校读者我要写书评

暂无评论

Formal verification of RACE protocol using SSM

Formal verification of RACE protocol using SSM

引用

IEEE Region 10 International Conference TENCON

作者： Hahnseng Kim Jin-Young Choi Ando Ki Woo-Jong Han Department of Computer Science & Engineering Korea University Seoul South Korea Computer System Dept ETRI-CSTL(Computer and Software Technology Laboratory) Taejon South Korea

Cache coherence protocols are important for operating a shared-memory multiprocessor system with efficiency and correctness. Cache coherence protocols have become increasingly complex because physical memory is logically distributed, so that it is difficult for programmers to understand the view of logical shared-memory systems. Since random testing and simulations are not enough to validate the correctness of these protocols, it is necessary to develop efficient and reliable verification methods. Through the use of the Symbolic State Model (SSM) of Fong Pong (1995), we verified a directory-based protocol called the RACE (Remote-Access Cache coherence Enforcement) protocol. The protocol is verified for any system size, without state-space explosion.

关键词： Formal verification Access protocols State-space methods Explosions Electronic mail Multiprocessing systems Testing Error correction Network interfaces computer science

来源：评论

学校读者我要写书评

暂无评论

2.44 GFLOPS 300MHz floating-point vector processing unit for high performance 3D graphics computing

2.44 GFLOPS 300MHz floating-point vector processing unit for...

引用

European Conference on Solid-State Circuits (ESSCIRC)

作者： Nobuhiro Ide M. Hirano Yukio Endo S. Yoshioka H. Murakami A. Kunimatsu T. Sato T. Kamei T. Okada M. Suzuoki System ULSI Engineering Laboratory Toshiba Corporation Semiconductor Company Japan Sony Computer Entertainment Inc. USA

A Vector Unit (VU) for the high performance 3D graphics computing has been developed. Four fMAC (floating-point Multiply-Accumulate) units which execute multiply-add operation with one throughput, one fDIV (floating-point Divide) unit which executes division and square root operations with 6 cycles at 300 MHz and 128 bits × 32 words fReg (floating-point register file) are implemented. This architecture delivers a peak performance of 2.44 GFLOPS at 300MHz.

关键词： High performance computing Delay Throughput computer graphics Pipelines Ultra large scale integration systems engineering and theory Laboratories computer architecture Concurrent computing

来源：评论

学校读者我要写书评

暂无评论

RAPTOR: A single chip multiprocessor 1

RAPTOR: A single chip multiprocessor

引用

1st IEEE Asia Pacific Conference on ASICs, AP-ASIC 1999

作者： Lee, Sang-Won Song, Yun-Seob Kim, Soo-Won Oh, Hyeong-Cheol Hahn, Woo-Jang ASIC Laboratory Department of Electronics Engineering Korea University Korea Republic of Parallel Computation Lab. Department of Information Engineering Korea University Korea Republic of Computer System Research Department ETRI 15-ka Anam-dong Sungbuk-ku Seoul136-701 Korea Republic of

ISBN: (纸本)0780357051

A microarchitecture of a processor named RAPTOR is described. RAPTOR is a single chip multiprocessor developed for exploiting thread-level parallelism. RAPTOR includes four identical processors, a graphics coprocessor, and an external cache controller. Each processor has a 16 KB primary cache and implements SPARC version 9 instruction set architecture. The external cache controller provides direct connection to a large external second level cache. RAPTOR is designed as a building block of multiprocessor systems such as symmetric multiprocessor machines. © 1999 IEEE.

关键词： computer architecture

来源：评论

学校读者我要写书评

暂无评论

A fixed-priority-driven open environment for real-time applications

A fixed-priority-driven open environment for real-time appli...

引用

Real-Time systems Symposium (RTSS)

作者： Tei-Wei Kuo Ching-Hui Li Real-Time and Embedded System Laboratory Department of Computer Science and Information Engineering National Chung Cheng University Chiayi Taiwan

This paper extends the useful concept of open systems proposed by W.S. Liu, et al. (1997) in scheduling real-time applications and non-real-time applications, where the schedulability of each real-time application can be validated independently of other applications in the system. We replace the underlying earliest-deadline-first OS scheduler of the open system architecture by W.S. Liu, et al. (1997) with a rate-monotonic OS scheduler. The motivation behind this work is that many existing operating systems may not support the earliest deadline first scheduling very well. We propose to use the idea of sporadic servers to preserve CPU cycles for applications. We also develop schedulability tests for real-time applications which adopt the rate monotonic scheduling algorithm, the earliest deadline first scheduling algorithm, the priority ceiling protocol, and the stack resource policy. We allow tasks in each application to share local and global non-preemptable resources. A global resource synchronization mechanism is proposed. This paper provides a fixed-priority-based alternative for the important open system architecture.

关键词： Processor scheduling Application software Open systems Real time systems Testing Scheduling algorithm Operating systems Protocols Embedded system computer science

来源：评论

学校读者我要写书评

暂无评论

Power consumption of a 2's complement adder minimized by effective dynamic data ranges

Power consumption of a 2's complement adder minimized by eff...

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： R. Sheen S. Wang O.T.-C. Chen Ruey-Liang Ma Signal and Media Laboratories Department of Electrical Engineering National Chung Cheng University Chiayi Taiwan Computer System Development Department Computer & Communication Research Laboratory Industrial Technology and Research Institute Hsinchu Taiwan

Typically, two's complement is chosen to represent numbers since arithmetic operations of addition and subtraction are easy to perform. However, due to sign extension, an arithmetic operation for small dynamic data ranges may require switching power in the entire word length. Herein, we develop a two's complement adder with the dynamic-range determination and sign-extension units to reduce power consumption. According to the actual data range by minimizing sign-extension bits, only partial functional blocks of an adder are active to generate a final result of which sign bit is then extended to match the original word length. Experimental results demonstrate that our 32-bit carry-lookahead adder has 22.9% power reduction than the conventional one while dynamic ranges of input data are the Gaussian distribution with a mean of 16 bits and a standard deviation of 8 bits.

关键词： Energy consumption Dynamic range Adders Communication switching Arithmetic Capacitance Power dissipation Voltage Frequency Laboratories

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：