中国科学院机构知识库网格系统: 检索

On Modeling and Detecting Trojans in Instruction Sets 期刊论文 OAI收割
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 10, 页码: 3226-3239
作者: Zhang, Ying; He, Aodi; Li, Jiaying; Rezine, Ahmed; Peng, Zebo

|

收藏 | 浏览/下载：6/0 | 提交时间：2024/12/06

Trojan horses Security Program processors Companies Inspection Hardware security Reverse engineering Deep test for security hidden instruction Trojan (HIT) unbounded model checking (UMC) VLSI test

Investigation of 2D Seismic DDA Method for Numerical Simulation of Shaking Table Test of Rock Mass Engineering 期刊论文 OAI收割
MATHEMATICS, 2022, 卷号: 10, 期号: 8, 页码: -
作者: Fu, Xiaodong; Kang, Jingyu; Sheng, Qian; Zheng, Lu; Du, Wenjie

|

收藏 | 浏览/下载：16/0 | 提交时间：2023/08/02

discontinue deformation analysis open-source program seismic rock mass shaking table test

A new approach to realize UART (EI CONFERENCE) 会议论文 OAI收割
2011 International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, August 12, 2011 - August 14, 2011, Harbin, China
作者: Wang Y.; Wang Y.; Wang Y.; Wang Y.; Wang Y.

收藏 | 浏览/下载：35/0 | 提交时间：2013/03/25

In order to connect DSP which has synchronous serial ports to the devices implementing asynchronous communications protocol a method to implement UART communications based on programmable logic device is proposed in the paper. In the proposed method the core function of UART is integrated in CPLD with VHDL. Firstly UART data frame format and operational principle of UART were introduced after reviewing some methods to realize UART. The methods to implement UART transmitter UART receiver and baudrate generator using VHDL were illustrated in detail. Then pre-simulation and synthesize of VHDL program were executed. Finally the test with bit error rate was carried out on physical system. Experimental results indicate that 75 percent of the GLB are used by UART and the bit error rate is less than 109. The experiment was implemented utilizing the RS-422 protocol and the baudrate is 62.5kb/s. The proposed method can satisfy the system requirements of high integration stabilization low bit error rate strong anti-jamming and low cost. 2011 IEEE.

Influence of spatial temperature distribution on high accuracy interferometric metrology (EI CONFERENCE) 会议论文 OAI收割
5th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Optical Test and Measurement Technology and Equipment, April 26, 2010 - April 29, 2010, Dalian, China
作者: Yang H.; Zhang J.; Zhang J.; Zhang J.; Yan F.

收藏 | 浏览/下载：27/0 | 提交时间：2013/03/25

We calculate the influence of temperature change on the refractive index of air establish a model of air temperature distribution and analyze the effect of different temperature distribution on the high accuracy interferometric metrology. First a revised Edlen formula is employed to acquire the relation between temperature and refractive index of air followed by introducing the fixed temperature gradient distribution among the spatial grid within the optical cavity between the reference flat and the test flat of the Fizeau interferometer accompanied by a temperature change random function within each grid. Finally all the rays through the air layer with different incident angles are traced by Matlab program in order to obtain the final output position angle and OPD for each ray. The influence of different temperature distribution and the length of the optical cavity in on the testing accuracy can be analyzed through the RMS value that results from repeatable rays tracing. As a result the horizontal distribution (vertical to optical axis) has a large effect on the testing accuracy. Thus to realize the high accuracy figure metrology the horizontal distribution of temperature must be rigorously controlled as well as to shorten the length of the optical cavity to a large extent. The results from our simulation are of great significant for the accuracy analysis of interferometric testing and the research of manufacturing a interferometer. 2010 Copyright SPIE - The International Society for Optical Engineering.

Semi-physical simulation of an optoelectronic tracking servo system based on C MEX S functions (EI CONFERENCE) 会议论文 OAI收割
2010 International Conference on Computer, Mechatronics, Control and Electronic Engineering, CMCE 2010, August 24, 2010 - August 26, 2010, Changchun, China
Juan C.; Junhong Z.

收藏 | 浏览/下载：29/0 | 提交时间：2013/03/25

To the design of an optoelectronic tracking servo system we test the method [1 not only the reasonability of the control algorithm should be considered 2]. The simulation results verify the theoretical analysis. Because C MEX S function has the features of fast execute speed but the cost and time as well. It is necessary to establish the simulation model for the system. Applying the C MEX S functions independently generated program we can build the every independent digital control modules in MATLAB/SIMULINK for the optoelectronic tracking servo system. In the paper directly download to the hardwires we apply the C MEX S function to the design of the practical optoelectronic tracking servo system. For the speed we can design and debug the digital control modules in MATLAB/SIMULINK and then transform and download directly to DSP processor. 2010 IEEE. position loop control and TV delay compensations

testing wsdl_based web service automatically 会议论文 OAI收割
World Congress on Software Engineering, Xiamen, PEOPLES R CHINA, MAY 19-21,
Dong Wenli

|

收藏 | 浏览/下载：19/0 | 提交时间：2011/03/20

ATS ETS QoS WSDL software testing Web service description language Web service interface test group XML parser XML_based test scripting language abstract test suite executable test suite analysis interoperation test group message schema syntactic test group quality-of-service test case generation test data generation test flow tree-search algorithm Web services XML grammars program testing quality of service search problems specification languages trees (mathematics)

automated test program generation for an industrial optimizing compiler 会议论文 OAI收割
4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering, Vancouver, CANADA, MAY 18-19,
Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui

|

收藏 | 浏览/下载：11/0 | 提交时间：2011/03/20

Chinese Academy of Sciences Institute of Software Matsushita Electric Industrial Co., Ltd automated test program generation industrial optimizing compiler script-driven test program generation process temporal-logic model automatic programming optimising compilers program testing temporal logic

test data generation for c programs with string-handling functions 会议论文 OAI收割
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Ruan Hui; Zhang Jian; Yan Jun

|

收藏 | 浏览/下载：19/0 | 提交时间：2011/06/13

C programs path analysis tool path oriented testing string-handling functions test data generation C language program testing

test case reduction technique for bpel-based testing 会议论文 OAI收割
International Symposium on Electronic Commerce and Security, Guangzhou, PEOPLES R CHINA, AUG 03-05,
Dong Wenli

|

收藏 | 浏览/下载：31/0 | 提交时间：2011/06/13

BPEL-based testing Business Process Execution Language Web service composition functional correctness high-level Petri nets test case reduction Petri nets Web services business data processing program testing specification languages

path-oriented test data generation using symbolic execution and constraint solving techniques 会议论文 OAI收割
2nd International Conference on Software Engineering and Formal Methods, Beijing, PEOPLES R CHINA, SEP 28-30,
Zhang J; Xu C; Wang XL

|

收藏 | 浏览/下载：22/0 | 提交时间：2011/07/29

automatic test data generation breadth-first search constraint solving depth-first search extended finite state machine input program input test data input variables path-oriented test data generation program bug software engineering symbolic e