首先 ,用统一建模语言 (UML)中的状态图描述系统在整个活动周期中所处的不同的状态 ,活动图表示状态图中每个进程的功能 ,对象约束语言 (OCL)描述系统中的约束条件 ;然后 ,用自行开发的软件UML2SC将UML描述的系统转换成SystemC代码 ,以完成系统的模拟验证 ;并介绍了该方法的一个应用实例
发展弹性分组环(Resilient Packet RingRPR)技术要依赖专用集成电路。给出了一种完全符合802.17标准的RPR专用集成电路设计方案,以及主要模块详细的功能设计,并给出了芯片验证系统的设计方案。此芯片设计方案满足标准性、通用性、可扩展性,其验证系统可以实现几种不同的RPR组网方式。目前,此芯片方案已经进入组环验证阶段。
The scattering of a plane wave with a linear polarization by a conducting finite helix is presented. The analytical expresses of scattering field are obtained based on the boundary condition of a shea
A high power continuous wave (CW) laser diode (LD) pumped acousto-optic Q-switched Nd:YVO4 laser is presented. A short pulse at the 1064 nm is obtained. With a repetition rate of 50 kHz, the maximum a
对一种具有双陷门解密机制的公钥概率加密体制的安全性进行分析,指出它存在三点不安全因素,不能抵抗选择密文攻击,攻击者通过选取适当的密文,在得到解密的明文后,能够计算出用户的私钥或分解模数,运用这些信息,攻击者可恢复所有的明文。同时,也对该加密体制作了改进,给出了一种能够抵抗适应性攻击的加密方案,防止攻击者利用获得的解密信息计算用户的私钥或分解模数,提高了加密体制的安全性。
不久前,中国计算机学会信息保密专业委员会2003年学术年会在河南省信阳市落下帷幕,来自全国有关部门和地区的代表80余人参加了会议。中共中央保密委员会办公室
由北京蓝色先锋有限公司研发的JProbe Suite 5.0是Java最佳的性能协调组件包,提供了高级的、高灵活性的Java应用程序协调,而不管其在本地运行还是在远程运行。组件包中包括:JProbe Profiler、JProbe Memory Debugger、JProbe Threadalyzer和JProbeCoverage。