排序方式: 共有16条查询结果,搜索用时 187 毫秒
1.
统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题. 相似文献
2.
网带式加热炉是工业过程中常用的加热设备。本文较详细地介绍了用微型计算机控制网带式加热炉温度的设计过程,给出了一些实用线路和方法。系统软件用C语言编写,采用模块化、结构化设计方法,通用性好。 相似文献
3.
针对多接口多信道无线Mesh网络,提出了一种基于链路负载和链路“潜在的”干扰度的权值的分布式静态信道分配算法。给出基于链路负载和链路“潜在的”干扰度的权值的定义和基于权值的链表的构建方法;阐述了算法的设计思想和实现步骤。仿真实验测试结果表明,该算法不但能适应业务流量分布均匀或不均匀的状态,而且能相应地提高网络吞吐量,提升网络性能。 相似文献
4.
随着RDF的出现,其相应的查询语言也应运而生.然而,这些语言都没有考虑RDF代数关系(RDF algebra,简称RAL),因此,这样的RDF查询语言通常没有使用APIs来描述它们的语义和优化问题,这对于RDF查询会导致一种低性能行为.为此,为RDF查询语言和执行RDF查询优化提供一种RAL.首先定义RAL的数据模型、然后呈现处理数据的运算和等价规则、最后描述应用RAL运算和等价规则来查询RDF的优化. 相似文献
5.
轴承音频信号包含其运行状态的重要信息,通过分析这些信息就能对轴承故障进行有效诊断。率先引入基于连续高斯混合密度隐马尔可夫模型的轴承故障音频诊断方法,避免矢量量化带来的数据处理误差,提高了系统诊断精度;引入基于聚类算法的模型参数初始化方法和标定系数的前向-后向算法,简化系统复杂度,加快了训练和诊断速度,进一步提高了诊断精度。实验结果表明,诊断精度达到98.75%,具有很好的应用前景。 相似文献
6.
嵌入式建模中带有时间扩展的UML状态图的形式化方法 总被引:4,自引:0,他引:4
面向对象建模语言UML(Unified Modeling Language)已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出一种对UML状态图进行时间扩展的方法,并提出利用"可执行UML"对带有时间扩展的UML状态图形式化的方法. 相似文献
7.
多接口多信道无线网状网的信道动态切换研究 总被引:1,自引:1,他引:0
首先介绍了目前常见的信道动态切换方法,并分别分析了他们的优缺点.然后针对他们的通信节点之间需要同步而难以实现或各个节点需要一个公共控制信道来解决数据信道的争用而影响网络吞吐率等缺点,提出了一种基于信道队列的信道动态切换方法.该方法不需同步机制和公共控制信道,每个接口通过信道队列的队头元素产生下次新的切换信道,较好的确保了各信道传输的公平性;QDSAC能使网络中各节点的信道切换序列独立生成,计算代价也小,较好的保证了信道切换序列生成的实时性,从而提高网络吞吐率. 相似文献
8.
9.
网带式加热炉微型计算机控制系统 总被引:2,自引:0,他引:2
网带式加热炉是工业过程中常用的加热设备。本文较详细地介绍了用微型计算机控制网带式加热炉温度的设计过程 ,给出了一些实用线路和方法,系统软件用C语言编写,采用模块化、结构化设计方法,通用性好。 相似文献
10.
对于35kV变电站而言,继电保护能够在保证设备安全的基础上,保证系统处于稳定、安全运行状态.因此,应用继电保护装置具有一定的必要性.本文从变电站继电保护装置启动元件定值入手,对35kV变电站继电保护定值整定进行研究. 相似文献