期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到132篇文章
< 1 2 … 7 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
移动信道Markov模型的Stateflow仿真技术
1
作者 吴雪梅 张延华 +2 位作者 朱杰 丁海洋 毛锐 《中国电子科学研究院学报》 2006年第4期328-331,共4页
针对具有长突发误码特性的无线信道特征,根据移动通信系统的仿真要求,基于简单分群马尔科夫(Markov)信道模型,提出了利用stateflow技术的信道仿真方法,并生成移动信道的差错序列。仿真结果表明,该信道模型能够有效地描述无线移动信道的... 针对具有长突发误码特性的无线信道特征,根据移动通信系统的仿真要求,基于简单分群马尔科夫(Markov)信道模型,提出了利用stateflow技术的信道仿真方法,并生成移动信道的差错序列。仿真结果表明,该信道模型能够有效地描述无线移动信道的统计特性,并具有可视化、流程化和层次化的特点,在无线移动通信系统的软件仿真中具有实用性。 展开更多
关键词 移动信道 MARKOV模型 长突发误码 stateFLOW 状态转移图
在线阅读 下载PDF
EN标准115RE钢轨系列焊接高锰钢辙叉过程质量控制与过程能力研究 被引量：1
2
作者 杨英奇 王仙利 付涛 《中国标准化》 2025年第9期275-279,共5页
在执行EN标准115RE钢轨系列焊接高锰钢辙叉生产制造过程中,针对辙叉腿端部高度质量特性值开展了过程质量控制与过程能力研究,通过X-R控制图的绘制及应用,计算过程绩效指数Ppk和过程能力指数Cpk,通过5M1E识别分析,改进生产过程中特别坏... 在执行EN标准115RE钢轨系列焊接高锰钢辙叉生产制造过程中,针对辙叉腿端部高度质量特性值开展了过程质量控制与过程能力研究,通过X-R控制图的绘制及应用,计算过程绩效指数Ppk和过程能力指数Cpk,通过5M1E识别分析,改进生产过程中特别坏的特殊因素,对生产制造的过程质量初步稳态及改进后的最终稳态进行判定,保证了EN标准115RE钢轨系列焊接高锰钢辙叉生产制造过程满足过程质量控制要求。 展开更多
关键词 X-R控制图 质量稳态 过程绩效指数 过程能力指数
在线阅读 下载PDF
基于状态图的对象行为建模 被引量：9
3
作者 刘忠 邓苏 +5 位作者 沙基昌 张维明 LIU Zhong DENG Su Sha Jichang ZHANG Weiming 《计算机工程与设计》 CSCD 2001年第2期9-12,30,共5页
状态图（Ｓｔａｔｅ Ｃｈａｒｔ）是对对象的行为的一种描述的方法，并是ＵＭＬ（Ｕｎｉｆｉｅｄ ＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ）可视化建模的一部分．文中分析了状态图建模的规则，以及如何用状态图对对象的行为进行建模的方法．
关键词 状态图 面向对象 可视化建模 UML 软件设计
在线阅读 下载PDF
IT项目风险管理模式研究 被引量：13
4
作者 贾素玲 罗昌 郭涛 《计算机工程与应用》 CSCD 北大核心 2007年第4期220-223,共4页
在对风险管理的五个核心子过程和两个附加子过程研究的基础上,结合IT项目的特点和IT项目风险管理所处的阶段的分析,介绍了“P2I2=成功风险管理”的方程式,提出了由风险管理指南(G)、P/T过程模型(P)、风险状态图(S)组成的GPS风险管理框架。
关键词 IT项目 风险管理 模式 风险状态图
在线阅读 下载PDF
UML状态机的模型检验方法 被引量：7
5
作者 董威 王戟 +1 位作者 郑延平 齐治昌 《计算机工程与科学》 CSCD 2001年第6期7-11,共5页
模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当... 模型检验是一种确保设计规范正确性的形式化自动验证技术 ,本文提出了对 UML状态机进行模型检验的方法。文中首先对 UML状态机的语法和语义进行描述 ,然后基于语义中的 RTC步给出生成状态机全局可达状态迁移图的方法 ,方法的核心是在当前格局下根据使能条件确定所有的最大无冲突迁移集。文章最后给出算法以验证 UML状态机是否满足用计算树逻辑 ( CTL) 展开更多
关键词 UML 状态机 模型检验 计算树逻辑 软件质量 软件工程
在线阅读 下载PDF
基于UML的面向对象软件测试系统 被引量：5
6
作者 张保卫 张毅坤 +1 位作者 赵明 崔杜武 《计算机工程》 EI CAS CSCD 北大核心 2005年第6期70-72,215,共4页
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,... 设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。 展开更多
关键词 软件测试 UML状态图 插装器 测试驱动器
在线阅读 下载PDF
一种血压反馈控制系统的状态分析方法 被引量：5
7
作者 毛连根 朱朝阳 +1 位作者 包家立 汪蔷 《中国生物医学工程学报》 CAS CSCD 北大核心 2010年第2期259-264,269,共7页
通常在判断血压状态时,先划一个界限,然后将实际血压与这个界限作比较,以此来判断血压状态。这样的判断强调了血压的现值,而没有将血压变化率的信息展现出来。提出血压状态分析法,包括血压状态图和血压稳定性。以家兔为对象、去甲肾上... 通常在判断血压状态时,先划一个界限,然后将实际血压与这个界限作比较,以此来判断血压状态。这样的判断强调了血压的现值,而没有将血压变化率的信息展现出来。提出血压状态分析法,包括血压状态图和血压稳定性。以家兔为对象、去甲肾上腺素为扰动剂,采集动物在给药前血压平稳期、药物起效期、快速上升期、剧烈振荡期、血压恢复期和给药后血压平稳期的血压数据,建立血压反馈控制系统数学模型结构和血压状态图。根据采集的血压数据,分析血压状态图中血压的稳定态和稳定域、血压变化率的稳定域。通过动物实验,对这种血压状态分析法进行检验,为进一步研究血压控制技术提供新理论和新方法。 展开更多
关键词 血压 反馈控制系统 状态图 稳定性
暂未订购
基于程序执行状态图的软件测试方法研究 被引量：9
8
作者 何允如 刘宗田 +1 位作者 郝峰 李心科 《计算机工程与应用》 CSCD 北大核心 2002年第18期96-98,共3页
软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序... 软件测试一直是保证软件质量的最主要的手段之一,多年来人们一直在寻找好的测试方法和测试策略。同时随着图形界面的日益流行,传统的测试方法变得难以适应测试的需要。文章提出了一种基于程序执行状态图PESC的软件测试方法,给出了程序执行状态图的定义,以及相应的覆盖准则。最后,文章介绍了使用PESC逐步生成测试路径的方法。 展开更多
关键词 程序执行状态图 软件测试方法 软件质量 软件工程
在线阅读 下载PDF
基于MATLAB的嵌入式系统软件开发 被引量：10
9
作者 刘玉良 李刚 康凯 《天津大学学报》 EI CAS CSCD 北大核心 2008年第5期593-596,共4页
为实现高效的代码编写和方便的系统维护,将统一建模语言(UML)和模型驱动框架(MDA)应用在基于MSC1212单片机的嵌入式系统软件开发中.用MATLAB的Simulink/Stateflow工具箱作为工具,对嵌入式系统进行基于事件驱动的建模与仿真.仿真成功后,... 为实现高效的代码编写和方便的系统维护,将统一建模语言(UML)和模型驱动框架(MDA)应用在基于MSC1212单片机的嵌入式系统软件开发中.用MATLAB的Simulink/Stateflow工具箱作为工具,对嵌入式系统进行基于事件驱动的建模与仿真.仿真成功后,在状态图代码生成器中把状态图翻译成高效的C语言代码.最后,用基于MSC1212单片机的目标系统底层驱动函数与翻译的C语言空函数做简单替换,实现了嵌入式系统软件代码的快速生成.实验结果表明,所生成的软件代码在嵌入式目标系统中运行状况良好,其易维护性和执行效率等方面,均优于手工编写的代码. 展开更多
关键词 嵌入式系统 模型驱动框架 状态图
暂未订购
基于林分状态的天然林经营措施优先性研究 被引量：29
10
作者 惠刚盈 赵中华 张弓乔 《北京林业大学学报》 CAS CSCD 北大核心 2016年第1期1-10,共10页
森林经营是林业发展的永恒主题。为揭示森林经营的奥秘,方便广大林业经营工作者对森林进行科学经营,本文首次探索了天然林优先经营措施选择,尝试了对森林进行类似于医学上"CT"的方法,并开具了天然林"经营处方"。研... 森林经营是林业发展的永恒主题。为揭示森林经营的奥秘,方便广大林业经营工作者对森林进行科学经营,本文首次探索了天然林优先经营措施选择,尝试了对森林进行类似于医学上"CT"的方法,并开具了天然林"经营处方"。研究认为:经营措施优先性是对许多可选经营措施优先执行顺序的安排;林分状态可通过反映森林结构、多样性和活力的林分空间结构、林分年龄结构、林分组成、林分密度、林分长势、顶极种或目的树种竞争、林分更新和林木健康等8个方面来描述;林分状态雷达图是进行经营问题诊断的简洁工具;基于林分状态组合的120种"经营处方"涵盖了天然林经营的主要方面。研究发现:结构化森林经营是解决天然林经营问题适用频率最高的集成技术;目标树培育技术在林分状态问题很多时,适用的可能性很低;促进天然更新、维护地力的技术措施与传统的抚育间伐措施具有几乎相同的适用频率。 展开更多
关键词 天然林经营 经营诊断 林分状态雷达图 经营措施优先性 经营处方
在线阅读 下载PDF
基于MSP430单片机的软件代码快速开发 被引量：3
11
作者 刘玉良 贾子申 +1 位作者 刘丽辉 杨伟明 《天津科技大学学报》 CAS 2010年第3期61-65,共5页
为实现高效的代码编写和方便的系统维护,在前期研究工作的基础上,利用Matlab 7.x的Stateflow工具箱,实现了基于MSP430单片机的嵌入式系统软件开发.首先,对嵌入式系统进行基于事件驱动的建模与仿真.然后,在状态图代码生成器(Stateflow Co... 为实现高效的代码编写和方便的系统维护,在前期研究工作的基础上,利用Matlab 7.x的Stateflow工具箱,实现了基于MSP430单片机的嵌入式系统软件开发.首先,对嵌入式系统进行基于事件驱动的建模与仿真.然后,在状态图代码生成器(Stateflow Coder)中把状态图(State chart)翻译成高效的C语言代码.最后,用基于MSP430单片机的目标系统底层驱动函数与翻译的C语言空函数进行简单替换,实现了嵌入式系统软件代码的快速生成.对比实验表明,用本文方法生成的软件代码,在嵌入式目标系统中运行状况良好,其易维护性和执行效率等方面均优于手工编写的代码. 展开更多
关键词 嵌入式系统 MATLAB 状态图
暂未订购
外扰作用下细胞内稳态鲁棒性实验研究 被引量：2
12
作者 杨国平 应磊 +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
基于静态代码分析的自动化对象行为协议提取工具 被引量：3
13
作者 黄洲 彭鑫 赵文耘 《计算机科学》 CSCD 北大核心 2009年第8期169-173,共5页
对象行为协议对于理解对象接口、正确实现模块集成以及类代码的复用都有着重要的意义。在前期工作中,提出了一种基于静态源代码分析的对象行为协议自动提取方法。该方法通过源代码分析获取对象(类)内部各接口方法之间直接和间接的依赖关... 对象行为协议对于理解对象接口、正确实现模块集成以及类代码的复用都有着重要的意义。在前期工作中,提出了一种基于静态源代码分析的对象行为协议自动提取方法。该方法通过源代码分析获取对象(类)内部各接口方法之间直接和间接的依赖关系,然后在对象(类)内部依赖关系的基础上构建接口的状态机图。在此基础上,进一步介绍相应的支持工具,包括主要模块、各部分的主要实现技术等。 展开更多
关键词 面向对象 接口规范 抽象状态图 状态分析 逆向工程 工具
在线阅读 下载PDF
冷轧基板SPHE动态再结晶行为研究 被引量：4
14
作者 曾松盛 刘旭辉 +1 位作者 彭伟 成小军 《轧钢》 北大核心 2011年第1期35-38,53,共5页
通过热模拟实验研究了冷轧基板SPHE钢的动态再结晶行为。结果表明:在热变形过程中,变形温度越高,应变速率越小,越容易发生动态再结晶。SPHE钢发生动态再结晶的激活能为:Q_d=125.793kJ/mol;描述动态再结晶的动力学方程为:f_(dyn)=I-exp(-... 通过热模拟实验研究了冷轧基板SPHE钢的动态再结晶行为。结果表明:在热变形过程中,变形温度越高,应变速率越小,越容易发生动态再结晶。SPHE钢发生动态再结晶的激活能为:Q_d=125.793kJ/mol;描述动态再结晶的动力学方程为:f_(dyn)=I-exp(-b(Z)t^(n(Z))),计算得到了其中的系数b(Z)、n(Z);描述动态再结晶体积百分数的方程为:X_(dyn)=1-exp[-k((e-ε_c)/ε_p)~m],通过非线性回归求出系数k、m;根据实验值和变形参数,作出SPHE钢的动态再结晶状态图,从而可优化热轧工艺,提高产品的质量。 展开更多
关键词 再结晶激活能 动力学方程 动态再结晶 体积百分数方程 动态再结晶状态图
在线阅读 下载PDF
基于状态图的坦克行为建模研究 被引量：4
15
作者 岑凯辉 杨克巍 谭跃进 《计算机仿真》 CSCD 2007年第1期17-20,共4页
在现代作战仿真中,坦克是重要的建模对象,其行为复杂往往导致建模困难。采用传统有限状态机建立的行为模型,由于存在大量的状态和状态转移,模型可读性差,易于出错。因此,研究基于状态图的坦克行为建模方法。首先介绍了状态图中的状态、... 在现代作战仿真中,坦克是重要的建模对象,其行为复杂往往导致建模困难。采用传统有限状态机建立的行为模型,由于存在大量的状态和状态转移,模型可读性差,易于出错。因此,研究基于状态图的坦克行为建模方法。首先介绍了状态图中的状态、事件和转移概念,并探讨了并行状态这一重要特征;然后对坦克的复杂行为进行分析,采用序列图描述坦克对象之间的交互行为;定义了坦克的四个并行子状态:侦察、机动、攻击和防护,以及作战仿真中的主要事件;通过细化状态,最终建立了状态图表示的坦克作战行为模型。该模型比较全面地描述了坦克的作战行为,较好地反映了作战行为的并行、异步特点,模型的逻辑关系清晰,有较强的可读性。 展开更多
关键词 行为建模 状态图 作战仿真 坦克
在线阅读 下载PDF
三电平直流变换器混杂系统建模与控制 被引量：6
16
作者 杨国润 肖飞 +2 位作者 范学鑫 王瑞田 刘计龙 《电源学报》 CSCD 北大核心 2018年第3期1-8,共8页
建立了三电平直流变换器的混杂自动机模型,并提出了相应的闭环控制算法,算法核心是使系统进入周期循环稳定的工作中并对输出电压进行调节,能够同时满足电感电流连续模式和不连续模式,具有宽负载范围。将输出电压稳压调节问题转化为离散... 建立了三电平直流变换器的混杂自动机模型,并提出了相应的闭环控制算法,算法核心是使系统进入周期循环稳定的工作中并对输出电压进行调节,能够同时满足电感电流连续模式和不连续模式,具有宽负载范围。将输出电压稳压调节问题转化为离散状态转换条件选择问题,推导了离散状态转换条件。使用Matlab/Simulink中的状态流程图实现了基于混杂自动机的三电平直流变换器控制系统,并进行了详细的仿真以检验闭环控制算法的正确性。仿真结果表明,三电平直流变换器在4种工作模式下稳态性能均良好,模式切换过程中动态响应快超调小。 展开更多
关键词 三电平直流变换器 混杂自动机 状态切换条件 状态流程
在线阅读 下载PDF
智能型红外遥控器的设计 被引量：18
17
作者 陈祖爵 王建毅 《微计算机信息》 北大核心 2008年第2期305-307,共3页
空调遥控器编码复杂、信息量及存储空间大。通过对空调遥控器编码的深入研究分析,提出了一种基于温度控制的编码状态转换算法。在制冷、制热、除湿和通风每种模式下设计了一种"编码转换状态图",控制空调的温度按设定的要求,... 空调遥控器编码复杂、信息量及存储空间大。通过对空调遥控器编码的深入研究分析,提出了一种基于温度控制的编码状态转换算法。在制冷、制热、除湿和通风每种模式下设计了一种"编码转换状态图",控制空调的温度按设定的要求,遵循规律有序的转换。设计的均值算法对高速载频进行了测量,解决了指令周期与载波周期在同一量级精确检测的难题,实现了遥控器的自学习功能。经测试结果表明,编码状态转换算法简化了编码信息,减少了存储空间,为采用单片机实现自学习智能空调遥控器的设计提供了新思路。 展开更多
关键词 红外遥控 载频 编码状态转换 自学习
在线阅读 下载PDF
面向业务对象的工作流模型执行环境 被引量：3
18
作者 林佳 石晓辉 +1 位作者 胡高佳 余阳 《计算机集成制造系统》 EI CSCD 北大核心 2018年第7期1714-1722,共9页
鉴于传统工作流建模方法因在数据表示上的不足而难以满足新兴业务的建模需求,提出一种面向业务对象的工作流模型,业务对象中所包含的业务数据、任务和对象生命周期能够自然地反映业务执行逻辑。实现了面向业务对象的工作流模型执行环境... 鉴于传统工作流建模方法因在数据表示上的不足而难以满足新兴业务的建模需求,提出一种面向业务对象的工作流模型,业务对象中所包含的业务数据、任务和对象生命周期能够自然地反映业务执行逻辑。实现了面向业务对象的工作流模型执行环境,以状态机建模业务对象生命周期,使用实例树维护对象间关系,通过对状态机的动作和事件通信机制进行全方位扩展,提供了在业务对象生命周期内的特定状态下进行资源分配和对象间通信的能力。该执行环境更易于支持具有动态不确定性的异步协作式业务流程。 展开更多
关键词 面向业务对象 过程建模 工作流 状态机 众包
在线阅读 下载PDF
一种状态图到B规格说明的自动转换方法研究实现 被引量：1
19
作者 曾一 孙政 +1 位作者 周吉 胡小威 《计算机工程与应用》 CSCD 北大核心 2011年第35期77-80,142,共5页
状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提... 状态图是UML动态视图之一,主要描述对象的动态行为,但缺乏形式化的动态语义,不利于软件从需求到代码的自动化转换。B语言支持形式化规格说明,在MDA转换过程中,把UML状态图转换为B规格说明,可以使MDA中的需求表达得更为精确。基于此,提出了一种基于EMF的状态图到B规格说明的转换方法,设计了状态图和B抽象机的元模型,定义了元模型之间的转换规则,给出了该规则的ATL描述,最后在Eclipse平台实现了状态图到B规格说明的自动转化。该方法为MDA过程中获取形式化需求提供了一种新的途径。 展开更多
关键词 形式化方法 元模型 UML状态图 B方法 模型转换
在线阅读 下载PDF
基于时序描述逻辑的UML状态图语义 被引量：1
20
作者 李明 杨海波 +1 位作者 张其文 王旭阳 《计算机工程》 CAS CSCD 北大核心 2010年第23期76-78,共3页
将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范—... 将UML图形转换成形式化规范是一种精确UML语义、扩大形式化软件方法适用范围的有效途径。鉴于描述逻辑强的可判定推理能力,提出一种采用时序描述逻辑形式化UML状态图,对描述逻辑进行时序扩展,得到可以表示动态和时序语义的形式化规范——时序描述逻辑,给出一套UML状态图向时序描述逻辑表达式转换的规则,通过实例验证了该方法的可行性。 展开更多
关键词 描述逻辑 时序扩展 时序描述逻辑 状态图 形式化
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 7 下一页 到第 页
使用帮助 返回顶部