基于SCORM2004标准的验证系统的研究与改进

本文对图像处理中常用的中值滤波算法的几种加速改进算法进行了研究与对比,探讨了各种算法实现机制、处理效果及运算复杂度,提出一种新的基于直方图的分级查找中值滤波算法,通过对比实验表明,新算法提高了中值滤波

阐述了国内伸缩机尾的发展概况及使用伸缩机尾的必要性,根据国内井下工作的工况和产品的使用情况,对伸缩机尾架进行改进设计,提高机尾架的使用寿命,增加可靠性。

现有矿用绞车是煤矿开采的重要组成部分,但现有绞车存在操作费力、安全性不高等设计缺陷,无法满足市场需求。针对这一问题,根据现有绞车设计,结合新型液压绞车原理,提出改进设计方案,以适应市场需求。

以集成电路稳压管为例,研究国产化器件的替代选用,通过长期的论证考察和试验验证,对稳压管电路原理进行了分析,反复进行试验,经过试验数据分析论证,选择国内生产工艺成熟、资质能力深厚的厂家提供的货架产品。通

针对传统基于密度树网格聚类算法中存在人为设置密度阈值、重复查询邻域内对象以及边界点处理不当等问题，提出了一种改进的基于密度与网格的聚类算法。该算法首先将全部网格的平均密度值作为其密度阈值，避免了人为设

基于 SIP 的安全认证机制的改进与实现,刘冬杰,卞佳丽,SIP 协议是当前 IP 电话中的主流协议,HTTP 摘要认证机制被很多 SIP 系统作为安全认证机制,但存在客户端不能认证服务器端、不支持密

针对灰狼算法具有易陷于局部最优并且收敛速度不理想的缺点，提出基于改进收敛因子策略和引入动态权重策略以及两种策略混合改进的灰狼优化算法，并且用于求解函数优化问题。提出一种非线性收敛因子公式，能够动态地调

物联网以及信息物理融合系统对形式化建模提出了新的挑战，引入了实时系统规范语言STeC，为刻画实时系统的时空一致性提供了规范语言。针对STeC语言建立STeC至Stateflow自动转换系统，提出一种基

基于IPTC标准的图片格式转化及发送系统的研究与实现，刘晶晶，，本文给出了一种基于IPTC标准的图片格式转换及发送系统的设计与实现方案。IPTC是国际新闻电信理事会（InternationalPres

统一建模语言UML 在嵌入式系统设计建模中已经获得了广泛的认可,能对复杂嵌入式系统建模,并有很多成功的应用,但UML 是一种半形式化语言,存在时间约束描述能力不强和所建模型形式化复杂.验证难度大等问题