1.
USB IP Verification Based on the Hardware Verification Language JEDA;
基于硬件验证语言JEDA的USB IP核验证
2.
Embodied,Cognitive and Dialectical View of Language by Xunzi--Rethinking the Philosophy of Language:The Fifth Paper on Linguistic Embodiment;
荀子论语言的体验认知辩证观——语言哲学再思考:语言的体验性(之五)
3.
The Research of 8051IP Design and Verify Based on VHDL;
基于VHDL语言的8051IP核的设计与验证研究
4.
Dynamic-Language Based System Description, Verification, and Synthesis
基于动态语言的系统描述、验证和综合
5.
The Verification Environment of SERDES Based on Open Vera
基于OpenVera语言的SerDes验证环境实现
6.
Simulation and Verification of VITAL-based FPGA System
基于VITAL语言的FPGA板级仿真验证研究
7.
Logic Verification for 802.11 MAC Based on SV
基于SV语言的802.11 MAC芯片逻辑验证方案
8.
Brain Response is Shaped by Language Experience: Evidence from an fMRI Study on Beginning Second Language Learners;
语言经验对大脑激活的影响:来自第二语言初学者的证据(英文)
9.
Implementation of JPEG2000 Kernel Coding in C Language and a System Design of Image Validation;
JPEG2000核心编码C语言实现及图像验证系统设计
10.
Research on Right Expression Language and Its Implementation;
权利描述语言的学习研究及其验证系统的实现
11.
The Validation and Value Analysis of Poetic Embodiment in Cognitive Linguistics;
诗学体现说的认知语言学验证及其价值分析
12.
The Latest Development of Cognitive View of Metaphor--Article 6:Support of Embodiment View of Metaphor and Language from Neural Sciences;
隐喻认知理论的新发展——语言体验性论文之六:从神经学角度论证隐喻和语言的体验性
13.
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
14.
Reconsideration of Embodiment of Language;
再论语言的体验性——认知语言学的语言体验观
15.
Language Experience and Language Dominance in Bilinguals;
语言经验可以改变双语者的主导语言
16.
Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)
17.
Object-oriented MSVL and Its Application to Verification of Composite Web Services
面向对象MSVL语言及其在组合Web服务验证中的应用
18.
Formal Specification and Verification of the Internet Logged System Based on Z Language
基于Z语言的互联网登陆系统的形式化规格与验证