序列图
- ARIMA 模型在基层血站单采血小板临床需求量预测中的可行性分析
用量的原始时间序列图, 分析原始序列图是否为具有趋势和季节性趋势的不平稳序列, 对不平稳序列进行差分, 使序列平稳化。②ARIMA 模型识别和参数估计。根据ACF 图和PACF 图的特征, 以及是否出现拖尾或截尾的情况来推断出p、d、q 值, 并初步建立若干个备选的ARIMA 模型, 如果时间序列有明显的趋势和季节性趋势, 应选择建立ARIMA(p, d, q)(P, D, Q)s 乘积季节性模型, 其中p、q 分别为非季节自回归和移动平均的阶数, P、Q
中国实用医药 2023年23期2024-01-06
- 基于抗干扰阵列天线的北斗RTK 解算与数据分析
点载波双差残差序列图，如图2所示为B3频点载波双差残差序列图，如表1所示为B1/B3双差残差统计值。表1 B1/B3双差残差统计值（各统计量取绝对值后取95%）Tab.1 Statistic value of B1/B3 double difference residual (95% after absolute value of each statistic)图1 B1载波双差残差序列图Fig.1 B1 carrier double difference
数字技术与应用 2023年9期2023-10-15
- 高阶电离层在GNSS 对流层参数估计的影响
iff)的时间序列图.表3 ZTD 差值绝对值的Mean和RMS m表3（续）表4 PW 差值绝对值的Mean和RMS m表5 NSgrad 差值绝对值的Mean和RMS m表6 EWgrad 差值绝对值的Mean和RMS m表6（续）2.1.1 高阶电离层延迟在GNSS ZTD和PW 估计的影响由图2～3可知，BDS-2的PTGG测站ZTD和PW时间序列图在2月28日11 时至23 时出现了部分偏差，并且ZTD和PW 的差值峰值出现在2月28日23 时，
全球定位系统 2023年1期2023-03-23
- 基于改进的SKnet 和Bi-GRU 的岩石薄片图像矿物识别
对矿物正交偏光序列图的颜色、纹理等特征，采用机器学习模型，再结合复杂的权值投票机制，完成矿物颗粒识别任务。随着计算机硬件能力的迅速提升和深度学习技术的飞速发展，基于神经网络的深度学习分类方法也相继出现。2012 年，Krizhevsky A 等人［5］提出AlexNet，在图像分类领域取得突破性进展；自此，用于分类的各种卷积神经网络层出不穷，包括VGGNet、ResNet、MobileNet、InceptionResnet 等。2018 年，彭志伟［6］选
智能计算机与应用 2023年1期2023-02-08
- 基于组合跟踪的景象匹配分析评估方法
估的问题。1 序列图关键帧匹配方法当拍摄场景为平面时，可用射影变换描述任意2帧图像间的几何变换关系，特别是在高空对地面进行拍摄时，一般可用仿射变换近似描述。对于图像序列Ik，k=2,3,…,n。对相邻帧图像进行匹配，得到变换矩阵Hk，k=2,3,…,n，满足：序列图中的每1点坐标都可经过多次变换转移到首帧图像坐标系中，从而描述任意点在序列中的运动轨迹，并正则化描述任意轨迹之间的相对关系。据此实现对景象匹配的分析评估。1.1 序列图关键帧匹配框架在飞行试验中
海军航空大学学报 2022年1期2022-11-16
- 基于双流网络的步态特征表述算法
，通过构造步态序列图可以表达人在行走时的时序信息。首先将一个步态周期的步态轮廓图进行堆叠，再沿其m轴作nl平面的投影，得到一个步态周期的步态序列图。生成步态序列图的过程如图2所示。图2 步态序列图Fig.2 Gait sequence diagram式中：m和n为步态轮廓图的坐标，m=0,1,…,M-1，n=0,1,…,N-1；l为帧索引，l=0,1,…,L-1；M为轮廓图的高度；N为轮廓图的宽度；L为步态序列的总帧数。式中：a、b为步态序列叠加得到的像素
辽宁科技大学学报 2022年1期2022-05-29
- iGMAS 国家授时中心跟踪站新接收机钟差分析与相对时延校准
1钟差互差时间序列图从图1 中可以明显看出互差结果连续、平滑，且钟差的波动范围保持在-0.3～0.3 ns（不考虑PPP 收敛过程）。两者互差的STD 值为0.14 ns。上述结果表明，文中采用解算策略得到的钟差与权威机构BIPM所公布的钟差符合较好，可以通过采用的策略与软件开展后续的实验。2 XIA1接收机钟差与链路时延2.1 XIA1接收机钟差分析利用RTKLIB 软件对XIA1和XIA6 接收机GPS单系统数据进行PPP 解算，得到两台接收机2019
电子设计工程 2022年6期2022-04-13
- 基于裂缝平移的岩心CT序列图像裂缝批量提取
层扫描岩心得到序列图，然后再使用相关软件批处理序列图得到处理后的二值图像，最后再逐层叠加图层即得到三维的岩心结构。岩心CT序列图像的二维批量处理过程是构建岩心三维模型过程中的关键步骤，其目的就在于从复杂的岩心结构中提取出感兴趣的目标，如岩心的孔隙颗粒和裂缝等，以便于三维模型的构建以及三维参数的计算。岩心当中的微观裂缝对于研究岩心的连通性和渗流特性具有重要意义［3］［5］。研究某岩心裂缝的相关参数的一般步骤是，先对二维CT序列图像进行岩心裂缝目标的提取，再通
现代计算机 2021年32期2022-01-11
- 双寡头企业混合博弈的复杂动力学分析
v指数图、时间序列图及吸引盆等研究混合博弈模型的复杂动力学行为。1 模型建立建立由上游企业进行价格竞争和下游企业进行产量竞争双寡头企业博弈模型，上游企业的产品是向整个市场提供的，上游寡头的上游产品需求函数(产量)和下游企业的采用上游企业产品的合成品的逆需求函数(价格)分别为(1)其中：ai>0为公司i的潜在需求量；d为上游企业价格变动对下游企业价格的影响程度，d∈(0,1)；q1和p1分别为上游企业的上游产品的产量和价格；p2和q2分别为下游企业的产量和价
洛阳理工学院学报(自然科学版) 2021年4期2022-01-07
- 一类具有分布时滞和常数收获的单种群模型的状态脉冲控制
x(t)的时间序列图、y(t)的时间序列图以及x(t)和y(t)的相位图，如图3 所示。图3 定理1 中E3(，)渐近稳定Fig.3 E3(，)is asymptotic stability in theorem 1令α=0.2，u=2，h=6.5，p=0.2，此时的平衡点E3(，)是不稳定的，设初始值为（5，5.85），分别得到x(t)的时间序列图、y(t)的时间序列图以及x(t)和y(t)的相位图，如图4 所示。图4 定理1 中E3(，)不稳定Fig.
浙江大学学报（理学版） 2021年6期2021-12-02
- 小学低年级语文教科书插图运用
立图、发散图与序列图，然后针对多种类型使用不同方法，以此提升学生的读图能力，并能以图为辅助，加强学生对文章中心思想的掌握与理解。1.运用教材中的独立图独立图指语文课文中展示的完整的插图，此类图往往可以直观展示文本的中心思想，且与其他图示互相不影响。教师在运用教材中独立插图的时候，要先引导学生认真观察，先要知道其是哪一种类型的图形，然后再对其进行整体感知，如图片中都有谁？在哪里？做什么？然后再依照一定顺序，依序观察插图，以此引导学生对插图部分细化，以一个中心
读与写 2021年22期2021-11-22
- ARIMA模型在预测前列腺穿刺人数以及穿刺阳性率中的应用
处理：根据原始序列图判断序列是否平稳，不平稳，则对序列的趋势或季节性趋势进行差分或季节差分处理使其平稳。（2）模型识别：绘制经平稳化处理后序列的ACF 和PACF 图，根据拖尾或截尾情况为目标模型进行定阶。（3）模型参数估计与检验：对可能的模型进行纯随机性测试，若测试结果P1.3 统计学处理应用Epidata 3.1建立数据库，用百分率表示穿刺阳性率，利用SPSS25.0 建立穿刺人数以及穿刺阳性率的ARIMA 模型，采用标准化BIC 以及R2确定最佳模型
新疆医科大学学报 2021年7期2021-10-29
- 周期环境下具有潜伏期和阶段结构的时滞布鲁氏菌病模型研究
)各仓室的时间序列图;(b) S2(t),I(t),B(t)仓室的三维相图;(c)S2(t)仓室的时间序列图;(d) I(t) 仓室的时间序列图;l=0.29;p=0. 200025;图2 τ=0.2时,布鲁氏菌病灭绝时,各仓室的时间序列图,l=0.89;p=0. 700025;接着,研究时滞τ以及周期性对模型(3)的影响.从图3(a)中可以看到,随着τ的增加,I(t)的最大值增加,最小值减小,疾病的波动变大.从图3(b)中可以看到,无周期时I(t)最后
高校应用数学学报A辑 2021年3期2021-09-27
- 基于UML方法和SFC的龙门码垛机器人软件控制系统设计
到UML提供的序列图、合作图、状态图和活动图等四种视图。其中，序列图是描述软件系统动态模型的主要手段[8]，故这里拟建立龙门码垛机器软件控制系统的序列图，用来描述其对象之间交互消息传递的时序关系。首先简述序列图的定义：设序列图OSD=(OS,LS,Σ,f)，其中：1)OS表示系统对象集合，即系统中的每个对象为集合的元素；2)AOLS表示全部对象位点集合，AOLS={θ(n),θ∈OS∧n∈SL(θ),n∈N}，其中，θ(n)表示对象θ生命线上发送或接受消息
建材世界 2021年4期2021-09-14
- 利用P波质点运动检测福建台网地震计方位角
角随时间演变的序列图。图2 各台站地震计方位角偏差计算结果时间序列图表1 SNR方法计算及寻北仪所测福建测震台站地震计方位角偏差大于5°的列表综合以上可以看出，经过寻北仪的校正后，绝大部分台站方位角的偏差得到了明显改善，并且从序列图可以看出，从2015年到2019年之间也保持了较好的状态。计算结果显示，寻北仪测得值与“SNR法”计算第一阶段的值相近，但少数台站因为较为高频的地震计维护更换及分向命名等的错误，其计算结果与实测值存在较大出入。通过分析2个阶段的
华北地震科学 2021年3期2021-09-01
- 基于Python 设计的TEQC 数据质量可视化分析软件
空图、卫星观测序列图和高度角时间序列图、参数时间序列图以及质量检核指标参数时间序列图(包括SNR、多路径和电离层延迟等).但由于单个图形间相互对比性较差，难以充分显示不同质量检核指标相关性.因此，TPP 将极坐标天空图、卫星观测序列图和高度角时间序列图作为底图形式叠加SNR、多路径和电离层延迟等质量检核信息，可进一步分析高度角、方位角和观测时段与检核质量指标各因素间的相关关系；同时增设了质量摘要信息显示功能，通过质量摘要信息与绘图模块的联合分析，用户能够综
全球定位系统 2021年3期2021-08-07
- 一类图的优美标号与序列标号
类图是优美图和序列图。优美图；序列图；顶点标号1 预备知识图P(s)()如图1所示。图1 图Pm(s)(n)2 定理及证明证明 分两种情况证明定理1。情况1≡0(mod2)定义图P(s)()的顶点标号如式(1)所示。下面验证是图P(s)()的优美标号。(1)图P(s)()中不同的点，其标号不同。设(2)最大最小为(3)图P(s)()中若边不同，则其标号不同。由(1)式，有假设由上述可知是图P(s)()的一个优美标号，图P(s)()是优美图。情况2≡1(mo
辽宁工业大学学报(自然科学版) 2021年4期2021-07-22
- 基于SPSS序列法的商务谈判实务课程混合教学模式实证研究
序列分析法画出序列图，对不同时期的五组数据指标进行实证分析，最后提出相应的解决措施。关键词：课程;序列图;混合模式;评价中图分类号：G642 文献标识码：AAbstract： Under the mixed learning mode， it is helpful to fully mobilize students' enthusiasm and initiative， and transform the shallow learning in t
物流科技 2021年10期2021-05-12
- 分布时滞Shimizu-Morioka系统的稳定性及Hopf分岔分析
间t变化的时间序列图和空间相图如图2、图3所示。图2 a=0.5,M=-1,b=3.0时，系统(2)的相图与时间序列图图3 a=0.5,M=-1,b=2.5时，系统(2)的相图与时间序列图3 结束语本文研究了具有分布时滞的Shimizu-Morioka混沌系统，利用Routh-Hurwitz准则分析在弱核及强核情形下平衡点的局部稳定性及Hopf分岔的存在性，分析结果可作为混沌控制实现的理论依据。基于此，将进一步研究带分布时滞反馈项控制系统的Hopf分岔动力
杭州电子科技大学学报(自然科学版) 2021年2期2021-04-07
- 省级CORS与千寻位置CORS BDS网络RTK精度对比分析
外符合坐标残差序列图如图2所示，省CORS系统在东、北、高方向精度均达到厘米级精度，高程方向部分残差幅度较大，平面精度相对更稳定。NINGB点位千寻位置CORS投影后的外符合坐标残差序列图如图3所示，千寻位置总体定位与省CORS相当，在第2 078个历元高程方向出现跳点，其它历元坐标残差均小于10 cm。图2 NINGB点位省CORS坐标残差序列图图3 NINGB点位千寻位置坐标残差序列图JINH点位省CORS投影后的外符合坐标残差序列图如图4所示，省CO
矿山测量 2021年1期2021-03-07
- 基于光流网络模型的岩心CT序列图像裂缝分割
引 言岩心CT序列图是对真实岩心进行CT扫描得到的，使用岩心CT序列图并通过一系列算法可以重构出数字岩心，进而研究岩心的孔隙微观结构[1]。岩心CT序列图的分割是数字岩心重构的关键步骤，主要目的是提取孔隙、颗粒和裂缝等感兴趣的区域，分割的优劣直接决定了数字岩心的重构质量。岩心中的微裂缝对于研究岩心连通性和渗流特性具有重要意义，但由于目前CT成像的对比度往往不够理想，且易受到噪声影响，导致分割难度增大，一些细的裂缝提取困难，且容易断裂。常用的图像分割方法主要
计算机应用与软件 2021年1期2021-01-15
- 基于改进模糊C均值聚类和区域合并的矿物颗粒分割方法
角度的正交偏光序列图像，通过序列图像，具有消光性[3]的矿物颗粒有较好的区分度，在此基础上讨论了多种颗粒分割算法。文献[4]提出一种基于统计区域合并(statistical region merging，SRM)的岩矿石颗粒分割方法，相较于传统的单幅单偏光图像分割算法，该方法根据岩矿石颗粒在一组正交偏光序列图像下的特征进行分割提取操作，提高了分割效果，改善了颗粒的欠分割现象，然而，该方法采用传统的多阈值分割算法[5]进行初始的分割，对于矿物颗粒之间差异明显
科学技术与工程 2020年34期2021-01-08
- 北斗三号卫星周跳探测的不同算法研究
下电离层残差法序列图图2 数据无周跳情况下相位减伪距法序列图图3 数据无周跳情况下M-W组合法序列图在无周跳情况下，电离层残差法波动性大；其序列图呈现倾斜趋势是由于存在电离层残差。而相位减伪距法在无周跳情况下其序列图也存在倾斜趋势，也是由于存在电离层残差；其波动性是在高度角较大时波动大。M-W组合法中序列图趋于稳定，这是由于大气延迟误差被消除，接收机端钟差与卫星端钟差的影响也被消除。电离层残差法中用的是L1、L2，而相位减伪距法中多了P1或P2，由图1～图
矿山测量 2020年5期2020-11-02
- 改进的ARIMA模型预测精度分析
预测值与实际值序列图如图1所示，JB统计量显示三个模型都接近正态分布，其中b模型最为接近，c模型其次，a模型最弱，偏度统计量均为正值，都是向右的长拖尾，峰度统计量全部小于3，但非常接近于3，三个模型曲线都比较平坦，其中b模型最为平坦，c模型其次，a模型最弱，拟合情况都不错.一元回归分析图所示，拟合最好的是b模型，其次为c模型，最弱的是a模型，同时查看三个模型预测值与实际值序列图，SR为实际值，QIAN为改进前时间序列ARIMA模型预测值，HOU为改进后时间
哈尔滨商业大学学报（自然科学版） 2020年4期2020-08-31
- 一类具有潜伏感染细胞的时滞病毒感染模型*
衡点E0的时间序列图Fig. 1 When R0 ≤1，time series diagram of infection-free equilibrium E0图2 当R0 > 1时，τ1 = 3，τ2 = 5，τ3 = 2时，平衡点E*的时间序列图Fig. 2 When R0 > 1，τ1 = 3，τ2 = 5，τ3 = 2，time series diagram of equilibrium E*图3 当R0 > 1时，τ1 = 30，τ2 = 50，
中山大学学报(自然科学版)(中英文) 2020年4期2020-08-07
- 基于案例推理和事件序列图的电子设备故障诊断技术
况下，借助事件序列图进行故障检测隔离分析，有效解决了一种故障诊断方法的有限性，极大的提高了地勤人员对航空电子设备的排故准确率和排故效率。2 基于案例推理的故障诊断2.1 案例推理原理案例推理起初是国外技术人员提出的一种推理手段，它主要是通过充分梳理历史的经验数据来分析当前的新难题，它在一些具有历史继承性、可借鉴的场合有充分的应用前景。案例推理的主要任务在于达到设备故障检测诊断的信息化、故障检测的自动化。借助案例推理技术，可以有效提高排故的效率，减少排故时繁
电子技术与软件工程 2020年4期2020-06-10
- 有级转向履带车辆的驾驶员操控行为模型
式，其中：局部序列图假定操控基元之间的切换是随意进行的，该序列图的节点数与操控基元的种类数完全一致，如图2所示；全局序列图则对操控基元之间的切换顺序做了更为细致的建模描述，在全局序列图中类别相同的操控基元会出现多次，如图3所示。图2 局部序列图Fig.2 Local sequence graph图3 全局序列图Fig.3 Global sequence graph相比于局部序列图，全局序列图能对转向操控基元之间的切换关系进行更为细致的描述，使得驾驶员的操控
兵工学报 2020年12期2020-02-06
- 基于时间序列分解法的摩拜单车未来发展预测和评价
量数据进行时间序列图建模可以看出，该数据具有季节性趋势，因此首先需要将季节因子从时间序列中分离出去,即用序列的每一个观测值除以相应的季节指数，然后再对模型进行预测。利用SPSS软件对2013-2018年度销售量数据进行季节性分解，得到投放量分解图。通过对分解图进行分析可以看出，2013到2018年度的投放量是以季节为周期，呈现出一定规律的波动。在季节性波动中，从每年的第一季度开始，投放量逐渐递增，到第二季度和第三季度之间的时候达到峰值，并逐渐开始递减，在第
新营销 2019年13期2019-12-17
- 一类具有常数输入和马氏转换的SIQRS模型
038时的时间序列图图 2S(t)、I(t)、Q(t)和R(t)在β2=0.012时的时间序列图Fig.2ThetimeseriesdiagramofS(t),I(t),Q(t),R(t)atβ2=0.012若取Π=(π1,π2)=(0.5,0.5),对应的R0=1.396 1>1,S(t),I(t),Q(t),R(t)在状态1和状态2之间随时间t的变化如图3所示,疾病随机持久.若取Π=(π1,π2)=(0.2,0.8),则对应的R0=0.960 5图 3
四川师范大学学报（自然科学版） 2019年5期2019-11-09
- 电离层残差法在北斗定位中进行粗差探测的应用
，得到空间误差序列图，如图1所示。图1 STA2空间误差序列图由图1可以看出，通过载波双差基线解算得到的STA2坐标三维误差在1cm左右，且误差序列图平稳无跳跃，证明该段数据不存在粗差，可以认为该段观测数据为“干净”数据，用该时段数据进行定位解算，能够得到较高的定位精度。对上述时段的STA2接收机的原始观测数据用电离层残差法进行数据分析，得到对应的电离层残差法时间序列结果。以北斗B2频点为例，结果如图2所示。图2 加入粗差前电离层残差法时间序列图在STA2
数字通信世界 2019年6期2019-07-20
- 一类广义Linard方程周期正解的存在性
子,相图和时间序列图来阐明我们的定理.例4.1考虑下面的二阶广义Linard方程对比方程(4.1)和方程(1.4)可知,f(t,x(t))=e−|x|sin(20t)+3,并且满足即满足条件(H1),其中取D=2,可以得到即满足条件(H2).接下来我们验证条件图4.1 -周期解对应的相图及时间序列图: (a)初始值为(1,0.103331)的-周期解的相图; (b)-周期解的时间序列图成立.因此,通过定理2.1可得方程(4.1)至少有一个-周期正解.例4.
应用数学 2019年3期2019-06-27
- 季节性ARIMA模型在江门市手足口病疫情预测中的应用*
手足口病发病率序列图、自相关系数(ACF)图和偏相关系数(PACF)图判断序列平稳性。若序列为非平稳序列,对原序列进行非季节差分或季节差分,消除序列长期趋势和周期性变化的影响,使序列平稳[3]。(2)模型识别 根据差分后序列自相关函数(ACF)图和偏自相关函数(PACF)图,为模型进行初步识别和定阶。(3)模型参数估计和检验 利用非线性最小二乘法估计模型参数,在参数有统计学意义基础条件上,用拟合优度比较模型优劣。模型的拟合优度采用标准化的贝叶斯准则比较,标
中国卫生统计 2019年1期2019-03-18
- 基于SysML的平台无关模型转换研究
例图、用例图到序列图的转换。1 国内外研究现状文献[2]提出一种模型映射的九元组，并给出序列图到状态图转换的形式化定义，但该方法没有实现模型的自动生成，需要分段分析并进行整合。文献[3]采用规范化的描述语言，设计了一种用例图到序列图的半自动转换方法，但这种方法不但在描述语言中抽取信息时存在混淆错误的情况，还需额外设计模型图中元素的格局布置，准确度和自由度较低。文献[4]给出一种递归对象模型(ROM)到SysML模型的转换方法，通过分析系统需求设计其ROM模
计算机应用与软件 2018年12期2018-12-13
- 有界噪声激励下单势阱碰撞振动系统的混沌运动
punov指数序列图,如图3所示. 从图3(a)和(b)可以看出,系统的运动为规则运动,不是混沌运动. 图3(c)为4条样本的最大Lyapunov指数序列图,其最大Lyapunov指数平均值为λ≈-0.08(a) 相图 (b) Poincare截面图 (c) 最大Lyapunov指数序列图 3 μ=1.6时系统(2)仿真结果Fig.3 Numerical simulation results of system (2) with μ=1.6在临界值之上取μ
西安工程大学学报 2018年4期2018-09-17
- 基于岩石薄片偏光序列图的颗粒分割算法
用岩石薄片偏光序列图，寻找在连续变化偏光角度的正交偏光下矿物颗粒亮度变化趋势的共同特征，实现了一种新的岩石薄片颗粒分割算法。1 基于岩石薄片偏光序列图的颗粒分割算法本文提出的颗粒分割算法利用了矿物颗粒在正交偏光下具有的消光特性，针对不同正交偏光角度下拍摄的序列图像，利用正交偏光图像中较明显的颗粒边界轮廓信息进行边缘检测，结合亮度阈值进行颗粒目标的分割，再根据颗粒在单偏光图像中的颜色特征以及在正交偏光序列图中的亮度变化趋势对过分割颗粒进行修复。1.1 岩石薄
计算机应用与软件 2018年5期2018-05-22
- 基于UML模型的测试用例自动生成综述
ML转换序列是序列图中的消息序列，状态机图中的转换序列，或活动图中的活动序列。因此，这些UML转换序列是测试软件的许多测试用例生成技术的基础，UML在大型系统的分析和设计中已经扎根。此外，它在软件行业和学术界都是一个事实上的标准。UML分析和设计在许多软件项目中执行。它是一种标准的建模语言，用于视觉描述结构和理解系统的行为。因此，研究基于UML模型生成测试用例的意义是很重要的，在开发的早期进行测试介入，可以极大程度地降低软件测试的成本。1 研究现状Phil
现代计算机 2018年7期2018-04-24
- 基于模型的悬挂物管理系统工程研究与应用
为通过活动图、序列图、内部块图、状态图4个SysML视图来展示。其中，活动图从本质上来讲是一种流程图，主要表现一个工作执行的活动顺序，阐明了用户实现的工作流程；序列图又称为时序图，它通过描述对象之间发送消息的时间顺序来显示多个对象之间的动态协作，表示用例的行为顺序；内部块图以图形方式展示系统与外部Actor的所有交互，生成结构视图的端口与接口；状态图也称为状态机，主要用于分析系统在其生命周期内的完整动态行为，包括定义系统的状态和依赖于状态的行为、分析系统状
电光与控制 2018年4期2018-04-19
- 应用ETDFA生成CBTC联锁软件形式化模型的方法
ine)实现对序列图语义的建模，但对于复杂的UML2.0的序列图，该方法生成的模型由于缺乏精确的定义给验证造成了困难；文献[9]以XYZ/E的线性时序逻辑为基础完成序列图的形式化描述；文献[10]利用进程代数表达式映射序列图中的交互消息及执行顺序，但缺少直观性；文献[11]使用Promela语言描述序列图，但所生成的代码不利于从模型中生成测试用例；文献[12-13]使用Petri网对序列图进行形式化描述，但其表达的属性的可判定性依赖其属性[14]；文献[1
计算机测量与控制 2017年12期2018-01-05
- 基于Laplace-Adomian-Pade方法的超混沌系统分析
子相图.最后对序列图和相图进行了分析，当初始值[x（t0）,y（t0）,z（t0）,w（t0）]=[1,1,1,1]，参数[a,b,c]=[-10,-4,-5]时，系统为混沌系统.研究结果表明，该法是分析超混沌系统的一种行之有效方法.Laplace-Adomian-Pade方法；动力系统；混沌自1975年李天岩和York首次提出混沌的数学定义以来，混沌理论及其应用已成为非线性科学领域中的一个热门课题．一些学者在Lorenz系统的基础上构造了许多诸如Chen
四川职业技术学院学报 2017年5期2017-12-29
- 双系统平台下GAMIT/LOBK10.60安装与使用
BJFS站时间序列图图3 CHAN站 时间序列图 图4 DAEJ站时间序列图图5 LHAZ站 时间序列图 图6 TNML站时间序列图图7 ULAB站 时间序列图 图8 ULUM站 时间序列图5 结束语本文介绍了Win7下进行Ubuntu Kylin16.04安装与配置,并在Ubuntu Kylin系统下成功安装和配置GAMIT/GLOBK10.60. 最后利用安装好的GAMIT/GLOBK软件对中国范围内及周边比较稳定的7个IGS站观测数据进行基线解算和网
全球定位系统 2017年2期2017-06-05
- 我国上证综指波动率实证研究
合指数原始时间序列图，图2是其自然对数序列图，图3是其对数收益率序列图。图1原始时间序列图图2自然对数序列图图3对数收益率序列图2.2描述性统计量为了深入研究收益率序列的性质，我们对其统计特征进行简单概括。结果如表1所示。从表1可知，上证综合指数收益率序列偏度为01770，呈右偏状态；峰度为7.42，具有正的超额峰度。J-B统计量拒绝收益率序列服从正态分布的假设，这些结果表明，收益率分布具有“尖峰厚尾”的特征。c.不带漂移和趋势项的单位根检验，置信水平1%
现代商贸工业 2016年14期2016-12-27
- 时间和事件序列图分析技术在石化事故分析中的应用
1)时间和事件序列图分析技术在石化事故分析中的应用张广文，王延平，张 婷(中国石化安全工程研究院，山东青岛266071)利用时间和事件序列图分析技术，对某一具体事故进行了系统分析，展示了事故的具体发展过程，找到导致事故的关键事件，通过对关键事件进行深入分析，得出事故的直接原因、间接原因和系统存在的问题。时间和事件序列图 事故调查 事故研究目前，事故研究使用的事故分析技术有屏障分析方法、变更分析方法、事件及成因图、TRIPOD理论、系统化原因分析技术、故障树
安全、健康和环境 2016年6期2016-12-19
- 数码迷彩立体动态成像算法研究
为多幅迷彩深度序列图。利用梳状函数对迷彩深度序列图进行采样合成,最终生成一幅光栅图像,用来裱贴于光栅板后即可实现立体动态数码迷彩。对该算法有效性进行了仿真实验并加以分析。兵器科学与技术;伪装;数码迷彩;立体动态成像;柱透镜光栅;视差DOI:10.3969/j.issn.1000-1093.2016.01.0160 引言迷彩伪装是伪装中广泛采用的一种伪装措施[1]。其技术实质是通过技术手段提取背景的图像特征,融入迷彩图案实施于待伪装的军事目标,以达到降低目标
兵工学报 2016年1期2016-11-09
- 元模型层次的UML动态子图到Coq形式规范的转换
态子图主要包括序列图和状态图等，它们在描述系统的行为方面应用广泛，但是半形式化的语义使它们不能直接进行形式化验证。Coq是目前主流的交互式定理证明器，用形式化的Coq规范来描述UML动态子图模型，可以在此基础上进行对模型的属性进行验证等工作。基于现有工作，提出将UML动态子图模型转换为Coq形式规范的框架，在元模型层次给出状态图和序列图的转换规则，介绍算法和原型工具实现。这种元模型层次的转换方法，保证了转换前后的语法正确性，为进一步分析验证提供了基础。UM
计算机应用与软件 2016年8期2016-09-08
- 基于属性值序列图模型的deep Web新数据发现策略
东基于属性值序列图模型的deep Web新数据发现策略鲜学丰1,2,3，崔志明1,2，赵朋朋2，方立刚1,3，杨元峰1,3，顾才东1,3（1. 江苏省现代企业信息化应用支撑软件工程技术研发中心，江苏苏州215104； 2. 苏州大学智能信息处理及应用研究所，江苏苏州215006；3. 苏州市职业大学计算机工程学院，江苏苏州 215104）针对数据源新产生数据记录的增量爬取问题，提出了一种deep Web新数据发现策略，该策略采用一种新的属性值序列图模型表
通信学报 2016年3期2016-07-18
- 基于缺失值的海南旅游总收入的季节A RIM A模型及预测
弥补缺失值前的序列图Fig.1 Graph of time series without imputation for missing values图2 弥补缺失值后的序列图Fig.2 Graph of time series with imputation for missing values图3 弥补前的序列图Fig.3 Graph of time series without imputation for missing values图4 弥补后的序
海南师范大学学报（自然科学版） 2014年1期2014-10-12
- 基于软件工程的UML建模探讨
种事物。(3)序列图。此图主要是把具体用例详细流程给显示出来。序列图属于自描述的,并且会把流程当中各种对象间的调用关系显示出来,与此同时,还能够把不同对象之间的不同调用详细显示出来。序列图有着较为简单的绘制方式。横跨图顶部,每个框把每个类对象表示出来。类实例的名称以及类名称间在框中的分隔通过空格/冒号/空格进行,比如,my Report Generator：Report Gen Era tor。若一个类实例发送一条消息到另一类实例中,则会把有着指向接受类实
中国科技纵横 2014年8期2014-07-09
- 民用飞机生产过程环境保护管理系统的设计
UML 模型序列图设计本文采用统一化建模语言UML 描述了各类业务操作的活动序列图[6]。为了实现一个系统的业务传递需求，序列图可以显示不同的业务对象。系统功能模块中共同设计到的模型序列图包括： 系统登录序列图、企业环境管理系统查询序列图、企业环境管理系统添加序列图和企业环境管理系统删除序列图等。企业环境管理信息删除功能模块，其主要的流程为环境管理信息的删除，以及环境信息出库的功能操作，组成了环境信息删除的基本操作。以环境管理信息删除过程的序列图为例，其
机电产品开发与创新 2014年5期2014-01-21
- 安全协议可视化建模和验证方法的分析与设计①
2)安全协议的序列图序列图的建立方法是把发起者排放在图的最左边，而其它响应者按交互的先后顺序排放在发起者的右边，主体对象按照安全协议中消息的先后次序进行交互.当执行一个用例行为时，序列图中每条消息对应一个类操作或状态机中引起转换的触发事件.如图2图2 Needham－Schroeder协议序列图(3)安全协议的状态图状态图体现了一个状态机，它由状态、事件、转换和活动组成.因为状态图能够完整地描述一个主体的动态行为，所以对UML模型进行检测的主要对象是状态图
佳木斯大学学报（自然科学版） 2013年5期2013-09-27
- 聚乙烯装置脱气仓压力的优化
机入口压力时间序列图Fig.1 Compressor inlet pressure time series graph before optimize如图1所示，由于过调严重最低点低于设定值6 kPa约2 kPa，容易达到连锁停车值。需要通过控制回路整定，减小压缩机入口压力波动，尤其是要消除过调。2.1.2 控制回路整定和设定值调整控制回路整定后，过调消除了。在此基础上又调整了设定值，如图2。图2 压缩机入口压力时间序列图优化前后对比Fig.2 Compr
当代化工 2013年6期2013-05-15
- 一类二维差分方程中的混沌现象
指数图、时间序列图和相图分析该方程由周期运动到混沌运动的变化过程，研究该方程的混沌现象。1 二维差分方程——宿主-寄生物模型生态系统中对于单种群模型已有不少研究，而对种间相互作用的种群模型的研究主要集中在含有两个变量的时间连续的相互作用的Lotka-Volterra种群模型，但Nicholson与Bailey认为Lotka-Volterra种群模型没有考虑种内竞争效应，不适用于离散世代物种，于是建立了以宿主-寄生蜂系统为对象的Nicholson- Bai
湖北师范大学学报(自然科学版) 2012年4期2012-11-15
- 两种群动力学模型的Matlab仿真
要有三种:时间序列图、斜率场图、相平面轨迹图［5－7］，时间序列图能够直观反映种群随着时间演化的趋势，例如持续生存性、绝灭性和周期性.斜率场图和相平面轨迹图都属于相平面图形，尤其适合反映种群的相关变化趋势.斜率场图的最大优势在于从整体反映斜率场的分布，且不必求解微分方程.相平面轨迹图的最大优势在于对应不同初值条件反映轨线的走向，有助于分析系统的稳定性.综合运用以上三种数值仿真手段，可以进一步揭示两种群动力学模型更为复杂的渐近行为.1 两种群动力学模型的Ma
湖北民族大学学报(自然科学版) 2012年4期2012-10-09
- GNSS周跳探测与修复方法研究＊
跳检测量的历元序列图。图1 周跳检测量历元序列图图2、图3分别是L1码、L2码发生周跳的历元序列图。由图2、3可以很清楚的看到，L1和L2发生周跳的位置和大小，探测的结果和一开始加入的周跳值完全吻合。所以，利用相位减去伪距的方法不仅能探测出几十周的大周跳，而且能探测出1周的小周跳，探测的效果很好，并且方法简单，编程容易理解，具有很高的实用性。图2 L1码有周跳图表1 L1修复后的载波相位值与未加入周跳的载波相位值的比较图3 L2码有周跳图表2 L2修复后的
全球定位系统 2012年6期2012-08-29
- 几何矩在行为分析中的应用*
体模型，用模型序列图来表示行为动作序列图以探索各种行为在二维图像上所反映的特有规律性和区别。论文仅考虑单个人的情况，以正常行走，横跳和跑为例，且仅考虑二维图像上的行为分析，对于主要由伸缩信息所构成的在二维图像上几乎没有变化的行为暂不考虑。实验流程图如图1所示。图1 实验流程图所列举的行为对比分析中，平均速度完全可以替代实时速度来说明在速度上的区别，且不用每帧都计算还能提高计算速度，因此初级阶段的行为分析中采取计算平均速度。设定从左到右运动为速度(像素/秒)
微处理机 2012年1期2012-07-25
- 一类分数阶混沌金融系统的复杂性演化研究*
图、相图和时间序列图对该系统的复杂性演化行为进行仿真研究.经济物理学，分数阶微分方程，金融模型，混沌PACS:89.65.Gh，05.45.－ a，02.30.Oz1.引 言El Farol Bar问题［1］与少数者博弈模型［2］的提出以及一些物理学的重要理论与方法在经济金融研究中的应用［3—7］具有划时代的学术意义，已经形成了一股强大的聚合力，对经济物理学学科的建立与推动产生了积极、有益的作用，其深远影响将随着时日变化、社会进步而愈见显著.分数阶微积分算
物理学报 2011年4期2011-10-25
- 基于UML的炮兵网上对抗导演系统建模
图，可首先建立序列图(Sequence Diagram)，序列图描述的是用例的实现流程，表示对象之间传送消息的序列。通过时序图可以考察用例的功能是否能实现，以及如何实现。一个单独的序列图只能描述一个控制流，一般来说，一个完整的控制流肯定是复杂的，我们可以构建多个序列图。下面，以训练质量评估用例为例建立序列图，如图3所示。图3 训练评估用例序列图协作图(Collaboration Diagram)和序列图都是用来对系统的行为进行建模的，但是协作图着重于对系统
指挥控制与仿真 2011年2期2011-04-24
- 分数阶双卷混沌系统的复杂性演化仿真研究
所示，x的时间序列图如图5所示，结合分岔图2～4，可以发现该系统变化比较剧烈，正处于混沌状态.若我们取a=1.17，系统(2)的相图如图7所示，x的时间序列图如图8所示，结合分岔图2～4，可以发现该系统在a=1.17时处于拟周期性运动变化状态.若我们取a=1.7，系统(2)的相图如图9所示，x的时程图如图10所示，结合分岔图2～4，可以说明当a=1.7时该系统趋向于渐近稳定均衡状态.图5a=0.9时系统(2)的相图 图6a=0.9时系统(2)中x的时间序6
陕西科技大学学报 2011年2期2011-02-20
- 稳健统计技术和图示技术在分析评定白酒总酯检测能力的应用
析，并结合Z值序列图和Youden图[2]图示的方法，分析指出实验室存在的误差种类及产生根源，以提高实验室质量控制和检验水平。1 实验器具与材料碱式滴定管。市售白酒；NaOH标准溶液；H2SO4标准溶液；酚酞指示剂（1g·L-1）。2 稳定性试验、均匀性实验取市售同种香型但经预先测试总酯含量不一致的白酒足量，依据《CNAS-GL03能力验证样品均匀性和稳定性评价指南》[3]进行样品的制备、编号（编成A、B样）、封装、均匀性和稳定性试验，以GB/T10345
化学工程师 2010年1期2010-02-08
- 用于反应堆动态概率风险评价的事件序列图研究
风险评价的事件序列图研究文 华1刘红宇1谢海燕21中国人民解放军91630部队，广东广州5107152海军工程大学船舶与动力学院，湖北武汉430033动态概率风险评价的研究方法理论性强、技术难度高、掌握运用困难，从而限制了其实际应用。在Cassini任务PRA的基础上，对事件序列图方法进行拓展和完善，采用事件序列图方法进行反应堆动态概率风险评价，研究反应堆事故中动态因素对系统和事故发展进程及其后果的影响。通过对反应堆冷却剂系统失流事故的分析，阐述事件序列图
中国舰船研究 2009年1期2009-04-08