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

Automated Visualization of Program Architecture Components for the Swift Language

CYBERNETICS AND SYSTEMS ANALYSIS 2024年第6期60卷 1009-1016页

作者： Frankiv, O. Glybovets, M. Natl Univ Kyiv Mohyla Acad Kyiv Ukraine

A model of the architecture of a software module for automated visualization is described. The model contains information about the structural components of the program and the connections between them. The proposed software complex for the automatic construction of program models written in Swift is characterized. A method for using this model to detect design flows has been demonstrated with an example.

关键词： programming software module software architecture software quality assessment architecture visualization automated static analysis design patterns metrics abstract syntax tree

来源：评论

学校读者我要写书评

暂无评论

IMBA expert™:: Internal dosimetry made simple

引用

RADIATION PROTECTION DOSIMETRY 2003年第1-4期105卷 421-425页

作者： Birchall, A Puncher, M James, AC Marsh, JW Jarvis, NS Peace, MS Davis, KE King, DJ Natl Radiol Protect Board Didcot OX11 0RQ Oxon England ACJ & Associates Inc Richland WA 99352 USA British Nucl Fuels Plc Seascale CA20 1PG Cumbria England

In 1997, a collaboration between British Nuclear Fuels plc (BNFL), Westlakes Research Institute and NRPB started, with the aim of producing IMBA (Integrated modules for Bioassay Analysis), a suite of software module.,;that implement the new ICRP models for estimation of intakes and doses. This was partly in response to new UK regulations, and partly due to the requirement for a unified approach in estimating intakes and doses from bioassay measurements within the UK. Over the past 5 years, the IMBA modules have been developed further, have gone through extensive quality assurance, and are now used for routine dose assessment by approved dosimetry services throughout the UK. More recently, interest in the IMBA methodology has been shown by the United States Department of Energy (USDOE), and in 2001 an ambitious project to develop a software package (IMBA Expert(TM) USDOE Edition) which would meet the requirements of all of the major USDOE sites began. Interest in IMBA Expert is now being expressed in many other countries. The unit of this paper is to outline the origin and evolution of the IMBA modules (the past) to describe the full capabilities of the current IMBA Expert system (the present) and to indicate possible future directions in terms of capabilities and availability (the future).

关键词： Dosimetry LITAF gene interest Quality assurance software module Research Institutes NRPB Intake U. S. Department of Energy

来源：评论

学校读者我要写书评

暂无评论

A sequential ensemble model for software fault prediction

引用

INNOVATIONS IN SYSTEMS AND software ENGINEERING 2022年第2期18卷 301-308页

作者： Mangla, Monika Sharma, Nonita Mohanty, Sachi Nandan Lokmanya Tilak Coll Engn Navi Mumbai India Dr BR Ambedkar Natl Inst Technol Jalandhar Jalandhar Punjab India Coll Engn Pune Pune Maharashtra India

Unlike several other engineering disciplines, software engineering lacks well-defined research strategies. However, with the exponential rise in automation, the demand for software has observed an enormous elevation. Simultaneously, it necessitates having zero failures in the software modules to maximize the availability and optimize the maintenance cost. This has attracted many researchers to try their hand in formalizing the strategies for testing of software. Numerous researchers have suggested various models in this context. The authors in this paper present a sequential ensemble model to predict software faults. The employment of ensemble modeling in software fault prediction is motivated by its competence in various domains. The proposed model is also implemented on the 8 datasets taken from PROMISE and ECLIPSE repository. The proposed model's performance is evaluated using various error metrics, viz. average absolute error, average relative error, and prediction. The obtained results are encouraging and thus establish the competence of the proposed model.

关键词： Ensemble modeling software fault prediction Normalization Fault proneness software module

来源：评论

学校读者我要写书评

暂无评论

Program Development Environment for Multiple Robot-Multiple Application System

引用

JOURNAL OF ROBOTICS AND MECHATRONICS 2006年第5期18卷 572-579页

作者： Kyousou, Tsukasa Aiyama, Yasumichi Univ Tsukuba Grad Sch Syst & Informat Engn 1-1-1 Tennodai Tsukuba Ibaraki 3058573 Japan

We propose and develop an application development environment for a robot with components such as multiple manipulators and hands. Each component is treated as a module to build the robot efficiently, easy application development targets robot diversity. The mechanism we propose manages modules and work space, enabling easy cooperative programming and efficient robot operation. To ensure application safety, we implemented the prior confirmation of robot operation and the avoidance of execution conflict.

关键词： multiple robot system robotic component software module middleware

来源：评论

学校读者我要写书评

暂无评论

Formal Verification of AUTOSAR FlexRay State Manager 9

Formal Verification of AUTOSAR FlexRay State Manager

引用

9th International Design & Test Symposium (IDT)

作者： Bahig, Ghada El-Kadi, Amr Salem, Ashraf Mentor Graph Corp Cairo Egypt Amer Univ Cairo Cairo Egypt

ISBN: (纸本)9781479982004

Automotive software systems have continuously faced challenges in managing complexity associated with functional growth, flexibility of systems so that they can be easily modified, scalability of solutions across several product lines, quality and reliability of systems, and finally the ability to detect errors early in design phases. AUTOSAR was established to develop open standards to address these challenges. Formal method is one way to address the ability to detect errors and ensure compliance to requirements in early design stages. In this paper, AUTOSAR's FlexRay State Manager basic software module is formally represented in finite state machine augmented with complex data types. Specification requirements are mapped into formal model theorems and assertions. SMT solvers are utilized to validate design compliance to specification to show the possibility of detecting errors early in the design phase via mapping AUTOSAR's specification into formal design notation.

关键词： automotive engineering formal specification formal verification road safety safety-critical software AUTOSAR FlexRay state manager SMT solvers automotive open system architecture automotive software systems finite state machine formal design notation satisfiability module theorem software module specification requirements Automotive engineering ISO standards Industries Safety software Unified modeling language

来源：评论

学校读者我要写书评

暂无评论

TVM 400 - A MODULAR AND FLEXIBLE ATC SYSTEM

TVM 400 - A MODULAR AND FLEXIBLE ATC SYSTEM

引用

INTERNATIONAL CONF ON MAIN LINE RAILWAY ELECTRIFICATION

作者： GRUERE, Y MOROZ, B Compagnie de Signaux et d'Equipements Electroniques France

ISBN: (纸本)085296384X

TVM 400 is a range of ATC systems built around the same basic architecture with a consistent set of hardware and software modules. System modularity ensures compatibility: the same rolling stock can be used under different operating conditions and with different signalling equipment. The flexibility of the system permits functional (safety and speed increase, etc.) and technical (new transmission channels) improvements. TVM 400 is an open system that can fulfil from the simplest to the most sophisticated needs in train operation requirements, from speed monitoring with or without wayside signalling to fully automated operation.

关键词： automatic train control system speed increase Modularity speed monitoring Operating conditions Computer hardware Train operation Transmission channels software module ROLLING STOCK TRAIN FLEXIBLE

来源：评论

学校读者我要写书评

暂无评论

An Optimized Method for Fault Propagation Analysis of Mechatronic Systems

An Optimized Method for Fault Propagation Analysis of Mechat...

引用

Annual Reliability and Maintainability Symposium (RAMS)

作者： Yao, Jingxiu Wu, Yumei Liu, Bin Beihang Univ Sch Reliabil & Syst Engn 37 Xueyuan Rd Beijing 100191 Peoples R China

ISBN: (纸本)9781509052844

This paper proposes a new optimized method for fault propagation analysis (FPA) of mechatronic systems. In order to analyze the fault propagation to locate the most vulnerable point, the relevant components of this type of system, such as the software, are abstracted into corresponding models. Firstly, we use a novel graphical representation of a module-signal diagram (MSD) transformed to a signal fault propagation tree (SFPT) and a module fault propagation tree (MFPT). Then fault propagation characteristic parameters are defined to calculate the index of vulnerability for the modules. Meanwhile, a method is presented to find out the most vulnerable path. Finally, a case study of a four-rotor unmanned helicopter is provided to demonstrate and validate the proposed method. By injecting fault to attitude adjustment software modules, we can obtain the fault propagation probability of all modules and the data transfer probability from a module to signals. Then the corresponding SFPT and MFPT can be built from the MSD of the attitude adjustment software system. The final result is the most vulnerable module and path of the example system after performing the proposed method of fault propagation analysis. The result can be used for predicting to locate the fault of mechatronic software systems.

关键词： mechatronic system fault propagation analysis vulnerability analysis software module software signal

来源：评论

学校读者我要写书评

暂无评论

A universal digital platform and software library for power electronic systems integration

A universal digital platform and software library for power ...

引用

CES/IEEE 5th International Power Electronics and Motion Control Conference

作者： Hu, Haibing Jin, Tianjun Yao, Wenxi Lu, Zhengyu Qian, Zhaoming Zhejiang Univ Natl Key Lab Power Elect Hangzhou 310027 Peoples R China

ISBN: (纸本)1424404487

A new flexible digital platform based on the fixed-pointing DSP has been developed for power electronic systems integration, whose computational power can be easily expanded by floating-point units(FPU) which are configured by a FPGA. Some IP(Intellectual Property) cores for power electronic applications, coded in VHDL for modularity and portability, have been designed and validated in the digital platform. software modules commonly used in power electronic applications are packaged in C language with fixed-point format for versatility and computation efficiency. All these IP cores and software modules are verified in real-time applications and can be easily integrated into power electronic systems.

关键词： digital platform IP core software module power electronic systems integration

来源：评论

学校读者我要写书评

暂无评论

Compiler module of Abstract Machine Code for Formal Semantics Course 19

Compiler Module of Abstract Machine Code for Formal Semantic...

引用

19th IEEE World Symposium on Applied Machine Intelligence and Informatics (SAMI)

作者： Steingartner, William Tech Univ Kosice Fac Elect Engn & Informat Kosice Slovakia

ISBN: (纸本)9781728180533

In this paper, we present a software module developed for the course Semantics of Programming Languages. This software will be part of the intended comprehensive software package to simplify and make the teaching of formal principles in theoretical computer science more attractive. During the pandemic, the need to support illustrative and illustrative online teaching increased. Our software is designed to illustrate and visualize the translation of a higher-level language into code for the Abstract Machine, the definition of which is based on the structural operational semantics of programs.

关键词： abstract machine compiler coronavirus outbreak distant teaching semantics software module university didactic

来源：评论

学校读者我要写书评

暂无评论

The development of a management system for a modulized cooperating robot group

The development of a management system for a modulized coope...

引用

IEEE International Conference on Mechatronics Automation

作者： Kyousou, Tsukasa Aiyama, Yasumichi Univ Tsukuba Grad Sch Syst & Informat Engn Tsukuba Ibaraki 3058573 Japan

ISBN: (纸本)078039044X

The purpose of this research is to propose and develop a "Robot Group Management Operating System". This treats each robot and workspace as a module, to improve the program development efficiency of the multi robot system. This simplifies the programming of cooperation and enables sharing of the work space. In this paper, the modulation of a robot that composed a robot group was considered. Also, the easiness of programming the modules using the developed system is shown.

关键词： robot system robotic component software module workspace of robots

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：