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

Reliable Distributed Systems

作者： T.K. Apostolopoulos V.C. Daskalou S.K. Katsikas K.D. Moulinos Departmentof Informatics Athens University of Economics and Business Athens Greece DepartmentOf Mathematics University of Aegean Samos Greece

Due to unexpected network interconnection growth, the security of technological and information infrastructures is becoming difficult to be managed and controlled. In addition, security is becoming more and more crucial for an organisation's information systems operation. The management of an organisation has to establish rules and regulations in order to face the threats that its information systems face. The network manager is obliged to enforce the regulations that senior management addresses. We propose a framework that a network manager could use in order to effectively enforce security policies. In addition, we present a scalable security management architecture suitable for TCP/IP networks. The communication of systems' logical components is based on the use of the SNMP protocol. Finally, the system includes facilities for collecting and efficiently storing raw and aggregate historical security management information in a temporal database for off-line analysis.

关键词： large-scale systems Communication networks Communication system security Information security Management information systems data security Technology management Communication system control TCPIP IP networks

来源：评论

学校读者我要写书评

暂无评论

Fast antirandom (FAR) test generation

Fast antirandom (FAR) test generation

引用

ieee International Symposim on High Assurance Systems Engineering

作者： A. von Mayrhause T. Chen A. Hajjar A. Bai C. Anderson Dept. of Electr. Eng. Colorado State Univ. Fort Collins CO USA Department of Electrical Engineering Colorado State University Fort Collins CO USA Department of Computer Science Colorado State University Fort Collins CO USA

Anti-random testing has proved useful in a series of empirical evaluations. The basic premise of anti-random testing is to choose new test vectors that are as far away from existing test inputs as possible. The distance measure is the Hamming or Cartesian distance. Unfortunately, this method essentially requires emuneration of the input space and computation of each input vector when used on an arbitrary set of existing test data. This prevents scale-up to a large test sets and/or long input vectors. We present and empirically evaluate a technique to generate anti-random vectors that is computationally feasible for large input vectors and long sequences of tests. We also show how this fast anti-random test generation (FAR) can consider retained state (i.e. effects of subsequent inputs on each other). We evaluate effectiveness using branch coverage as the testing criterion.

关键词： Encoding Automatic testing Computer science Hoses Electrical capacitance tomography Manuals Boundary conditions Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Multilevel visualization of spinal reflex circuit simulations

引用

ieee COMPUTER GRAPHICS AND APPLICATIONS 1997年第3期17卷 6-10页

作者： Subramanian, KR Bashor, DP Hasty, WV Merkel, SM Laboratory of Chromatography DEPg.Fac.Quimica Universidad Nacional Autonoma de Mexico Circuito interior Cd Universitaria/CP 04510 Mexico D.F.Mexico

Few tools exist for the system-level investigation of the nervous system function, just electroencephalography (EEG), functional brain imaging techniques, and large-scale simulation. Of these, simulation has contributed the least to our understanding. We describe the construction and application of a simulation environment that uses visualization as the interface to control and analyze the behavior of spinal reflex circuits. This use of visualization as a primary output for simulation is somewhat unusual, and we find it very powerful. The environment facilitates rapid experimentation because it gives immediate visual feedback on the impact of a change in input, which can be followed by statistical analysis.

关键词： Circuit simulation Neurons Muscles Silver Workstations Biomembranes data structures data visualization Graphics Displays

来源：评论

学校读者我要写书评

暂无评论

Research report: Cacti: A front end for program visualization

Research report: Cacti: A front end for program visualizatio...

引用

ieee symposium on Information visualization (InfoVis 97)

作者： Reiss, SP Brown Univ Providence United States

ISBN: (纸本)0818681896

In this paper we describe a system that allows the user to rapidly construct program visualizations over a variety of data sources. Such a system is a necessary foundation for using visualization as an aid to software understanding. The system supports an arbitrary set of data sources so that information from both static and dynamic analysis can be combined to offer meaningful software visualizations. It provides the user with a visual universal-relation front end that supports the definition of queries over multiple data sources without knowledge of the structure or contents of the sources. It uses a flexible back end with a range of different visualizations, most geared to the efficient display of large amounts of data. The result is a high-quality, easy-to-define program visualization that can address specific problems and hence is useful for software understanding The overall system is flexible and extensible in that both the underlying data model and the set of visualizations am defined in resource files.

关键词： Information technology

来源：评论

学校读者我要写书评

暂无评论

Visualizing information on a sphere

Visualizing information on a sphere

引用

ieee symposium on Information visualization (InfoVis 97)

作者： Gross, MH Sprenger, TC Finger, J Federal Inst of Technology Zurich Switzerland

ISBN: (纸本)0818681896

We describe a method for the visualization of information units on spherical domains which is employed in the banking industry for risk analysis, stock prediction and other tasks. The system is based on a quantification of the similarity of related objects that governs the parameters of a mass-spring system. Unlike existing approaches we initialize all information units onto the inner surface of two concentric spheres and attach them with springs to the outer sphere. Since the spring stiffnesses correspond to the computed similarity measures, the system converges into an energy minimum which reveals multidimensional relations and adjacencies in terms of spatial neighborhoods. Depending on the application scenario our approach supports different topological arrangements of related objects. In order to cope with large data sets we propose a blobby clustering mechanism that enables encapsulation of similar objects by implicit shapes. In addition, we implemented various interaction techniques allowing semantic analysis of the underlying data sets. Our prototype system IVORY is written in JAVA, and its versatility is illustrated by an example from financial service providers.

关键词： information visualization physically-based systems multidimensional information space hierarchies blobby clustering

来源：评论

学校读者我要写书评

暂无评论

Use of a virtual environment for FE analysis of vehicle crash worthiness

Use of a virtual environment for FE analysis of vehicle cras...

引用

Proceedings of the 1997 ieee Virtual Reality Annual International symposium

作者： Kuschfeldt, Sven Schulz, Martin Ertl, Thomas Reuding, Thomas Holzner, Michael Univ of Erlangen Erlangen Germany

The advances in computer graphics technology plus the increased complexity of finite element simulations of the crash behavior of a car body have resulted in the need for new visualization techniques to facilitate the analysis of such engineering computations. The virtual reality system VtCrash provides novel computer-human interface techniques for intuitive and interactive analysis of large amounts of crash simulation data. VtCrash takes geometry and physical properties data as input and enables the user to enter a virtual crash and to interact with any part of the vehicle.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

Amazon rainforest visualization/classification by orbiting radar, enabled by supercomputers (ARVORES)

Amazon rainforest visualization/classification by orbiting r...

引用

1997 International Geoscience and Remote Sensing symposium (IGARSS 97) on Remote Sensing - A Scientific Vision for Sustainable Development

作者： Siqueira, P Chapman, B Saatchi, S Freeman, T Jet Propulsion Lab Pasadena United States

ISBN: (纸本)0780338375

The ARVORES project is a specific science task (part of a larger supercomputing effort) whose purpose is to develop SAR resources based on JERS-1 multi-season coverage of the Amazon rainforest using available state of the art computing technology. Because of the basin-wide coverage of this data set, in addition to providing the immediate science goals of landcover classification, it will also serve as a foundation which present and future data sets may be overlain and compared to. In addition, it is the goal of this project to use the science requirements related to the study of the Amazon region to guide the development of a flexible, large-scale computing environment for addressing SAR specific tasks.

关键词： Remote sensing

来源：评论

学校读者我要写书评

暂无评论

Forest canopy research database and analysis system

Forest canopy research database and analysis system

引用

Proceedings of the 1997 9th International Conference on Scientific and Statistical database Management

作者： Milask, Laurance J. Guynup, Traci Hammel, Christopher Kerschberg, Larry Michaels, George George Mason Univ Fairfax United States

Described is a prototype database and analysis system developed to support the specific domain of forest canopy research. This effort utilized a multidiscipline team comprised of information (database systems), statistical analysis and forest canopy scientists. Both large scale (Oracle) and smaller scale (Visual FoxPro) databases were prototyped. A WEB-based query interface to the Oracle system was also demonstrated. This paper addresses the FoxPro database and S-Plus statistical analysis interface developed to address the data analysis, data integration, and data distribution requirements of the originating forest canopy research team. The prototype system employs Visual FoxPro (VFP) as the database engine. visualization and analytical functions are demonstrated by the use of VFP forms and custom designed S-Plus procedures. Finally, a WEB database server facility is also demonstrated. The authors conclude that value-added support centers could be created to develop and disseminate small-scale database and analysis systems to a specific scientific community.

关键词： database systems

来源：评论

学校读者我要写书评

暂无评论

Wavelet and entropy analysis combination to evaluate diffusion and correlation behaviors

Wavelet and entropy analysis combination to evaluate diffusi...

引用

Proceedings of the 1997 10th Brazilian symposium of Computer Graphic and Image Processing, SIBGRAPI 97

作者： Chiou, Rui C.H. Ferreira, Maria Alice G.V. Silva, Claudio T. Kaufman, Arie E. Polytechnic Sch of Univ of Sao Paulo Sao Paulo Brazil

Diffusion and correlation effects are two principal phenomena which have been studied for years and several visualization techniques have been proposed to help scientists to understand them. The analysis of these phenomena will help to extract important information from data sets. To understand these problems we combine wavelet and entropy analysis to evaluate the evolution of these behaviors through scale and time. We present image case studies to show several different kinds of behaviors of these effects. Some of them are fallible cases and not reliable, as the images do not show the desired information. We calculate entropy of smooth and detail coefficient sets, generated by wavelet transform of these sample images in each scale, to obtain measures that allow us to evaluate these behaviors according to the organization complexity. These measures can provide an indication about the quality of the rendered images.

关键词： Image analysis

来源：评论

学校读者我要写书评

暂无评论

Creating an electromagnetic transients program in MATLAB: MatEMTP

引用

ieee Power Engineering Review 1997年第1期17卷 59-60页

作者： Mahseredjian, Jean Alvarado, Fernando Institut de Recherche d'Hydro-Québec (IREQ) Varennes Qué. Canada

The traditional method for developing electric network analysis computer programs is based on coding using a conventional computer language: FORTRAN, C or Pascal. The programming language of the EMTP (Electromagnetic Transients Program) is FORTRAN-77. Such a program has a closed architecture and uses a large number of code lines to satisfy requirements ranging from low level data manipulation to the actual solution mathematics which eventually become diluted and almost impossible to visualize. This paper proposes a new design idea suitable for EMTP re-development in a high level programming context. It presents the creation of the transient analysis numerical simulator MatEMTP in the computational engine frame of MATLAB. Most network solution and modeling methods are simple to visualize and support mathematically, but their translation into an actual large scale working code is complex. Commonly used programming languages are ill-suited to human abilities for dealing with complexity. Software built using such languages is often inadequate. Some other new languages such as ADA, C++ and FORTRAN-90, provide pow-erful features for the formulation of appropriate abstractions for the desired application. But programming is always easier if a specialized language is already available for the creation of similar applications. Specialized applications should use dedicated computational engines where the developer can build and compose with high level constructs. In addition to defining a new library of functions and overloading existing operators, such an engine must provide a minimal number of portable graphical data visualization and manipulation functions. It is obvious that programming a computational engine from scratch is a major effort. This paper proposes to use a widely used general purpose program available on most popular computer platforms as a computational engine: MATLAB. MATLAB has a large number of built-in functions and constructs covering a wide range of EM

关键词： MATLAB EMTP Mathematical model Engines Computer languages Computer networks data visualization Transient analysis Power engineering computing Equations

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：