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

3rd Asia-Pacific Software Engineering Conference, APSEC 1996

作者： Nguyen, K. Dept. of Comput. and Math. Sci. Victoria Univ. of Technol. MelbourneVIC3000 Australia

ISBN: (纸本)0818676388

Complexity of real-life systems requires the implementation phase to be preceded by analysis and design. A model employed by a method, to be useful, should be complete, abstract, unambiguous and coherent. Unfortunately, most object oriented analysis and design methods, being informal, fall far short of the ideal. We examine one such method, the OMT method of Rumbaugh et al. (1991). We point out the shortcomings of the method which would adversely affect the system development process. We then outline a practical procedure which shows how to proceed from the initial informal description to a final model formally specified in Object-Z. We also point out the advantages of the Object-Z model for subsequent phases of system development. © 1996 IEEE.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Design of a one-transistor-cell multiple-valued CAM

引用

IEEE JOURNAL OF SOLID-STATE CIRCUITS 1996年第11期31卷 1669-1674页

作者： Hanyu, T Kanagawa, N Kameyama, M Department of Computer and Mathamatical Scinces Graduate School of Information Scinces University of Tohoku Sendai Japan Tohoku Daigaku Sendai Miyagi JP Dept. of Comput. & Math. Sci. Tohoku Univ. Sendai Japan

A new high-density multiple-valued content-addressable memory (CAM) is proposed to perform highly parallel search operations in a limited chip area, The number of cells in the CAM is reduced by the use of multiple-valued data representation, Moreover, multiple-valued stored data correspond to the threshold voltage of a floating-gate MOS transistor, so that the cell circuit can be designed using only a single transistor. As a result, the cell area of the proposed four-valued CAM is reduced to 14% of that of a conventional dynamic binary CAM, and its performance is about 5.4-times higher than that of the corresponding binary one under a 0.8-mu m standard EEPROM technology.

关键词： multi-value Crassulacean acid metabolism comput.r aided manufacturing

来源：评论

学校读者我要写书评

暂无评论

Strictly class-based modelling considered harmful 29

Strictly class-based modelling considered harmful

引用

29th Hawaii International Conference on System sci.nces, HICSS 1996

作者： Krogh, B. Levy, S. Dutoit, A. Subrahmanian, E. Dept. of Math. and Comput. Sci. Aalborg Univ. Aalborg Denmark Engineering Design Research Center Carnegie Mellon University PittsburghPA United States

ISBN: (纸本)0818673249

Many object oriented methods have assumed class based approaches, without considering prototype based ones. Some authors, while admitting prototypes as a useful concept, only envision their application in early phases of systems development. Others consider only the use of the prototype concept in programming environments and not with respect to the whole systems development process. We propose that these omissions are neither necessary nor useful and often can be harmful, in that methods grounded in purely class based assumptions do not reflect the nature of problems inherent in modeling. We argue, using the principle of limited reduction, that both class based and prototype based approaches should be used in object oriented methods, respectively for controlling complexity, and capturing enough detail for evolution. © 1996 IEEE.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Fast RNC and NC algorithms for finding a maximal set of paths with an application 2nd

Fast RNC and NC algorithms for finding a maximal set of path...

引用

Proceedings of the 1996 2nd Annual International Conference on comput.ng and Combinatorics, COCOON'96

作者： Uehara, Ryuhei Chen, Zhi-Zhong He, Xin Center for Inform. Sci. Tokyo Woman's Christian Univ. Suginami 167 Tokyo Japan Dept. of Math. Sci. Tokyo Denki Univ. Hatoyama 350-03 Saitama Japan Dept. of Comput. Sci. SUNY at Buffalo Buffalo 14260 NY United States

ISBN: (纸本)9783540613329

We present two parallel algorithms for finding a maximal set of paths in a given undirected graph. The former runs in O(log n) expected time with O(n + m) processors on a CRCW PRAM. The latter runs in O(log² n) time with O(Δ²(n + m)/log n) processors on an EREW PRAM. The results improve on the best previous ones and can also be extended to digraphs. We then use the results to design an NC approximation algorithm for a variation of the shortest superstring problem introduced by Jiang et al. The approximation algorithm achieves a compression ratio of 1/3+εfor any ε >0. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Approximation algorithms

来源：评论

学校读者我要写书评

暂无评论

2D shape analysis base on perceptual hierarchy

2D shape analysis base on perceptual hierarchy

引用

IEEE Digital Signal Processing Workshop

作者： QiGang Guo Dept. of Math. Stat. & Comput. Sci. Dalhousie Univ. Halifax NS Canada

ISBN: (纸本)0780336291

A novel approach for the recognition of 2D shapes is presented based on the perceptual organization of descriptive-boundary primitives of objects. The system has three components: (1) a set of partition and grouping rules for extracting and manipulating the primitives, (2) a control structure of the processes and (3) a representation scheme based on a perceptual hierarchy.

关键词： Shape Humans Retina Image analysis Psychology Layout math.matics Statistics Control systems comput.r vision

来源：评论

学校读者我要写书评

暂无评论

Suppression of dispersion in NRZ communication systems using dispersion management

Suppression of dispersion in NRZ communication systems using...

引用

Conference on Lasers and Electro-Optics (CLEO)

作者： J.N. Kutz J.C. Bronski Princeton University Princeton NJ US Program in Appl. & Comput. Math. Princeton Univ. NJ USA

ISBN: (纸本)1557524432

Summary form only given. In recent years, much attention has been given to wavelength-division multiplexed (WDM) systems due to their ability to maximize lightwave communications. In practice, the combined effects of linear dispersion and nonlinear self phase modulation impose severe limitations on the long-haul performance of non-return-to-zero (NRZ) systems. The aim of this presentation is to provide an analytic description of the nonlinear pulse evolution in a NRZ communications system under a dispersion-management scheme.

关键词： Optical signal processing Dispersion Optical pulses math.matics Optical propagation Nonlinear equations Wavelength division multiplexing Phase modulation Scalability Solitons

来源：评论

学校读者我要写书评

暂无评论

Measures of nonspecificity for decomposing possibility distributions

Measures of nonspecificity for decomposing possibility distr...

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： J. Gebhardt R. Kruse Department of Mathematics and Computer Science University of Braunschweig Brunswick Germany Dept. of Math. & Comput. Sci. Braunschweig Univ. Braunschweig Germany

In this paper, we discuss measures of nonspecificity and how to use them in order to solve an important problem of possibilistic graphical modelling, which is to find an optimal hypertree decomposition of a multivaria... 详细信息

关键词： Uncertainty Probability distribution math.matics comput.r sci.nce Loss measurement Multidimensional systems Knowledge representation Graphical models Databases Calculus

来源：评论

学校读者我要写书评

暂无评论

MPI as a coordination layer for communicating HPF tasks

MPI as a coordination layer for communicating HPF tasks

引用

Proceedings of the MPI Developer's Conference

作者： I.T. Foster D.R. Kohr R. Krishnaiyer Argonne National Laboratory Argonne IL US Div. of Math. & Comput. Sci. Argonne Nat. Lab. IL USA

Data-parallel languages such as High Performance Fortran (HPF) present a simple execution model in which a single thread of control performs high-level operations on distributed arrays. These languages can greatly ease the development of parallel programs. Yet there are large classes of applications for which a mixture of task and data parallelism is most appropriate. Such applications can be structured as collections of data-parallel tasks that communicate by using explicit message passing. Because the Message Passing Interface (MPI) defines standardized, familiar mechanisms for this communication model, we propose that HPF tasks communicate by making calls to a coordination library that provides an HPF binding for MPI. The semantics of a communication interface for sequential languages can be ambiguous when the interface is invoked from a parallel language; we show how these ambiguities can be resolved by describing one possible HPF binding for MPI. We then present the design of a library that implements this binding, discuss issues that influenced our design decisions, and evaluate the performance of a prototype HPF/MPI library using a communications microbenchmark and application kernel. Finally, we discuss how MPI features might be incorporated into our design framework.

关键词： Libraries Pipelines Distributed comput.ng High performance comput.ng Yarn Message passing programming profession Communication system control programmable logic arrays math.matics

来源：评论

学校读者我要写书评

暂无评论

Radial basis function networks and nonparametric classification: complexity regularization and rates of convergence

Radial basis function networks and nonparametric classificat...

引用

International Conference on Pattern Recognition

作者： A. Krzyzak T. Linder Dept. of Comput. Sci. Concordia Univ. Montreal Que. Canada Department of Math. & Computer Sci Technical University of Budapest Budapest Hungary

The method of complexity regularization is applied to one hidden-layer radial basis function networks to derive regression estimation bounds and convergence rates for classification. Bounds on the expected risk in terms of the training sample size are obtained for a large class of activation functions, namely functions of bounded variation. Rates of convergence to the optimal loss are also derived.

关键词： Radial basis function networks Convergence Artificial neural networks Estimation error comput.r sci.nce Probability distribution Training data Entropy Yield estimation Random variables

来源：评论

学校读者我要写书评

暂无评论

A fuzzy logic system for analog fault diagnosis

A fuzzy logic system for analog fault diagnosis

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： M. Abdulghafour M.A. El-Gamal Department of Mathematics and Computer Science United Arab Emirates University Al-Ain UAE United Arab Emirates University Al Ain Abu Dhabi AE Dept. of Math. & Comput. Sci. United Arab Emirates Univ. Al-Ain United Arab Emirates

In this paper, a fuzzy logic system for analog fault diagnosis is introduced. The ability of fuzzy logic to encode structured knowledge in a numerical framework is exploited. Circuit measurements are properly fuzzified. Fuzzy rule bases are constructed such that the behaviour of the circuit under test in both fault and fault-free situations is characterized. The outputs of the fuzzy rule bases are then defuzzified to recover crisp values for circuit elements. A new fault diagnosis procedure that utilizes the proposed fuzzy logic system is proposed. An illustrative example to demonstrate the potential of this procedure in fault isolation is presented.

关键词： Fuzzy logic Fault diagnosis Circuit faults Circuit testing Circuit simulation Fuzzy systems Performance evaluation math.matics comput.r sci.nce Dictionaries

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：