曹泽翰
- 作品数:17 被引量:44H指数:4
- 供职机构:重庆大学计算机学院更多>>
- 发文基金:国防科技技术预先研究基金更多>>
- 相关领域:自动化与计算机技术医药卫生航空宇航科学技术电子电信更多>>
- 多总线结构的容错性研究
- 1996年
- 本文提出了适用于大型并行/分布式系统的两类综合指标较优的容错多总线结构,揭示了此类结构固有的广泛存在性。
- 何中市杨晓帆陈廷槐程代杰曹泽翰
- 关键词:多总线结构容错性多处理机系统
- 微处理器指令译码功能测试的连环验证法
- 1993年
- 提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。
- 谈文蓉曹泽翰
- 关键词:微处理器指令译码
- 一种基于遥测的飞行器分布式故障诊断方法被引量:1
- 1997年
- 分析了目前典型的分布式故障诊断系统控制组织方法,针对飞行器实时故障诊断的要求,提出了基于故障树的合同网组织模型。
- 刘勇张国寿曹泽翰
- 关键词:遥测航天器分布式故障诊断故障树
- 八位微处理器功能测试仪MP—8—TS
- -8-TS是用微处理器控制的带自诊断能力的微处理器测试仪,它可以对多种类型的八位CPU芯片进行功能测试。测试序列按照算法生成,测试响应用特征分析器进行压缩。测试过程为半闭环方式。该测试仪具有故障覆盖率较高,测试环境和试用...
- 曹泽翰黄松龄蔡传铭
- 关键词:微处理机检测仪表逻辑设计中央处理机自动测试设备
- 32位微处理器功能测试状态集的研究被引量:1
- 1996年
- 基于微处理器指令译码功能故障模型,给出了各类指令所需的测试状态集应该具有的性质及其构造方法。
- 曹泽翰李立新刘朝刚
- 关键词:微处理器
- 微处理器(MP)保护功能的一种自测试方法
- 1996年
- 本文介绍了MP的保护功能及其测试,提出了一种利用微机资源进行故障仿真的自测试方法,该方法简便、规整、直观,不需要借助外部的自动测试设备,并且已经在386、486和586微机上得以实现,效果良好。
- 郭士瑞曹泽翰
- 关键词:微处理器微机自测试
- BDI模型信念特性研究被引量:11
- 2005年
- Agent计算的典型模型是BDI(belief,desire,intention),信念是Agent计算的重要属性.把信念拓展为知识性信念和可实现信念.Agent的知识性信念是指Agent当前具有或掌握的知识,具有知识的进化和继承特性.Agent的可实现信念是指当前不成立而在将来会成立的事情,是Agent被意识到的个性倾向和目标.用非标准世界的模态逻辑为形式化工具描述两种信念,将可能世界的可达关系作为认识的不同阶段和达到可实现信念的不同阶段,避免了"逻辑全知问题"和逻辑蕴涵的副作用问题.可实现信念满足KD公理,知识性信念满足KDT4公理.两种信念适合描述Agent的意识状态和意识模型.
- 刘勇蒲树祯程代杰曹泽翰
- 关键词:AGENT信念意图
- 微处理器传输功能测试
- 王毅曹泽翰
- 关键词:微处理机数据传输故障检测
- 微处理器指令译码功能的受限测试方法
- 蒋献良曹泽翰
- 关键词:微处理机故障检测
- 剖析黑客Sniffer被引量:10
- 2002年
- 对黑客的一种重要攻击手段Sniffer进行了分析。介绍了Sniffer的基本概念和工作原理 ;对Linux下黑客Sniffer(linsniffer)作了剖析 。
- 唐洪英姚寒星曹泽翰
- 关键词:黑客网络嗅探器网络接口网络安全计算机网络