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

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

炮兵雷达的体系与发展

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

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

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

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

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

遥感系统的光谱辐射定标

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

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

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

完整性条件下无干扰模型

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

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

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

500kV故障限流器对保护的影响及解决方案

故障限流器(FCL)在短路故障发生前后改变了系统阻抗,对传统的继电保护特别是以阻抗为特征量距离保护影响非常大.分析了故障限流器对距离保护的拒动、误动和超越的原理.介绍了安装于瓶窑站的国内第一套500 kV故障限流器对继电保护影响的解决方案,为FCL的推广应用给出启示.     

一种面向软件行为和多视点的需求模型验证方法

软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.