嵌入式系统下交叉汇编器的移植

在芯片设计时,汇编器GAS应用越来越广泛。在分析GAS的数据类型和工作机制的基础上,根据目标处理器的特点和要求,对GAS进行了移植,为ZSP芯片开发出符合自由软件基金标准的汇编器,且ZSP芯片的体系结构体现了芯片的普遍结构,具有可推广性,促进其在嵌入式系统下的应用。     

浅埋地铁隧道CRD法与三台阶法施工可行性比选

针对兰州地铁一号线东岗站后配线区间浅埋隧道,对其施工开挖分别采用三台阶法与CRD法进行数值模拟研究。计算结果表明,当采用CRD法施工时,目标断面所在地表最大横向沉降量以及沿隧道轴线方向拱顶最大下沉量分别较三台阶法施工时小7 mm和6.4 mm;衬砌在各选定断面的最小安全系数,除入口断面外,其余均满足规范要求,而三台阶法施工时衬砌只在中间断面能满足要求;两种工法在隧道拱脚处均出现塑性区,但采用CRD法施工时的塑性区面积明显较小。据此建议采用CRD法施工并为同类工程施工提供参考。     

Conflict-directed A and its role in model-based embedded systems

Artificial Intelligence has traditionally used constraint satisfaction and logic to frame a wide range of problems, including planning, diagnosis, cognitive robotics and embedded systems control. However, many decision making problems are now being re-framed as optimization problems, involving a search over a discrete space for the best solution that satisfies a set of constraints. The best methods for finding optimal solutions, such as A^*, explore the space of solutions one state at a time. This paper introduces conflict-directed A^*, a method for solving optimal constraint satisfaction problems. Conflict-directed A^* searches the state space in best first order, but accelerates the search process by eliminating subspaces around each state that are inconsistent. This elimination process builds upon the concepts of conflict and kernel diagnosis used in model-based diagnosis [J. de Kleer, B.C. Williams, Diagnosing multiple faults, Artif. Intell. 32(1) (1987) 97-130; J. de Kleer, A. Mackworth, R. Reiter, Characterizing diagnoses and systems, Artif. Intell. 56 (1992) 197-222] and in dependency-directed search [R. Stallman, G.J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artif. Intell. 9 (1977) 135-196; J. Gaschnig, Performance measurement and analysis of certain search algorithms, Technical Report CMU-CS-79-124, Carnegie-Mellon University, Pittsburgh, PA, 1979; J. de Kleer, B.C. Williams, Back to backtracking: controlling the ATMS, in: Proceedings of AAAI-86, 1986, pp. 910-917; M. Ginsberg, Dynamic backtracking, J. Artif. Intell. Res. 1 (1993) 25-46]. Conflict-directed A^* is a fundamental tool for building model-based embedded systems, and has been used to solve a range of problems, including fault isolation [J. de Kleer, B.C. Williams, Diagnosing multiple faults, Artif. Intell. 32(1) (1987) 97-130], diagnosis [J. de Kleer, B.C. Williams, Diagnosis with behavioral modes, in: Proceedings of IJCAI-89, 1989, pp. 1324-1330], mode estimation and repair [B.C. Williams, P. Nayak, A model-based approach to reactive self-configuring systems, in: Proceedings of AAAI-96, 1996, pp. 971-978], model-compilation [B.C. Williams, P. Nayak, A reactive planner for a model-based executive, in: Proceedings of IJCAI-97, 1997] and model-based programming [M. Ingham, R. Ragno, B.C. Williams, A reactive model-based programming language for robotic space explorers, in: Proceedings of ISAIRAS-01, 2001].     

基于嵌入式系统uC-Linux的路由实现

阐述了Linux下的IP转发、uC-Linux中Iptables的工作原理和利用其IP伪装的功能实现路由的方法,设计出一个基于三星ARM7处理器44B0的路由方案.     

基于PCI显卡的嵌入式图形系统开发关键技术研究

设计以VxWorks为平台的嵌入式图形系统的总体结构，并详细论述了系统开发中的若干关键技术，包括图形设备基本初始化同图形系统建立分阶段实现、根据OpenGL ES规范设计图形系统应用程序接口、参考WindML的实现原理实现图形系统的功能可扩展.结果表明，实现的嵌入式图形系统对系统资源占用合理、功能实现稳定且可扩展性好.     

通用串行总线的SD卡读写器的设计

分析了通用串行总线、SD存储卡和嵌入式系统，通过实验研究开发了一种基于嵌入式系统的通用串行总线的SD卡读写器，并给出了部分控制的程序．     

嵌入式智能数字电路实验仪的研究与设计

在分析目前数字电路实验仪存在的问题的基础上,设计了一种基于嵌入式系统的智能数字电路实验仪,该实验仪具有在不干扰原使用硬件的数字电路实验的同时,增加了对实验过程检测、指导和自动评价实验结果是否正确的功能.文章重点介绍了本实验仪的工作原理、特点和系统组成。     

嵌入式软PLC技术研究

介绍了嵌入式系统和软PLC的概念与特点,提出了嵌入式软PLC的总体设计思路。     

嵌入式实时操作系统选用的初步分析

介绍了嵌入式控制系统以及其软件的开发平台———嵌入式实时操作系统 ,指出使用嵌入式实时操作系统作为开发平台可开发快速、复杂、可靠性要求较高的控制系统是目前控制领域的发展趋势 .     

Ant colony optimization approach for test scheduling of system on chip

It is necessary to perform the test of system on chip,the test scheduling determines the test start and finishing time of every core in the system on chip such that the overall test time is minimized.A new test scheduling approach based on chaotic ant colony algorithm is presented in this paper.The optimization model of test scheduling was studied,the model uses the information such as the scale of test sets of both cores and user defined logic.An approach based on chaotic ant colony algorithm was proposed ...