SoC设计的过程模型的研究

为了有效缓解SoC设计中设计周期和设计规模之间的矛盾，需要引入一种科学的思维方法。使用完整的工程学原则指导SoC的设计是问题解决的根本途径。文章充分借鉴成熟的软件工程研究思想，在对基于IP重用设计方法学研究基础上，对基于重用的SoC设计过程进行了建模，提出了一个新的工程过程模型——CPD模型。该模型的提出为SoC设计领域内各种无序的活动有序化做了尝试和努力。     

基于程序设计语言的安全模型

安全模型是系统安全规范、设计和验证的依据,是系统安全高效实现的保障,是信息安全理论与应用中的重要课题。本文首先系统地简述了安全模型的发展与现状,分析安全模型研究面临的困难,讨论其发展趋势。在此基础上对当前安全模型中的前沿课题提出一种分类,称为基于程序设计语言的安全模型。进而,讨论基于程序设计语言的安全模型的研究目标,并讨论了该研究领域中的主要研究进展。最后,指出基于程序设计语言的安全模型的理论优势,及其研究中亟待解决的若干问题。     

基于人机交互的工业产品设计模型研究

针对传统产品设计模型一直存在设计不准确的问题,提出基于人机交互的工业产品设计模型研究。对工业产品模型结构与人机交互技术进行了融合设计。人机交互技术对数据传递以及传感反馈系统要求较高,因此进行结构的优化过程中对结构组成以及结构顺序进行了重新编排。在对人机交互工业产品模型的建立过程中,对人机交互工业产品模型矩阵进行了系统设计,保证数据反馈能力以及工业产品实际质量,并且避免发生由于感知问题产生工业产品不合格现象,引入等级映射计算,保证数据交互畅通以及数据传感有效性,极大提高机械生产过程的感知力,模型还设计了工业产品检验机制,保证工业生产有效性。实验结果证明,设计的模型能够有效地应用于工业生产之中。     

图像分类中的深度主动学习研究综述

深度学习已在众多领域如图像分类中取得突破性发展,其成功依赖大量标注数据。然而很多领域中数据标注代价昂贵。主动学习主要是通过合适的查询策略选择信息量大的未标注数据交由专家或者工作人员进行标记,试图以尽可能少的高质量标注数据训练高性能的模型。从不同角度详细地对基于预设计策略和基于学习损失的主动学习方法的研究现状进行了分析和比较,最后对现有的主动学习进行了总结和进一步指出了一些值得研究的方向。     

基于OAIS模型的水利基层单位档案分类系统设计

为了解决传统分类系统在分类信息过程中存在的数据丢失问题,实现对大批量档案信息的有效分类管理,提出一种基于OAIS模型的水利基层单位档案分类系统设计方法。系统硬件设备包括信息处理器与转换器接口,在硬件设备的支撑下,获取水利基层单位档案特征信息。并采用对OAIS模型中信息与输入样本档案信息进行对比的方式,实现基于OAIS模型设计档案分类流程。此外,设计对比实验,证明相比传统的档案分类系统,设计的档案分类系统,可成功对不同类型的档案进行精准分类,分类成功率更高,且有效地规避了传统系统在执行分类行为中存在的档案信息丢失问题。     

使用基于模型的设计进行虚拟测试

本文分析了系统设计中常用的"末期测试"可能造成的成本及设计周期的增加,进而提出了基于模型的设计方法,通过在系统设计中并行进行虚拟测试,大大缩短设计周期,降低设计成本.     

基于ATM的MPLS仿真模型的总体设计

讨论了基于ATM的MPLS仿真模型的总体设计和实现。该设计基于OPNET的模型库基础上完成。实现的模型可以丰富OPNET仿真模型库,可以为使用OPNET进行有关基于ATM的MPLS仿真研究提供了一个途径和基础。     

基于模型设计的DSP实现方法研究

为了满足现代DSP算法的快速硬件实现需求,本文分析了传统DSP设计方法的缺点,给出基于模型设计的DSP实现工作流程。整个设计流程从设计的需求开始到最后的硬件实现一直集中在DSP算法的设计模型。通过采用Simulink、Fixed-Point Designer、MATLAB Coder和HDL Coder等工具,给出了完整的开发流程。这种基于模型设计的DSP算法开发流程不仅克服了传统设计方法效率低的缺点,而且提高了DSP电路设计的可靠性。     

平面网络中QOS多播路由算法研究与设计

多播通信这种兼顾了广播通信与单播通信两者优点的通信模式,已经被越来越多地应用于平面网络业务之中。首先讨论了面向源节点的多播路由策略。在分析传统多播路由算法中最佳链路选择函数的基础上,提出了一个新的最佳路由模型和QMRI算法,该算法成功地解决了网络中多播节点动态变化时的QOS路由选择问题。     

大型嵌入式网络中的节点信息安全预判技术研究

为了防护大型嵌入式网络中的节点信息安全,提出基于博弈论的安全预判模型,并对基于博弈论的大型嵌入式网络节点信息安全预判系统进行实现。介绍了博弈论中博弈者、博弈策略、期望函数的相互关系,取节点信息攻守双方为博弈者,构建四元组安全预判模型,给出与博弈策略行为有关的期望函数。当节点信息不安全时,根据非合作博弈均衡原理得到最佳博弈策略集合;当节点信息安全时,将期望函数作为安全预判结果输出。经过实验验证可知,所提基于博弈论的安全预判模型具有很好的节点信息传输性能和节点信息搜索性能。     

基于eTOM的电信计划分析的信息模型

介绍了如何根据实际需求建立基于eTOM的电信计划分析的信息模型的方法.从论述电信计划预测对分析预测的需求开始,依次介绍了eTOM的业务流程、模型建立方法及信息模型设计.     

基于福格行为模型的时间管理应用系统交互设计研究

文中以行为设计学福格模型为切入点,通过对其理论概述及其应用特点的研究,探究如何将行为发生条件三要素应用于时间管理平台,并细分研究其各要素,分析现有时间管理APP交互设计在大学生使用过程中的问题以及优点,对用户需求进行归纳和总结,提出基于福格行为模型的交互设计优化策略,以期帮助时间管理APP在交互层面上更好地为大学生服务,让大学生能持续使用时间管理APP,形成良好的时间管理规律。     

基于PCIM的告警分析处理方法

告警管理是综合集中告警系统的核心功能模块,是网络运行维护人员监控网络并发现网络故障的有效工具.本文在研究PCIM策略核心信息模型的基础上提出了告警管理的策略信息模型和策略框架,并实现了基于策略的告警管理系统原型,并成功运用于中国电信集团公司综合告警系统项目.     

基于MATLAB定点运算的数字集成电路协同设计方法

为提高超大规模数字集成电路设计中算法评估和电路仿真的效率,介绍了一种基于MATLAB定点运算模型的数字集成电路协同设计方法。针对定点运算的基本操作,建立了一套可与硬件电路行为精确对应的MATLAB模型,并据此搭建出系统的总体定点算法模型。该模型既可与系统浮点算法模型对比以评估算法性能,又能模拟电路的操作,为硬件设计提供精确参考。通过与电路仿真软件的协同操作,可实现仿真结果的自动检查以及错误源头的快速定位,提高仿真和验证的效率。基于该方法设计了2种系统级芯片,均一次流片成功,证明了该方法的有效性。     

基于指令表自驱动的指令解析模型实现方法研究

在硬件仿真平台的设计中,指令集解析模型的设计是关键。从对常规的指令集解析模型设计出发,分析了其主要缺陷及改进思路,并给出了一种的新的指令解析模型——基于指令表自驱动的指令解析模型,通过描述硬件仿真平台的设计过程,分析了其优化的核心策略和主要技术路线,给出了一种实现这种新的指令解析模型的方法。     

面向SoC系统芯片中跨时钟域设计的 模型检验方法

 传统方法无法在RTL验证阶段全面验证SoC系统芯片中的跨时钟域设计.为解决此问题,本文首先提出描述亚稳态现象的等价电路实现,用以在RTL验证中准确体现亚稳态现象的实际影响;然后使用线性时序逻辑对跨时钟域设计进行设计规范的描述;为缓解模型检验的空间爆炸问题,进一步针对跨时钟域设计的特点提出基于输入信号的迁移关系分组策略和基于数学归纳的优化策略.实验结果表明本文提出的方法不仅可以在RTL验证阶段有效地发现跨时钟域设计的功能错误,而且可以使验证时间随实验用例中寄存器数量的递增趋势从近似指数级增长减小到近似多项式级增长.     

基于eTOM的电信计划分析能信息模型

介绍了如何根据实际需求建立基于eTOM的电信计划分析的信息模型的方法。从论述电信计划预测对分析预测的需求开始．依次介绍了eToM的业务流程、模型建立方法及信息模型设计。     

高速数据采集系统的信号完整性分析

信号完整性已经成为了高速数字PCB设计所关心的主要问题.文中简述了基于IBIS模型的信号完整性仿真分析的基本概念及其流程,并分析了基于IBIS模型的高速数据采集系统的信号完整性问题,利用仿真结果对设计进行修改.说明高速电路设计中采用基于信号完整性仿真设计是必要的,也是可行的.     

扩充的状态转移网对话模型及其实现

给出了基于对象类的扩充的状态转移网对话模型，阐述了该模型使用的两种抽象方法；归纳与聚合，并讨论了对话设计到程序设计语言的实现策略。     

基于P2P流媒体播放模型的内容发布策略

P2P流媒体播放软件的出现对现阶段的电视与网络行业产生巨大的影响，它使得在网上远程实时观看播放节目成为可能。阐述了基于P2P流媒体播放模型的几种内容发布策略，并经过计算与模拟仿真得到了最佳内容发布策略。