成果/Result
- 入侵容忍技术在身份认证系统中的应用被引量：10收藏
- 作者：黄建华 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《华东理工大学学报（自然科学版）》 2005
- 关键词：认证 密码 代理 冗余 入侵容忍
- 摘要：结合SITAR分布式入侵容忍体系结构和ITPAS密码认证体系统的特点,提出了一个具有入侵容忍功能的分布式密码认证系统模型,并在设计中考虑了冗余、多样性、代理、共享秘密和分布式入侵检测等技术,以求解决认证服务的入侵容忍问题...
- 下载全文在线阅读
- 基于幂表的并行加法器的归纳验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《电子学报》 2003
- 关键词：重写 归纳 加法器 描述 验证
- 摘要：介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
- 下载全文在线阅读
- 基于本体的医疗健康语义知识库构建被引量：2收藏
- 作者：阮彤 王昊奋
- 机构：华东理工大学计算机技术研究所自然语言处理与大数据挖掘实验室
- 来源：《中国信息界（e医疗）》 2014
- 关键词：语义化 语义知识 医疗健康 电子病历 非结构化 关系型数据库 数据挖掘技术 临床路径 自然语言处理
- 摘要：大数据处理的基础之一是知识库，在电子病历等非结构化数据方面，语义化的知识库可以发挥更大的作用。本文提出语义知识库的构建方法，并且研究利用语义知识库对电子病历等非结构化数据进行语义化处理的技术，进而基于语义化处理技术构建语...
- 下载全文在线阅读
