论文部分内容阅读
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
Email系统特征交互问题的π-演算检测
【摘 要】
：
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验
【机 构】
：
华侨大学计算机科学与技术学院
【出 处】
：
华侨大学学报(自然科学版)
【发表日期】
：
2011年2期
其他文献
孔子是我国"诗教"的开创者.他十分重视诗歌在人的道德方面的教化作用以及"兴观群怨"等各种社会作用,但他却忽略了"诗教"中的极其重要的美学作用.受孔子的影响,后人对诗歌的美
考虑一类具时滞和脉冲的两种群周期浮游生物植化相克系统,利用一些分析技巧和重合度理论,并巧妙构造一个同伦变换,得到该系统存在周期正解新结果,推广并改进了相关结果.
建立概率筛振动信号的自回归模型,进行双谱估计.从双谱及其对角切片中获得谱特征和筛分效率之间的关系,并找出最佳筛分效率的谱特征.实验和研究结果表明：不同的筛分效率有着不
在考虑土体抗剪强度参数变异性及相关性的基础上,运用可靠度理论分析洞顶松散土体的塌方概率.根据简化模型推导土体发生某种破坏时的安全余量,计算土体发生塌方的概率值.分析