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

A Python toolbox for computing solutions to canonical problems in electromagnetics

IEEE ANTENNAS AND PROPAGATION MAGAZINE 2006年第3期48卷 78-81页

作者： Swartz, Julian P. Univ Stellenbosch Dept Elect & Elect Engn ZA-7600 Stellenbosch South Africa

One of the most important steps in the development of any numerical code is the validation of the implementation by comparison of the results obtained for a set of test cases to the exact solution. In the context of codes developed for high-frequency electromagnetics, this usually means comparing computed results to analytical solutions. Obtaining these analytical solutions can be a nontrivial problem, although fortunately it need only be implemented once, and can then be used repeatedly to validate any new code. This paper concentrates on finding the analytical solution to eigenvalue problems for a range of standard geometries, as well as the near-field solution for plane-wave scattering from a PEC sphere. The solutions are implemented using the Python programming language and the SciPy library of scientific functions.

关键词： electromagnetic scattering eigenvalues software verification and validation Python programming language SciPy numerical library sphere cavity resonators

来源：评论

学校读者我要写书评

暂无评论

Alternative specification and verification of a periodic state exchange protocol

引用

IEEE-ACM TRANSACTIONS ON NETWORKING 1997年第4期5卷 525-529页

作者： Olah, AL deGroot, SMH UNIV TWENTE DEPT ELECT ENGNTELEINFORMAT & OPEN SYST GRPNL-7500 AE ENSCHEDENETHERLANDS

The formal analysis of a data-transfer protocol based on the novel idea of periodic state exchange has been presented recently by Gouda et al. In certain environments, such as the Internet, the requirements for the correctness of the protocol may impose impractical constraints, In this paper, we present an alternative specification of the periodic state-exchange protocol based on the discovery that the protocol can be treated as a special sliding-window protocol, Although our protocol behaves better in an Internet-like environment it has other shortcomings with respect to the original, The comparison of the alternatives reveals the trade-offs in their design.

关键词： communication system performance computer networks software verification and validation transport protocols

来源：评论

学校读者我要写书评

暂无评论

Massive data processing for the ATLAS combined test beam

引用

IEEE TRANSACTIONS ON NUCLEAR SCIENCE 2006年第5期53卷 2887-2891页

作者： Dosil, M. Farilla, A. Gallas, M. Giangiobbe, V. Orellana, F. Univ Autonoma Barcelona Port Informacio Cient E-08193 Barcelona Spain Univ Roma Tre Dipartimento Fis I-00146 Rome Italy Ist Nazl Fis Nucl Sez Roma I-00146 Rome Italy CERN CH-1211 Geneva 23 Switzerland Univ Clermont Ferrand Phys Corpusculaire Lab F-63177 Clermont Ferrand France Univ Geneva Dept Phys Nucl & Corpusculaire CH-1211 Geneva 4 Switzerland

In 2004, a full slice of the ATLAS detector was tested for 6 months in the H8 experimental area of the CERN SPS, in the so-called Combined Test Beam, with beams of muons, pions, electrons and photons in the range 1 to 350 GeV. Approximately 90 million events were collected, corresponding to a data volume of 4.5 TB. The importance of this exercise was two-fold: for the first time the whole ATLAS software suite was used on fully combined real data. Besides, a novel production infrastructure was employed for the reconstruction of the real data as well as for a massive production of simulated events. This paper is a report on distributed Combined Test Beam Monte Carlo production with and without grid tools. In 2004, Monte Carlo production was started on the CERN LSF batch system and later it was, for the first time, performed on the LCG, with the simulation of about 4 Million events. In 2005, a more light-weight and user friendly system was tested on NorduGrid for the quick production of 210 ' 000 photon events and 680 ' 000 pion, muon and electron events. New Monte Carlo productions are already planed for the year 2006, using the new ATLAS production system.

关键词： computer aided analysis computer facilities data management data processing distributed computing nuclear physics software verification and validation user interfaces

来源：评论

学校读者我要写书评

暂无评论

RCS Analysis of a Configurable Mock-Up Cavity With Blade Motion Capability

引用

IEEE TRANSACTIONS ON MAGNETICS 2009年第3期45卷 1096-1099页

作者： Poyatos-Martinez, David Escot-Bocanegra, David Fernandez-Recio, Raul Montiel-Sanchez, Ignacio INTA Lab Detectabilidad Torrejon De Ardoz 28850 Spain

The scattering behavior and simulation of cavities are still being studied by several research groups. In this paper, a simplified jet-engine model has been manufactured and measured under different configurations, such as straight or curved blades, different fixed blades position, and free motion capability at adjustable speed. These measurements can be used to analyze the response of cavities as well as radar cross-section reference data for validating existing and future prediction codes.

关键词： Cavities electromagnetic (EM) measurements noncooperative target identification radar cross section (RCS) scattering software verification and validation

来源：评论

学校读者我要写书评

暂无评论

Detecting Code Alteration by Creating a Temporary Memory Bottleneck

引用

IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY 2009年第4期4卷 638-650页

作者： Gardner, Ryan W. Garera, Sujata Rubin, Aviel D. Johns Hopkins Univ Dept Comp Sci Baltimore MD 21218 USA

We develop a new technique whereby a poll worker can determine whether the software executing on electronic voting machines on election day has been altered from its factory version. Our generalized approach allows a human, using a known challenge-response pair, to detect attacks that involve modification or replacement of software on a computer based on the time it takes the computer to provide a correct response to a challenge. We exploit the large difference between main memory access times and cache memory access or CPU clock cycle times to significantly increase the time required to compute the right response when the software has been changed.

关键词： Computer security computer viruses software protection software verification and validation

来源：评论

学校读者我要写书评

暂无评论

A feature interaction benchmark for the first feature interaction detection contest

引用

COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING 2000年第4期32卷 389-418页

作者： Griffeth, N Blumenthal, R Gregoire, JC Ohta, T Lucent Bell Labs Holmdel NJ 07733 USA Daewoo Telecom Middletown NJ USA INRS Telecommun Verdun PQ Canada Soka Univ Hachioji Tokyo Japan

The feature interaction problem is an inherently difficult problem that affects the entire software life cycle for development of new features for reactive systems. A considerable body of work has been created over the last 10 years addressing this problem. To encourage testing and comparing different approaches to the problem, a feature interaction detection contest was held for the Fifth International Workshop on Feature Interactions in Telecommunications and software Systems. The contest required the participants to use automated tools to address the feature interaction problem in the requirements phase of feature development. The participants were required to discover the pair-wise feature interactions inherent in the requirements for a collection of Features. This special issue of COMNET contains the best papers from the participants in that contest. Although there could be only one winner of the contest, all of the approaches represented here provide useful insight into how to approach the feature interaction problem as it affects the requirements phase of feature development. We hope that subsequent contests will provide opportunities to refine these approaches and to address other phases of feature development. (C) 2000 Published by Elsevier Science B.V. All rights reserved.

关键词： software requirements and specifications software verification and validation software maintenance communication system software communication system signaling feature interactions

来源：评论

学校读者我要写书评

暂无评论

Continuous-discrete interactions in chemical processing plants

引用

PROCEEDINGS OF THE IEEE 2000年第7期88卷 1050-1068页

作者： Engell, S Kowalewski, S Schulz, C Stursberg, O Univ Dortmund Dept Chem Engn Proc Control Lab D-44221 Dortmund Germany

This paper discusses important hybrid aspects of chemical processing plants. It is outlined that discrete phenomena occur both on the physical level and in the control of these plants. As the dynamics of the transformations of energy and material are predominantly continous, large and complex hybrid systems arise. We focus on three different aspects of dealing with such systems: 1) Modeling and simulation of hybrid systems for the design and optimization of plants, controllers and operating strategies. We present powerful simulation environments that have been developed in recent years. 2) validation of plant instrumentation and discrete controllers. These systems are largely responsible for the safe and economic operation of chemical plants and the protection of the workforce, and the environment. Techniques for the verification of discrete controllers for continuous processes are discussed, which are based on a discrete approximation of the continuous dynamics. 3) Scheduling of batch plants. for plants that are operated in a discontinuous fashion, the timing and sequencing of the operations are very important for the efficient use of the equipment. this leads to large mixed-integer optimization problems. For a typical example, we show how th process and the constraints can be modeled and describe an efficient solution algorithm.

关键词： chemical industry mathematical programming modeling optimization methods scheduling simulation software verification and validation

来源：评论

学校读者我要写书评

暂无评论

引用

INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS 2023年第4期14卷 777-786页

作者： Alghasham, Mohammed Alzakan, Mousa Al-Hagery, Mohammed Qassim Univ Coll Comp Dept Comp Sci Buraydah 51452 Saudi Arabia

Today's modern technologies and requirements make the utilization of crowdsourcing more viable and applicable. It is one of the problem-solving models that can be used in various domains to reduce costs and time. It is also an excellent way to find new and different ideas and solutions. This paper studies the use of crowdsourcing in software engineering and reveals adequate details to highlight its significance. A few recent literature reviews have been published to address specific topics or study general attributes of papers in crowdsourced software engineering. This paper, however, explores all recent publications related to software and crowdsourcing to find the trends and highlight mobile and AI usage in software crowdsourcing. The findings of this paper show that most research papers are in the areas of software management and software verification and validation. The results also reveal that machine learning and data mining techniques are predominant in software manage-ment crowdsourcing and software verification and validation. Furthermore, this study shows that the methods and techniques used in general crowdsourcing apply to mobile crowdsourcing except in mobile testing, where there is a need for clustering and prioritization of test reports.

关键词： -software engineering crowdsourcing mobile crowdsourcing software management software verification and validation

来源：评论

学校读者我要写书评

暂无评论

Towards model checking executable UML specifications in mCRL2

引用

INNOVATIONS IN SYSTEMS AND software ENGINEERING 2010年第1-2期6卷 83-90页

作者： Hansen, Helle Hvid Ketema, Jeroen Luttik, Bas Mousavi, MohammadReza van de Pol, Jaco Eindhoven Univ Technol Eindhoven Netherlands Univ Twente Enschede Netherlands

We describe a translation of a subset of executable UML (xUML) into the process algebraic specification language mCRL2. This subset includes class diagrams with class generalisations, and state machines with signal and change events. The choice of these xUML constructs is dictated by their use in the modelling of railway interlocking systems. The long-term goal is to verify safety properties of interlockings modelled in xUML using the mCRL2 and LTSmin toolsets. Initial verification of an interlocking toy example demonstrates that the safety properties of model instances depend crucially on the run-to-completion assumptions.

关键词： software verification and validation Specification languages Model checking Executable UML Process algebra

来源：评论

学校读者我要写书评

暂无评论

On Formal Analysis of IEC 61499 Applications, Part A: Modeling

引用

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2010年第2期6卷 136-144页

作者： Cengic, Goran Akesson, Knut Chalmers Univ Technol Dept Signals & Syst S-41296 Gothenburg Sweden

IEC 61499 is a standard architecture, based on function blocks, for developing distributed control and measurement applications. However, the standard has no formal semantics and different interpretations of the standard have emerged. As a consequence, it is harder to transfer applications between different standard compliant platforms. This paper presents a formal framework for mathematical modeling and comparison of different execution semantics. The framework provides definitions that allow modeling of applications and execution semantics separately. Together, the models can be used to analyze and compare how an application would behave when executed using different execution semantics. In addition, a mathematical model made possible by the framework has been used as a basis for implementation of a runtime environment that can execute applications and a software tool that generates formal models suitable for formal verification, both assuming different execution semantics.

关键词： Manufacturing automation software modeling software verification and validation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：