服务流程动态分割执行中时序一致性的实时验证

服务流程的动态分割执行目前已经成为国内外研究的热点,但是已有研究工作普遍没有考虑时序约束下分割执行的时序一致性验证。针对服务流程的这种实际需求,提出了一种动态分割执行的时序一致性实时验证方法。在服务流程动态分割时,通过约束映射将时序约束细化到分片中,并随着分片发布到执行站点。在执行时,执行站点可以基于分片执行信息,实时分析其约束映射的满足情况,从而实现服务流程的时序一致性分析验证。该方法有效减少了时序异常的处理开销,提高了执行站点的自治性;另外,它对分布结构没有限制,能够应用于各种动态分割执行方式。

放射治疗实时验证与影像处理系统

本文简要介绍了一种放射治疗实时验证与影像处理系统的设计。此系统通过多媒体视频卡动、静态采集放射治疗数字影像 ,实现图文资料的采集、编辑、显示、存储、匹配、打印及网络传输等一系列功能。该系统对患者治疗前及治疗过程中的位置进行验证 ,通过对照射野影像与模拟定位片或治疗计划系统产生的数字重建影像进行匹配 ,验证患者摆位照射野的几何精度。

基于ARMA的航空发动机传感器故障诊断及实时验证

提出一种基于时间序列分析的航空发动机传感器故障诊断方法,通过正常数据离线训练得到ARMA模型,然后在线进行实时故障诊断,可以诊断出航空发动机传感器可能发生的故障。为了验证故障诊断算法的实时性,搭建了基于工控机、故障诊断器和上位机的硬件在环仿真平台,采用自动生成的代码与嵌入式手写代码相结合的方式,将算法下载至基于FPGA+DSP的故障诊断器中进行验证。结果表明,数字仿真条件下ARMA故障诊断算法可以准确地诊断出传感器偏置故障。搭建的硬件在环仿真平台可以实现对算法的实时性验证,加入XNLPC传感器偏置故障,ARMA算法在故障诊断器中的运行时间为1.33 ms,具有工程应用价值。

二维半导体面阵列实时剂量验证系统的研制及应用

调强放疗(IMRT)是放疗技术的发展方向。为实现精确放疗的目标和严格的射线质量控制,以及技术安全保证,自主研发的二维半导体面阵列剂量实时验证测量系统,(TQ-2000B剂量分布图检测仪)该系统由445个半导体探测器按面阵列栅格精确排列,主要用于放疗射线质量控制:加速器QAI、MRT的TPS实时验证。通过实测的等剂量图、剂量值与相同条件下TPS计算的结果以及剂量胶片测量的结果进行比较,从而实现对调强放疗TPS实时验证。同时还介绍了它在加速器QA方面部分项目的测试应用。二维半导体面阵列剂量实时验证测量系统的研制成功,填补了国内空白,其主要技术指标和性能达到了国外同类产品的先进水平。

IEC61850智能电子设备交互实时性建模与验证

IEC 61850智能电子设备(IED)的交互实时性是分布式功能成功实施的关键。为解决现有形式化方法对实时性建模复杂及验证困难的问题,提出了基于时间行为树的实时交互过程建模及验证方法。首先,将实时系统模型和通信顺序进程中的通信通道模型引入行为树,构造了新的时间行为树模型;然后,采用时间行为树以变电站定时过流保护IED交互过程为例进行了建模;最后,采用过程分析工具对所建模型进行了实时性验证分析与时间计算。实验结果表明,所述方法能完成IED交互过程的实时性建模与时间计算,能发现交互过程中存在的实时性缺陷。

基于时间自动机网的C^3I系统建模和实时性验证

针对目前缺乏描述和分析C3I系统的理论基础,提出了基于时间自动机理论的C3I系统的数学模型.建立了C3I系统中各个子系统的时间自动机模型,子系统之间通过通道进行通讯,通过时间自动机网把C3I系统构建为多个并行的时间自动机的网络模型.提出基于计算树逻辑CTL的C3I系统的实时性表达方法,详细描述使用模型检测工具Uppaal对C3I系统建模和所建模型的实时性验证的方法.实验结果证明,基于时间自动机的C3I系统的建模与模型检测方法是有效的,为C3I系统行为的分析、验证提供理论基础.与经典算法相比,该方法提高了对C3I系统建模和分析的效率.

基于IF的实时系统验证

IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统实例进行了验证。

网络系统实时性模型的验证方法综述

互联网技术的发展和应用在各个生产领域中发挥着越来越积极的作用,但随着网络技术应用的深入,网络系统的实时性成为影响网络安全的一大因素,因此对网络模型的通信实时性、威胁分析实时性的验证成为网络安全的重要保障。目前,国内外在实时性验证方面有诸多研究,形成了不同的方法体系。文章把主要的模型实时性验证方法,从理论和工具角度加以介绍分析,并对各个方法进行了比较。

基于时间自动机的AADL端到端流规约验证方法

体系结构分析及设计语言(AADL)作为一种标准且直观的实时系统分析与设计工具,可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而,AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果,尤其是对于资源动态分配的实时系统。为解决结果不精确的问题,可结合基于系统有穷状态空间遍历的模型检验方法。首先,将实时系统AADL模型转换为时间自动机(TA)模型,以TA为理论体系进行模型检验。其次,基于反应链的需求分类定义端到端延迟需求表达模式。最后,给出对应需求模式的观察者模型,与系统模型并行组合,优化模型验证的时空资源消耗。

企业动态网站应用程序开发——输入数据实时校验函数及使用方法(Javascript篇)

对实时表单数据验证方法———Javascript实时校验函数的编写及使用方法进行了详细综述。与传统表单验证相比,Javascript实时校验函数突出了数据实时验证理念,使用更安全、更高效。

放射治疗射野实时监测计算机处理系统的设计与实现

本文介绍了一种放射治疗射野实时验证计算机处理系统的设计与实现。此系统通过多媒体视频卡动、静态采集放射治疗数字影像 ,实现射野图像采集、处理 ,完成对患者治疗前及治疗过程中的位置进行模式识别 。

EPID对鼻咽癌IMRT随机摆位误差的监测

目的研究电子射野影像装置在鼻咽癌调强放射治疗(IMRT)过程中进行随机摆位误差监测的可行性。方法2006年3月～2007年12月随机抽取鼻咽癌IMRT患者96例,应用EPID在放疗过程中每周拍摄正侧位一次,共拍摄1016张。放疗前先采集CT定位后治疗计划系统中的数字重建射野图像片为参考图像,与治疗过程中实时采集的验证图像配准,测量随机摆位误差。结果在左右、头脚、腹背方向的摆位误差分别是(1.34±1.30)mm,(1.35±1.38)mm,(1.44±1.20)mm。结论EPID的应用可以及时发现放疗随机摆位误差,针对性提高技术员摆位的准确性,是质量控制和质量保证的有力工具。

安全验证导向的漏洞管理方案分析

为了衡量漏洞管理的成效,漏洞管理产品需要具备一种机制,能够实时验证被防护系统的安全状态,管控过程的进展,并将此进展与漏洞管理活动进行反馈、互动和闭环。安全验证导向的漏洞管理关键在于提出可量化、可呈现的管理效能指标体系,以及基于此指标的采集验证流程、评价分析模型和处置驱动机制等,使得漏洞管理能够按偏离负反馈方式持续导向系统自动化运行和人员运营,并最终达到用户事先定义的漏洞管理基线水平。

基于FPGA系统易测试性的研究

FPGA在工程中应用越来越普遍,随着FPGA的设计速度提高、尺寸减小和复杂度增加,使得整个设计流程中的实时验证和调试成为当前FPGA系统的关键问题。本文重点介绍了在调试FPGA系统时遇到的问题,以及有助于提高调试效率的方法。

FPGA系统测试方法

现场可编程门阵列(Field programmable gate array,FPGA)在工程中应用越来越普遍,随着FPGA的设计速度提高、尺寸减小和复杂度增加,使得整个设计流程中的实时验证和调试成为当前FPGA系统的关键问题。文章重点介绍在调试FPGA系统时遇到的问题,以及有助于提高调试效率的方法。

电动汽车直接横摆力矩与驱动防滑集成控制策略研究

针对四轮独立驱动电动汽车驱动工况下的横摆稳定性控制,提出一种直接横摆力矩(DYC)与驱动防滑(ASR)集成控制策略,基于模糊PID控制理论,采用前馈加反馈方法,分别对总纵向力矩和单个车轮力矩进行修正,实现驱动防滑,基于最优控制理论对驱动力矩进行分配,采用PID控制理论结合转向状态对制动力矩进行分配。仿真结果表明,本文提出的控制策略可将滑转率偏差控制在0.02以内,与载荷分配相比,横摆角速度和质心侧偏角控制效果分别提高了80%和50%。

利用EPID图像金球位置自动跟踪算法研究

目的:建立一种全新的算法,并利用EPID(Electronic Portal Imaging Device)图像实时读取预埋于体内金球的投影位置,自动重建金球在体内的投影位置坐标。方法:利用所编算法和Matlab软件进行EPID图像读取和处理金球投影位置并自动重建金球在体内的位置坐标。即取通过图像处理和圆曲率识别各自获得的金球投影位置坐标集合的交集为真实的2D坐标,并依此反推到病人体内获得金球位于靶区当中真实的3D重建坐标。结果:本研究共进行了三组实验,每组为两个交角拍摄的EPID片。每组所有EPID片上的金球投影位置探测成功率分别为94.44%,93.75%,94.44%。算法重建的和利用CT扫描在TPS中重建的金球位置的三维坐标最大偏差为2.2 mm,最小偏差为0.1 mm。该算法于所使用的PC上完成一组(两张交角EPID图像)图像处理和重建的运行时间<1s。结论:对于多组相交角度拍摄的含金球投影位置的EPID图像,所编算法金球探测成功率比较高,平均为94%,算法重建出的靶区周围金球三维坐标同CT扫描重建出的坐标相比较,偏差在可以接受的范围内。但是该程序参数调节较复杂,而且EPID板接缝处剂量会影响探测成功率,还需要进一步开发自动参数计算程序和消除EPID板接缝处剂量影响。

关于PLC与上位机数据通信的研究

采用PC机作为上位机进行开发时,需要与下位机PLC进行大量的数据通讯。本文基于VB编写上位机程序,与OMRON公司的PLC进行数据通讯,对通讯过程进行阐述,对数据的上传、下载进行了验证,并且对数据的波特率进行分析,证明该通讯对实时性的要求。

张北柔性直流电网示范工程控制系统架构及协调控制策略研究

张北柔性直流电网示范工程(简称张北工程)将建成世界上首个柔性输电直流电网。不同于以往的多端直流工程,张北工程采用直流断路器对线路故障进行隔离。四端口字型网架结构为潮流提供迂回和备用通道,极大地提高了工程运行的灵活性和可靠性,形成了真正意义上的直流电网。根据张北工程各个换流站所连接交流系统的特点,研究并提出了针对该工程的控制系统架构和协调控制的相关功能,以及有无站间通信方式下具体的控制策略。通过闭环RTDS实时仿真验证了该策略的可行性和合理性。

基于软件无线电的可见光通信系统设计与实现

随着无线接入带宽需求的不断增长以及发光二极管的普及,可见光通信技术得到迅速发展,已成为研究热点。新的可见光通信技术在应用前通常需要进行系统性验证,然而一个新的硬件系统的设计搭建过程往往耗时长、成本高。随着技术的快速迭代,开发人员需要减少开发的时间和设计周期。文中基于软件无线电设备和GNU Radio软件平台,设计一种室内可见光通信系统。该系统具有成本低、搭建简单、设计灵活的特点,可对理论分析结果进行实时性验证。在该系统的验证过程中,搭建一个基于正交频分复用技术的可见光通信系统,通过可见光LOS链路完成对720P视频的实时有效传输。结果表明,该系统平均传输速率达到1745 Kb/s,在接收端可以清晰流畅地播放视频数据,说明通过软件无线电设备搭建可见光通信系统具有可行性和有效性。