基于ARM7-uClinux嵌入式系统中BootLoader的分析与设计

对嵌入式系统BootLoader进行了深入地分析,给出了一种基于ARM7-uClinux系统下开发调试环境引导程序的设计方法.在ARM7开发板上完成了设计与实现,并成功地建立了开发调试环境.     

32位RISC结构体系的性能优势

在计算机技术的许多变革中,最有意义的是从复杂指令集计算机(CISC)过渡到精简指令集计算机(R ISC)体系结构的转变。正是R ISC的出现发展大大推动了嵌入式系统性能的提高和功能的完善。文中以嵌入式32位R ISC结构体系中最有代表性的ARM为例,从精简指令集的概念、指令集的简洁高效性、寻址空间、运算和数据处理能力和对操作系统的支持等方面,详细论述了32位R ISC体系结构的性能优势。     

Effect of praseodymium substitution on the growth and properties of Y1−x Pr x Ba2Cu3O7−δ (o <x < 0·4) single crystals

In the present paper, a modified self-flux technique has been successfully employed for the growth of pure and praseodymium substituted (partially) large single crystals of high temperature superconducting Y_1−x Pr _x Ba₂Cu₃O_7−δ (x = 0·0,0·2,0·4). Typical sizes of the platy and bulky crystals of pure YBCO(123) material are ≈ 2 × 2 × 0·1 mm³ and 4 × 1 × 1 mm³, respectively. In case of Pr-substitution, the typical sizes of platy and bulky crystals of Y_0·8Pr_0·2Ba₂Cu₃O_7−δ and Y_0·6Pr_0·4Ba₂Cu₃O_7−δ materials are ≈ 2 × 3 × 0·1 mm³ and 5 × 1 × 1 mm³ and ≈ 1 × 1·5 × 0·1 mm³ and 7 × 0·2 × 0·1 mm³, respectively. The morphology and growth habit of the as-grown single crystals and the critical transition temperature (T _c) of the oxygenated crystals were found to depend on the Pr-content. Paper presented at the poster session of MRSI AGM VI, Kharagpur, 1995     

The performance of foliage mass and crown radius models in forming the input of a forest reflectance model: A test on forest growth sample plots and Landsat 7 ETM+ images

Several published foliage mass and crown radius regression models were tested on the preparation of the input for the reflectance model of Kuusk and Nilson [Kuusk, A. and Nilson, T. (2000), A directional multispectral forest reflectance model. Remote Sensing of Environment, 72(2):244–252.] for 246 forest growth sample plots in Estonia. In each test, foliage mass and crown radius for trees in the sample plots were predicted with a particular pair of allometric regression models. The forest reflectance model was then run using the estimated foliage mass and crown radius values. Reflectance factors were simulated and compared with the reflectance values obtained from three atmospherically corrected Landsat 7 Enhanced Thematic Mapper (ETM+) scenes. The statistics of linear regression between the simulated and measured reflectance factors were used to assess the performance of foliage and crown radius models. The hypothesis was that the best allometric regression models should provide the best fit in reflectance. The strongest correlation between the simulated and measured reflectance factors was found in the short-wave infrared band (ETM + 5) for all the images. The highest R² = 0.71 was observed in Picea abies dominated stands. No excellent combination of foliage mass and crown radius functions was found, but the ranking based on determination coefficients showed that some linear crown radius models are not applicable to our data. Processing of raster images, reflectance measurement for small sample plots, usage of tree-species-specific fixed parameters (specific leaf area, etc.), and the ignored influence of phenology introduced additional variation into the relationships between simulated and measured reflectance factors. Further studies are needed, but these preliminary results demonstrate that the proposed method could serve as an effective way of testing the performance of foliage mass and canopy cover regressions.     

西门子S7-200可编程控制器在气化油点火技术中的应用

以西门子S7—200PLC为核心。利用火检探头。温度、压力等传感器，结合STEP 7 MicmwIN V3．1以及ProTool Pro CS工业组态软件完成了对点火过程的自动控制。实现了西门子S7—200PLC在大型发电厂410吨级蒸汽锅炉“气化油直接点燃煤粉技术”中的应用。提高了锅炉点火系统运行的自动化水平。     

Divide and Congruence Applied to η-Bisimulation

We present congruence formats for η- and rooted η-bisimulation equivalence. These formats are derived using a method for decomposing modal formulas in process algebra. To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra.     

基于LPC2131微控制器的电荷放大器设计

介绍了一种基于ARM的智能电荷放大器的设计方法及工作原理。详细阐述基于LPC2131芯片的软、硬件设计方案。该系统主要由电荷变换电路、低通抗混滤波电路、LCD液晶显示模块和LPC2131控制部分组成。软件部分主要对电荷放大器处理过程进行程控设计,给出了继电器控制、I2C数控电位器控制以及产生抗混滤波器截止频率的程序设计方法。操作系统选用源码公开的实时操作系统μC/OSⅡ,增强了系统工作的可靠性。     

面向对象方法在7号信令软件设计中的应用

随着交换技术的飞速发展，程控交换软件的规模越来越大，改动也越来越频繁，如何使代码对数据的改动具有相对的稳定性成为程控软件设计的一个首要问题。本文以ＣＣＳ７（７号公共信道信令）为例，从对象模型、动态模型、功能模型３个方面阐述了ＯＯ（面向对象）方法在ＣＣＳ７软件设计中的应用。这一方法，也可应用于程控软件的设计。     

基于ARM的嵌入式Linux交叉编译环境的研究与实现

构建交叉编译环境是嵌入式系统开发的基础,嵌入式开发的任何可执行程序都要使用交叉编译生成。文章详细介绍了如何构建一套基于arm的嵌入式Linux交叉编译环境,通过仿真实验测试表明,能够使用x86平台的交叉编译工具开发ARM平台上运行的程序,具有可靠的稳定性。     

基于光纤通信技术的数据单向传输设备研究

基于光纤通信技术的数据单向传输设备通过光电单向转换的物理原理,实现了真正意义上的单向传输,将失泄密隐患降低至零。该篇文章通过对单向传输设备的技术研究,详细剖析了软硬件实现的技术细节。通过实测数据证明了设备的高效性、实用性和可靠性。