An executable framework for modeling and validating coopera-tive capability requirements in emergenc

来源 :系统工程与电子技术(英文版) | 被引量 : 0次 | 上传用户:chenpenghust
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
As the scale of current systems become larger and larger and their complexity is increasing gradually, research on executable models in the design phase becomes significantly important as it is helpful to simulate the execution process and capture defects of a system in advance. Meanwhile, the capabil-ity of a system becomes so important that stakeholders tend to emphasize their capability requirements when developing a sys-tem. To deal with the lack of official specifications and the fun-damental theory basis for capability requirement, we propose a cooperative capability requirements (CCR) meta-model as a the-ory basis for researchers to refer to in this research domain, in which we provide detailed definition of the CCR concepts, asso-ciations and rules. Moreover, we also propose an executable framework, which may enable modelers to simulate the execu-tion process of a system in advance and do well in filling the in-consistency and semantic gaps between stakeholders\' require-ments and their models. The primary working mechanism of the framework is to transform the Alf activity meta-model into the communicating sequential process (CSP) process meta-model based on some mapping rules, after which the internal commu-nication mechanism between process nodes is designed to smooth the execution of behaviors in a CSP system. Moreover, a validation method is utilized to check the correctness and con-sistency of the models, and a self-fixing mechanism is used to fix the errors and warnings captured during the validation pro-cess automatically. Finally, a validation report is generated and fed back to the modelers for system optimization.
其他文献
Fabry-Perot(FP)antennas have characteristics of planar structures combined with high gain,and they have been widely used in wireless communications.With the progress of ongoing research,FP antennas have achieved various capabilities,but many of them are s
A multi-objective optimization based robust beamforming(BF)scheme is proposed to realize secure transmission in a cognitive satellite and unmanned aerial vehicle(UAV)network.Since the satellite network coexists with the UAV network,we first consider both
Test selection is to select the test set with the least total cost or the least total number from the alternative test set on the premise of meeting the required testability indicators.The existing models and methods are not suitable for system level test
An automatic method for classifying frequency shift keying(FSK),minimum shift keying(MSK),phase shift keying(PSK),quadrature amplitude modulation(QAM),and orthogonal frequency division multiplexing(OFDM)is proposed by simultaneously using normality test,s
The meteorological satellite service range is extensive, and science and technology and related industries have become beneficiaries of it. The complex meteorological satellite stakeholder relationshi
为探究非确定性土参数的概率分布模型及其对场地土随机振动的影响,通过多通道面波测试技术(MASW),结合频率-波数法获得了场地土的频散图像,建立剪切模量随土层深度变化的先验概率分布模型,进而依据贝叶斯理论及蒙特卡洛-马尔科夫链-Metropolis-Hastings算法得到了非确定性土参数的后验概率分布模型,并对其收敛性和独立性进行了验证.将地基土剪切模量的后验概率分布模型和地面振动随机响应的核密度估计相结合,提出对振动传递函数进行区间估计的一种有效方法,得到具有一定置信度的置信区间,并与确定性土参数反演的
岩石节理是影响地下工程安全的重要因素之一,并且显著影响应力波的传播.采用分离式霍普金森压杆(SHPB)设备和光弹设备,开展压缩波垂直入射下节理内部应力集中现象以及波传播特性的无损观测研究.为降低加载杆波阻抗,分离式霍普金森压杆(SHPB)设备的入射和透射杆均采用聚碳酸酯材料.首先,基于改进型SHPB设备,对不同接触面积比的平板型聚碳酸酯节理试样进行压缩波加载实验.根据黏弹性波传播理论和能流密度概念,对动光弹实验图像及波传播特性进行研究.最终,得到不同节理接触面积比及不同节理分布情况下,透射波能流密度与节理
以高放废物地质处置库甘肃北山预选区花岗岩为研究对象,开展三轴循环加卸载试验,探究循环荷载作用下岩石耗散能、摩擦耗能、破碎耗能的演化特征,提出基于破碎耗能的岩石损伤变量.结果表明:依据耗能比曲线和应力-应变曲线演化特征,可将循环加卸载过程划分为初始压密与弹性段、裂纹稳定发育段、裂纹不稳定发育段、峰后不稳定破裂段和残余强度段5个阶段,相应耗能比呈现小幅下降、稳定发展、缓慢攀升、显著上升后趋于平缓的“勺”形演化特征;摩擦耗能比在压密与弹性段小幅下降,在裂纹稳定发育段和裂纹不稳定发育段稳定于较低水平,在峰后不稳定
为研究加筋土拦石墙在落石冲击荷载下的冲击应力分布规律,设计加筋土拦石墙和板桩拦石墙落石冲击模型试验.通过对比试验揭示了加筋土拦石墙在落石冲击荷载作用下冲击应力峰值的变化规律.试验发现:(1)2种结构的冲击应力分布均呈阶段性变化,加筋土拦石墙裂隙出现时所承受的冲击力约为板桩拦石墙的2倍;(2)与板桩拦石墙冲击处应力集中明显相比,加筋土拦石墙冲击处应力分布均匀,墙面变形较小,应力消散速率较板桩拦石墙小约50%.结合修正的Hertz接触冲击力计算公式和Boussinesq方程,得到加筋土拦石墙内部冲击应力计算方
深部岩体的变形破坏过程受开挖卸载或其他扰动荷载的影响.为探索岩体空间微裂隙扩展规律和渐进破坏过程中的非线性机制,开展预静载低频不等幅加卸载循环条件下石灰岩三维定位声发射实验.结果表明:(1)弹性能与总能量的比值、耗散能与总能量的比值都具有相应的阶段性特征,耗散能的变化与预制裂隙的分布、微裂隙扩展空间位置及扩展速度有关;耗散能和撞击数的变化满足石灰岩灾变临界的幂率变化规律.(2)完整石灰岩试样和含不同倾角的预制裂隙石灰岩试样的峰值强度随预制裂隙数目的增多而下降并受预制裂隙位置的影响;不同试样应力-应变曲线峰