| |
Volume 39,Issue 5,2010 Table of Contents
Contents | | | 一种在RTL测试模式生成中验证断言再用的方法(英文) | | | 马克西姆捷尼赫尼; 捷安瑞克; 莱穆德俄巴尔; 塔维维卢卡斯; 藤原秀雄 | | | 2010,39(5) | | | Abstract[889] View PDF 2.49 M[934] | | | 芯片调试技术中插入点和监听电路区域的研究(英文) | | | 新井雅之; 田畑義弘; 岩崎和彦 | | | 2010,39(5) | | | Abstract[897] View PDF 385.92 K[1008] | | | 集成电路电磁适应性的时钟信号调制(英文) | | | 费利裴拉瓦迪; 蕾迪西亚波尔士; 法比安瓦嘎斯; 乔治赛米拉; 茱安安迪纳; 伊莎贝尔特谢拉; 保罗特谢拉 | | | 2010,39(5) | | | Abstract[901] View PDF 496.63 K[1114] | | | 时间自动机的事务级形式验证(英文) | | | 阿米拉里高弗兰尼; 法特穆加瓦河瑞; 哈米德诺瑞; 在那拉贝定纳瓦比 | | | 2010,39(5) | | | Abstract[967] View PDF 409.43 K[1037] | | | 多层次测试包:一种用于系统层设计的C/C++门组件层故障模拟的测试包(英文) | | | 所美也萨迪格可汗; 法特穆加瓦河瑞; 斯纳默哈莫蒂; 在那拉贝定纳瓦比 | | | 2010,39(5) | | | Abstract[899] View PDF 506.00 K[1144] | | | 一种使用调控器针对数据通路的综合功能的时间扩展模型生成方法(英文) | | | 细川利纪; 早川哲兵; 吉村正义 | | | 2010,39(5) | | | Abstract[878] View PDF 777.63 K[1012] | | | 常微分方程初值问题的一类单步解法 | | | 李晓辉; 岳荣先 | | | 2010,39(5) | | | Abstract[960] View PDF 219.25 K[1283] | | | 最小二乘支持向量机的一个快速近似算法 | | | 彭新俊; 王翼飞 | | | 2010,39(5) | | | Abstract[1140] View PDF 526.81 K[1534] | | | 变分包含问题和不动点问题的公共近似解 | | | 黄洁; 曾六川 | | | 2010,39(5) | | | Abstract[985] View PDF 207.99 K[1409] | | | 关于Banach空间中有限多个渐近伪压缩映像的迭代格式 | | | 来欣欣; 曾六川 | | | 2010,39(5) | | | Abstract[993] View PDF 215.58 K[1345] | | | 双时段具违约相关性的公司债券定价 | | | 吴春军; 傅毅; 张寄洲 | | | 2010,39(5) | | | Abstract[992] View PDF 315.25 K[1369] | | | 关于LTB宇宙模型中的Friedamann方程 | | | 赵伟; 李新洲 | | | 2010,39(5) | | | Abstract[1101] View PDF 220.13 K[1390] | | | 含有相互作用的高维全息暗能量 | | | 王华; 刘道军 | | | 2010,39(5) | | | Abstract[1099] View PDF 265.19 K[1443] | | | 中国印度肩隐翅虫属一新记录种(鞘翅目:隐翅虫科)(英文) | | | 刘田田; 胡佳耀; 田茂兴; 李利珍 | | | 2010,39(5) | | | Abstract[956] View PDF 175.51 K[1472] | | | 中国菲隐翅虫属三新记录种(隐翅虫科:隐翅虫科:隐翅虫亚科)(英文) | | | 袁小转; 凌瑞芬; 田茂兴; 胡佳耀; 李利珍 | | | 2010,39(5) | | | Abstract[1102] View PDF 408.24 K[1360] | | | 匍枝青藓(Brachythecium procumbens)对铅胁迫的生理响应 | | | 曾元元; 娄玉霞; 曹同 | | | 2010,39(5) | | | Abstract[1046] View PDF 518.53 K[1465] | |
|
Editorial Board