韩婷婷
- 作品数：17 被引量：9H指数：2
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文学文化科学政治法律更多>>
- 有限状态自动机的移动进程演算模拟
- ＜正＞ 1 引言计算模型一直是计算机科学研究的重要问题之一。随着计算机技术和网络技术的发展,并发已成为新一代计算范型的本质特征,对并发本质的把握有着重要的理论和现实意义。目前,对并发计算模型的研究主要集中在并发系统的形式...
- 陈韬略韩婷婷颜锋吕建
- 关键词：SIMULATION
- 文献传递
- 基于移动进程演算的软件协同研究
- 近年来，随着计算机科学技术，特别是Internet技术的飞速发展，软件运行的平台正由传统的静态封闭走向现在的动态开放，软件的计算模式也由已往的单个个体之间的串行进行发展到今天多个实体之间进行交互和合作。如何在这样一个动态...
- 韩婷婷
- 关键词：移动进程演算计算机网络
- 中国当代女性主义小说《私人生活》的英译研究
- 在20世纪中国文学尤其是“文革”后的文学领域野里,女性文学无疑是一个重要的组成部分。1980年代中后期,随着对西方女性主义文化、文学理论的译介,以及中国知识女性在国家／社会权力结构中主体位置的不断调整,中国的女性文学呈现...
- 韩婷婷
- 关键词：女性主义小说语言创新
- 文献传递
- 一种改进的安全环境演算及其行为等价关系研究
- 2005年
- 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型.移动环境演算是一种广为使用的描述移动计算的形式化模型.安全环境演算为每个动作原语增加了一个相应的协动作原语,从而解决了强干扰问题.然而,SA的语法定义在直觉上并不能很好地描述out原语的协动作,同时其代数性质也存在一些缺陷.针对这些问题,一方面调整了SA的归约关系,将出入动作的语义统一在“进入时检查”这一约定之下,使其更符合直觉含义.在此基础上,通过采用Honda-Yoshida的技术,定义开接口互模拟等价关系,修正了SA代数性质上的缺陷,并通过一个防火墙的例子说明了改进的安全环境演算及其行为等价关系的合理性.
- 韩婷婷陈韬略吕建马骞
- 关键词：移动计算进程代数
- 同步和异步π演算的表达能力研究被引量：1
- 2005年
- 以π演算为框架,通过研究同步和异步通信机制,澄清了各个算子对语言表达能力的影响.给出了一个编码,它以同步π演算作为编码的源语言,异步π演算作为对应的目标语言,在同步π演算中保留match算子、全复制算子、并行算子和受限算子以及输入输出前缀,而异步π演算保留lazy复制算子、并行算子、受限算子、输入前缀以及没有后继的输出消息.研究结果证明了编码在接口互模拟关系下是完全抽象的,从而证明了编码的正确性.进一步说明了在不考虑不确定选择算子的情况下同步通信机制和异步通信机制的等价性,并为π演算的实现提供了理论依据.
- 韩婷婷陈韬略颜锋吕建
- 关键词：语言表达能力Π演算异步通信机制
- 论罗曼·先钦的长篇小说《叶尔特舍夫一家》的主题和艺术特色
- 罗曼·瓦列里耶维奇·先钦是当代俄罗斯作家、文学评论家。他创作的长篇小说《叶尔特舍夫一家》通过描写一个被迫从城市回撤到农村的普通家庭丧失生活的动力,逐渐走向瓦解的不堪历程,展现了真实而残酷的乡村风貌以及人性之恶。迄今为止,...
- 韩婷婷
- 关键词：修辞特征
- 文献传递
- 实习医师违规行医的法律规制
- 医疗行业因其本身具有高度的专业性和风险性,对从事医疗行业的医务人员有着更加严格的专业要求。然而,医务人员的培养是一个循序渐进的过程,在取得正式的执业资格之前,实习医师是任何一名合格的执业医师都必须经历的阶段。实习医师虽在...
- 韩婷婷
- 关键词：实习医师
- 文献传递
- 部分状态空间的建模及其验证
- ＜正＞ 1 引言模型检测技术使用状态空间搜索的方法来全自动地检验一个有穷状态系统是否满足其设计规约,进而提高软件的安全性和正确性。然而随着目前软件系统规模的日益增大,在早期（如需求分析阶段）无法获取系统完整的信息,这就导...
- 韩婷婷陈韬略颜锋吕建
- 文献传递
- 鲁棒环境演算类型演化系统的扩充(英文)被引量：2
- 2004年
- 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。
- 陈韬略冯扬悦吕建韩婷婷
- 关键词：进程代数环境演算
- 复制受限的环境演算中模态逻辑的内涵性
- 2004年
- 环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价(=L)与结构同余关系是等价的,即AL在MAsynIF中是内涵的.同时发现由于复制操作的存在,AL的内涵性受到了影响,使得AL的区分能力被削弱,但通过对复制公式的构造验证了AL的表达能力.
- 颜锋陈韬略韩婷婷吕建
- 关键词：移动计算进程代数模态逻辑内涵性同余关系
