期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
移动进程的空间逻辑 被引量：4
1
作者 林惠民 《中国科学（E辑）》 CSCD 北大核心 2004年第2期139-150,共12页
提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该... 提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质,并证明了该算法的正确性. 展开更多
关键词 移动进程 空间逻辑 模态逻辑 模型检测 异步π-演算 谓词μ-演算 操作系统
原文传递
玉米花粉管伸长的时空进程 被引量：2
2
作者 张雅君 陈钦坚 +1 位作者 孙毅 梁雪莲 《玉米科学》 CAS CSCD 北大核心 2015年第4期98-103,共6页
以玉米花丝为材料,采用苯胺蓝染色法检测授粉后玉米花粉管的伸长进程。授粉0.5 h后开始每隔1 h对花丝取样,直至48 h;所取花丝经固定、软化和苯胺蓝染色后压片,在倒置荧光显微镜紫外光滤片下观测花粉管伸长情况。结果表明,花粉在授粉后0.... 以玉米花丝为材料,采用苯胺蓝染色法检测授粉后玉米花粉管的伸长进程。授粉0.5 h后开始每隔1 h对花丝取样,直至48 h;所取花丝经固定、软化和苯胺蓝染色后压片,在倒置荧光显微镜紫外光滤片下观测花粉管伸长情况。结果表明,花粉在授粉后0.5 h就开始萌发,随后花粉管开始伸长并逐渐加速,3 h后以较高速度0.8~0.9 cm/h伸长,维持17 h后速度开始下降,22 h后大部分进入子房,整个过程中花粉管的平均伸长速度为0.68 cm/h。玉米花粉离体自然条件下的生命时间为5 h,此后开始分解。在玉米花粉介导转基因时需对离体的花粉与外源基因进行处理,这个过程消耗花粉部分内容物和能量,且影响花粉的活力,是玉米花粉介导法转化率偏低的一个重要原因。 展开更多
关键词 玉米 花粉管 荧光检测 移动进程
原文传递
一新型移动进程模型—— χ-演算 被引量：2
3
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期7-11,共5页
提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．
关键词 互模拟 Π-演算 X-演算 移动进程 并发计算模型
下载PDF
元Chi进程互模拟等价的一致性 被引量：1
4
作者 林敏 傅育熙 《软件学报》 EI CSCD 北大核心 2001年第12期1793-1800,共8页
Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明... Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明了在某种意义下 ,元 Chi-进程之间只有一个互模拟等价关系 . 展开更多
关键词 进程代数 移动进程 互模拟 元Chi演算 并发计算 计算机
下载PDF
基于Pi演算的软件过程形式化描述
5
作者 冷家锋 张晓春 陈中育 《计算机与现代化》 2007年第10期83-85,共3页
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴P i演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出P i描述,并验证过程描述的正确性。
关键词 PI演算 软件过程 活动交互 移动进程 形式化
下载PDF
浅谈西安地区空中防相撞工作的实施
6
作者 宋国华 胡双智 《空中交通管理》 1998年第2期9-11,共3页
近年来,我们针对人员情况和西安区域管制工作特点,狠抓行政管理、业务技术管理和规章制度的落实,在管制工作的合理性、准确性、科学性上下功夫,在防相撞工作中取得了一定的经验。我们的具体做法如下:
关键词 西安地区 管制席位 管制员 飞行冲突 区域管制 规章制度 安全管理 移动进程 行政管理 飞行安全
原文传递
基于时间Ambient演算的业务流程模型验证
7
作者 李津 李勇 高春鸣 《计算机工程与设计》 CSCD 北大核心 2008年第3期554-559,共6页
Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达。通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻... Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达。通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻辑。基于DTMA演算及其模态逻辑的子集给出了模型验证算法,提出了一种对BPEL4WS程序的形式化建模方法,实现了业务流程的活动可达性的模型验证。 展开更多
关键词 离散时间Ambient演算 移动进程 模态逻辑 模型验证 业务流程执行语言
下载PDF
移动进程演算中的开互模拟 被引量：2
8
作者 傅育熙 《计算机学报》 EI CSCD 北大核心 2001年第7期673-679,共7页
该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出... 该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出了第四条 tau规则 ,处理了在前缀操作下的等名测试算子 ,并证明了强开同余关系的完全公理化系统加上四条 tau规则可得到弱开同余关系的完全公理化系统 .该文的结论否定了关于 Milner的三条 展开更多
关键词 进程代数 互模拟 公理化 移动进程演算 计算机
下载PDF
一个移动进程演算的互模拟同余定义框架
9
作者 陈韬略 李斌 +1 位作者 胡昊 吕建 《计算机科学》 CSCD 北大核心 2004年第1期11-15,27,共6页
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本... 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系。模型的优点在于它的普适性和开放性。 展开更多
关键词 移动进程演算 互模拟同余定义 计算机科学 并发理论 传名机制
下载PDF
电信联通需尽早“下注”VoLTE
10
作者 黄海峰 《通信世界》 2015年第30期11-11,共1页
近日，北京移动、上海移动、辽宁移动等多个省市运营商宣布商用VoLTE，而最早商用的浙江移动已经发展8000多位VoLTE用户，这是中国移动VoLTE全面商用的信号。相比而言，中国电信和中国联通（以下简称电信和联通）就显得沉默很多，其VoLT... 近日，北京移动、上海移动、辽宁移动等多个省市运营商宣布商用VoLTE，而最早商用的浙江移动已经发展8000多位VoLTE用户，这是中国移动VoLTE全面商用的信号。相比而言，中国电信和中国联通（以下简称电信和联通）就显得沉默很多，其VoLTE商用还需不少时日，大大落后于中国移动进程，颇有输了4G，又要输VoLTE的架势。 展开更多
关键词 中国联通 中国电信 中国移动 下注 移动进程 商用 运营商 信号
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部