基于TMS320VC5410的最小系统设计

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

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

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

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.     

Bridging the generation gap between text planning and linguistic realization

Text planning is traditionally done as a separate process, independent of linguistic realization. However, I show in this paper that it is essential for a text planner to know the linguistic consequences of its actions. The choice of how to realize an element affects how much information is conveyed (e.g., “Floyd arrived safely in Boston” vs. “Floyd landed safely at Logan”) and what other information can be added (e.g., “Peter was deciding for an hour” vs. *“Peter made a decision for an hour”). The choice of realization also affects how the relative salience of the elements being expressed will be perceived (e.g., “The green car is in the garage” vs. “The car in the garage is green”). I have defined an intermediate level of representation for text planning, called the Text Structure. It is an abstract linguistic level that reflects germane linguistic constraints while abstracting away from syntactic detail. This representation allows the text planner to have greater control over the decisions, so that it can take advantage of the expressiveness of language to convey subtleties of meaning. More importantly, the Text Structure allows the generation process overall to be incremental, since it ensures that the text plan being composed will always be expressible in the language. La planification de textes est habituellement réalisée séparément, sans tenir compte de la réalisation linguistique. Cependant, ľauteur demontre dans cet article qu'il est essentiel à un planificateur de textes de connai̊tre les conséquences linguistiques de ses actions. Le choix de la méhode de réalisation ?un élément influe sur la quantité?informations qui est transmise (par ex.: 〈〈 Floyd est arrivé sain et sauf à Boston 〉〉 et 〈〈 Floyd a atterri sain et sauf àľaéroport Logan 〉〉) et sur quelle autre information peut ětre ajoutée. Le choix de la méthode de réalisation influe également sur la façon dont les caractères saillants des ééments qui sont exprimés seront perçus (par ex.: 〈〈 la voiture verte est dans le garage 〉〉 et 〈〈 la voiture dans le garage est verte 〉〉). L'auteur a défini un niveau intérmediaire de représentation pour la planification de textes qu'il a appelé structure de texte. Il; s'agit ?'un niveau linguistique abstrait qui refléte les contraintes linguistiques appropriées tout en s'éloignant du détail syntaxique. Cette représentation permet au planificateur de textes ?avoir un meilleur contrǒle des décisions, et done de tirer profit de la force ?expression du langage afin de tenir compte des subtiliés de sens. Plus important encore, la structure de texte permet au processus de génération ?ětre incrémentiel, car elle s'assure que le plan de texte en voie de composition soit toujours exprimable dans le langage.     

The Problem of Estimating the Uncertainty of the Fixed Point Temperature Due to the Presence of Impurities

The main problems in estimating the uncertainty due to the presence of impurities in the material: the absence in the documents of a unique definition of the quantity being measured – the fixed point temperature, the lack of agreed methods of realizing the fixed points and the insufficient justification of the equations used for the estimate, are analyzed. The results of a measurement of the melting point of gallium are presented, which differ in the conditions in which they were realized – with one and two liquid-solid interfaces and different solidification conditions, are presented. The reasons for the considerable difference between the values of the temperatures obtained in these experiments are discussed.     

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.     

基于WebGIS的云南省旅游信息系统的模块设计及算法实现

将GIS与网络技术结合是把GIS推向社会化的有效途径。本着重讨论WebGIS在云南旅游信息系统中构建的原理、模块的组成、数据的组织、应用的算法及其主要功能的实现，同时在此系统中采用虚拟现实技术．使该系统更加完善和实用。     

Memory of Distributed Computer Systems: Distinctive Features of Their Architectural-Structural Organization and Use

Distinctive features of architectural-structural organization and use of memory networks are considered with the aim of choosing an optimal configuration in designing distributed computer systems.     

同伦内点法求一类多目标优化问题的最小弱有效解

本文针对客观实际中不同决策者在已有条件下自我需求实现问题,根据"自报公议"原则,将多目标优化问题转化成含有权系数变量的一个新单目标优化问题.利用组合同伦内点法来求解单目标问题,通过路径跟踪得到多目标优化问题的最小弱有效解,从而实现"公议",达到相对最佳目的,并证明了该方法是整体收敛的.     

基于局部结构交互的RNA假结预测

基于RNA局部结构间的交互作用,提出一种含假结的RNA二级结构预测新方法LIFold。对给定的RNA序列,首先通过能量计算得到不含假结的能量最优结构,然后应用局部结构交互配对生成假结茎区,在已得到的最优结构基础上构建含假结的能量计算模型,最后通过优化算法得到含假结的RNA二级结构。应用该方法基于HotKnots测试数据的敏感性和阳性预测值(PPV)分别达到84%和80%,基于PseudoBase数据库测试数据的敏感性和阳性预测值分别达到78%和73%,与HotKnots、ILM、PknotsRG、IPknot及FlexStem等知名软件相比较,准确率均有所提高。