论文研究基于Pi演算的WSCDL编舞的描述和验证.pdf
用户评论
推荐下载
-
论文研究基于竞争聚类的离线签名验证算法.pdf
提出一种新的基于竞争聚类的离线签名验证算法。在注册阶段,通过样本特征的相关系数检查样本的一致性;在验证阶段,利用样本与待验签名的竞争聚类结果判断待验签名的真伪。实验结果表明,该算法不需用阈值来进行控制
15 2020-07-20 -
论文研究软件体系结构的属性图文法描述及其约束验证.pdf
摘要:在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进
26 2019-09-23 -
λ 演算的语法和语义
λ-演算的语法和语义
12 2020-09-20 -
论文研究基于矩形骨架的人体姿势描述.pdf
基于矩形骨架的人体姿势描述,钱锋,梅雪,人体的行为动作存在多样的变化,但是可以使用片图结构模型(pictorialstructure),将人体模型作为躯干和若干肢体的序列组合,最后通过动
25 2020-04-15 -
论文研究基于Raspberry Pi技术的数据温室实时监控
温室需要控制环境参数以获得理想的植物生长。 本文的范围是基于树莓派Pi3平台的温室实时远程光照强度,温度和湿度监控系统的设计和实现,使用户能够监控温室的采集数据。 使用LabVIEW作为平台软件实现的
20 2020-07-18 -
广场舞团音乐编舞平台毕业设计实现
通过对广场舞团用户需求的调研和分析,本毕业设计实现了一个基于广场舞团管理系统的音乐编舞平台。该平台包含三个主要模块:需求分析、编舞设计和音乐开发。通过这些模块的协同作用,广场舞团的阿姨们可以方便地找到
10 2023-05-09 -
论文研究描述逻辑在基于语义的服务消息交互中的应用.pdf
提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行
40 2020-01-03 -
论文研究一种基于流演算的动态规划程序设计语言.pdf
提出了一种基于流演算的动态规划程序设计语言DPPLFC(dynamic planning programming language based on fluent calculus)。通过定义动作表达
5 2020-07-23 -
PI演算经典入门教程2
ACalculusofMobileProcesses2
24 2019-05-12 -
Pi演算经典入门教程1
ACalculusofMobileProcesses1
23 2019-05-12
暂无评论