简介:针对企业自动化生产流水线中的生产线单一及生产流程切换不便等问题,提出一种多生产流程自由切换的自动化生产模型。它的实现方式是通过工业计算机与可编程控制器构建上位机一下位机形式的硬件结构,并通过c#面向对象的特点,运用封装、继承与多态的方法使生产工序的自由切换得以实现。其控制方式稳定、操作简便,可以有效提高生产效率,具有较高的实际应用价值。
简介:摘要:深度学习已广泛应用于医学成像的分割中。2015年提出的U-Net模型显示了精确分割小目标及其网络架构可扩展的优势,使其成为医学成像分割任务的主要工具。近年来,随着对医学图像分割性能要求的不断提高,研究人员通过采用新方法或将引入其他方法等手段,从结构、创新性、效率等方面对U-Net架构进行了许多进步。U-Net的成功之处在于它在MRI、CT、眼底成像、超声图像和X射线等几乎所有主要图像模式中被广泛应用,并有巨大的发展潜力。
简介:本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。