傅育熙
- 作品数：37 被引量：104H指数：6
- 供职机构：上海交通大学电子信息与电气工程学院软件学院更多>>
- 发文基金：国家自然科学基金国家杰出青年科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学文化科学自然科学总论更多>>
- 关于我国计算机教育MOOC发展的思考被引量：33
- 2015年
- 2013年以来,教育部高等学校计算机类专业教学指导委员会、教育部高等学校软件工程专业教学指导委员会、教育部高等学校大学计算机课程教学指导委员会倡导并联合国内百所高校成立了"中国高校计算机教育MOOC联盟"(CMOOC联盟),为推动我国计算机MOOC建设、促进我国高校计算机教育改革进行了一系列探索与实践。本文分析了MOOC给中国计算机教育带来的挑战和机遇以及我们该有的应对措施,介绍了CMOOC联盟成立以来的相关工作,并对未来中国计算机教育MOOC的发展提出了若干思考与建议。
- 徐晓飞傅育熙李廉张龙韩飞
- 关键词：计算机教育改革
- 基于Spi演算的Kerberos认证协议形式化研究被引量：3
- 2004年
- 网络安全已成为世人关注的问题,安全协议的形式化验证显得越来越重要,基于Spi演算的验证是一种很好的模型检测方法。我们介绍了Spi演算并扩展了两个基本原语,描述和验证Kerberos协议的认证性,同时指出了该协议的不足之处,最后分析了基于Spi演算的形式化研究的今后发展方向。
- 李国强顾永跟傅育熙
- 关键词：KERBEROS认证KERBEROS协议形式化验证
- 基于可达关系的安全协议保密性分析被引量：7
- 2007年
- 借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.
- 顾永跟傅育熙朱涵
- 关键词：安全协议
- 高阶 χ-进程
- 1997年
- 在新型并发计算模型——χ－演算的基础上进一步研究高价χ－演算，并从代数性质、递归能力等方面研究该计算模型．
- 傅育熙
- 关键词：互模拟Π-演算X-演算并行计算模型
- 系统生物形式化模型研究综述
- ＜正＞ 1 引言在生物学的研究中,计算机科学发挥着重要的作用,如DNA序列和蛋白质结构等的研究。自然界中,机体的存在和活动依赖于各组成部分的协调工作,所以随着生物数据和知识的不断积累,生物学开始越来越关注生物系统的整体行...
- 董笑菊傅育熙徐贤
- 文献传递
- 软件配置管理及其实现被引量：13
- 2004年
- 以软件配置项、基线、软件配置库、配置控制、配置审计、配置状态报告为基本点,定义了软件配置实施过程中的配置管理活动; 进一步探索了将配置管理的理念纳入到工程实际中,通过配置管理工具Clearcase建立配置管理环境,结合Clearcase实施配置管理。
- 姜平利傅育熙
- 关键词：软件配置管理
- 形式化方法的理论基础专题前言被引量：3
- 2018年
- 形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径.在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题,这些理论和方法包括新模型下形式化验证的可判定性及复杂性结论、算法实现以及面向领域形式化方法.
- 傅育熙李国强田聪
- 关键词：形式化方法数学基础计算机系统形式化验证软硬件设计可判定性
- 多态x-演算
- 2000年
- 1 引言计算模型是计算机科学研究的重要问题之一。计算机科学家对顺序计算的研究已处于较成熟的阶段,并提出了相应的计算模型,其中尤以λ-演算最为经典。与顺序计算相比,我们对并行计算的认识处于较肤浅的水平。自Milner提出CCS以来,计算机科学家提出了一系列并行与并发计算模型。在这些模型中Milner等人提出的π-演算是较为成熟的。和λ-演算一样。
- 蒋翔宇傅育熙
- 关键词：计算机科学
- 非对称^(χ≠)-演算的基同余
- 2005年
- 该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理.
- 钟发荣傅育熙
- 关键词：进程代数
- 移动进程演算中的开互模拟被引量：2
- 2001年
- 该文就移动进程演算中的弱开同余关系进行研究 .文中考虑了一种简单的非确定性移动进程演算模型 ,证明了 Milner的三条 tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到弱开同余关系的完全公理化系统 .文中提出了第四条 tau规则 ,处理了在前缀操作下的等名测试算子 ,并证明了强开同余关系的完全公理化系统加上四条 tau规则可得到弱开同余关系的完全公理化系统 .该文的结论否定了关于 Milner的三条
- 傅育熙
- 关键词：进程代数互模拟公理化移动进程演算计算机
