基于TMS320VC5410的最小系统设计

TMS320VC5410是TI公司生产的一款定点数字信号处理(DSP)芯片。基于DSP的最小系统是以其简洁的硬件结构来实现DSP的一般功能,广泛应用于工业生产、教学、科研、电子设计等领域。主要介绍了基于TMS320VC5410的最小系统硬件电路设计方案,阐述了重要电路部分的抗干扰设计和软件调试过程中应注意的若干问题。最后提出了简单易行的软件调试方法以及部分程序代码。     

带参数的一阶脉冲微分方程边值问题

利用上下解和单调迭代法。讨论了带参数的一阶脉冲微分方程。获得了单边Lipschitz条件下这类方程边值问题的解的存在性。     

国外农用非织造布覆盖材料的应用

非织造布在现代农业生产中占有重要地位 ,非织造布作为农用覆盖材料在柑橘、草莓、茶叶、花卉、水稻和玉米育苗以及人参栽培等多方面应用较为广泛 ,本文对国外农用非织造布覆盖材料的特点、性能以及应用情况作了介绍     

The Construction of Minimal DNA Expressions

We describe a formal language/notation for DNA molecules that may contain nicks and gaps. The elements of the language, DNA expressions, denote formal DNA molecules. Different DNA expressions may denote the same formal DNA molecule. We analyse the shortest DNA expressions denoting a given formal DNA molecule. We determine lower bounds on their lengths and explain how we construct these minimal DNA expressions.     

大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

Experience with Applying Formal Methods to Protocol Specification and System Architecture

In the last three years or so we at Enterprise Platforms Group at Intel Corporation have been applying formal methods to various problems that arose during the process of defining platform architectures for Intel's processor families. In this paper we give an overview of some of the problems we have worked on, the results we have obtained, and the lessons we have learned. The last topic is addressed mainly from the perspective of platform architects.     

示例学习的扩张矩阵理论

本文提出示例学习的一种计算理论,扩张矩阵论.根据这个理论,示例学习中一些主要最优化问题被证明是NP难题,并给出这些难题的近似解法及下界的估计.     

Effect of Calcium Lactate, 4-Hexyl Resorcinol and Vacuum Packing on Physico-chemical, Sensory and Microbiological Qualities of Minimally Processed Litchi (Litchi chinensis Sonn.)

Litchi (Litchi chinensis Sonn.) fruits are very susceptible to pericarp browning which adversely affects consumer acceptability even though the aril portion remains in excellent condition. Litchi arils (litchis) were treated with a solution containing 0–2% (w/v) calcium lactate (CL), 0–0.02% (w/v) 4‐hexyl resorcinol (4‐HR) and 1% potassium sorbate. The pH of solution was adjusted to 4.0 with citric acid. Treated litchis were packed in polystyrene trays, over‐wrapped with polypropylene film, vacuum‐packed (0, 47409.3, 94831.9 Pa) and stored at 4 ± 2 °C. Drip losses, pH, total soluble solids (TSS), sensory attributes and microbiological quality of stored samples were estimated. A four‐factor, three‐level experimental design (D₆ Hokes design) with 19 experiments was chosen. Mathematical models were developed to analyse and predict the effect of CL, 4‐HR, in‐package vacuum and storage time on the responses. TSS, pH and sensory scores decreased significantly (P 0.01), whereas drip losses and microbial count increased significantly (P 0.01) with time. Drip loss was significantly (P 0.1) reduced by addition of CL. 4‐HR prevented browning and changes in colour score during storage were significantly less. Vacuum in packages exerted significant (P 0.01) effect over pH, TSS, sensory and microbiological qualities of minimally processed litchis.     

The Cubooctahedron Shape──A Suboptimal Cell Shape for 3－Dimensional Cellular System

ＴｈｅＣｕｂｏｏｃｔａｈｅｄｒｏｎＳｈａｐｅ──ＡＳｕｂｏｐｔｉｍａｌＣｅｌｌＳｈａｐｅｆｏｒ３－ＤｉｍｅｎｓｉｏｎａｌＣｅｌｌｕｌａｒＳｙｓｔｅｍＣｈａＧｕａｎｇｍｉｎｇ；ＬｉＺｈｅｎｇｍａｏ；ＬｕＦａｎ（ＵｎｉｖｅｒｓｉｔｙｏｆＥｌｅｃｔｒｏｎｉ...