期刊文献+
共找到14篇文章
< 1 >
每页显示 20 50 100
一新型移动进程模型—— χ-演算 被引量:2
1
作者 傅育熙 《上海交通大学学报》 EI CAS CSCD 北大核心 1997年第8期7-11,共5页
提出一新型并发计算模型——χ-演算.它与π-演算的不同之处在于:具有统一的输入和输出,只有一类受限名,通讯的范围由局部化操作子界定,允许更大的并发度.
关键词 互模拟 Π-演算 X-演算 移动进程 并发计算模型
下载PDF
移动进程演算中的开互模拟 被引量:2
2
作者 傅育熙 《计算机学报》 EI CSCD 北大核心 2001年第7期673-679,共7页
该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出... 该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出了第四条 tau规则 ,处理了在前缀操作下的等名测试算子 ,并证明了强开同余关系的完全公理化系统加上四条 tau规则可得到弱开同余关系的完全公理化系统 .该文的结论否定了关于 Milner的三条 展开更多
关键词 进程代数 互模拟 公理化 移动进程演算 计算机
下载PDF
一个移动进程演算的互模拟同余定义框架
3
作者 陈韬略 李斌 +1 位作者 胡昊 吕建 《计算机科学》 CSCD 北大核心 2004年第1期11-15,27,共6页
并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本... 并发计算模型是理论计算机科学研究的重要领域之一。以π演算为代表的移动进程演算是目前并发理论的研究热点。互模拟等价定义是移动进程演算研究中的核心概念和问题,而传名机制使得移动进程演算中的互模拟同余关系更加复杂和有趣。本文在分析了常见的互模拟同余定义的基础上,通过抽取定义的核心要素,提出了一个三维的互模拟同余定义模型,从而将一般文献中常见的互模拟定义纳入到一个统一的框架中来,加深了我们对移动进程演算中互模拟概念的理解;同时本文利用这个模型,系统分析了各种互模拟之间的关系。模型的优点在于它的普适性和开放性。 展开更多
关键词 移动进程演算 互模拟同余定义 计算机科学 并发理论 传名机制
下载PDF
移动进程的空间逻辑 被引量:4
4
作者 林惠民 《中国科学(E辑)》 CSCD 北大核心 2004年第2期139-150,共12页
提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该... 提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质,并证明了该算法的正确性. 展开更多
关键词 移动进程 空间逻辑 模态逻辑 模型检测 异步π-演算 谓词μ-演算 操作系统
原文传递
信息化时代移动通信技术的历史进程及展望
5
作者 崔刚 《军民两用技术与产品》 2016年第12期65-65,共1页
通信技术作为信息沟通的重要工具,不仅对个人的生活有重要影响,它还是影响社会经济以及综合国力的重要因素,在全球化背景下,为了满足人们日益增长的沟通需求,移动通信这一通信方式在今天显得越来越重要。介绍了移动通信技术的概念... 通信技术作为信息沟通的重要工具,不仅对个人的生活有重要影响,它还是影响社会经济以及综合国力的重要因素,在全球化背景下,为了满足人们日益增长的沟通需求,移动通信这一通信方式在今天显得越来越重要。介绍了移动通信技术的概念,移动通信的含义、基本构成及特点。移动通信的四次技术研发,指出从1G、2G时代到3G、4G时代,中国的移动通信技术经历了由追随模仿到自力更生的转变,在这一过程中我国越来越积极地参与到了国际移动通信技术的研发之中。 展开更多
关键词 移动通信技术 移动通信技术历史进程 5G技术研发前景
下载PDF
元Chi进程互模拟等价的一致性 被引量:1
6
作者 林敏 傅育熙 《软件学报》 EI CSCD 北大核心 2001年第12期1793-1800,共8页
Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明... Chi-演算是将 π-演算中两类受限名统一后得到的 .多态 Chi-演算扩充了 Chi-演算的通信能力 ,使得一次通信可传递多个信息 .元 Chi-演算是在省略多态 Chi-演算的前缀操作子之后得到的子语言 .研究了元 Chi-演算的互模拟等价关系 ,证明了在某种意义下 ,元 Chi-进程之间只有一个互模拟等价关系 . 展开更多
关键词 进程代数 移动进程 互模拟 元Chi演算 并发计算 计算机
下载PDF
电信联通需尽早“下注”VoLTE
7
作者 黄海峰 《通信世界》 2015年第30期11-11,共1页
近日,北京移动、上海移动、辽宁移动等多个省市运营商宣布商用VoLTE,而最早商用的浙江移动已经发展8000多位VoLTE用户,这是中国移动VoLTE全面商用的信号。相比而言,中国电信和中国联通(以下简称电信和联通)就显得沉默很多,其VoLT... 近日,北京移动、上海移动、辽宁移动等多个省市运营商宣布商用VoLTE,而最早商用的浙江移动已经发展8000多位VoLTE用户,这是中国移动VoLTE全面商用的信号。相比而言,中国电信和中国联通(以下简称电信和联通)就显得沉默很多,其VoLTE商用还需不少时日,大大落后于中国移动进程,颇有输了4G,又要输VoLTE的架势。 展开更多
关键词 中国联通 中国电信 中国移动 下注 移动进程 商用 运营商 信号
下载PDF
基于时间Ambient演算的业务流程模型验证
8
作者 李津 李勇 高春鸣 《计算机工程与设计》 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
基于Pi演算的软件过程形式化描述
9
作者 冷家锋 张晓春 陈中育 《计算机与现代化》 2007年第10期83-85,共3页
软件过程技术已成为软件工程领域的一个研究热点。本文借鉴P i演算的移动进程代数表达能力,提出一种基于活动交互的软件过程形式化描述方法,以分析为例,对活动交互行为作出P i描述,并验证过程描述的正确性。
关键词 PI演算 软件过程 活动交互 移动进程 形式化
下载PDF
Mobile health applications for the care of patients with breast cancer:A scoping review
10
作者 Tingting Cai Yueshi Huang +3 位作者 Yuxia Zhang Zhenqi Lu Qingmei Huang Changrong Yuan 《International Journal of Nursing Sciences》 CSCD 2021年第4期470-476,I0007,共8页
Objectives:In recent years,the use of mobile health applications(mHealth apps)to deliver care for patients with breast cancer has increased exponentially.This study aimed to summarize the available evidence on develop... Objectives:In recent years,the use of mobile health applications(mHealth apps)to deliver care for patients with breast cancer has increased exponentially.This study aimed to summarize the available evidence on developing mHealth apps to care for patients with breast cancer and identify the need for systematic efforts.Methods:A scoping review was performed according to Arksey and O’Malley’s framework,aiming to identify eligible research studies in PubMed,CINAHL,and Web of Science between January 2010 and December 2020.All identified studies were screened,extracted,and analyzed independently by two reviewers.Results:A total of 676 studies were retrieved,and eight eligible studies were finally included.Four themes emerged:the involvement of patients and health professionals in the phases of design and development,patients’preferences,the characteristics of patients,and the motivators to use mHealth apps.The results indicated promising prospects for using mHealth apps to care for patients with breast cancer and identified the need for systematic efforts to develop and validate relevant apps.Conclusions:The attributes of patient characteristics,needs,and patient-reported outcomes data are vital components for developing mHealth apps for patients with breast cancer.Additionally,collaborative efforts,including patients,nurses,and other significant health professionals,should develop mHealth apps for breast cancer care.Additional research focusing on the design and development of mHealth apps for patients with breast cancer is warranted. 展开更多
关键词 Breast neoplasms Health promotion Mobile application Nursing care PATIENTS Scoping review
下载PDF
Use of mobile-stroke risk scale and lifestyle guidance promote healthy lifestyles and decrease stroke risk factors
11
作者 Kelana Kusuma Dharma Parellangi 《International Journal of Nursing Sciences》 CSCD 2020年第4期401-407,I0003,共8页
Objective:The purpose of this study was to determine the effectiveness of Mobile-Stroke Risk Scale and Life Style Guidance(M-SRSguide)in promoting a healthy lifestyle and reducing stroke risk factors in atrisk persons... Objective:The purpose of this study was to determine the effectiveness of Mobile-Stroke Risk Scale and Life Style Guidance(M-SRSguide)in promoting a healthy lifestyle and reducing stroke risk factors in atrisk persons.Methods:This research was an clinical trial with a pre-test and post-test control group design.The accessible population is persons at risk of stroke in the community(West and East Kalimantan Province,Indonesia).Thirty-two participants in the intervention group and 32 participants in the control group participated in this study.The sampling method was systematic random sampling.We allocate the sample into the intervention and control groups using a randomized block design.The intervention group used the M-SRSguide.The control group used manual book for a self-assessment of stroke risk.The measurement of a healthy lifestyle and the stroke risk factors was performed before and six months after the intervention.Results:There are no significant differences in healthy lifestyle and stroke risk factors between the two groups after the intervention(P>0.05).Analysis of healthy lifestyle behavior assessment items in the intervention group showed an increase in healthy diets,activity patterns,and stress control after the use of the M-SRSguide(P<0.01).Conclusion:The use of M-SRSguide is effective in promoting a healthy lifestyle. 展开更多
关键词 Health promotion Life style Mobile applications Risk factors STROKE
下载PDF
玉米花粉管伸长的时空进程 被引量:2
12
作者 张雅君 陈钦坚 +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,此后开始分解。在玉米花粉介导转基因时需对离体的花粉与外源基因进行处理,这个过程消耗花粉部分内容物和能量,且影响花粉的活力,是玉米花粉介导法转化率偏低的一个重要原因。 展开更多
关键词 玉米 花粉管 荧光检测 移动进程
原文传递
Theoretical and Empirical Analysis on Influence Factors of Modern Agricultural Equipment Level in the Processof Agricultural Sustainable Development
13
作者 Yan Tingwu Li Lingchao Wang Wang Ruixue 《Chinese Journal of Population,Resources and Environment》 2012年第1期105-110,共6页
To promote modem agricultural equipment level is one characteristic of constructing and developing modem agriculture in China. This paper makes up stepwise linear regression analysis model of influence factors of mode... To promote modem agricultural equipment level is one characteristic of constructing and developing modem agriculture in China. This paper makes up stepwise linear regression analysis model of influence factors of modem agricultural equipment level, and chooses rural labor, per capita income of rural residents, rural investment, proportion of people at secondary education level and at higher level in per hundred rural labor force and arable land area as independent variables, and total power of machine as induced variable. The major results show that the relativity of modem ag- ricultural equipment level, rural investment and education level of peasants is remarkable, and they are the major influence factors of modem agricultural equipment level. Raising investment level of rural infrastructure construction as well as and research and devel- opment and promotion of advanced and applicable modem agricultural equipment, improving quality and education level of peasants can accelerate the development of China's modern agricultural equipment effectively in the process of agricultural sustainable development. 展开更多
关键词 modern agricultural equipment level influence factors MODEL stepwise linear regression method agricultural sus-tainable development
下载PDF
浅谈西安地区空中防相撞工作的实施
14
作者 宋国华 胡双智 《空中交通管理》 1998年第2期9-11,共3页
近年来,我们针对人员情况和西安区域管制工作特点,狠抓行政管理、业务技术管理和规章制度的落实,在管制工作的合理性、准确性、科学性上下功夫,在防相撞工作中取得了一定的经验。我们的具体做法如下:
关键词 西安地区 管制席位 管制员 飞行冲突 区域管制 规章制度 安全管理 移动进程 行政管理 飞行安全
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部