排序方式: 共有70条查询结果,搜索用时 22 毫秒
1.
2.
针对专用集成电路(ASIC)设计中功能验证的效率和完备性问题,以验证方法学手册(VMM)为基础搭建了串行高级技术附件(SATA)控制器分层式验证平台.验证组件的实现大量重用验证知识产权核(VIP),在采用随机激励的基础上以覆盖率统计驱动验证的过程,根据SATA控制器的功能设计记分牌进行结果的自动化比对.实验结果表明,这些方法提高了功能验证的效率,保证了验证的完备性,最终功能覆盖率达到98.25%. 相似文献
3.
The authors prove that the crossed product of an infinite dimensional simple separable unital C*-algebra with stable rank one by an action of a finite group with the tracial Rokhlin property has again stable rank one. It is also proved that the crossed product of an infinite dimensional simple separable unital C*-algebra with real rank zero by an action of a finite group with the tracial Rokhlin property has again real rank zero. 相似文献
4.
袁中许 《数学的实践与认识》2008,38(1):27-32
针对知识产权屡禁不止的侵权行为现状,运用模糊数学、数理统计方法和博弈论原理,从知识产权保护和侵犯双方效用及模型出发,以系统和动态的视角对双方行为进了博弈分析.研究结果表明保护与侵犯构成为一对均衡策略状态,其主要原因在于一定条件下,保护方期望的效用均衡处于低水平态势,从而提出在效用模糊因子的调整中不断提高保护方的动态效用水平是推进有效保护知识产权的动力途径. 相似文献
5.
The title complex,[Zn(ip)2(H2O)2][ZnCl4]·H2O·2DMF 1(ip=imidazo[4,5-f][1,10] phenanthroline),has been synthesized via the slow evaporation of concentrated reaction solution at room temperature.It was characterized by single-crystal X-ray diffraction.Crystal data for C32H36Cl4N10O5Zn2:white prism,0.17mm×0.15mm×0.10mm,monoclinic,space group P2/c,a=11.928(8),b=9.868(6),c=16.520(11),β=104.879(12)°,V=1879(2)3,Z=2,Mr=913.25,Dc=1.614 g/cm3,F(000)=932,μ=1.616 mm-1,λ(MoKα)=0.71073,GOOF=1.045,R=0.0710 and wR=0.1755 for 3055 observed reflections with Ⅰ2σ(Ⅰ).X-ray diffraction study reveals that the title complex has an interesting 3D architecture via hydrogen bonding interactions and π-π interactions.The IR,TGA,XRD and luminescent properties of complex 1 were also studied. 相似文献
6.
7.
8.
9.
<正>为了实现期刊内容资源的有效数字化传播,同时在网络环境下保护期刊数字资源的知识产权和网络传播权,自2010年起,《强激光与粒子束》论文将全部标注DOI码。 相似文献
10.