期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
反应式系统面向性质测试的方法框架
1
作者 李书浩 王戟 +1 位作者 董威 齐治昌 《电子学报》 EI CAS CSCD 北大核心 2004年第F12期222-225,共4页
提出了一种反应式系统选择性测试方法.该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的测试工具.实验表明,该方法可以将测试资源集中于用户关注的系统行... 提出了一种反应式系统选择性测试方法.该方法根据描述待测系统的UMLStatecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列.据此实现了一个面向性质的测试工具.实验表明,该方法可以将测试资源集中于用户关注的系统行为.经扩展后,该方法可用于实时系统. 展开更多
关键词 软件测试 反应式系统 UML STATECHARTS 时序逻辑
在线阅读 下载PDF
采用CCSL仿真与分析反应式系统事件链模型
2
作者 潘诚 黄志球 +1 位作者 王珊珊 王梓 《小型微型计算机系统》 CSCD 北大核心 2017年第8期1718-1723,共6页
目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的... 目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的规范语言.采用CCSL时钟模型对事件链模型中的时间约束进行分析与仿真;设计了事件链模型到时钟模型的转换规则,将事件链中的时间约束表达为时钟模型的时间约束;使用CCSL仿真工具Time Square对转换得到的时钟模型进行仿真分析,验证事件链是否满足相应的时间约束. 展开更多
关键词 反应式系统 事件链 时间约束 CCSL
在线阅读 下载PDF
基于间歇浸没式生物反应器的荔浦芋组培快繁体系优化 被引量:4
3
作者 董伟清 何芳练 +6 位作者 江文 高美萍 杨柳 李小泉 蒋慧萍 黄诗宇 韦绍龙 《南方农业学报》 CAS CSCD 北大核心 2018年第6期1164-1170,共7页
【目的】优化基于间歇浸没式生物反应器系统(TIBs)的荔浦芋组培快繁体系,为荔浦芋脱毒组培苗的工厂化、自动化生产提供技术支持。【方法】以荔浦芋新品种桂芋2号茎尖分生组织脱毒诱导获得的不定芽为外植体,利用TIBs培养系统筛选出适合... 【目的】优化基于间歇浸没式生物反应器系统(TIBs)的荔浦芋组培快繁体系,为荔浦芋脱毒组培苗的工厂化、自动化生产提供技术支持。【方法】以荔浦芋新品种桂芋2号茎尖分生组织脱毒诱导获得的不定芽为外植体,利用TIBs培养系统筛选出适合组培苗增殖及生根的最佳激素组合,并分析不同继代材料、接种密度及浸没间歇频率对组培苗增殖和生根效果的影响。【结果】利用TIBs培养系统可有效提高荔浦芋组培苗的增殖效果,增殖倍数达28.96倍,约是传统固体培养方法(2.87倍)的10倍,且组培苗的株高和生根数均极显著高于传统固体培养植株(P<0.01)。在TIBs培养系统中,含4.00 mg/L 6-苄氨基嘌呤(6-BA)+0.05 mg/L萘乙酸(NAA)的培养基最适合荔浦芋组培苗增殖和生长,其组培苗增殖倍数为32.04倍。当接种材料为第4代荔浦芋继代材料、接种密度为10株/L、浸没间歇频率为5 min/6 h时,最有利于组培苗增殖和生长,增殖倍数均在30.00倍以上,可缩短萌芽时间,组培苗长势良好,且培养基污染率为0。【结论】利用TIBs培养系统对荔浦芋继代材料进行高效快繁具有可行性,可为实现及推动荔浦芋健康种苗繁育的工厂化生产提供技术支持。 展开更多
关键词 荔浦芋 组培快繁 间歇浸没生物反应系统(TIBs) 体系优化
在线阅读 下载PDF
连续搅拌反应釜系统的自抗扰控制 被引量:11
4
作者 杨慧中 苏思贤 《控制工程》 CSCD 北大核心 2011年第3期369-372,457,共5页
针对连续搅拌反应釜系统(CSTR)大滞后,大惯性以及动态特性随工况不确定性变化的特点,通过设计参数可调的跟踪微分器和扩张状态观测器,改进经典PID算法的固有缺陷,提出不依赖于精确CSTR模型的离散自抗扰控制方案.采用西门子新一代工业可... 针对连续搅拌反应釜系统(CSTR)大滞后,大惯性以及动态特性随工况不确定性变化的特点,通过设计参数可调的跟踪微分器和扩张状态观测器,改进经典PID算法的固有缺陷,提出不依赖于精确CSTR模型的离散自抗扰控制方案.采用西门子新一代工业可编程控制器-SIMATIC PCS7在多功能过程与控制系统的CSTR实验仿真对象上实现了温度的稳定控制.试验结果表明,用ADRC技术建立的连续搅拌反应釜控制系统对被控对象模型的不确定性和外部扰动变化具有较强的适应性和鲁棒性,动态性能良好. 展开更多
关键词 连续搅拌釜反应系统 多功能过程与控制系统 自抗扰控制 SIMATIC PCS7
在线阅读 下载PDF
利用间歇浸没式生物反应器进行甘蔗脱毒苗快繁研究 被引量:15
5
作者 刘丽敏 谭裕模 +6 位作者 李松 唐红琴 刘红坚 余坤兴 淡明 李翔 戴友铭 《西南农业学报》 CSCD 北大核心 2009年第4期1038-1041,共4页
利用新型间歇浸没式生物反应系统(TIBs)在培养基配方、接种数量、蔗糖浓度及品种差异等方面对甘蔗脱毒组培苗快繁进行研究。结果表明:①PP333及6-BA+PP333均能促进组培苗分化,增殖率较高且生长整齐,可进入下一阶段培养;②GA3浓度为1.0mg... 利用新型间歇浸没式生物反应系统(TIBs)在培养基配方、接种数量、蔗糖浓度及品种差异等方面对甘蔗脱毒组培苗快繁进行研究。结果表明:①PP333及6-BA+PP333均能促进组培苗分化,增殖率较高且生长整齐,可进入下一阶段培养;②GA3浓度为1.0mg·L-1伸长培养效果最好,平均苗高9.87cm;③每升培养液接种量为20株时的增殖率最高;④培养基蔗糖浓度以20g·L-1较为适宜。利用该系统对ROC16和ROC22两个甘蔗品种的脱毒苗经过3个阶段的培养,ROC16增殖率达40倍,每瓶得苗800株苗左右;ROC22增殖率为30倍,每瓶苗的数量达600株。 展开更多
关键词 甘蔗 间歇浸没生物反应系统(TIBs) 脱毒苗 组培快繁 培养基
在线阅读 下载PDF
有限状态机的一种实现框架 被引量:41
6
作者 徐小良 汪乐宇 周泓 《工程设计学报》 CSCD 2003年第5期251-255,共5页
有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入,使FSM的表达能力更强,但是其实现往往存在复用性差,维护困难等问题.传统的FSM实现模式,如结构化方法和State模式,由于软件结构简单,与状态图不... 有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入,使FSM的表达能力更强,但是其实现往往存在复用性差,维护困难等问题.传统的FSM实现模式,如结构化方法和State模式,由于软件结构简单,与状态图不能有效匹配,难以解决这些问题.通过引入良好的数据结构和事件触发机制,提出了一种面向对象的高度结构化的FSM实现框架,并给出了事件触发转换的调度算法.新框架清晰地表达了FSM中的所有主要元素及它们之间的关系,并将行为部分与结构部分相分离,不仅改善了软件的灵活性和重用性,而且提高了系统的健壮性与可维护性. 展开更多
关键词 有限状态机 反应式系统 实现框架 状态模
在线阅读 下载PDF
一种基于监控理论的软件设计方法:状态性质变换方法 被引量:2
7
作者 王向云 张文辉 +2 位作者 王鹏 李永超 蔡开元 《控制理论与应用》 EI CAS CSCD 北大核心 2007年第2期187-192,199,共7页
基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先... 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。 展开更多
关键词 反应式系统 软件设计 离散事件动态系统 监控理论 软件控制论
在线阅读 下载PDF
SIGNAL模型多线程代码生成研究 被引量:1
8
作者 阚双龙 黄志球 杨志斌 《计算机科学与探索》 CSCD 北大核心 2018年第4期536-549,共14页
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码... 反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码自动生成。面向多时钟同步语言SIGNAL,提出了一种SIGNAL模型到多线程Java代码生成过程。该代码生成过程基于以下3种中间结构:同步时钟卫式操作、卫式操作和带划分的卫式操作。将整个代码生成过程分为4个主要转化步骤,给出每一步转化规则。最后对空客A340的警报系统进行实例分析,评估生成代码的正确性。多线程Java代码生成可以为SIGNAL模型在分布式和多核体系下的应用提供支撑。 展开更多
关键词 反应式系统 同步语言 SIGNAL 代码生成 操作
在线阅读 下载PDF
QRDChecker:一个QRDC模型检验工具
9
作者 裴玉 徐启文 +1 位作者 李宣东 郑国梁 《软件学报》 EI CSCD 北大核心 2005年第3期355-364,共10页
反应式系统通常是不终止的,其行为定义为系统状态的无限序列的集合.形式化验证时,检验需求一般使用时序逻辑给出.当使用诸如 LTL(linear temporal logic)这样的逻辑时,由于这类逻辑的模型同样是无限序列,系统与需求之间的满足性关系可... 反应式系统通常是不终止的,其行为定义为系统状态的无限序列的集合.形式化验证时,检验需求一般使用时序逻辑给出.当使用诸如 LTL(linear temporal logic)这样的逻辑时,由于这类逻辑的模型同样是无限序列,系统与需求之间的满足性关系可以简单定义为集合的包含关系.但是,当使用时段时序逻辑(interval temporallogic)作为说明逻辑时,由于逻辑模型的有限性,使得上面的满足关系不再适用.称这类有限序列集合表达的性质为有限性性质.对于不同的有限性性质,它们对应的满足性关系是有区别的.针对两类有限性定义了它们各自的满足性关系,并将这两种关系统一为一个更一般的满足性关系.在此基础上,提出模型检验这两类性质的算法,并将 其 实 现 为 一 个 针 对 时 段 时 序 逻 辑 QRDC(quantified RDC (restricted duration calculus))的 检验工具QRDChecker.QRDChecker 可以检验 QRDC 公式在连续时间模型和离散时间模型下的有效性.在离散时间条件下,它还可以将 QRDC 公式转换成模型检验系统 Spin 能够接受的自动机的形式,从而可以检查反应式系统是否满足用 QRDC 公式表达的性质. 展开更多
关键词 模型检验 有限性性质 反应式系统 时段时序逻辑
在线阅读 下载PDF
程序时序属性的自动测试
10
作者 马晓东 董威 +1 位作者 王戟 齐治昌 《计算机科学》 CSCD 北大核心 2004年第6期132-134,179,共4页
测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线... 测试预言是一种用来检测被测系统的测试执行是否正确的方法。文中,作者设计并实现了一种根据程序的线性时序逻辑(LTL)的性质产生测试预言的方法。首先,作者将一线性时序逻辑公式转换为一个有限状态自动机,然后,管理源代码,以便抽取与线性时序逻辑性质有关的状态序列。最后,用该信息来模拟状态自动机,并决定程序执行是否满足线性时序逻辑的性质。 展开更多
关键词 测试预言 线性时序逻辑 FSA LTL 状态自动机 反应式系统
在线阅读 下载PDF
SCADE软件开发方法研究 被引量:13
11
作者 胡钢伟 李振水 高亚奎 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期286-288,共3页
研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件三种建模方式:数据流图方式、平面状态机和安全状态机。
关键词 SCADE 反应式系统 同步假设 数据流图 平面状态机 安全状态机
在线阅读 下载PDF
Temperature fault-tolerant control system of CSTR with coil and jacket heat exchanger based on dual control and fault diagnosis 被引量:1
12
作者 WANG Zai-ying WANG Guo-xin 《Journal of Central South University》 SCIE EI CAS CSCD 2017年第3期655-664,共10页
For the characteristics of the continuous stirred-tank reactor(CSTR) with coil and jacket cooling system,a CSTR temperature dual control solution based on the analysis of the CSTR exothermic reaction control character... For the characteristics of the continuous stirred-tank reactor(CSTR) with coil and jacket cooling system,a CSTR temperature dual control solution based on the analysis of the CSTR exothermic reaction control characteristic was proposed for an organic material polymerization production.The control solution has passive fault-tolerant ability for the jacket cooling water cutting off fault and active fault-tolerant potential for the coil cooling water cutting off fault,and it has good control ability,high saving energy and reducing consumption performance.Fault detection and diagnosis and fault-tolerant control strategy are designed for the coil cooling fault to achieve the active fault-tolerant control function.The CSTR temperature dual control,process fault detection and diagnosis and active fault-tolerant control were full integrated into the CSTR temperature fault-tolerant control system,which achieve fault tolerance control of CSTR temperature for any severe malfunction of jacket cooling or coil cooling cutting off,and the security for CSTR exothermic reaction is improved.Finally,the effectiveness of this system was validated by semi-physical simulation experiment. 展开更多
关键词 continuous stirred-tank reactor (CSTR) exothermic reaction dual control process fault diagnosis fault-tolerant control
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部