论文部分内容阅读
TADS—PCB软件系统研制报告
【出 处】
：
电视与配件
【发表日期】
：
1993年3期
其他文献
针对分布式数据库系统中副本一致性的问题,结合快照隔离的性能优势和组通信技术的消息定序特性,提出了一种满足单副本可串行化的数据同步协议。首先,形式化定义了快照隔离可串行化的准则,并证明了该规则可以保证单副本可串行化。进而基于组通信系统的消息定序特性,提出了满足单副本可串行化的数据同步协议SSI-REP。实验表明,与两阶段协议(2PL)相比,SSI-REP协议提高了系统的性能,降低了事务的系统响应时间
软件哨兵是保护软件代码不被非法修改的重要方法之一,但它本身的安全面临着重大挑战。为了能动态检测软件哨兵是否遭到窜改,基于TPM技术提出了一个检测软件哨兵完整性的模型。该模型利用哨兵进程在内存页面中的变化情况,判断哨兵是否可信,提高了哨兵实时性和动态性。实验证明,该模型能够准确地判断出哨兵进程是否遭到窜改并满足计算平台对安全性和执行效率的要求,具有较好的可行性。
流媒体技术和应用的迅猛发展,给网络带宽和系统资源带来了巨大的压力,网络信息的语义深度挖掘和兴趣偏好分析变得越来越重要。提出exUCL网络语义描述模型用于描述网络各层中数据的语义信息,通过对网络节点数据包的分析建立多语义的流媒体资源流行度模型,并采用卡方检验法和真实网络数据验证模型的有效性。该模型对提高流媒体资源的缓存替换算法效率、服务质量等均具有明显作用。
针对嵌入式系统对可靠性和可预测性的要求,提出基于MDA对嵌入式系统的建模语言MARTE进行形式化描述的方法。建立Object-Z的元模型,定义了MARTE元模型与Object-Z元模型之间的模型转换关系,给出了MARTE模型到Object-Z模型的语义映射和语法转换的具体过程。该方法支持将MARTE模型形式化转换为Object-Z模型,有利于软件开发早期的检验和验证。
智能规划中,大部分规划器注重求解过程,而缺乏对规划解质量的优劣进行分析。针对这一不足,提出使用规划时间、规划长度、倾向约束、资源约束等判断依据构建出多目标测量函数,对规划解的质量进行综合测评和优劣分析。实验表明,该方法可行且具有实际意义。最后,就未来的研究方向进行展望。
针对含噪图像的边缘难以检测的问题,通过研究量子力学叠加态理论,构造出一种多结构的量子叠加态结构元素,此叠加态结构元素涵盖线条的任意走向,从而检测出完整而连续的边缘;并在算法设计中利用图像信息熵确定各叠加态结构元素的概率。仿真实验结果表明,相对于传统形态学结构元素,所提出的量子叠加态结构元素对含噪图像边缘检测可以得到比较理想的效果。
目前有关动态目标阴影抑制研究中,较好的方法是基于RGB颜色空间核密度估计分割模型,但它只能用于彩色视频阴影抑制,在灰度视频中是无效的。针对这一局限,提出了一种基于核密度估计模型的动态目标阴影消除算法,利用局部二值模式的抗噪特性,可以有效地消除彩色和灰度视频中的动态目标阴影,并对图像中的其他噪声也有明显抑制作用。从实验数据得出,该方法使目标误分割率降低约77.84%～95.22%,从而有效地抑制了动