没有合适的资源？快使用搜索试试~
我知道了~
文库首页
移动开发
其它
基于Pi_演算的Web服务组合的描述和验证
基于Pi_演算的Web服务组合的描述和验证
calculus
web
service
需积分: 9
5 下载量
43 浏览量
2011-05-20
08:43:41
上传
评论
收藏
758KB
PDF
举报
温馨提示
立即下载
基于Pi_演算的Web服务组合的描述和验证.pdf pi calculus web services
资源推荐
资源评论
论文研究-基于Pi-演算的Web服务形式化描述模型.pdf
浏览：72
在对现有的Web服务形式化描述方法进行回顾和总结的基础上，基于Pi-演算建立了Web服务形式化描述模型，将BPEL4WS和WS-CDL规范的重要行为在模型中作了映射。最后通过例子说明，基于局部和全局的设计方法在提出的模型中...
论文研究-基于多元Pi演算的Web服务形式化描述模型及其验证.pdf
浏览：57
Web服务组合在运行时多发生由于类型不匹配而产生的错误，为了有效地避免这种错误，在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性，通过操作...
论文研究-多Web服务组合兼容性的自动化验证.pdf
浏览：137
从Web服务交互行为方面描述多Web服务组合，在提出行为兼容性的相关理论的基础上，给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法，通过将多Web服务组合自动转化为Pi演算中的组合进程，实现多Web服务组合...
sanjiaobo.zip_pv grid pi_光伏并网_光伏并网PI_基于PI_电流PI
浏览：194
光伏并网系统 三大服务而非我基于PI控制的电流内环控制
boost_pi_control_loop_design.rar_boost mathcad_boost pi_boost闭环
浏览：143
5星 · 资源好评率100%
该资料为boost电路闭环控制的详细计算文档，文档用mathcad打开
pi_million_digits.txt
浏览：7
5星 · 资源好评率100%
pi_million_digits, python课程文件读取用，codeforge下载
pi_supercomputer_southampton_web
浏览：152
pi_supercomputer_southampton_web，利用树莓派搭建超级电脑。
Fig6x16.rar_双环PI_双闭环调速_基于PI_转速控制器_转速环
浏览：199
基于simulink的双闭环直流调速系统，其中电流环是基于PI控制器，转速环基于自抗扰控制器。
PMSM_PI_decomposition_decomposition_PI控制_永磁同步电机_
浏览：102
此文件是永磁同步电机的电流PI控制模型。
pi_css5_src.7z
浏览：190
说明：此文件为SuperPI的linux版C语言实现的源代码，已在arm平台测试ok。 功能：利用CPU的浮点运算能力来计算出π所需的时间。 使用： 1、tar -xvf pi_css5_src.tgz /...4、./pi_css5 $((1))//精确到小数点后2^25位
OrangePi_zero_H2_用户手册_v0.1.pdf
浏览：33
OrangePi_zero_H2_用户手册_v0.1 香橙派Zero是一款开源的单板电脑，新一代的arm开发板,它可以运行Android4.4、Ubuntu、Debian等操作系统。香橙派Zero使用全志H2系统级芯片，同时拥有256MB/512MB DDR3 内存（256MB为...
pi_4 QPSK modulation .rar_PI_QPSK_pi 4 QPSK_pi/4 qpsk_pi/4-QPSK
浏览：36
pi_4 QPSK modulation pi_4 QPSK modulation
SuperPI-pi_css5_src.7z
浏览：32
说明：此文件为SuperPI的linux版C语言实现的源代码。 Super PI是利用CPU的浮点运算能力来计算出π（圆周率），常用于测试系统稳定性和压力测试，CPU计算完后特定位数圆周率所需的时间。...pi_css5: Compute π FAST
Pi-演算表达式到SMV程序代码的自动转换工具PiCal2NuSMV
浏览：108
5星 · 资源好评率100%
Pi-演算文本解析器用于把Pi-演算表达式的文本形式转化为内存表示形式，转换适配器基于此形式分析并转换Pi-演算进程为SMV程序的内存表示形式，SMV程序产生器将SMV程序内存表示方式转换为SMV程序代码文本。
APF_PI_apfpi_APF_APF_PI_源码.zip
浏览：49
5星 · 资源好评率100%
APF_PI_apfpi_APF_APF_PI_源码.zip
pi_bmi160_drv_demo.tar
浏览：22
工程目录包含的文件：CMakeLists.txt drv_pi_bmi160.c drv_pi_bmi160.h pi_bmi160_demo.c 硬件接线和树莓派平台环境搭建参考：https://blog.csdn.net/zhoulr000/article/details/120695350?spm=1001.2014.3001.5501
PI_PMSM.rar_PI PMSM_PI_PMSM_PMSM PI_pi matlab_pmsm
浏览：172
Direct PI control of PMSM
vdhcoapp-windows-x86-64-installer 2.0.19
浏览：125
4星 · 用户满意度95%
网页视频下载工具,需要和Video DownloadHelper搭配使用。可以为你嗅探出网页中的视频文件,并且可以进行快速下载
大麦抢票+源代码+辅助工具+详细文档教程
浏览：14
5星 · 资源好评率100%
大麦抢票+辅助工具+源代码+供参考+自动抢票+详细文档教程+亲测可运行+基于python 大麦抢票+辅助工具+源代码+供参考+自动抢票+详细文档教程+亲测可运行+基于python 大麦抢票+辅助工具+源代码+供参考+自动抢票+详细文档教程+亲测可运行+基于python 大麦抢票+辅助工具+源代码+供参考+自动抢票+详细文档教程+亲测可运行+基于python 大麦抢票+辅助工具+源代码+供参考+自动
嵌入式，PL2303-win11驱动程序
浏览：42
5星 · 资源好评率100%
此pl2303驱动程序不支持win11、非旺玖原装PL2303驱动解决办法 详情博客：http://t.csdn.cn/Yvdu0
aurora-v3.0.4s-release.exe
浏览：185
5星 · 资源好评率100%
aurora-v3.0.4s-release.exe
labview入门开发100实例及对应部分vi
浏览：116
资料看的再多不如实际操作，多动手，只有动手才会发现问题然后解决问题，做完这些实例就基本入门了
Unityhub 国际版 Windows版本 下载时间：2022年9月9日 10:35
浏览：69
5星 · 资源好评率100%
Unityhub 国际版 Windows版本。下载时间：2022年9月9日 10:35 下载源：https://github.com/AlianBlank/download.unity.com 下载Unity国际版本：https://github.com/AlianBlank/download.unity.com
CANdb++Admin完整安装包
浏览：170
5星 · 资源好评率100%
CANdb++是汽车CAN总线DBC文件的编辑软件，既可以用其来打开DBC文件，也可自行进行编译，适用于从事汽车行业的相关人员。
MC大龙老师新版scratch3.0编程素材（第四版）
浏览：68
5星 · 资源好评率100%
B站【123集】新版少儿编程scratch3.0从入门到精通系列教程-大龙老师，完整素材。
蓝桥杯第十四届省赛真题源码
浏览：141
蓝桥杯第十四届省赛真题源码 https://blog.csdn.net/weixin_53050357/article/details/130043887#comments_28655100 配合蓝桥杯嵌入式第十四届省赛程序真题，真题分析与代码讲解一起学习更好哦。
INFI75 Driver V2.exe
浏览：59
INFI75 Driver V2.exe
Arduino+CH340模块驱动+esp8266开发板（3.0.2）
浏览：124
从计算机学院入坑工学院，第一次学习Arduino+ESP8266 NodeMcu（CH340驱动版）开发板的学习 本着小白上道，才发现各种开源项目和一些包在到处割韭菜，记录一下第一次学习安装遇到的坑（本次记录所有下载链接和我上传在CSDN上的下载项目全部免费提供给大家下载）
虚拟串口Virtual Serial Port Driver Pro 10.0.992 支持win10操作系统
浏览：9
4星 · 用户满意度95%
资源对应使用说明链接 https://blog.csdn.net/lizhu_csdn/article/details/126470142 完美支持windows10 ,Virtual Serial Port Driver Pro 10.0.99210.0.992资源连接，
评论
收藏
内容反馈
立即下载
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
sharekk7
粉丝: 0
资源:
5
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
tensorflow-gpu-2.7.2-cp37-cp37m-manylinux2010-x86-64.whl
tensorflow-2.7.4-cp37-cp37m-manylinux2010-x86-64.whl
tensorflow-2.7.3-cp38-cp38-manylinux2010-x86-64.whl
gateway xcl 123
计算机系统实验boom学习教程
MyBatis使用动态SQL的if标签
灰灰老师CDSN博文链接
基于AT89C51的lcd12864的实验
基于LabVIEW的虚拟示波器
2_IMG_0521.MP4.mp4
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
