基于π演算的多实例工作流模式的建模方法

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确.     

纱筒甩帮的原因及对策

在胶鞋的生产过程中出现的纱筒甩邦现象，是指裁断好的纱筒经过包缝，平缝后，而出现的棉毛布尺寸超过中底宽的。过去，我厂纱筒帮严重的棉毛布会长出中底边沿5－6cm。平缝时帮严重，套楦时纱筒会套不到位，不是前端中底欠缺，便是后端中底突出，总是无法使中底完好覆盖楦底，使用这种纱筒制成的鞋，将会出现大底脱空，弹开，中底不到位等质量事故。     

基于虚拟技术国内某300MW火电机组脱硫DCS仿真系统的研制

简要介绍了基于虚拟技术国内某300MW火电机组脱硫DCS仿真系统的研制技术方案.     

物联网概论课程教学研究

物联网作为新一代信息技术发展的标志,学习物联网概论知识不仅是物联网专业学生的需要,对非物联网专业学生来说也是十分必要的。根据自身实际教学经验和取得的教学效果,对物联网概论的课程定位、教学内容、教学方法等进行了探讨,提出了一些培养学生学习兴趣、增强专业认同感,提高教学效果的途径和方法。     

工作流模式的π演算建模研究

π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。     

基于π演算的工作流模型分析方法

使用合理性、弱合理性和松合理性对π演算形式化的工作流模式进行合理性分析时,工作流都不符合这3种合理性。针对以上问题,提出懒惰合理性的概念,用于对工作流进行分析。通过考虑节点语义,扩展结构合理性。为了表达节点语义,用π演算表达过程图,使过程图具有形式化语义。     

真假翡翠鉴别法

翡翠系单键状辉石类矿物集合体的一种。矿物学名硬玉。绿色硬玉称翡翠。其他颜色概称“杂色玉”。翡翠可分为A、B、C三类:A类系指不经任何退色或染色处理的天然翡翠。B类是指底色原为灰色或褐黄色,经漂白退色处理,而使原来天然绿色部分衬托得更鲜艳者。C类为利用染色将白色翡翠石染成浅绿     

蜂窝纸板切纸机的模糊神经网络智能化控制

提出并实现了一种基于模糊技术和神经网络集成的仿人智能控制模型，利用该智能控制模型对蜂窝纸板切纸机进行控制，可以实现对纸板的按任意要求的切割。仿真实验证明了该模型的可靠性和快速性。     

真假翡翠鉴别法

真假翡翠鉴别法翡翠系单键状辉石类矿物集合体的一种．矿物学名硬玉．绿色硬玉称翡翠。其他颜色概称“杂色玉”．翡翠可分为Ａ，Ｂ，ｃ３类：Ａ类系指不经任何退色或染色处理的天然翡翠。Ｂ类是指底色原为灰色或褐黄色，经漂白退色处理，而使原来天然绿色部分衬托得更鲜艳...