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

1st International Workshop on Practice and Theory in Public Key Cryptography, PKC 1998

作者： Uk Shin, Sang Hyune Rhee, Kyung Hyun Ryu, Dae Jin Lee, Sang Department of Computer Science PuKyong National University 599-1 Daeyeon-dong Nam-gu Pusan608-737 Korea Republic of Coding Technology Section Electronics and Telecommunications Research Institute 161 Kajong-dong Yusong-gu Taejon305-350 Korea Republic of

ISBN: (纸本)3540646930

Several fast software hash functions have been proposed since the hash function MD4 was introduced by R. Rivest in 1990. At the moment, SHA-1, RIPEMD-160, and HAVAL are known as secure dedicated hash functions in MDx-family hash functions. In this paper, we propose a new hash function based on advantages of these three hash functions, which keeps the maximum security of them and is more efficient in performance. The proposed hash function processes an arbitrary finite message by 512-bit block and outputs 160 bits digest. The key feature of the proposed hash function is data-dependent rotation. This feature guarantees the strength against existing known attacks. Moreover, we propose a new keyed MAC(Message Authentication Code) constructed using the proposed hash function. The proposed MAC uses a maximum keys of 160 bits and has a bitlength less than equal to the hash result. From the viewpoint of performance, the proposed MAC is only reduced about 10~ comparing to the underlying hash function. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Hash functions

来源：评论

学校读者我要写书评

暂无评论

Measuring left ventricular regional wall thickening using dynamic M-mode imaging

Measuring left ventricular regional wall thickening using dy...

引用

computers in Cardiology (CinC)

作者： I. Song M.T. Saltzberg J.S. Soble J. Roberge Department of Computer Science Illinois Institute of Technology Chicago IL USA Section of Cardiology Rush Medical College Chicago IL USA

In order to measure left ventricular (LV) regional wall thickening, one must accurately track movement of the endocardial and epicardial borders. This task can be exceedingly tedious and error-prone when performed on 2D echocardiographic cineloops. The authors have developed a computer-assisted technique, dynamic M-mode, that allows a user to specify the position of the endocardial and epicardial borders using cursors on a synthetic M-mode image that are synchronized to cursors on the 2D cineloop from which the M-mode was derived. The authors evaluated the accuracy of dynamic M-mode imaging by comparing measurements of wall thickening and rates of wall thickening performed using this technique with those produced using paired transmural ultrasonic crystals implanted on the LV epicardium and endocardium in five open-chested dogs. The results show a close correspondence between the measurements produced by these two methods.

关键词： Thickness measurement Cardiology Ultrasonic variables measurement Crystals Spatiotemporal phenomena Sampling methods computer science Biomedical imaging Educational institutions Tracking

来源：评论

学校读者我要写书评

暂无评论

FACET: PC-parallel architecture for cost-efficient telemetry processing

FACET: PC-parallel architecture for cost-efficient telemetry...

引用

IEEE Conference on Aerospace

作者： T. El-Ghazawi P. Chalermwat P. Piamsa-nga A. Ozkaya N. Speciale D. Wilson Computer Engineering and Computer Science Florida Institute of Technology Melbourne FL USA Parallel Architecture Laboratory Department of Electrical Engineering and Computer Science George Washington University Washington D.C. DC USA NASA Goddard Space Flight Center Greenbelt MD USA

NASA's Mission to Planet Earth (MTPE) is planning to launch the Earth Observing System (EOS) starting in 1998. The large number of planned remote sensing satellites will bring 500 Gigabytes of information per day. The EOS Data and Information System (EOSDIS) is responsible for ingesting and archiving this data. One important component of the EOSDIS system is the data operation, which involves extracting the packets and reconstructing and archiving the original remotely sensed data products. Due to transmission errors, the way data is sampled from the different sensors encoded, packets typically arrive out of order and perhaps with some of them missing or repeated. Many special hardware solutions have been proposed to solve this real-time problem. In this paper, we demonstrate a commercial off the shelf (COTS) solution. The hardware capitalizes on the progress made in the area of network of workstations (NOW), particularly PC-clusters. The software and algorithm exploit the data characteristics and parallelism in the telemetry stream to make use of load balancing and efficient parallel processing. It is shown that this solution can provide high-performance to cost and programmability.

关键词： Telemetry Earth Observing System Hardware Planets Remote sensing Satellites Information systems Data mining Out of order Workstations

来源：评论

学校读者我要写书评

暂无评论

Iterative determination of local bound constraints in iterative image restoration

Iterative determination of local bound constraints in iterat...

引用

IEEE International Conference on Image Processing

作者： K. May T. Stathaki A.G. Constantinides A.K. Katsaggelos Signal Processing and Digital Systems Section Imperial College of Science Technology and Medicine London UK Department of Electrical and Computer Engineering Northwestern University Evanston IL USA

In this paper, the problem of how to better estimate spatially adaptive intensity bounds for image restoration is addressed. When the intensity bounds are estimated from a degraded image, blurring leads to underestimation of the bounds in the edge and texture regions. Therefore, an iterative implementation of the restoration algorithm has been proposed in which the intensity bounds are re-estimated from the current image estimate. However, direct update of the bounds leads to over-smoothing in regions where the bounds are active. Furthermore, the resulting algorithm exhibits slow convergence. In this paper, alternative methods of initially estimating and updating the bounds are proposed, and the results for the fixed- and updated-bound implementations are compared. A method for estimation of the bound tightness parameter is also proposed.

关键词： Image restoration Degradation Signal processing algorithms Convergence Statistics Smoothing methods Adaptive signal processing Digital signal processing Biomedical signal processing Digital systems

来源：评论

学校读者我要写书评

暂无评论

Blind image restoration using local bound constraints

Blind image restoration using local bound constraints

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： K. May T. Stathaki A.K. Katsaggelos Signal Processing and Digital Systems Section Imperial College of Science Technology and Medicine London UK Department of Electrical and Computer Engineering Northwestern University Evanston IL USA

A new method of incorporating local image characteristics into blind image restoration is proposed. The local variance of the degraded image is used as a measure of spatial activity, from which individual pixel bounds are determined. A parameter defined by the user controls the degree of smoothing. The local bounds define the solution more precisely than smoothness constraints on the image (including those that are spatially-adaptive), reducing the number of possible solutions and leading to a faster rate of convergence. Experimental results demonstrate the potential of this method as an alternative/supplement to smoothing constraints in blind image restoration.

关键词： Image restoration Degradation Smoothing methods Signal restoration Digital signal processing Biomedical signal processing Digital systems Educational institutions Biomedical imaging Pixel

来源：评论

学校读者我要写书评

暂无评论

Stand-by loading scheme: an effective software retrofit method for a switching system

Stand-by loading scheme: an effective software retrofit meth...

引用

IEEE Symposium on computers and Communications (ISCC)

作者： S.I. Jun H.K. Chang W. Choi Y.M. Kim Real-time OS Section Switching Technology Division Electronics and Telecommunications Research Institute Taejon South Korea Department of Computer Science Kookmin University Seoul South Korea

A software retrofit method, stand-by loading scheme, is proposed for a switching system in which the service downtime should be suppressed under several minutes per year. In general, software upgrade is performed in the system suspension state. However, in a switching system, it should be exercised without breaking the service continuity and minimize the possible side effects against on-going services. Stand-by loading scheme satisfies such a requirement in addition to the high efficiency in the maintenance and repair, and easy upgrade of additional functions of a switching system, and thus makes the system to evolve easily. Currently, a switching system adopting this method was constructed and has been used successfully in the field.

关键词： Switching systems Telecommunication switching Asynchronous transfer mode Multimedia systems Delay Research and development Fault tolerant systems Application software System recovery Electronic switching systems

来源：评论

学校读者我要写书评

暂无评论

Test case generation of a protocol by a fault coverage analysis

Test case generation of a protocol by a fault coverage analy...

引用

International Conference on Information Networking

作者： Tae-Hyong Kim Ik-Soon Hwang Min-Seok Jang Sung-Won Kang Jai-Yong Lee Sang-Bae Lee NAS Laboratory Department of Electronics Yonsei University South Korea Department of Computer Science Kunsan National University South Korea Testing Technology Research Section Research and Development Group Korea Telecom South Korea

ISBN: (纸本)0818672250

In this paper we generate conformance test cases for a communication protocol modeled in an EFSM(Extended Finite State Machine) by a fault coverage analysis. For the analysis model, we choose the expanded EFSM to resolve the inter-dependency problem between control and data flows within an EFSM. An expanded EFSM has several useful properties and makes it easy to generate test cases. For test case generation, at first we define data elements in the expanded EFSM. With the definition, we define some probable fault models in edges of the expanded EFSM and discuss what test cases to be needed for satisfying each fault model. The analysis shows that control flow test cases with full fault coverage and data flow test cases satisfying 'all-du-paths' criterion are needed to guarantee high fault coverage in the expanded EFSM. A mass of generated test cases by high fault coverage is optimized through some steps. The result of a simple protocol shows the efficacy of this method.

关键词： computer aided software engineering Protocols Telecommunication control Electronic equipment testing Software testing Research and development Data analysis Collaborative software Explosions computer science

来源：评论

学校读者我要写书评

暂无评论

Automatic Test Case Generation of Wireless Interface Protocols for Next Generation Mobile Telecommunications

Automatic Test Case Generation of Wireless Interface Protoco...

引用

1998 International Conference on Communication technology

作者： Dong-won Jang Sang-kook Jeong Myung-hee Kim Han-kyoung Kim Electronics and Telecommunications Research Institute(ETRI) Protocol Technology Section ETRIYousung305-600South Korea. Department of Computer Science ChangWon National University9 Sarim-dongChangWonKyungNam641-773South Korea.

ISBN: (纸本)7800908275

We,in this paper,generate test cases of the wireless protocol that is used as air interface in IMT-2000 by means of the test generation tool based on protocol specifications as Petri ***,we can perform conformance testing of IMT-2000 system. In order to support a good understanding and diagnose dynamic behavior of IMT- 2000 system,we try to do specification and validation using Petri Nets *** addition to,do modeling whole system and modeling independently each channels of IMT-2000 ***,analyze performance by these modeling.

关键词： wireless interface protocol pilot/sync/access/paging/traffic channel test sequence Petri Nets

来源：评论

学校读者我要写书评

暂无评论

March U: A test for unlinked memory faults

引用

IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS 1997年第3期144卷 155-160页

作者： vandeGoor, AJ Gaydadjiev, GN Department of Electrical Engineering Section Computer Architecture & Digital Technique Delft University of Technology Mekelweg 4 Delft 2628 CD The Netherlands

Short and efficient memory tests is the goal of every test designer. To reduce the cost of production tests, often a simple test which covers most of the faults, e.g. all simple (unlinked) faults, is desirable to eliminate most defective parts;a more costly test can be used thereafter to eliminate the remainder of the bad parts. Such a test-cost efficient approach is used by most manufacturers. In addition, system power-on tests are not allowed a long test time while a high fault coverage is desirable. The authors propose a new realistic fault model (the disturb fault model), and a set of tests for unlinked faults. These tests have the property of covering all simple (unlinked) faults at a very reasonable test time compared with existing tests.

关键词： memory tests March tests memory faults fault model simple faults disturb fault

来源：评论

学校读者我要写书评

暂无评论

A virtual-physical on-chip cache for shared memory multiprocessors

引用

3rd International Conference on Parallel Processing, Euro-Par 1997

作者： Kim, Dongwook Lee, Joonwon Computer Architecture Lab. Computer Science Department Korea Advanced Institute of Science and Technology 373-1 Kusung-dong Yusung-ku Taejon 305-701 Korea Republic of

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：