切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
The Dynamic Checking of Complex Real Time System
The Dynamic Checking of Complex Real Time System
来源 :武汉大学学报:自然科学英文版 | 被引量 : 0次 | 上传用户:yuzhiwei00
【摘 要】
:
纸基于要求描述论述复杂即时软件的一个动态实行模型为 RTRSM 建模,然后基于盖住的配置和它的相应算法建议一个检查方法。这个检查方法罐头在即时软件系统的动态执行步检查在
【作 者】
:
YU Chao
HUANG Benwen
WU Guoqin
【机 构】
:
SchoolofComputer,SchoolofMathematicsandStatistics
【出 处】
:
武汉大学学报:自然科学英文版
【发表日期】
:
2006年3期
【关键词】
:
RTRSM
动力执行模型
复合真实时间系统
构造
RTRSM
configuration
dynamic execution model
【基金项目】
:
Supported by the Natural Science Foundation of Hubei Province (99J165)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
纸基于要求描述论述复杂即时软件的一个动态实行模型为 RTRSM 建模,然后基于盖住的配置和它的相应算法建议一个检查方法。这个检查方法罐头在即时软件系统的动态执行步检查在平行元素之间的执行状况。Italso 能检查保证检查的完全性的所有状态和转变。最后,相关定理被校对。
其他文献
A Method of Processing-Storage Transmission Model-Based System Survivability Measure
Survivability 是一个系统的能力在攻击,失败,或事故的 thepresence 完成它的使命,并且以一种及时方式恢复全套服务。在 J. K 的 thebasis 上。Millen “ s Survivability 措施
期刊
系统生存性
遗传算法
计算机
有效性
system survivability
PST (processing-storagetransmission) mo
A Method to Defend File-Attacking
纸指出现代计算机系统在那个用户失败到防卫恶意软件谎言的深原因没有权利控制信息的存取,并且建议明确的授权机制。它的基本想法是用户明确地授权文件给了它能存取的节目,并且
期刊
信息窃取
信息破坏
制品
安全认证
计算机
information stealing
information destroying
malware
exp
Learning Vector Quantization Neural Network Method for Network Intrusion Detection
基于学习,有低架空、高的效率的向量量子化(LVQ ) 被介绍的一个新侵入察觉方法。计算机视觉系统作为分类器采用 LVQ neuralnetworks 认出侵入。识别过程包括三个阶段:(1 ) 展示
期刊
向量
量化方法
神经网络
网络侵扰检测
网络安全
计算机
intrusion detection
learning vector quantization
Stochastic Optimal Economic Growth Model with Natural Resources
纸检验一个经济生长问题社会规划者怎么相当开创并且保留自然资源。目的是最大化 comsumption 的全部的期望的打折的用途。社会规划者“以稳定的状态的最佳的决定和最佳的期
期刊
自然资源
预期增长率
经济增长
经济数学
natural resources
optimal portfolio
expected growth rate
The Time and Cost Prediction of Tunnel Boring Machine in Tunnelling
使用微软视觉工作室,网络站台,隧道的做 assistantdecision 系统在掘的无聊的机器被造了预言时间并且花费。表演参数的计算方法被讨论了。新时间和费用预言模型被描绘了。多变
期刊
开挖隧道
进度预报
成本估计
施工机械
tunnel boring machine
time prediction
costprediction
assis
Occurrence Conditions and Process Analysis on Fluidization of Valley Type Landslide: Example of the
是由在 July11 上的夜里的山崩出现的 arosed 的大碎片流动, 2003 在 Qiongshan 沟壑, Danba,四川省。根据研究,碎片流动 inQiongshan 沟壑是由山崩的使液化的 arosed。被下雨了
期刊
丹巴地区
流体化
山崩
产出条件
产出过程
Danba in Sichuan Province
fluidization of landslide
occu
Model Checking-Based Testing of Web Applications
作为 Kripke 结构代表网应用的航行行为的一个正式模型被建议;把模型检查用于测试用例产生的一条途径被介绍。目标模特儿被雇用描述一个网申请图案的目标结构的目标关系图;能被
期刊
网络应用
测试
校验模型
一致性
Web application
test generation
model checking
consistency r
Deformation and Development Tendency of Shiliushubao Landslide by Numerical Modeling
根据分析 Shiliushubao 山崩的基本特征,山崩“ s 变丑和开发趋势是使用 FLAG30 学习的份量上程序。结果与监视结果一致。结果被显示扣押的水库加速水库水水平的山崩 s 变丑,和
期刊
山崩
变形
数值模拟
预报
Shiliushubao landslide
deformation rule
develop ment tendency
n
Model and Method of Debris Flow Risk Zoning Based on Momentum Analysis
碎片流动风险 zoning 的一个模型与碎片流动的动量分析被执行。这个模型有密度和速度的碎片流动淹没扇子由数字模拟计算了的地区。风险分类标准在影响下面根据不同结构的最终
期刊
泥石流
危险区域
动力机制
极限载荷能力
debris flow
risk zoning
momentum
ultimate bearing capaci
Identify Implicit Communities by Grap Clustering
怎么发现这些社区是一个重要研究工作。最近,社区发现主要被分类到点击算法,由两部组成的核心算法和 maximumflow/minimum 切割框架。在这篇论文,我们建议了一个新方法提取社区
期刊
Web
联结分析
图形聚类
MCL
Web community
link analysis
graph clustering
MCL
与本文相关的学术论文