检索结果-维普期刊中文期刊服务平台

面向流体流动的计算机模拟被引量：1: 1; 作者郭卫斌邵志清郭照立《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第3期342-345,385,共5页; 针对流体系统的特点,研究了模拟流体流动的格子自动机方法。对流可视化技术的现状、方法和可视化系统的设计进行了分析和探索。考察了几种典型的流动现象,得到了与实验较为一致的结论。研究结果表明:在目前条件下,立足于格子自动机这种... 展开更多; 关键词流体流动计算机模拟格子自动机方法流可视化; 在线阅读下载PDF 职称材料

入侵容忍技术在身份认证系统中的应用被引量：10: 2; 作者黄建华宋国新《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第3期350-353,412,共5页; 结合SITAR分布式入侵容忍体系结构和ITPAS密码认证体系统的特点,提出了一个具有入侵容忍功能的分布式密码认证系统模型,并在设计中考虑了冗余、多样性、代理、共享秘密和分布式入侵检测等技术,以求解决认证服务的入侵容忍问题和密码数... 展开更多; 关键词认证密码代理冗余入侵容忍; 在线阅读下载PDF 职称材料

基于幂表的并行加法器的归纳验证被引量：3: 3; 作者张欢欢邵志清宋国新《电子学报》 EI CAS CSCD 北大核心 2003年第6期932-936,共5页; 介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .; 关键词重写归纳加法器描述验证; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向流体流动的计算机模拟	郭卫斌邵志清郭照立	《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2005	1	在线阅读下载PDF 职称材料
2	入侵容忍技术在身份认证系统中的应用	黄建华宋国新	《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2005	10	在线阅读下载PDF 职称材料
3	基于幂表的并行加法器的归纳验证	张欢欢邵志清宋国新	《电子学报》 EI CAS CSCD 北大核心	2003	3	在线阅读下载PDF 职称材料