孙永强
- 作品数：192 被引量：307H指数：8
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信理学自然科学总论更多>>
- Petri网的公平依赖关系被引量：2
- 2001年
- Petri网是对系统进行模拟与分析的有效工具。公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系。然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系。因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要。通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件。
- 韩莹洁吴哲辉孙永强
- 关键词：PETRI网关联矩阵
- 基于Monad的纯函数式语言通道系统设计被引量：2
- 2004年
- 本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。
- 袁华强孙永强
- 关键词：纯函数式语言MONAD操作系统
- 智能计算机的研究现状被引量：3
- 1992年
- 能推理的动物已经(也许是不可避免地)制成了能推理的机器,尽管这样一种大胆的(有人说是鲁莽的)投资有着种种明显的风险,但无论如何我们已经开始干了。
- 管惠维孙永强
- 关键词：智能计算机自然语言理解汉字识别手写汉字推理机接口规范
- 基于Transputer的外围控制实现方式被引量：2
- 1992年
- 根据Transputer的系统结构以及OCCAM语言的编程能力,本文提出了各种基于Transputer的外围控制方式及其实用接口技术.它们分别是:存贮器映射控制方式,连接适配器控制方式,单中断源后台服务控制方式,多中断源多优先级中断控制方式,以及单Transputer和多Transputer外围控制技术.结合实例,我们还给出相应控制方式的OCCAM程序.使用Transputer,可以构造各种性能良好的实时控制系统。
- 管惠维孙永强
- 关键词：OCCAM语言TRANSPUTER
- 一个新的证明网定义及合理性
- 1994年
- 本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比，使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ），并且在证明所定义的证明网是可矢列化时更加自然和简单．
- 黄林鹏孙永强
- 关键词：线性逻辑并行计算
- PTIRⅡ:一个解决恶意主机问题的新协议
- 2003年
- 从检测恶意主机攻击的角度出发, 人们提出了基于reference states 即参考状态法, 但目前提出的这一类协议不能保护移动代理的路由信息。该文利用类洋葱结构加密移动代理的路由信息和数据信息, 并将其与检测恶意主机攻击的协议PTIR结合以得到一个更安全的新协议。
- 易朝阳周冲孙永强
- 关键词：移动代理安全
- 用重写进行计算和定理证明
- 林凯孙永强
- 关键词：定理证明重写系统
- 一种基于组合Monad的纯函数式通道系统操作
- 2004年
- Monad作为构造纯函数式语言的工具,能构造出诸如错误处理、状态、IO等非纯函数式语言的特征。该文通过组合状态转换Monad和异常处理Monad来定义纯函数式语言通道系统操作,给出了通道系统操作的操作语义。
- 袁华强孙永强
- 关键词：纯函数式语言MONAD
- 安全移动代理系统的访问控制策略被引量：1
- 2003年
- 在移动代理系统的安全策略中，防止恶意移动代理攻击主机的有效手段是采取访问控制机制，限制移动代理对本地资源的访问。该文提出了一个简单安全的访问控制机制，可以有效地控制移动代理在本地主机的更新及创建权限。
- 万燕朱向华孙永强
- 关键词：移动代理访问控制
- 基于代数变换的脉动阵列的综合
- 胡振江孙永强袁昕
- 关键词：并行处理
