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

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

纱筒甩帮的原因及对策

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

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

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

物联网概论课程教学研究

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

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

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

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

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

一种运用重路由技术的匿名通信系统改进模型研究

当前已有不少基于重路由的匿名通信系统,但现有的匿名通信系统大部分在获得匿名的同时却牺牲了效率。为设计既安全又高效的匿名通信系统,提出基于重路由技术的匿名通信系统改进模型,对匿名系统的匿名度进行探究。模型根据敌手攻击能力的不同,提出两种改进方式:对于敌手攻击能力为1的情形,提出单一节点和多节点的信息熵偏差模型,该模型能够用于不同系统之间匿名性的比较,客观、合理地给出各个节点的权重;对于敌手攻击能力为0.95的情形,引入模糊熵的概念与非线性规划模型,运用模糊熵与概率熵相结合,充分利用模糊随机变量整合所有不确定性,理论分析表明,改进后的重路由算法均能有效保证匿名性能。基于给定的匿名系统信息发送概率,设计实例求解系统的匿名性并做比较分析,实验结果表明,改进后的匿名系统度量模型具有较好的可靠性与优越性。     

真假翡翠鉴别法

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

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

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