Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability

ZHANG Jing; LEI Hang

Chinese

您当前的位置：

首页 >

文章列表页 >

Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability

更新时间：2026-09-04

- Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability
- Vol. 30, Issue 7, Pages: 28-32(2013)
- 作者机构：
  
  1. 电子科技大学计算机科学与工程学院,四川,成都,610054
  2. 攀枝花学院机构网络中心,四川,攀枝花,617000
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：2013
- 稿件说明：
移动端阅览
张靖, 雷航. 网构软件可靠性代数模型及简化计算研究[J]. 微电子学与计算机, 2013, 30(7): 28-32.

ZHANG Jing, LEI Hang. Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability[J]. 2013, 30(7): 28-32.
张靖, 雷航. 网构软件可靠性代数模型及简化计算研究[J]. 微电子学与计算机, 2013, 30(7): 28-32. DOI：

ZHANG Jing, LEI Hang. Research on the Alegbra Model and the Method of Simplified Calculating of Internetware Reliability[J]. 2013, 30(7): 28-32. DOI：

摘要

为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析，利用抽象代数理论，根据网构软件特征，建立了网构软件形式化代数模型，在此基础上实现了构件组合运算，在定性和定量方面具有演算能力，提出了网构软件系统可靠性计算的简化方法。实验证明，在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效，可以有效地应用于网构软件设计、开发和测试、维护等方面。

Abstract

To provide a consistent syntax and semantics specification of Internetware and implement the reliability analysis under Internet environment

by using the theory of Abstract Algebra

the formalization algebraic model of Internetware is established based on the character of Internetware

and the component composition computing of Internetware is realized. The model has the calculus ability with the qualitative and quantitative aspects. A simplified calculating method is presented in this paper

it is proved that the model and the method

which is constructed based on formalization analysis of Internetware

is right and available

and they will be applied to Internet design

development

testing

maintenance and so on.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Study on hot carrier lifetime of a 40 V NLDMOS device

Reliability-based sensor selection algorithm for cooperative spectrum sensing

Reliability Analysis of Computer Hardware System Based on Generalized Stochastic Petri Net

An Event-driven QoS Routing Protocol for Heterogeneous Sensor Work

Architecture of Cluster Monitoring System with Self-Healing Ability

Related Author

SHAO Yali

ZHONG Mingchen

LIU Fang

YU Shan

SHAN Shushan

LU Xiangbin

TAO Yang

HOU Yao

Related Institution

State Grid Key Laboratory of Power Industrial Chip Design and Analysis Technology,Beijing Smart-Chip Microeletronics Technology Co., Ltd.

Beijing Engineering Research Center of High-reliability IC with Power Industrial Grade, Beijing Smart-Chip Microeletronics Technology Co., Ltd.

School of Communication and Information Engineering, Chongqing University of Posts and Telecommunications

School of Computer, Henan Institute of Engineering

College of Information, Yancheng Teachers University

AI问答

Postal code：100079
Tel：（010）53879206 Email：tmw@bjxintong.com.cn
Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09082226号-64 京公网安备11010602201714号
It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.

⁰