状态图

摘要： 软件测试是软件开发的重要步骤,需要注重测试环境的构建,基于对象状态进行分析,确保软件测试的准确性。基于此,本文将从识别状态、测试准则、状态响应等方面对基于对象状态的软件测试方法进行分析,深入研究测试过程,注重测试对象状态的把控,同时构建完善的测试用例,将测试状态与测试结果进行对比,提高对象状态测试结果的可靠性。

摘要： 食品状态图能够对食品的贮藏稳定性进行预测,并为产品的适宜加工原料和加工工艺提供参考.再制奶酪是中国目前乳品行业热点,为深入了解再制干酪加工贮藏性质,该文研究了再制干酪的吸附等温线,构建再制干酪的状态图.结果 表明,再制干酪吸附等温线为典型“J”型曲线,含有非冻结水干酪样品随着湿基含水率从0.008 g/g增大到0.068 g/g,玻璃转化温度(glass transition temperature,Tg)从71.2°C降低至20.6°C;含有冻结水干酪样品随着湿基含水率从0.22 g/g增大到0.77 g/g,Tg从-19.7°C降低至-29.7°C,再制干酪最大冻结浓缩状态的Tg为-35.5°C,在此状态下的固形物湿基质量分数为79％.通过状态图可以直观了解再制干酪不同状态与物料的含水率和Tg之间的关系,协助预测再制干酪在储藏过程中的稳定性,为再制干酪加工及贮藏提供理论基础.

摘要： 本文基于水分活度和玻璃化转变理论,分析了枸杞粉的吸附等温线及玻璃化转变温度,通过构建状态图确定枸杞粉具有良好贮藏稳定性的临界水分含量;通过测试不同水分含量的枸杞粉的流动特性表征体系玻璃化转变的变化。结果表明:枸杞粉的吸附等温线呈"J"型,GAB模型为描述其水分吸附特性的适宜模型;枸杞粉的玻璃化转变温度随水分含量的升高而降低,以LB1枸杞粉为例,当干基含水率从0.133 g/g增加到0.530 g/g时,玻璃化转变温度从10.82°C降至-59.71°C。状态图表明,4种枸杞粉(LB1~LB4)干基含水率分别低于0.0833,0.0906,0.0992,0.1059 g/g时,在25°C下可稳定贮藏。宏观流动特性结果表明:随着枸杞粉水分含量的增加,粒径越大,越易发生玻璃化转变,粒径越小越有利于贮藏。

摘要： 总结了装载机常见的4种作业工况,并对各工况的特点进行了分析.根据分析结果,针对4种工况设置了4种工况模式,并提出了选择工况模式的方法,在此基础上制定了各工况模式下装载机自动变速的控制策略.提出了基于状态图的自动变速控制编程方法,根据该方法分析并绘制了自动变速控制的状态总图和状态分图.

摘要： 状态图和状态表哪种设计方式更有利于设计思想的表达以及模型的代码转化鲜有分析.结合电梯的运行状态建模,通过对相应的状态图、表的分析改进并结合具体实验结果,得出结论:在状态较多、守卫条件也较多的场景,应首选带守卫条件的状态图;而对于状态较多、迁移较多的场景,在模型代码化之前,带守卫条件的状态表能最大化指导模型编码.

摘要： 本文主要对词法分析器直接编程构造方法进行了分析与研究,分别通过正则表达式、状态图与有穷自动机对词法分析器进行了描述.然后运用实例对词法分析器构造流程进行分析与说明.进一步分析构造直接编程的词法分析器过程的性能,研究发现直接编程的词法分析器分析速度更快,优于其他类型的词法分析器.

摘要： 面向对象建模中,模型之间的一致性是设计者所不能忽视的.本文通过学习当前研究一致性的方法,提出了一种结合形式化方法和规则法的检查UML类图和状态图之间一致性的方法.首先将类图和状态图形式化为本体,然后将规则法中定义的一致性规则转换为本体操作,通过在转换得到的本体上实施这些操作实现一致性检查.

摘要： 本文分析UML状态图和顺序图的并行结构特征，利用Petri网的并行结构单元来描述状态图的并行域和顺序图的并行片段。论文引入Petri网语言及其等价性理论来验证状态图和顺序图的一般行为一致性，并针对具有并发成分的UML模型，基于Petri网进程和出现网理论，提出面向UML模型并行结构特征的行为一致性分析技术。论文所研究的一致性研究方法可进一步推广到UML模型的其他视图之间的一致性验证。

摘要： 在形式语义的支持下提出了一种动态工作流建模方法。该方法在扩展UML的基础上给出了两种建模机制，利用UML活动图和状态图对动态工作流过程进行建模。最后，本文给出一个汽车企业产品研发的建模实例说明了本方法对动态工作流建模的有效性。

摘要： 腹膜透析是治疗肾衰竭疾病的重要手段。在智能腹膜透析仪设计过程中，需要在Stateflow中建模和仿真。在这种环境下，可以实现有限状态机理论的各种基本元素。本文在研究Stateflow及其状态图文档的基础上，提出了从Stateflow状态图提取状态跳转表的方法。

摘要： 分析了常用的嵌入式软件编写架构的优缺点；针对其缺点提出了将广泛应用于编译系统的层次式有限状态机、状态图引入嵌入式工业控制领域。在低成本的嵌入式平台上引入了类似简单操作系统(OS)功能的事件框架，将该事件框架与层次式状态机架构应用于缝制设备控制器上，并取得了成功；降低了CPU负荷，增加了系统的实施性，提高了代码的可维护性，同时使软件的可扩展性变得十分方便，并能够方便的将其移植到其他的CPU上。

摘要： 系统测试是提高航电软件质量的重要途径。建立测试需求模型是进行系统测试的前提和基础。使用形式化的语言建立需求模型,有助于提高系统测试的自动化程度。状态图具有形式化特征,并且非常适合实时嵌入式软件的建模。因此本文以状态图为核心技术,基于面向对象方法,提出了一种适合软件密集航电系统的需求建模方法。基于该方法生成需求模型,结合一定的测试用例生成策略,可以自动生成测试用例和被测系统的交联环境仿真模型。作为示例,本文利用该方法对某飞机航电系统的导弹控制功能进行了建模,模型具有简洁、直观、易用的特点。

摘要： 本工作采用平衡合金法,利用扫描电镜与能谱仪(SEM-EDS)和X射线衍射仪(XRD)等手段实验测定了Zn-Al-Ti三元系富锌铝边370°C等温截面的相关系。

摘要： 本工作采用平衡合金法,利用扫描电镜与能谱仪(SEM-EDS)和X射线衍射仪(XRD)等手段实验测定了Zn-Al-Ti三元系富锌铝边370°C等温截面的相关系。

摘要： 本工作采用平衡合金法,利用扫描电镜与能谱仪(SEM-EDS)和X射线衍射仪(XRD)等手段实验测定了Zn-Al-Ti三元系富锌铝边370°C等温截面的相关系。

摘要： 本工作采用平衡合金法,利用扫描电镜与能谱仪(SEM-EDS)和X射线衍射仪(XRD)等手段实验测定了Zn-Al-Ti三元系富锌铝边370°C等温截面的相关系。

摘要： 通过农业作业机器来获得一个或更多个信息图。所述一个或更多个信息图将一个或更多个农业特性值映射在田地的不同地理位置处。所述农业作业机器上的现场传感器在所述农业作业机器移动通过所述田地时感测农业特性。预测图生成器基于所述一个或更多个信息图中的值与由所述现场传感器感测的农业特性之间的关系来生成预测图，所述预测图预测所述田地中的不同位置处的预测农业特性。所述预测图可以被输出并用于自动化机器控制。

摘要： 由农业作业机器获得一个或更多个信息图。一个或更多个信息图映射田地的不同地理位置处的一个或更多个农业特性的值。农业作业机器上的现场传感器在农业作业机器移动穿过田地时感测农业特性。预测图生成器基于一个或更多个信息图中的值和由现场传感器感测到的农业特性之间的关系，生成预测田地中的不同位置处的预测农业特性的预测图。预测图可以被输出并用于自动机器控制。

摘要： 本发明公开了一种交通状态发布方法、交通状态图生成方法、装置及系统。其中所述交通状态发布方法包括：接收终端设备发送的交通状态请求，所述请求携带了所述终端设备请求的交通状态所处地图区域的信息；根据所述地图区域的信息，从预置的矢量交通状态图中，获取所述地图区域的矢量交通状态图，所述矢量交通状态图用图中道路端点的像素坐标和道路交通状态值描述；将获取到的矢量交通状态图发布至所述终端设备。本发明实施例提供的交通状态发布技术方案能够有效降低交通状态发布端的存储压力，减少了交通状态传输耗费的用户的数据流量，给用户带来了更好的用户体验。

摘要： 本发明提供一种状态图标显示方法、状态图标处理方法及相关设备，该方法包括：获取与所述终端设备的使用场景对应的第一状态图标队列；在所述终端设备屏幕的状态显示区域显示所述第一状态图标队列中的状态图标。通过本发明提供的状态图标显示方法，能够实现根据终端设备的使用场景显示对应的状态图标，可以提高终端设备的状态图标显示的灵活性，也可以提高所显示的状态图标的针对性。

摘要： 本发明公开了一种交通状态发布方法、交通状态图生成方法、装置及系统。其中所述交通状态发布方法包括：接收终端设备发送的交通状态请求，所述请求携带了所述终端设备请求的交通状态所处地图区域的信息；根据所述地图区域的信息，从预置的矢量交通状态图中，获取所述地图区域的矢量交通状态图，所述矢量交通状态图用图中道路端点的像素坐标和道路交通状态值描述；将获取到的矢量交通状态图发布至所述终端设备。本发明实施例提供的交通状态发布技术方案能够有效降低交通状态发布端的存储压力，减少了交通状态传输耗费的用户的数据流量，给用户带来了更好的用户体验。

摘要： 本文提出了一种活动图到状态图的转换算法，通过该算法将活动图转换成状态图，对于活动图中的并发节点采用了多场景复制的方法，从而保证转换后的状态图路径无遗漏。测试人员通过该算法将活动图转换成状态图后，可以利用状态图的覆盖准则指导测试用例的自动生成，该方法能够满足弹载交互式软件测试需求的充分性覆盖性要求，同时提高软件测试的有效性和效率。

摘要： 本发明提供一种状态图标显示方法、状态图标处理方法及相关设备，该方法包括：获取与所述终端设备的使用场景对应的第一状态图标队列；在所述终端设备屏幕的状态显示区域显示所述第一状态图标队列中的状态图标。通过本发明提供的状态图标显示方法，能够实现根据终端设备的使用场景显示对应的状态图标，可以提高终端设备的状态图标显示的灵活性，也可以提高所显示的状态图标的针对性。

摘要： 本发明涉及一种用于为机动车(10)提供当前本地环境状态图(50)的方法以及一种机动车(10)和一种用于实施这种方法的系统(60)。根据所述方法，生成对机动车(10)的与位置相关的当前车辆参数进行描述的自身行驶状况数据(18)以及环境状况数据(28)，所述环境状况数据描述至少一个布置在机动车(10)的预定的周围环境(30)中的其他机动车(34、35、36)相对于机动车(10)的至少一个当前的相对布置，并且根据所述数据生成车辆环境图(40)。所述车辆环境图(40)描述在所述机动车(10)的预定的周围环境(30)中的当前本地交通状况。此外，在机动车(10)的周围环境(30)中从至少一个另外的机动车(34、35、36)接收另外的车辆环境图(41、42、43)并且在应用图数据评价标准(46)的情况下与所生成的车辆环境图(40)组合，以便生成用于机动车(10)的改善的当前本地环境状态图(50)。这被提供给机动车(10)。

摘要： 提供了一种用于将商业流程模型(BPM)自动变换成分层状态模型的计算机实现的方法。BPM具有至少一个分岔节点和至少一个接合节点的并行路径。该方法包括：响应于在节点分析中识别出BPM中的至少一个分岔节点中的每个分岔节点：(i)针对来自该至少一个分岔节点的每条边生成具有初始状态和工作状态的分岔边缘子状态，并且将该分岔边缘子状态附加到针对该至少一个分岔节点的分层状态；以及(ii)生成与经过所述分岔节点的每个接合节点相对应的同步器子状态图以从每个分岔边缘子状态图接收同步事件，并且将所述同步器子状态图附接到所述至少一个分岔节点的所述分层状态以形成所述分层状态图的中间版本。

摘要： 本公开涉及机器人配件技术领域，提供了配件系统对应的任务状态图的生成方法及装置。该方法包括：获取配件系统对应的目标区域的目标地图；实时获取配件系统内所有配件机器人的定位信息和第一任务信息；根据每个配件机器人的定位信息，在目标地图上标记每个配件机器人对应的图标；根据每个配件机器人的第一任务信息，按照第一预设规则标记每个配件机器人对应图标的颜色，以得到配件系统对应的机器人任务状态图。采用上述技术手段，解决现有技术中，无法从整个配件系统层面确定多个配件机器人的任务状态的问题。