说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 异步PI演算
1)  asynchronous PI-calculus
异步PI演算
1.
Properties analysis for Web services long running transaction based on asynchronous PI-calculus;
基于异步PI演算的Web服务长事务协议性质分析
2)  asynchronousπ-calculus
异步π-演算
3)  pi-calculus
pi-演算
1.
Verifying Web services substitution using Pi-calculus;
基于Pi-演算的Web服务可替换性验证
2.
Workflow Patterns Description in Term of Pi-calculus;
基于Pi-演算的工作流模式描述
3.
Specification and verification of WS-CDL choreography based on Pi-calculus;
基于Pi-演算的WS-CDL编舞的描述和验证
4)  Pi calculus
Pi演算
1.
Business process model of CRM system based on PI calculus
基于PI演算的CRM系统的业务流程建模
2.
This paper expands the Pi calculus in order to address a formalized description of the BPEL4WS program.
通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。
3.
The paper puts forward a pi calculus encoding for fault and compensation processing in the Web Services Composition Language BPEL4WS in order to verify the BPEL4WS language automatically.
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。
5)  pi-calculus
pi演算
1.
PI-calculus Modeling of Multicast Protocol Verified with MWB;
多播协议PI演算建模与MWB检测
2.
Improved method of automated Web service composition using Pi-calculus;
一种改进的基于Pi演算的Web服务自动组装方法
3.
Research on Formal Verification of Web Services Flow Based on Pi-Calculus;
基于Pi演算的服务流验证方法研究
6)  pi-like Calculus
类pi演算
1.
Formal Research of Electronic Payment Protocol Based on pi-like Calculus;
基于类pi演算的电子支付协议安全性形式化研究
补充资料:单相异步电动机
      用单相交流电供电的异步电动机。所用电源方便,结构简单,价格低廉,运行可靠,广泛应用于办公室、家庭和医院等只有单相电源的场合。但它比三相异步电动机效率低,体积也大。因而单相电动机只做成小型的,其功率从零点几千瓦到几千瓦。
  
  单相异步电动机的定子一般有两个绕组,即主绕组和副绕组。它们沿圆周错开一定的空间角(一般是90°电角度)。主、副绕组的电流在时间上也有一定的相位差。单相异步电动机的转子均为笼式绕组。
  
  通常主、副绕组的磁通势不一定相等,时间也不一定正好差90°,故运行时,一般产生椭圆形旋转磁场。如单相异步电动机只有主绕组接单相电源时,定子绕组便产生脉振磁场,它可分解成正序旋转磁场和负序旋转磁场,两者均会在转子绕组里感应电动势。笼型转子绕组是自行闭合的,电流均可流通,正、负序磁场各自产生电磁转矩。它们与转矩的关系如图所示。图中T+表示正序电磁转矩,T-表示负序电磁转矩,T代表合成转矩。在转速为零时,合成转矩为零,即没有起动转矩。因此,只有主绕组接电源不能自行起动。一旦起动后,便有电磁转矩。
  
  为了获得起动转矩,单相异步电动机一般装有副绕组。采取电阻分相或电容分相的办法使主,副绕组中电流有一定的相位差,从而产生起动转矩(见分相异步电动机)。
  

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条