排序方式: 共有49条查询结果,搜索用时 15 毫秒
1.
2.
4.
6.
布尔函数的处理效果取决于布尔函数的表达形式,二元决策图(BDD:Binary decisiondiagram)是布尔函数的图的表达形式,它能对布尔函数进行高效处理。本文将阐述一种更加有效的布尔函数处理技术,它使用具有属性边的共享二元决策图(SBDD:Shared Binary Decision Diagram)。此方法包括对输入变量的编序算法和对任意项的处理方法。最后将给出用此方法进行布尔函数运算的实验结果。 相似文献
7.
网格认证是网格安全的重要组成部分,是对网格实体身份有效性进行确定的过程。网格环境下虚拟组织为认证提出了新的要求。介绍了网格环境下虚拟组织的特点,阐述了网格认证的基本要求,分析了几项常用的认证技术不适合多结点网格认证的原因,在此基础上分析了Globus项目中基于GSI认证的相关技术及概念。网格技术是一项不断发展的技术,网格认证也处于不断完善之中。 相似文献
8.
9.
基于智能化、网络化、IEEE1451标准的设计思想和ARM及DSP技术,提出了一种通用NCAP设计方案,其主要特点是:可在线实时编程,内嵌WEB-SERVER,支持以太网接口和本地高速USB接口。详细介绍NCAP的实现方法,并对其软硬件结构和功能做了具体阐述。 相似文献
10.
基于DSP与LAN91C111的以太网实现 总被引:1,自引:0,他引:1
随着现代网络技术的发展,嵌放式系统如单片机、DSP等系统对接入网络的需求日益增加,例如具有远程抄表功能的电表系统、可以进行远程控制的信息电系统等.本文采用TI公司的TMS320VC5502 DSP芯片设计与SMSC公司的LAN91C111-NC网卡的硬件接口电路,并在DSP中用软件实现TCP/IP协议,使DSP芯片具备上网功能,从而可以通过计算机对网卡与DSP电路板进行大量数据交换并对其进行控制. 相似文献