摘要：在开放动态的互联网环境下的云服务呈现出发散、动态演化、异构等特征,为了适应多样的应用需求以及持续变化的云环境,云需要以灵活、适应的方法来有效地管理和提供云服务.针对这一需求,提出了一种云服务自组织管理方法,该方法利用agent的环境感知和自主行为决策的能力,依据它的职责实现对云服务的自主管理,并通过agent间的交互以自组织的方式实现对服务资源的有效管理,进而适应云环境和应用需求的变化;提出了支持上述方法和机制的实现技术,包括云服务自组织管理的核心机制和实现框架、云服务汇聚和提供的运行机制及相关实现算法.利用支持语义Web服务发现匹配的公共测试数据设计并完成了两组验证实验,实验结果表明:所提出的方法可以在持续变化的云环境下有效地管理和提供云服务,进而满足动态多样化的应用需求.

摘要：以自主研发的软硬件协同设计平台YH-PBDE为基础,提出一个逐层细化的层次化通信模型.该模型遵循计算与通信相分离的设计原则,分为系统、虚部件和实部件三个层次,层与层之间的接口通过映射和细化两种方式实现;同时,基于该模型阐述了一种新颖的虚实部件接口综合算法流程,为不同知识产权核之间的平滑通信提供了实用的解决方案.该模型和方法可以有效地实现不同核之间的自动集成,使复用技术成为可能.

摘要：讨论并给定切线多边形相切的非均匀三次B样条曲线 ,所构造的曲线是C2 连续的闭曲线 ,且对切线多边形保形 非均匀三次B样条的所有deBoor点由切线多边形的顶点直接计算生成 构造了与给定切线多边形相切的Cm 连续m +1次非均匀B样条曲线 最后的实例表明 ,所构造的非均匀三次B样条逼近曲线比分段

摘要：介绍了以Y图为中心的系统级设计方法研究主题,从软硬件协同设计技术、设计重用技术以及与底层相结合设计技术3方面探讨了系统级关键设计技术的研究进展·从设计方法和技术路线上,将当前的研究工作归纳为基于SpecC自顶向下细化求精的设计方法、基于组件多处理器核SoC自底向上搭积木的设计方法和基于平台上下结合分而治之的设计方法3类·在此基础上,对各类方法的基本思想、描述语言、设计模型和关键技术等进行了分析与对比,并给出了该领域存在的研究问题及其今后的研究方向和重点·

摘要：面向基于平台的设计方法,开发了系统芯片软/硬件协同设计环境YH-PBDE·在描述YH-PBDE的总体结构之后,详细介绍了该环境中的三个设计层次与二次映射过程,重点论述了YH-PBDE中基于约束任务流图的系统建模方法、具有初始信息素的蚂蚁寻优软硬件划分算法和基于层次有向无环图的设计约束分配方法·结合具有录音功能的MP3播放器芯片的系统级设计方法,说明了在YH-PBDE中进行系统芯片软硬件协同设计的过程·

摘要：针对YHFT-DSP外部同步存储器接口的时序问题,本文综合考虑工程实际、设计开销和实现自动化等因素,给出了封装延时差、单元延时和IO单元虚延时三种优化方法.芯片测试结果表明:基于时钟提前的IO单元虚延时方法能够高效地实现133 MHz时钟频率的外部同步存储器接口访问.

摘要：社交网络分析是近年来的研究热点之一,常见的分析方法包括度分布分析、个体排名、社区发现、模式发现等.文中,作者认为一个人的社会地位与其所在的网络结构具有紧密的联系,而这种网络结构对成员社会地位的影响程度是可以被表示和量化的.文中通过分析社交网络的链接结构,将社交网络中个体与个体间的依赖关系从一般社会关系中抽取出来,提出了一种基于依赖模型的支持力衡量方法,并基于此给出了一种高效的计算最具支持力的节点计算方法.此外,基于上述模型,设计了一种基于依赖关系的支撑结构模型及其计算方法,用于刻画社交网络中特定节点的影响力来源.作者在大规模的真实数据环境下对模型和算法的正确性、效率和伸缩性进行了验证.

摘要：提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 .

摘要：无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题。针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开发框架。该框架利用模型检验技术对无人车决策系统进行环境建模,通过验证可以发现无人车决策系统的设计过程中不易发觉的缺陷,解决其安全性不足的问题,同时能够将安全检查与软件开发同步,降低其维护成本。基于该框架,设计并实现了无人车决策系统辅助开发工具UNMANNED_RULE_EDIT(URE),目前该工具已初步应用于国内某单位研制的无人车上,为其开发研制工作提供了帮助。

摘要：本文提出基于层次平台的SoC系统设计方法Hi PBD ,将SoC系统设计分为系统模型层、虚部件层和实部件层 ,达到系统设计中功能与结构分离、计算与通信分离的目的 .Hi PBD通过设计规划与虚 实综合完成 3个设计层次之间的 2次映射 .该方法不仅重用 3个层次的设计模板 ,而且重用设计层次间 2次映射的结果 ,提高了重用效率 .此外 ,Hi PBD方法支持在 3个层次修改相应设计模板以增强设计灵活性 ,采用性能约束传播机制确保最终设计目标满足性能要求 .实验表明 ,Hi PBD方法可提高SoC系统级设计效率 30 % 4 0 % ,平台模板重用率达到 75 % 90 % .