单片机多任务机制的一点探讨

本文对单片机的几种多任务编程方法做了一些探讨和比较.     

炮兵雷达的体系与发展

炮兵雷达是一个装备概念,包括野战炮兵使用的防空兵雷达、战场侦察、雷达和炮兵作战时所需的各种辅雷达,炮兵雷达的体系结构是探讨炮兵雷达分类、组成、性能、功能、使用、发展等问题,本文主要论述炮兵战场目标侦察雷达、炮兵侦校雷达和对海侦校雷达的体系结构,重点放在炮兵雷达的发展。     

单片机多任务机制的一点探讨

本文对单片机的几种多任务编程方法做了一些探讨和比较。     

改进的ZLC数据处理法──计算芳烃在ZSM-5晶内扩散系数

引　言ＺＬＣ法是Ｅｉｃ等[1]于 2 0世纪 80年代末开发的测量分子筛晶内扩散系数的方法 .该方法除了采用高速气流消除外扩散、采用大晶粒分子筛增加晶内扩散阻力外 ,其独特之处是将普通色谱法较长的色谱柱改为分子筛单晶薄层 .这样 ,既消除了轴向扩散 ,又加快了分析速度 ,成为一种简单有效的方法 .然而 ,该方法在数据处理方面存在不足 ,需要改进 .1　理论推导ＺＬＣ法的基本原理是 :在一定的条件下 ,与微量分子筛晶粒达到吸附平衡的吸附质在纯载气流中脱附 ,通过脱附曲线得到晶内扩散系数 (Ｄ) .脱附曲线方程为[2 ]ｃｃ0=2Ｌ∑∞ｎ=1ｅｘｐ(…     

完整性条件下无干扰模型

以Rushby的无干扰工作为基础,对完整性条件下的无干扰模型进行了研究:指出了Rushby所定义的视图划分系统和基于引用监视器假设的系统在完整性条件下和机密性条件下一样,都是满足无干扰的;给出了Biba模型的无干扰解释;提出了动作等价关系,并利用动作等价关系研究了完整性条件下的信息流释放问题;提出了等价自动机和纯化等价自动机的观点,并说明了如何利用这2个图形化的工具帮助进行完整性无干扰推演。     

钢丝绳隔振器机械阻抗分析

对钢丝绳隔振器的机械阻抗进行了理论分析和实验研究,建立了机械阻抗的理论计算模型,并对某型钢丝绳隔振器进行了阻抗试验。结果表明,刚度区和质量区的曲线斜率基本一致,因此,只需要确定阻抗低谷处的频率及大小,就可以得到任意频率处的机械阻抗值。     

遥感系统的光谱辐射定标

遥感系统的光谱辐射定标问题是遥感器设计和遥感数据使用中的一个重要问题,近几年来引起了国内外遥感界不少学者的重视和兴趣。本文概括地介绍遥感系统中光谱辐射定标技术的发展状况,以及国外几个著名的空间遥感器上所使用的定标方法。     

一种基于活性顺序图的运行时验证研究

运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术。实验表明,改进方法验证结果准确,且验证过程开销较小。     

面向软件行为和多视点的需求建模方法

提出一种面向软件行为和多视点的需求建模方法,包括建模步骤和建模语言.其中目标系统根据问题域以及视点源被划分成视点.视点在需求模型中以实体的方式存在,每个视点通过从需求规格说明中提取的场景来描述,作为需求模型基本组成单位的场景模型则通过基本的行为复合而成.分析了基于行为和多视点的需求建模过程,讨论了需求建模语言:行为描述语言的语法和语义,并给出相关实例分析以及所实现的建模工具简介.     

SAUM——一种自适应更新的Ad Hoc多径路由算法

提出了一种自适应更新的Ad Hoc多径路由算法的设计思想.采用自适应更新的方式建立源节点到目的节点的多条路由,并在NS-2环境下与AODV路由协议在路由开销、分组传输率和端到端的平均延时方面进行了对比实验.