一种确认控制的形式化方法

提出了一种基于事务的确认控制形式化方法.该方法在数据流图的基础上引入了数据流事务的概念,通过施加控制数据流规则和FSM语法,将数据流事务转换为FSM事务,消除了数据流图的歧义性;同时,将有限状态机作为FSM事务的控制原语,使事务的控制部分得以形式化。

锻造高温参数的确认与控制方法

钢质锻件在热态锻造条件下,应对所涉及贯穿锻造过程始终、监视和测量频率较高以及对锻件"成形"与"改性"效果影响较大的锻造高温参数进行确认与控制;采用科学、合理、适宜、规范、可靠和有效的方法对锻造高温参数进行确认与控制,可有效提高锻造过程控制能力。

质量控制和方法确认数据评定车用汽油中苯含量的不确定度

采用气相色谱法对车用汽油中的苯含量进行测定,利用质量控制和方法确认数据对测量结果进行不确定度评定。在期间精密度测量条件下,分别对精密度不确定度分量和偏倚不确定度分量进行分析,在整个测量系统处于受控状态下进行不确定度评定。结果表明,偏倚不确定度分量大于期间精密度的不确定度分量,是苯含量测量不确定度的主要分量;当苯含量测量结果为0.8%(ν/ν)时,在包含概率为95%的条件下,扩展因子为2,苯含量测量结果不确定度可表示为(0.8±0.05)%。在期间精密度测量条件下,基于质量控制结果和方法确认数据,合并两者带来的累积效应,作为不确定度的估计量评定车用汽油中苯含量不确定度,为广大化学分析工作者提供一种评估车用汽油中苯含量测量不确定度的方法。

应收账款资产证券化业务会计处理的核心问题分析——是否合并专项计划与终止确认应收账款

由于客车行业特性,客车企业普遍应收账款高企,资金紧张。公司通过开展应收账款证券化来降低应收账款,缓解资金压力。对于证券化业务的会计处理,主要依据《企业会计准则第23号-金融资产转移》及其应用指南,从是否合并专项计划、应收账款是否转移及风险报酬转移情况、是否终止确认应收账款等方面进行分析、判断,形成最终会计处理意见,并对证券化业务开展过程中存在的业务问题提出改进建议。

药品水针注射液装量过程有效控制

药品水针注射液装量容量指标是药品主要的考核指标之一。由于装置标量,装置过程装量随机变动性,半成品、终端产品验证人员的分散性、标量量具的计量确认差异,极易造成产品质量容积装量的失控以及不合格产品。本文介绍了怎样把药典的CMR计量要求,转化为企业生产注射液装置装量过程MEMC计量确认的过程。

基于最佳中继节点搜寻的WSN数据汇聚算法

为解决无线传感网络在交通领域部署过程中存在的数据链路抖动严重、汇聚中心节点(sink节点)跳变性大、汇聚带宽不高等问题,提出基于区域控制信息确认及最佳中继节点搜寻的无线传感网数据优化汇聚算法。针对具体时刻交通节点具有的交通特性,采取基于反馈确认思想,实现对所处区域的确认;计算中继节点位置,对中继汇聚节点进行精确定位,确保该中继汇聚节点能够以最佳状态进行数据汇聚;考虑到车辆节点移动特性,采取优化汇聚机制实现对sink节点及中继汇聚节点的优化汇聚更新。仿真结果表明,与PEVN算法、VCPN算法相比,该算法拥有更高的交通节点汇聚带宽性能,在改善车载传感网节点数据拥塞方面具有更大优势。

浅谈药品生产中的关键工艺参数确认和控制方法探讨

随着现代药品生产事业的持续快速发展,对其关键工艺参数的确认与控制提出了更高要求,需要综合采取多种方法与策略,提高关键工艺参数的可信性与全面性。基于此,本文首先介绍了关键工艺参数的相关内容,并结合相关实践经验,分别从建立风险管理模式以及质量源于设计的方法等多个角度方面,提出了药品生产中的关键工艺参数确认和控制方法,望对同行实践有所借鉴意义。

浅谈焊接特殊过程的确认及控制

焊接过程是保证产品质量的特殊过程,能直接影响产品的各项指标,本文主要针对焊接过程进行管理,并分析如何能正确的确认和控制焊接过程,从而保障产品的质量。

新产品设计和开发的程序探索

做好新产品设计和开发的策划工作，以使设计和开发、验证和更改得到有效控制。