一种在RTL测试模式生成中验证断言再用的方法(英文)

芯片调试技术中插入点和监听电路区域的研究(英文)

集成电路电磁适应性的时钟信号调制(英文)

时间自动机的事务级形式验证(英文)

多层次测试包:一种用于系统层设计的C/C++门组件层故障模拟的测试包(英文)

一种使用调控器针对数据通路的综合功能的时间扩展模型生成方法(英文)

常微分方程初值问题的一类单步解法

最小二乘支持向量机的一个快速近似算法

变分包含问题和不动点问题的公共近似解

关于Banach空间中有限多个渐近伪压缩映像的迭代格式

双时段具违约相关性的公司债券定价

关于LTB宇宙模型中的Friedamann方程

含有相互作用的高维全息暗能量

中国印度肩隐翅虫属一新记录种(鞘翅目:隐翅虫科)(英文)

中国菲隐翅虫属三新记录种(隐翅虫科:隐翅虫科:隐翅虫亚科)(英文)