This study explored the concurrent scheduling of machines, tools, and tool transporter(TT) with alternative machines in a multi-machine flexible manufacturing system(FMS), taking into mind the tool transfer durations ...This study explored the concurrent scheduling of machines, tools, and tool transporter(TT) with alternative machines in a multi-machine flexible manufacturing system(FMS), taking into mind the tool transfer durations for minimization of the makespan(MSN). When tools are expensive, just a single copy of every tool kind is made available for use in the FMS system. Because the tools are housed in a central tool magazine(CTM), which then distributes and delivers them to many machines, because there is no longer a need to duplicate the tools in each machine, the associated costs are avoided. Choosing alternative machines for job operations(jb-ons), assigning tools to jb-ons, sequencing jb-ons on machines, and arranging allied trip activities, together with the TT’s loaded trip times and deadheading periods, are all challenges that must be overcome to achieve the goal of minimizing MSN. In addition to a mixed nonlinear integer programming(MNLIP) formulation for this simultaneous scheduling problem, this paper suggests a symbiotic organisms search algorithm(SOSA) for the problem’s solution. This algorithm relies on organisms’ symbiotic interaction strategies to keep living in an ecosystem. The findings demonstrate that SOSA is superior to the Jaya algorithm in providing solutions and that using alternative machines for operations helps bring down MSN.展开更多
目的:为提高小篮球运动员体能训练效果和减少运动损伤风险,进行科学有效的训练。本研究旨在探讨功能性动作筛查FMS (Functional Movement Screen)在小篮球运动员体能训练中的应用,提高运动能力,减少运动损伤风险。方法:以中文关键词“...目的:为提高小篮球运动员体能训练效果和减少运动损伤风险,进行科学有效的训练。本研究旨在探讨功能性动作筛查FMS (Functional Movement Screen)在小篮球运动员体能训练中的应用,提高运动能力,减少运动损伤风险。方法:以中文关键词“小篮球”、“儿童青少年”、“体能训练”、“功能性动作筛查(FMS)”搜索中国知网、维普和万方数据库将检索到的相关文献资料进行整理分析。结果:FMS可以用作评估运动员的基本运动模式的缺陷并筛查出潜在的损伤危险因素。使用FMS可以找出“小篮球”运动员所存在的问题,并针对性作出训练调整。使得教练员了解运动员情况并及时作出计划调整,对发挥出体能训练成效有着很大的潜力和应用价值。展开更多
In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our ...In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.展开更多
文摘目的:探讨胎盘生长因子(placental growth factor,PLGF)、可溶性fms样酪氨酸激酶-1(soluble fms-like tyrosine kinase-1,SFLT-1)和糖基化纤连蛋白(glycosylated fibronectin,GLYFN)检测对子痫前期的预测价值。方法:选择在无锡市妇幼保健院就诊的188例孕妇,分154例正常孕妇(对照组)和34例子痫前期患者(子痫组),应用免疫荧光法分别检测其在孕16~18周血清中PLGF、SFLT-1和GLYFN的浓度,比较子痫前期组和对照组各标志物的水平,并使用受试者操作特征曲线(receiver operating characteristic,ROC)对3种标志物的预测价值进行效能评估。结果:在妊娠中期,子痫前期组血清PLGF浓度低于对照组,SFLT-1及GLYFN浓度均高于对照组,3种标志物的差异均有统计学意义(3指标P=0.000)。95%置信区间的ROC曲线下面积(areas under the ROC curve,AUC)为,PLGF为0.941(0.907~0.974),SFLT-1为0.881(0.800~0.962),GLYFN为0.951(0.918~0.985),联合指标SFLT-1和GLYFN、3项指标联合检测在ROC曲线下面积(areas under the ROC curve,AUC)分别为0.968、0.986。结论:PLGF、SFLT-1、GLYFN 3种标志物水平在对照组和子痫前期组均存在明显差异,对子痫前期的发病具有一定的预测价值,SFLT-1联合PLGF、SFLT-1联合GLYFN、3项指标联合检测对子痫前期的预测价值高于任一单项指标。
文摘This study explored the concurrent scheduling of machines, tools, and tool transporter(TT) with alternative machines in a multi-machine flexible manufacturing system(FMS), taking into mind the tool transfer durations for minimization of the makespan(MSN). When tools are expensive, just a single copy of every tool kind is made available for use in the FMS system. Because the tools are housed in a central tool magazine(CTM), which then distributes and delivers them to many machines, because there is no longer a need to duplicate the tools in each machine, the associated costs are avoided. Choosing alternative machines for job operations(jb-ons), assigning tools to jb-ons, sequencing jb-ons on machines, and arranging allied trip activities, together with the TT’s loaded trip times and deadheading periods, are all challenges that must be overcome to achieve the goal of minimizing MSN. In addition to a mixed nonlinear integer programming(MNLIP) formulation for this simultaneous scheduling problem, this paper suggests a symbiotic organisms search algorithm(SOSA) for the problem’s solution. This algorithm relies on organisms’ symbiotic interaction strategies to keep living in an ecosystem. The findings demonstrate that SOSA is superior to the Jaya algorithm in providing solutions and that using alternative machines for operations helps bring down MSN.
文摘目的:为提高小篮球运动员体能训练效果和减少运动损伤风险,进行科学有效的训练。本研究旨在探讨功能性动作筛查FMS (Functional Movement Screen)在小篮球运动员体能训练中的应用,提高运动能力,减少运动损伤风险。方法:以中文关键词“小篮球”、“儿童青少年”、“体能训练”、“功能性动作筛查(FMS)”搜索中国知网、维普和万方数据库将检索到的相关文献资料进行整理分析。结果:FMS可以用作评估运动员的基本运动模式的缺陷并筛查出潜在的损伤危险因素。使用FMS可以找出“小篮球”运动员所存在的问题,并针对性作出训练调整。使得教练员了解运动员情况并及时作出计划调整,对发挥出体能训练成效有着很大的潜力和应用价值。
文摘In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System (FMS). After formalizing the semantics of our model, we illustrate how to verifysome of its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, and security) in the P-Timed context. Next, we validate the relevance of the proposed model with MATLAB simulation through a specific FMS case study. Finally, we use a generalized truncated density function to predict the duration of a token’s sojourn (residence) in a timed place with respect to the sequence states of the global FMS workflow.
