期刊文献+
共找到76篇文章
< 1 2 4 >
每页显示 20 50 100
一种血压反馈控制系统的状态分析方法 被引量:5
1
作者 毛连根 朱朝阳 +1 位作者 包家立 汪蔷 《中国生物医学工程学报》 CAS CSCD 北大核心 2010年第2期259-264,269,共7页
通常在判断血压状态时,先划一个界限,然后将实际血压与这个界限作比较,以此来判断血压状态。这样的判断强调了血压的现值,而没有将血压变化率的信息展现出来。提出血压状态分析法,包括血压状态图和血压稳定性。以家兔为对象、去甲肾上... 通常在判断血压状态时,先划一个界限,然后将实际血压与这个界限作比较,以此来判断血压状态。这样的判断强调了血压的现值,而没有将血压变化率的信息展现出来。提出血压状态分析法,包括血压状态图和血压稳定性。以家兔为对象、去甲肾上腺素为扰动剂,采集动物在给药前血压平稳期、药物起效期、快速上升期、剧烈振荡期、血压恢复期和给药后血压平稳期的血压数据,建立血压反馈控制系统数学模型结构和血压状态图。根据采集的血压数据,分析血压状态图中血压的稳定态和稳定域、血压变化率的稳定域。通过动物实验,对这种血压状态分析法进行检验,为进一步研究血压控制技术提供新理论和新方法。 展开更多
关键词 血压 反馈控制系统 状态图 稳定性
下载PDF
外扰作用下细胞内稳态鲁棒性实验研究 被引量:2
2
作者 杨国平 应磊 +1 位作者 包家立 朱朝阳 《中国生物医学工程学报》 CAS CSCD 北大核心 2011年第3期363-369,共7页
内稳态是一种重要的生理现象,是生物反应动态平衡的结果。以内皮细胞为对象,用H2O2作为外源扰动剂,建立一种外扰作用下细胞内钙稳态鲁棒性的分析方法,包括以控制理论Lyapunov及鲁棒性理论为基础的扰动前稳态点和稳定域、扰动后状态转移... 内稳态是一种重要的生理现象,是生物反应动态平衡的结果。以内皮细胞为对象,用H2O2作为外源扰动剂,建立一种外扰作用下细胞内钙稳态鲁棒性的分析方法,包括以控制理论Lyapunov及鲁棒性理论为基础的扰动前稳态点和稳定域、扰动后状态转移和稳定鲁棒域。通过对照和1、10、305、0、100μmol/L 5种不同剂量H2O2扰动人脐静脉内皮细胞实验,获得6组48个细胞(每组8个细胞)内钙浓度数据,分析细胞内钙稳态和扰动剂稳定鲁棒域。结果表明:(1)受扰动前,细胞内钙稳态点从0.709到8.189不等,表现出明显的个体差异;稳定域半径r从0.654到2.650不等,表明细胞稳定性较好,可以排除后续扰动实验中细胞不稳定对结果的影响。(2)受扰动后,细胞内钙初态对细胞受扰后内钙状态转移影响不大。(3)H2O2为1μmol/L时可使4个细胞发生渐进稳定,为10μmol/L时可使2个细胞渐近稳定,为30μmol/L时可使1个细胞渐近稳定,说明稳定鲁棒域与细胞个体有关;该内皮细胞种族的内钙稳态鲁棒域至少在50μmol/L以内。结论表明:利用控制理论方法设计生物鲁棒性实验,并实现细胞内钙稳态定量化分析,是一种有效的方法。 展开更多
关键词 生物鲁棒性 内稳态 鲁棒域 稳定性 状态图
下载PDF
Test Case Generation from UML-Diagrams Using Genetic Algorithm 被引量:2
3
作者 Rajesh Kumar Sahoo Morched Derbali +3 位作者 Houssem Jerbi Doan Van Thang P.Pavan Kumar Sipra Sahoo 《Computers, Materials & Continua》 SCIE EI 2021年第5期2321-2336,共16页
Software testing has been attracting a lot of attention for effective software development.In model driven approach,Unified Modelling Language(UML)is a conceptual modelling approach for obligations and other features ... Software testing has been attracting a lot of attention for effective software development.In model driven approach,Unified Modelling Language(UML)is a conceptual modelling approach for obligations and other features of the system in a model-driven methodology.Specialized tools interpret these models into other software artifacts such as code,test data and documentation.The generation of test cases permits the appropriate test data to be determined that have the aptitude to ascertain the requirements.This paper focuses on optimizing the test data obtained from UML activity and state chart diagrams by using Basic Genetic Algorithm(BGA).For generating the test cases,both diagrams were converted into their corresponding intermediate graphical forms namely,Activity Diagram Graph(ADG)and State Chart Diagram Graph(SCDG).Then both graphs will be combined to form a single graph called,Activity State Chart Diagram Graph(ASCDG).Both graphs were then joined to create a single graph known as the Activity State Chart Diagram Graph(ASCDG).Next,the ASCDG will be optimized using BGA to generate the test data.A case study involving a withdrawal from the automated teller machine(ATM)of a bank was employed to demonstrate the approach.The approach successfully identified defects in various ATM functions such as messaging and operation. 展开更多
关键词 Genetic algorithm generation of test data and optimization state-chart diagram activity diagram model-driven approach
下载PDF
基于rCOS的UML状态图语义研究 被引量:1
4
作者 张晓蒙 戎玫 张广泉 《计算机工程》 CAS CSCD 北大核心 2009年第2期21-23,共3页
统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态... 统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。 展开更多
关键词 统一建模语言 对象精化演算系统 状态图
下载PDF
基于林分状态的天然林经营措施优先性研究 被引量:23
5
作者 惠刚盈 赵中华 张弓乔 《北京林业大学学报》 CAS CSCD 北大核心 2016年第1期1-10,共10页
森林经营是林业发展的永恒主题。为揭示森林经营的奥秘,方便广大林业经营工作者对森林进行科学经营,本文首次探索了天然林优先经营措施选择,尝试了对森林进行类似于医学上"CT"的方法,并开具了天然林"经营处方"。研... 森林经营是林业发展的永恒主题。为揭示森林经营的奥秘,方便广大林业经营工作者对森林进行科学经营,本文首次探索了天然林优先经营措施选择,尝试了对森林进行类似于医学上"CT"的方法,并开具了天然林"经营处方"。研究认为:经营措施优先性是对许多可选经营措施优先执行顺序的安排;林分状态可通过反映森林结构、多样性和活力的林分空间结构、林分年龄结构、林分组成、林分密度、林分长势、顶极种或目的树种竞争、林分更新和林木健康等8个方面来描述;林分状态雷达图是进行经营问题诊断的简洁工具;基于林分状态组合的120种"经营处方"涵盖了天然林经营的主要方面。研究发现:结构化森林经营是解决天然林经营问题适用频率最高的集成技术;目标树培育技术在林分状态问题很多时,适用的可能性很低;促进天然更新、维护地力的技术措施与传统的抚育间伐措施具有几乎相同的适用频率。 展开更多
关键词 天然林经营 经营诊断 林分状态雷达图 经营措施优先性 经营处方
下载PDF
一种工业机械手的PLC控制 被引量:19
6
作者 熊幸明 曹才开 《微计算机信息》 北大核心 2006年第11S期120-122,共3页
文章在对一种执行机构由电动机和液压缸组成的工业机械手的结构进行分析的基础上,将PLC应用于其控制系统,完成了系统的硬件设计和软件设计。根据该机械手的工作特点,采用步进顺序控制方式,使程序简化,便于调试。将PC与PLC组成分布式控... 文章在对一种执行机构由电动机和液压缸组成的工业机械手的结构进行分析的基础上,将PLC应用于其控制系统,完成了系统的硬件设计和软件设计。根据该机械手的工作特点,采用步进顺序控制方式,使程序简化,便于调试。将PC与PLC组成分布式控制系统,进行联网通信,工作人员可在上位机上编程、监测设备运行情况,实时地对现场参数进行修改、调整,使系统工作于最佳状态。 展开更多
关键词 机械手 PLC控制 步进顺控 状态转移图
下载PDF
基于UML的面向对象软件测试系统 被引量:5
7
作者 张保卫 张毅坤 +1 位作者 赵明 崔杜武 《计算机工程》 EI CAS CSCD 北大核心 2005年第6期70-72,215,共4页
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,... 设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。 展开更多
关键词 软件测试 UML状态图 插装器 测试驱动器
下载PDF
基于PLC的大型翻转机自动控制系统设计 被引量:7
8
作者 李焜 赵丽梅 《煤矿机械》 北大核心 2011年第5期140-141,共2页
在对一种执行机构由液压缸组成的大型自动翻转机结构进行描述的基础上,将PLC应用于控制系统,完成了控制系统的硬件设计和软件设计。根据该翻转机的工作特点,采用步进顺序控制方式,使程序简化,便于调试。
关键词 翻转机 PLC控制 步进顺序控制 状态转移图
下载PDF
三电平直流变换器混杂系统建模与控制 被引量:6
9
作者 杨国润 肖飞 +2 位作者 范学鑫 王瑞田 刘计龙 《电源学报》 CSCD 北大核心 2018年第3期1-8,共8页
建立了三电平直流变换器的混杂自动机模型,并提出了相应的闭环控制算法,算法核心是使系统进入周期循环稳定的工作中并对输出电压进行调节,能够同时满足电感电流连续模式和不连续模式,具有宽负载范围。将输出电压稳压调节问题转化为离散... 建立了三电平直流变换器的混杂自动机模型,并提出了相应的闭环控制算法,算法核心是使系统进入周期循环稳定的工作中并对输出电压进行调节,能够同时满足电感电流连续模式和不连续模式,具有宽负载范围。将输出电压稳压调节问题转化为离散状态转换条件选择问题,推导了离散状态转换条件。使用Matlab/Simulink中的状态流程图实现了基于混杂自动机的三电平直流变换器控制系统,并进行了详细的仿真以检验闭环控制算法的正确性。仿真结果表明,三电平直流变换器在4种工作模式下稳态性能均良好,模式切换过程中动态响应快超调小。 展开更多
关键词 三电平直流变换器 混杂自动机 状态切换条件 状态流程
下载PDF
12/8极开关磁阻电机双闭环控制系统设计 被引量:5
10
作者 梁涛年 李勇 +1 位作者 郑小东 杜吉林 《电气传动自动化》 2015年第1期21-25,共5页
以三相12/8极开关磁阻电机(SRM)为对象,采用TMS320LF2407A作为主控芯片,选用不对称半桥式功率变换器并设计了驱动电路、位置检测电路及相电流检测电路等。建立了软件控制状态流程图和双闭环速度控制策略,其中速度环采用分数阶PI控制算... 以三相12/8极开关磁阻电机(SRM)为对象,采用TMS320LF2407A作为主控芯片,选用不对称半桥式功率变换器并设计了驱动电路、位置检测电路及相电流检测电路等。建立了软件控制状态流程图和双闭环速度控制策略,其中速度环采用分数阶PI控制算法。该控制系统能够实现平稳启动、连续变速及反转等功能,且具有系统快速稳定、结构简单可靠和鲁棒性强等特点。通过实验验证了控制系统的鲁棒性和控制策略的可行性。 展开更多
关键词 开关磁阻电机 驱动电路 控制状态流程图 双闭环速度控制策略
下载PDF
基于三菱PLC的液压搬运工件机械手设计 被引量:3
11
作者 胡阳 朱龙英 彭天好 《煤矿机械》 2015年第1期159-161,共3页
介绍了一种搬运工件机械手的工作过程,并给出了其硬件和电路设计,采用电机和液压作为驱动,编制了液压系统原理图,分析其PLC控制原理,以及对PLC状态转移图和梯形图程序进行了编制。
关键词 液压 机械手 状态转移图 梯形图
下载PDF
面向工程化教育的有限状态机教学设计 被引量:3
12
作者 王建民 贺训军 +2 位作者 田晓华 梅金硕 曹一江 《电气电子教学学报》 2013年第2期78-81,共4页
有限状态机是"硬件描述语言"课程教学的重点和难点。本文深入分析当前有限状态机教学的现状,指出有限状态机教学与工程化人才培养需求的之间差距。在此基础上,论文提出并阐述了一种问题驱动的有限状态机教学体系,对算法状态... 有限状态机是"硬件描述语言"课程教学的重点和难点。本文深入分析当前有限状态机教学的现状,指出有限状态机教学与工程化人才培养需求的之间差距。在此基础上,论文提出并阐述了一种问题驱动的有限状态机教学体系,对算法状态机图和模板式编码风格等有限状态机设计的相关概念和方法进行了阐述。 展开更多
关键词 硬件描述语言 有限状态机 算法状态机图
下载PDF
基于UML集成测试模型的生成方法 被引量:1
13
作者 吴静莉 韩松峰 刁海南 《微电子学与计算机》 CSCD 北大核心 2008年第6期164-167,共4页
UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生... UML中的状态图和通信图可共同作为生成测试用例的模型,用于集成测试用例的生成.在通信转换的基础上采用深度和广度搜索得到没有冗余的组合状态图,提出一种形式化组合状态图中组合状态的方法,使集成测试模型更加简单,实验结果表明易于生成集成测试用例. 展开更多
关键词 集成测试 通信图 状态图 组合状态
下载PDF
UML状态图到形式化B语言转换的实例研究 被引量:2
14
作者 邹盛荣 孟静 +3 位作者 阳雪平 腾腾 陈宇 孙建国 《科学技术与工程》 2007年第24期6334-6338,6343,共6页
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化... 使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。 展开更多
关键词 UML 状态图 形式化方法 B方法 T细胞
下载PDF
镗床机械手的PLC控制 被引量:2
15
作者 赵丽梅 《煤矿机械》 北大核心 2008年第4期183-185,共3页
在对一种执行机构由液压缸组成的镗床机械手结构进行分析的基础上,将PLC应用于其控制系统,完成了系统的硬件设计和软件设计。根据该机械手的工作特点,采用步进顺序控制方式,使程序简化,便于调试。
关键词 机械手 PLC控制 步进顺序控制 状态转移图
下载PDF
基于UML的数据采集测试用例生成研究
16
作者 杨厚群 林雄 邢诒杏 《海南大学学报(自然科学版)》 CAS 2008年第1期38-42,共5页
将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成.首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆... 将UML协作图与状态图结合起来,以此为模型,用于集成测试用例的生成.首先以协作图为依据确定集成测试的对象,对状态图进行组合,形成组合状态图,并给出组合状态图的形式化定义,以及对组合状态图进行展开,然后用于集成测试用例的生成,在覆盖所有的测试需求的前提下,生成的测试用例较少. 展开更多
关键词 测试用例 集成测试 UML状态图 UML协作图
下载PDF
基于Internet信息挖掘的Agent通信协议
17
作者 王斌 张尧学 +1 位作者 陈建二 陈松乔 《计算机科学》 CSCD 北大核心 2002年第8期85-87,84,共4页
1前言 Agent通信协议决定着Agent是否能够有组织地进行交互.美国ARPA的KSE(Knowleedge Shring Effort)开发的基于语言行为理论(Speech Act Theory)的Agent通信语言KQML[1]及另外一种Agent通信语言FIPA ACL[2]已成为Agent通信语言的事实... 1前言 Agent通信协议决定着Agent是否能够有组织地进行交互.美国ARPA的KSE(Knowleedge Shring Effort)开发的基于语言行为理论(Speech Act Theory)的Agent通信语言KQML[1]及另外一种Agent通信语言FIPA ACL[2]已成为Agent通信语言的事实标准.对于移动Agent也有专门为之设计的通信语言Telescript.但是纯粹的Agent通信语言不能够完成Agent的协作,而是需要Agent的交互规则来支持A-gent利用Agent语言进行协作.在这种意义上,Agent通信语言只是Agent通信协议的一部分.由于Agent技术本身的特点及其应用领域的不同,目前国内外还没有Agent通信协议标准出现[3]. 展开更多
关键词 通信协议 AGENT INTERNET 信息挖掘
下载PDF
老年性聋与认知功能障碍的相关临床特点分析 被引量:1
18
作者 刘业军 赵亚会 张燕 《当代医学》 2019年第31期66-68,共3页
目的探讨老年性聋患者可能出现认知功能障碍相关的临床特点进行分析研究。方法纳入2017年7月至2018年3月就诊于本院耳鼻咽喉科且符合老年性聋的患者100例,同时选取于全国爱耳日义诊的无糖尿病、冠心病、哮喘、高血压等基础病史、无耳科... 目的探讨老年性聋患者可能出现认知功能障碍相关的临床特点进行分析研究。方法纳入2017年7月至2018年3月就诊于本院耳鼻咽喉科且符合老年性聋的患者100例,同时选取于全国爱耳日义诊的无糖尿病、冠心病、哮喘、高血压等基础病史、无耳科相关病史的健康患者100例,经询问病史、问卷调查(简易智力状况检查表、画钟测验)统计基本信息,并行纯音测听检查及声阻抗检查等检查,根据其认知功能的分类、严重程度进行分组及分析。结果与健康者比较,老年性聋患者出现认知功能障碍的风险较高,差异有统计学意义(P<0.05),轻度与中度认知功能障碍的差异具有统计学意义,重度认知功能障碍的差异无统计学意义;老年性聋的认知功能障碍主要表现在记忆力、注意力、回忆方面存在较高风险,差异有统计学意义(P<0.05);定向力、语言能力方面差异无统计学意义。结论老年性聋患者存在认知功能障碍的高危风险,临床工作中应该重视老年性聋患者认知功能方面的认识,提高患者生活质量。 展开更多
关键词 老年性聋 认知功能障碍 简易智力状况检查表 画钟测验 记忆力
下载PDF
数字逻辑电路系统设计综合
19
作者 李福连 《大连海运学院学报》 CSCD 1993年第4期455-459,共5页
提出了把现有数字逻辑电路系统设计中控制器部分的设计统一到首先获得MDS图,然后根据MDS图再进行具体控制器设计的新思路,并建立了由ASM图和RTL微程序获得MDS图的具体规则。这将给数字系统设计者进行控制器设计带来极大的方便。
关键词 算法状态机 寄存器 数字逻辑电路
下载PDF
实现顺序控制的PLC程序设计
20
作者 刘一凡 《肇庆学院学报》 2001年第2期29-31,共3页
顺序控制在工业控制中被广泛应用。本文介绍应用日本 OMRON公司的可编程序控制器(PLC)中的锁存指令 KEEP(11),设计顺序控制系统的状态流程图,据此转化为梯形图的一种简单易行的方法。
关键词 顺序控制 PLC 程序设计 锁存指令 状态流程图 梯形圆 可编程序控制器 自动控制
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部