摘要：为了保证复杂BPMN协作模型的正确性,不仅要涵盖多实例和子进程等复杂元素,还要在检测控制流错误的同时检测数据流错误。但业务流程建模标注(BPMN 2.0)缺乏形式化语义的描述,这对模型正确性的验证造成了阻碍。因此,给出了一种具有弧权重的层次化着色Petri网(HCPN)的定义,它既可以对数据流进行形式化表示,又可以对多实例和子进程结构进行建模。进一步提出了从BPMN协作模型到HCPN模型的形式化映射方法。然后基于HCPN模型的弧权重给出了缺失、丢失和冗余3种数据流错误的定义,并提出了对应的检测算法。最后,设计了一个自动化建模与验证的框架,通过一个案例研究说明了该方法的有效性。

摘要：为了提高LED植物光源的有效利用率,基于Taguchi的实验方法对LED植物红蓝光源阵列进行设计和优化。用MATLAB软件编程进行仿真模拟,通过ANOVA方法分析得出对植物光源照射距离为10 cm处的红蓝光的光子数比值(R/B)分布均匀度影响最大的因子,并对试验最优结果采用Trace Pro光学软件进行试验验证,从而获得本次试验最佳的参数组合。结果表明:曲率半径为50 mm的凹形曲面底板的圆心加点排布方式,圆心为LED蓝光芯片,圆环上为LED红光芯片,芯片数量分别为6个LED红光芯片和1个LED蓝光芯片,芯片距离为10 mm的最优化组合是本次试验的最优组合。通过ANOVA方法分析得出,LED红蓝芯片之间的间距对植物光源的R/B的均匀分布影响最大,占有35.17%的比例,LED红蓝芯片的排布方式也不可忽略,因为其占有了28.05%的影响比例。

摘要：根据创新与实用相结合的研究目标,设计开发了一种新型电动球型云台。为了增强其功能并改进其性能,通过深入分析云台的受力特点与平衡条件,探讨了保证云台灵活性的结构设计措施,并研究了实现云台极限负载能力的力学改善策略。进而利用MATLAB进行辅助运算和数据处理,阐释了云台运动姿态与代表其灵活性的最大角加速度之间的关系,讨论了影响云台极限负载的几个重要因素及其权重分配。在本文的理论指导下,相比第一代电动球形云台,本新型电动球形云台无论在灵活性、控制性,还是在负载性和实用性方面都得到极大改善,充分证明该数学建模与理论分析起到了极大作用,推动了新型电动球形云台设计的进步。

摘要：自主对接是实现机器人自重构的关键技术。基于新型自重构模块化机器人M2SBot的结构,设计了独特的正弦加速度槽凸轮式对接锁紧机构,可实现可靠连接。同时提出一种新的三维空间对接算法,将基于罗德里格矩阵的公共点法与爬山搜索算法相结合,扩大了两个待接面间空间偏移角的搜索范围。该算法利用红外线传感器计算两模块间的相对位姿偏差,通过逐步调整各个偏移量实现对接。最后分析了整个过程的对接策略。仿真结果表明,该锁紧机构和对接算法可以有效地实现模块间的对接。

摘要：介绍了一种新型自重构机器人系统,研究了基于旋量理论的自重构机器人正、逆运动学算法。在分析M2SBot机器人模块拓扑结构的基础上,建立描述自重构机器人拓扑构型的三元组矩阵;利用拓扑结构信息和模块坐标系间的齐次变换,获得各个模块的运动旋量并自动生成自重构机器人正运动学方程。采用遗传算法求运动学的逆解,在传统遗传算法的基础上提出了"移民"策略和局部优化的改进方案。最后,以双支链构型为例,给出了正运动学方程自动生成的具体步骤,并在MATLAB平台上进行逆运动学仿真,验证了改进遗传算法的有效性。

摘要：针对目前植物照明灯具混光混色均匀度差、难以满足植物工厂高效生产作物产品的问题提出了一种高均匀度的植物面光源的设计方案。利用一种棱锥状的光学元件将LED发出的光线划分为透射、反射和直射3部分,增加了光线的耦合程度,进而提高了出光面上的混光和混色均匀度。进一步采用照度均匀度代替光量子通量密度的均匀度并且联同混色均匀度作为考察指标,利用Taguchi方法设计并进行实验,研究不同因子对光源均匀度的影响,得出实验结果后进行优化,最终获得了一个照度均匀度为92.13%、混色均匀度为89.72%的植物照明面光源。

摘要：开放组架构框架(TOGAF)业务架构作为数据架构、应用架构和技术架构的基准,在企业系统架构设计中占据引导作用。但由于其自身描述形式的局限性,存在无法对系统业务架构框架动态特征进行分析的问题,故提出一种基于ROAD业务架构的着色petri网(CPN)可执行模型生成方法。该方法基于TOGAF业务架构ACF元模型划分提出的4类模型——规则模型(RM)、组织模型(OM)、活动模型(AM)和数据模型(DM),建立4类模型不同描述形式与CPN建模语言间的对应关系,进而提出以RM,OM,AM和DM为主体的可执行模型五阶段建模方法。最后,以幼儿园智能晨检机器人系统业务架构为例,验证了所提方法的可行性和有效性。该方法实现了灵活、自动化的CPN可执行模型的生成,打破了业务架构建模语言和CPN建模语言之间的限制。

摘要：为提高重组抗菌肽Plectasin的表达量,对构建的Plectasin重组表达载体p E-SUMO-PS的表达条件进行正交试验优化。根据Plectasin氨基酸序列合成了Plectasin基因,通过限制性内切酶Xba I和Bsa I插入表达载体p E-SUMO中,转化*** Origami(DE3),IPTG诱导表达。选取诱导时间,诱导浓度和诱导温度共3个主要外部因素。采用3因素3水平正交试验设计,通过SDS-PAGE测定重组表达蛋白。以标准SDS-PAGE图法分析目的融合蛋白含量,以单位上清体积内融合蛋白量作为检测指标,结果用SPSS13.0软件进行统计分析。实验成功构建了重组表达载体p E-SUMO-PS,且融合蛋白主要是以可溶性蛋白为主。在30℃,0.05 mmol/L IPTG的条件下诱导6 h所得融合蛋白量最大。影响抗菌肽Plectasin融合表达的因素的强度由高到低分别为诱导温度、诱导时间及诱导剂浓度。通过正交试验得出抗菌肽Plectasin原核表达的最佳诱导条件为30℃,6 h和0.05 mmol/L IPTG。这对于抗菌肽Plectasin的后续纯化及产业化具有重要参考价值。

摘要：通过对重庆市北碚区静观镇花农关于花木种植中自然灾害风险的态度、行为与意愿的抽样调查,了解花农对花木种植中自然灾害风险的认识和感受、行为选择及对花木种植中自然灾害风险管理的期望,从而得出结论:农民对花木种植中自然灾害风险的关注程度低,农民对政府参与花木种植中自然灾害风险的意愿比较强烈.政策性花木保险有利于调动花农参保积极性,但应注重花木保险的模式选择和内容设计,并在此基础上提出针对性的政策建议.

摘要：设计并实现了电子散斑干涉无损检测系统,搭建了错位电子散斑干涉光路.采用基于偏微分方程的电子散斑干涉信息提取技术对采集到的散斑图像进行处理,结合条纹图自身的方向信息,利用偏微分方程提取电子散斑干涉条纹图的中心线并进行相位插值,得到物体的变形信息,从而实现无损检测.实验结果表明:本文方法提取的相位平均误差在2%以内.