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

An Automatic Test Coverage Analysis for SystemC Description Using Aspect-oriented programming

An Automatic Test Coverage Analysis for SystemC Description ...

The 8th International Conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Yan Chen Weidong Qiu Bo Zhou Chenglian Peng School of Information Science and Engineering Fudan University

ISBN: (纸本)0780379411

This paper addresses the problem of functionalverification starting from a high level description ofthe system under test, specified in SystemC. Theverification method considered is based upon thesimulation of executable SystemC description. Testcoverage analysis is the main technique for checkingand showing that the testing has been thorough. In thispaper we propose a novel approach to automate thecoverage analysis using Aspect-oriented *** here are described as checkers for detectingcoverage. The most important feature using theaspect-oriented technology here is that allowschecking functions across classes to be added orreplaced without modifying the original code. UML2.0is used to model the dynamic behavior view ofSystemC description as a coverage metric modelInherently it is possible to automate the whole testcoverage analysis using our methodology.

关键词： formal specification program verification computer aided software engineering object-oriented programming Unified Modeling Language C language automatic test coverage analysis aspect-oriented programming functional verification high level description system testing SystemC specification executable SystemC description simulation system checking UML2.0 dynamic behavior modeling coverage metric model

来源：评论

学校读者我要写书评

暂无评论

A Java™ universal vehicle router for routing unmanned aerial vehicles

引用

International Transactions in Operational Research 2004年第3期11卷 259-275页

作者： Harder, R.W. Hill, R.R. Moore, J.T. Air Force Personnel Operations Agency Crystal City VA United States Department of Biomedical Industrial and Human Factors Engineering Wright State University Dayton OH United States Department of Operational Sciences Air Force Institute of Technology Dayton OH United States

We consider vehicle routing problems in the context of the Air Force operational problem of routing unmanned aerial vehicles from base locations to various reconnaissance sites. The unmanned aerial vehicle routing problem requires consideration of heterogeneous vehicles, vehicle endurance limits, time windows, and time walls for some of the sites requiring coverage, site priorities, and asymmetric travel distances. We propose a general architecture for operational research problems, specified for vehicle routing problems, that encourages object-oriented programming and code reuse. We create an instance of this architecture for the unmanned aerial vehicle routing problem and describe the components of this architecture to include the general user interface created for the operational users of the system. We employ route building heuristics and tabu search in a symbiotic fashion to provide a user-defined level-of-effort solver interface. Empirical tests of solution algorithms parameterized for solution speed reveal reasonable solution quality is attained. © 2004 Wiley Periodicals, Inc.

关键词： Empirical analysis object-oriented programming Tabu search Vehicle routing

来源：评论

学校读者我要写书评

暂无评论

Steam tables for pure water as an ActiveX component in Visual Basic 6.0

引用

COMPUTERS & GEOSCIENCES 2003年第9期29卷 1155-1163页

作者： Verma, MP Geotermia Inst Invest Elect Cuernavaca 62490 Morelos Mexico

The IAPWS-95 formulation for the thermodynamic properties of pure water was implemented as an ActiveX component (SteamTables) in Visual Basic 6.0. For input parameters as temperature (T = 190-2000K) and pressure (P = 3.23 x 10(-8)-10,000 MPa) the program SteamTables calculates the following properties: volume (V), density (D), compressibility factor (Z(0)), internal energy (U), enthalpy (H), Gibbs free energy (G), Helmholtz free energy (A), entropy (S), heat capacity at constant pressure (C-p), heat capacity at constant volume (C-v), coefficient of thermal expansion (CTE), isothermal compressibility (Z(iso)), velocity of sound (VelS), partial derivative of P with T at constant V (dPdT), partial derivative of T with Vat constant P (dTdV), partial derivative of V with P at constant T (dVdP), Joule-Thomson coefficient (JTC), isothermal throttling coefficient (IJTC), viscosity (Vis), thermal conductivity (ThrmCond), surface tension (SurfTen), Prandtl number (PrdNum) and dielectric constant (DielCons) for the liquid and vapor phases of pure water. It also calculates T as a function of P (or P as a function of T) along the sublimation, saturation and critical isochor curves, depending on the values of P (or T). The SteamTables can be incorporated in a program in any computer language, which supports object link embedding (OLE) in the Windows environment. An application of SteamTables is illustrated in a program in Visual Basic 6.0 to tabulate the values of the thermodynamic properties of water and vapor. Similarly, four functions, Temperature(Press), Pressure(Temp), State(Temp, Press) and WtrStmTbls(Temp, Press, Nphs, Nprop), where Temp, Press, Nphs and Nprop are temperature, pressure, phase number and property number, respectively, are written in Visual Basic for Applications (VBA) to use the SteamTables in a workbook in MS-Excel. (C) 2003 Elsevier Ltd. All rights reserved.

关键词： steam tables water PVT characteristics object-oriented programming Visual Basic 6.0 IAPWS-95 formulation VBA MS-Excel

来源：评论

学校读者我要写书评

暂无评论

Localized tensor-based solvers for interactive finite element applications using C++ and Java

引用

COMPUTERS & STRUCTURES 2003年第7期81卷 423-437页

作者： Miller, GR Arduino, P Jang, J Choi, C Univ Washington Dept Civil & Environm Engn Seattle WA 98195 USA

This paper presents techniques for solving systems of equations arising in finite element applications using a localized, tensor-based approach. The approach is localized in that a major part of the solution responsibility is delegated to vector degree-of-freedom objects, rather than residing solely in a global solver working on a monolithic data structure. The approach is tensor-based in that the fundamental quantities used for computation are considered to be second-order tensors. The localized data structure strategy provides the benefits of an efficient sparse and symmetric storage scheme without requiring complex implementation code. The tensor-based aspect of the approach can bring substantial performance benefits by increasing the granularity at which solution algorithms deal with their data. Java and C++ implementations of interactive finite element programs are used to demonstrate performance that is competitive with other available solvers, especially in the case of problems for which interactive analysis is feasible on commonly available hardware. (C) 2003 Elsevier Science Ltd. All rights reserved.

关键词： finite elements object-oriented programming interactive modeling numerical analysis visualization

来源：评论

学校读者我要写书评

暂无评论

Inclusion of a high voltage DC-voltage source converter model in a Newton-Raphson power flow algorithm

引用

IEE PROCEEDINGS-GENERATION TRANSMISSION AND DISTRIBUTION 2003年第6期150卷 691-696页

作者： Angeles-Camacho, C Tortelli, OL Acha, E Fuerte-Esquivel, CR Univ Glasgow Dept Elect & Elect Engn Glasgow G12 8LT Lanark Scotland Univ Fed Parana Dept Elect Engn BR-81531990 Curitiba Parana Brazil UMSNH Fac Ingn Elect Div Estudios Posgrado Cuidad Univ Morelia 58030 Michoacan Mexico

Models for high voltage DC-voltage source converter (HVDC-VSC) controllers suitable for direct incorporation into Newton-Raphson power flow algorithms are presented. The models are developed from first principles, starting with a simple VSC model and progressing to encompass the full HVDC-VSC link model. The applied modelling approach is modular in nature and in addition to the shunt-connected voltage source model, which may be used to represent a STATCOM, a series-connected voltage source model is also developed. This enables significant modelling flexibility since by suitably combining shunt and/or series voltage sources several VSC-based flexible AC transmission system (FACTS) controller models are realised quite straightforwardly, namely the back-to-back HVDC-VSC, the full HVDC-VSC link and the unified power flow controller. Attention is focused on the HVDC-VSC models. The models are implemented into an existing OOP power flow computer program written in C++ that incorporates a wide portfolio of FACTS models. The models are tested for reliability towards the convergence and accuracy of results using several power systems with varying degrees of operational complexity and power flow control requirements.

关键词： operational complexity load flow control STATCOM shunt-connected voltage source model HVDC-VSC link model object-oriented programming unified power flow controller C++ program Reliability FACTS controller models Power convertors and power supplies to apparatus high voltage DC-voltage source converter controllers series voltage sources Newton-Raphson method OOP power flow computer program Interpolation and function approximation (numerical analysis) reliability power systems shunt voltage sources d.c. transmission flexible AC transmission system controller Maintenance and reliability high voltage DC-voltage source converter model object-oriented programming Newton-Raphson power flow algorithm flexible AC transmission systems Numerical analysis Control of electric power systems power flow control requirements series-connected voltage source model HVDC power convertors power system reliability Power system control

来源：评论

学校读者我要写书评

暂无评论

Polymetric views - A lightweight visual approach to reverse engineering

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2003年第9期29卷 782-795页

作者： Lanza, M Ducasse, S Univ Bern Inst Informat & Angew Math Software Composit Grp CH-3012 Bern Switzerland

Reverse engineering software systems has become a major concern in software industry because of their sheer size and complexity. This problem needs to be tackled since the systems in question are of considerable worth to their owners and maintainers. In this article, we present the concept of a polymetric view, a lightweight software visualization technique enriched with software metrics information. Polymetric views help to understand the structure and detect problems of a software system in the initial phases of a reverse engineering process. We discuss the benefits and limits of several predefined polymetric views we have implemented in our tool CodeCrawler. Moreover, based on clusters of different polymetric views, we have developed a methodology which supports and guides a software engineer in the first phases of a reverse engineering of a large software system. We have refined this methodology by repeatedly applying it on industrial systems and illustrate it by applying a selection of polymetric views to a case study.

关键词： reverse engineering object-oriented programming software visualization software metrics

来源：评论

学校读者我要写书评

暂无评论

An object-oriented simulation-optimization interface

引用

COMPUTERS & STRUCTURES 2003年第17期81卷 1689-1701页

作者： Le Riche, R Gaudin, J Besson, J Ecole Natl Super Mines CNRS URA 1884 F-42023 St Etienne France EADS CCR F-92152 Suresnes France Ecole Mines Paris CNRS UMR 7633 F-91003 Evry France

Progress in the field of structural optimization naturally leads to an increasing number of structural models and optimization algorithms that need to be considered for design. Software architecture is of central importance in the ability to account for the complex links tying new structural models and optimizers. An object-oriented programming pattern for interfacing simulation and optimization codes is described in this article. The concepts of optimization variable, criteria, optimizers and simulation environment are the building blocks of the pattern. The resulting interface is logical, flexible and extensive. It encompasses constrained single or multiple objective formulations with continuous, discrete or mixed design variables. Applications are given for composite laminate design. (C) 2003 Elsevier Science Ltd. All rights reserved.

关键词： object-oriented programming optimization composite design software engineering process optimization multiple objective optimization

来源：评论

学校读者我要写书评

暂无评论

Expert system for extracting syntactic information from Java code

引用

EXPERT SYSTEMS WITH APPLICATIONS 2003年第2期25卷 187-198页

作者： Depradine, C Univ W Indies Dept Comp Sci Math & Phys Bridgetown Barbados

During the implementation phase of the development cycle, the detection of specific syntax, code convention and design errors can potentially reduce the long term maintenance effort. Ideally these error checks should be performed throughout this entire phase, since delaying their detection can result in increased maintenance costs. However, for this to be achieved, the required syntactic and structural information must be extracted from the code, at all levels of completeness. For many tools, this information extraction cannot be achieved until the code is near completion. This problem is also encountered by Intelligent Tutoring Systems, which monitor and guide the user throughout the entire programming process via interactive sessions. This paper introduces, CITOR, Code Information Extractor, an expert system designed to extract syntax and structural information from partially complete or incorrect Java code. The information can then be used by development tools to provide various checks in real-time. (C) 2003 Elsevier Science Ltd. All rights reserved.

关键词： Java expert system fuzzy logic object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

The impact of programming paradigms on the efficiency of an individual-based simulation model

引用

SIMULATION MODELLING PRACTICE AND THEORY 2003年第7-8期11卷 557-569页

作者： Barnes, DJ Hopkins, TR Univ Kent Comp Lab Canterbury CT2 7NF Kent England

We look in detail at an individual-based simulation of the spread of barley yellow dwarf virus. The need for a very large number of individual plants and aphids along with multiple runs using different model parameters mean that it is important to keep memory and processor requirements within reasonable bounds. We present implementations of the model in both imperative and object-oriented programming languages, particularly noting aspects relating to ease of implementation and runtime performance. Finally, we attempt to quantify the cost of some of the decisions made in terms of their memory and processor time requirements. (C) 2003 Elsevier B.V. All rights reserved.

关键词： barley yellow dwarf virus object-oriented programming Java C plus Fortran 95

来源：评论

学校读者我要写书评

暂无评论

KANGA(ROO): Handling the micro-DST of the BABAR experiment with ROOT

引用

COMPUTER PHYSICS COMMUNICATIONS 2003年第3期150卷 197-214页

作者： Adye, TJ Dorigo, A Dubitzky, R Forti, A Gowdy, SJ de Monchenault, GH Jacobsen, RG Kirkby, D Kluth, S Leonardi, E Salnikov, A Wilden, L Univ Calif Berkeley Lawrence Berkeley Lab Berkeley CA 94720 USA Rutherford Appleton Lab Didcot OX11 0QX Oxon England Univ Padua Dipartimento Fis I-35131 Padua Italy Ist Nazl Fis Nucl Sez Padova I-35131 Padua Italy Tech Univ Dresden Inst Kern & Teilchenphys D-01062 Dresden Germany Univ Manchester Dept Phys & Astron Manchester M13 9PL Lancs England Stanford Univ Stanford Linear Accelerator Ctr Stanford CA 94309 USA Ist Nazl Fis Nucl Sez Roma Dipartimento Fis G Marconi I-00185 Rome Italy

A system based on ROOT for handling the micro-DST of the BABAR experiment is described. The purpose of the KANGA system is to have micro-DST data available in a format well suited for data distribution within a world-wide collaboration with many small sites. The design requirements, implementation and experience in practice after three years of data taking by the BABAR experiment are presented. (C) 2002 Elsevier Science B.V. All rights reserved.

关键词： data handling data distribution object-oriented programming ROOT relational DB OOD OOA C plus

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：