基于TLM2.0的SPARC事务级建模 被引量：2

1

作者 周海洋 葛宁 +1 位作者 于立新 李玉红 《计算机工程》 CAS CSCD 北大核心 2011年第14期248-250,253,共4页

为提高可扩展处理器体系结构(SPARC)的设计抽象层次和仿真速度,设计一种符合第8版SPARC(SPARC V8)的事务级模型。该模型基于TLM2.0标准,采用解释型指令集仿真方法实现程序执行。通过构建验证环境,证明该事务级模型能够正确运行并跟踪SPA... 为提高可扩展处理器体系结构(SPARC)的设计抽象层次和仿真速度,设计一种符合第8版SPARC(SPARC V8)的事务级模型。该模型基于TLM2.0标准,采用解释型指令集仿真方法实现程序执行。通过构建验证环境,证明该事务级模型能够正确运行并跟踪SPARC V8程序,仿真速度比寄存器传输级提高2个数量级。 展开更多

关键词 可扩展处理器体系结构 事务级模型 指令集仿真 仿真速度 寄存器传输级

在线阅读 下载PDF 职称材料

可再生能源配额制下风光储联合参与现货市场的交易决策 被引量：6

2

作者 武群丽 朱新宇 《中国电力》 CSCD 北大核心 2024年第4期77-88,共12页

可再生能源配额制与现货市场建设的并行推进引起风电发电商、光伏发电商及储能电站(风光储)联合参与现货市场的交易决策发生变化。通过构建双层交易决策模型,对可再生能源配额制下风光储联合参与日前电能量及调频辅助服务市场的交易决... 可再生能源配额制与现货市场建设的并行推进引起风电发电商、光伏发电商及储能电站(风光储)联合参与现货市场的交易决策发生变化。通过构建双层交易决策模型,对可再生能源配额制下风光储联合参与日前电能量及调频辅助服务市场的交易决策进行求解分析。模型上层以风光储总利润最大化为目标,同时考虑到风光储的内部调控,求解风光储最优交易策略;下层实现日前电能量和调频辅助服务市场的联合出清及绿色证书市场的清算。通过库恩-塔克(Karush-Kuhn-Tucker,KKT)条件、强对偶定理等方法将双层模型转换为混合整数线性规划问题进行求解。最后,通过算例验证了所提模型的有效性。结果表明:所提框架与模型能够优化风光储报量报价决策;可再生能源配额制的引入丰富了风光储的套利手段,风光储内部调控更加活跃;风光渗透率及配额制考核权重的变化对风光储的交易决策有重要影响。 展开更多

关键词 风光储 可再生能源配额制 电能量市场 调频辅助服务市场 双层交易决策模型

在线阅读 下载PDF 职称材料

变革/交易型领导、组织差序氛围对员工亲环境行为的影响:一个跨层模型的检验 被引量：2

3

作者 郑羽蘅 高怡幸 《旅游科学》 CSSCI 北大核心 2024年第3期81-100,共20页

文章基于自我决定和角色认同理论,通过对43家旅游企业的领导-员工配对调研数据的采集,构建了变革/交易型领导、组织差序氛围对员工亲环境行为影响的跨层模型。研究结果表明:(1)变革型领导对旅游企业员工亲环境行为具有正向作用,而交易... 文章基于自我决定和角色认同理论,通过对43家旅游企业的领导-员工配对调研数据的采集,构建了变革/交易型领导、组织差序氛围对员工亲环境行为影响的跨层模型。研究结果表明:(1)变革型领导对旅游企业员工亲环境行为具有正向作用,而交易型领导则相反;(2)心理授权与内部人身份感知在变革/交易型领导与员工亲环境行为之间起链式中介作用;(3)组织差序氛围显著调节变革/交易型领导通过心理授权与内部人身份感知对员工亲环境行为的影响。文章结论拓展了领导风格、组织氛围影响员工亲环境行为的跨层次理论与实证研究,并为推进旅游企业的内部环境管理实践提供了指导。 展开更多

关键词 变革型领导 交易型领导 组织差序氛围 员工亲环境行为 跨层模型

在线阅读 下载PDF 职称材料

可生存性MLS/DBMS中基于隐蔽通道的恶意事务检测 被引量：6

4

作者 郑吉平 秦小麟 +1 位作者 管致锦 孙瑾 《电子学报》 EI CAS CSCD 北大核心 2009年第6期1264-1269,共6页

多级安全数据库系统(MLS/DBMS)中并发控制协议并不能彻底消除所有的隐蔽通道.在隐蔽通道无法避免的情况下,已渗透的恶意事务可以利用隐蔽通道泄漏和篡改机密信息.为提高数据库的可生存性,首先分析了MLS/DBMS系统中的隐蔽通道,通过对真... 多级安全数据库系统(MLS/DBMS)中并发控制协议并不能彻底消除所有的隐蔽通道.在隐蔽通道无法避免的情况下,已渗透的恶意事务可以利用隐蔽通道泄漏和篡改机密信息.为提高数据库的可生存性,首先分析了MLS/DBMS系统中的隐蔽通道,通过对真实情况的参数模拟和实验分析,结合恶意事务特征和隐蔽通道带宽的异常改变,给出可生存DBMS中的同谋事务和恶意事务的检测,并提出了同谋用户造成隐蔽通道传递性的机理以及恶意噪声事务对其的影响. 展开更多

关键词 多级关系模型 隐蔽通道 恶意事务 同谋

在线阅读 下载PDF 职称材料

事务级AHB总线模型研究 被引量：2

5

作者 马秦生 曹阳 +1 位作者 杨珺 张宁 《计算机应用研究》 CSCD 北大核心 2009年第9期3246-3248,共3页

为了克服RTL级AHB总线模型的局限性,提出了采用标准C++扩充的软硬件统一建模语言SystemC构建事务级的AHB总线模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB总线标准,运行速... 为了克服RTL级AHB总线模型的局限性,提出了采用标准C++扩充的软硬件统一建模语言SystemC构建事务级的AHB总线模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB总线标准,运行速度远高于RTL级下的同类模型。该模型可以有效地克服软硬件协同设计中的时间瓶颈,提高SoC的设计效率,降低设计复杂度,缩短芯片产品的上市时间。 展开更多

关键词 片上系统 AHB总线 事务级 建模

在线阅读 下载PDF 职称材料

片上系统设计中事务级建模技术综述 被引量：6

6

作者 童琨 边计年 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第11期1365-1372,共8页

随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并... 随着集成电路复杂度的提高,事务级建模成为了片上系统设计中一个新的研究方向.系统地总结了近年来事务级建模技术的研究热点及设计者关注的问题,介绍了该技术在建模与模拟验证中的作用与优势;分析了事务级建模发展中需要解决的问题,并对其前景进行了展望. 展开更多

关键词 片上系统 事务级建模 模拟 验证

在线阅读 下载PDF 职称材料

基于System C的火控计算机交易级建模 被引量：1

7

作者 徐学航 邹雷 《火力与指挥控制》 CSCD 北大核心 2006年第S1期97-100,共4页

SystemC是一种面向软硬件协同设计、性能测试的编程语言。在介绍火控计算机工作原理、硬件结构和软件算法的基础上,采用SystemC进行火控计算机系统级建模,构建了火控计算机交易级模型,描述了相关模块接口间的调用方法,为生产或更新火控... SystemC是一种面向软硬件协同设计、性能测试的编程语言。在介绍火控计算机工作原理、硬件结构和软件算法的基础上,采用SystemC进行火控计算机系统级建模,构建了火控计算机交易级模型,描述了相关模块接口间的调用方法,为生产或更新火控计算机集成电路芯片提供了快速可行的设计与验证方法。 展开更多

关键词 SYSTEM C 交易级模型(tlm) 火控计算机 接口

在线阅读 下载PDF 职称材料

储能参与现货电能量-调频辅助服务市场的交易决策研究 被引量：35

8

作者 李国庆 闫克非 +3 位作者 范高锋 边竞 于国康 余中平 《电力系统保护与控制》 EI CSCD 北大核心 2022年第17期45-54,共10页

随着电力市场化改革的不断推进,储能资源作为独立市场主体提供调频服务,是解决系统调频能力不足的有效手段。构建双层交易决策模型对储能在市场中的交易决策行为和市场出清过程进行模拟分析。首先,提出储能参与现货电能量-调频市场交易... 随着电力市场化改革的不断推进,储能资源作为独立市场主体提供调频服务,是解决系统调频能力不足的有效手段。构建双层交易决策模型对储能在市场中的交易决策行为和市场出清过程进行模拟分析。首先,提出储能参与现货电能量-调频市场交易的总体架构。其次,以电网侧储能电站为独立的竞价主体,构建了双层市场交易决策模型。上层以储能电站收益最大化为目标,决定储能电站的报价策略;下层实现电能量市场和调频辅助服务市场的联合出清。然后,应用KKT条件将该双层模型转化为单层模型,从而将所提模型转化为混合整数线性规划问题。最后,通过算例分析验证所提出交易决策模型的合理性与有效性。算例结果表明储能通过策略性报价在市场中获得更高的经济效益,且在调频市场中的收益占总收益的80%以上。 展开更多

关键词 储能 电能量市场 调频辅助服务市场 双层交易决策模型 混合整数线性规划

在线阅读 下载PDF 职称材料

软硬件综合AADL可靠性建模及分析方法 被引量：5

9

作者 陆寅 秦树东 +1 位作者 郭鹏 董云卫 《软件学报》 EI CSCD 北大核心 2022年第8期2995-3014,共20页

目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中.随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率.嵌... 目前嵌入式系统广泛应用于航空电子、远程医疗、汽车电子等具有高可靠性要求的系统中.随着嵌入式系统的复杂度越来越高,为了保障系统的高可靠性需求,需要在系统开发的早期设计阶段对系统的可靠性进行分析评估,以提高系统的开发效率.嵌入式系统中软硬件功能的失效都会对系统可靠性产生影响,而AADL的可靠性模型缺乏对硬件构件错误的影响及传播机制进行刻画分析的能力.综合考虑软硬件错误发生失效后对系统可靠性的影响,提出了一种面向系统架构级别的软硬件综合可靠性分析方法.该方法基于电子电路设计中事务级建模方法,扩展了AADL事务级错误模型的语法和语义,来支持AADL对硬件构件错误传播的硬件功能行为建模,在此基础上,利用AADL模型实例化机制实现对嵌入式系统可靠性建模,刻画了错误行为在硬件构件之间、软硬件构件之间的传播与影响.同时,定义了AADL硬件构件事务级错误模型到广义随机Petri网模型的映射规则,实现了系统软硬件综合的可靠性行为仿真计算模型组合,支持嵌入式系统的软硬件综合可靠性分析.开发了软硬件综合可靠性建模与分析工具原型,并以某型飞机空气增压系统为例,在航空电子系统架构设计中进行尝试,验证了该方法在复杂嵌入式系统设计中进行软硬件综合可靠性分析的可行性与优越性. 展开更多

关键词 架构分析与设计语言 复杂嵌入式系统 事务级错误模型 软硬件综合 可靠性分析

在线阅读 下载PDF 职称材料

结合PVT模拟和排队模型的系统级主存性能分析 被引量：1

10

作者 林桦 佟冬 +2 位作者 黄侃 王克义 程旭 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2010年第12期2228-2236,共9页

由于主存系统的性能受到多种因素的影响,现有方法不能快速地得到可靠的分析结果,从而影响芯片质量和上市时机.为解决此问题,提出将带时序的程序员视图(PVT)模拟和排队论相结合的方法——ComPQ.首先从PVT模拟中提取与访存相关的系统级实... 由于主存系统的性能受到多种因素的影响,现有方法不能快速地得到可靠的分析结果,从而影响芯片质量和上市时机.为解决此问题,提出将带时序的程序员视图(PVT)模拟和排队论相结合的方法——ComPQ.首先从PVT模拟中提取与访存相关的系统级实时参数,然后将主存系统抽象为非抢占优先的M/G/1排队模型,再结合实时参数进行性能分析,得到平均访存延迟结果.由于PVT的建模和模拟代价小,从中得到的实时参数弥补了静态理论分析的不足;同时,排队论也提高了纯PVT模拟的精度.实验结果表明,ComPQ与周期精确级模拟相比平均误差为6.38%,最后用主存系统设计空间探索的实例验证了ComPQ的有效性. 展开更多

关键词 系统级设计 主存系统 事务级建模 排队论 性能分析

在线阅读 下载PDF 职称材料

北桥设计中的总线周期精确事务级建模

11

作者 唐世悦 洪一 武杰 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第12期1588-1591,1595,共5页

总线周期精确事务级建模能解决系统设计中的仿真精度和速度之间的矛盾。以北桥中的总线设计为背景,采用SystemC中接口方法调用的原理,实现了对Wishbone总线的周期精确事物级建模,并给出了具体的实现方法和测试方法,具有一定的通用性。

关键词 事务级建模 周期精确级 接口方法调用

在线阅读 下载PDF 职称材料

SoC通讯体系结构的高层建模技术研究

12

作者 王大伟 曹亚菲 李思昆 《计算机工程与科学》 CSCD 2008年第7期86-89,共4页

片上通讯设计是SoC系统设计的关键,本文着重从高层建模上研究SoC通讯体系结构设计。首先概述了SoC的通讯体系结构设计,其次介绍了片上通讯体系结构的高层建模方法,然后介绍了高层片上通讯体系结构的快速仿真方法,最后介绍了我们设计实现... 片上通讯设计是SoC系统设计的关键,本文着重从高层建模上研究SoC通讯体系结构设计。首先概述了SoC的通讯体系结构设计,其次介绍了片上通讯体系结构的高层建模方法,然后介绍了高层片上通讯体系结构的快速仿真方法,最后介绍了我们设计实现的Hi-SoComm系统。 展开更多

关键词 SOC 片上通讯 事务级建模 SYSTEMC

在线阅读 下载PDF 职称材料

基于事务级模型的火控计算机建模研究

13

作者 徐学航 吕强 邹雷 《火力与指挥控制》 CSCD 北大核心 2008年第S2期113-114,共2页

在对系统进行高层次建模和验证时,事务级模型得到越来越广泛的应用。在SystemC语言的基础上构建了火控计算机的事务级模型,并通过事务级的仿真,对模型的功能进行了验证,为下一步的软硬划分和硬件设计打好基础。

关键词 事务级模型 火控计算机 主设备

在线阅读 下载PDF 职称材料

多核处理器事务级模型多视图协同验证环境

14

作者 王俊 刘磊 +1 位作者 张龙 李思昆 《计算机工程与科学》 CSCD 北大核心 2014年第5期821-827,共7页

随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段。提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用... 随着集成电路工艺持续高速发展,片上处理器核数目呈现指数增长规律,设计复杂程度不断增长,对处理器验证提出了严峻的挑战,至今仍缺乏有效的工具手段。提出了一种多核处理器事务级模型的多视图协同验证方法,将模拟验证、形式验证、应用验证三种不同验证视图,采用统一平台集成为一体化验证环境。从而可在一体化验证环境中,充分发挥多种验证方法综合应用的优势,协同高效完成多核处理器事务级模型验证任务。基于SoCLib事务级建模仿真平台实现了一个具有良好可扩展性的多视图协同验证环境MVIE。初步应用实验结果表明,多视图协同验证和传统单一视图验证方法相比,在模型验证的方便性、完备性、高效性以及模型数据一致性维护等方面,具有明显的优势。 展开更多

关键词 多核处理器 事务级模型 多视图 协同验证 SoCLib平台

在线阅读 下载PDF 职称材料

改进的P2P电子商务TM-AT信任模型

15

作者 吴绍兴 姜彬彬 《计算机工程与设计》 CSCD 北大核心 2010年第21期4566-4568,4582,共4页

为了有效解决P2P电子商务的安全问题,通过对现有信任模型的研究,提出了一种改进的信任模型TM-AT。将信任分为直接信任和推荐信任,提供了两种获得节点信任值的方法。在计算直接信任时,提出用三元组表示直接信任值,有效地解决了新节点的... 为了有效解决P2P电子商务的安全问题,通过对现有信任模型的研究,提出了一种改进的信任模型TM-AT。将信任分为直接信任和推荐信任,提供了两种获得节点信任值的方法。在计算直接信任时,提出用三元组表示直接信任值,有效地解决了新节点的信任值问题。同时,引入了交易金额等级、交易时间、失败加速因子等5个因素。在计算推荐信任时,增加了可信度。模拟实验结果表明,该模型能够有效打击恶意节点,保护诚实节点,增强P2P电子商务系统的可用性,降低交易风险。 展开更多

关键词 对等网络 电子商务 动态信任模型 交易金额等级 网络安全

在线阅读 下载PDF 职称材料

符合AUTOSAR规范的汽车电子系统的交易级建模研究 被引量：3

16

作者 程米 李仁发 +1 位作者 李蕊 谢勇 《系统仿真学报》 CAS CSCD 北大核心 2013年第2期351-355,共5页

汽车开放系统架构有助于复杂的汽车电子软件的开发、管理及维护,交易级建模在较高抽象层次对系统进行建模,提高了建模速度。针对基于AUTOSAR的软件设计流程,采用SystemC语言及其提供的时间行为和硬件仿真核,进行交易级建模层次化设计和... 汽车开放系统架构有助于复杂的汽车电子软件的开发、管理及维护,交易级建模在较高抽象层次对系统进行建模,提高了建模速度。针对基于AUTOSAR的软件设计流程,采用SystemC语言及其提供的时间行为和硬件仿真核,进行交易级建模层次化设计和通信细化。重点分析了AUTOSAR描述语言和SystemC语言之间的相似点,并且设计了AUTOSAR环境到SystemC虚拟原型设计的转换过程。结果表明,这种建模方案能有效地实现符合AUTOSAR规范的汽车电子系统的仿真,仿真速度快,有利于系统设计早期阶段验证及性能分析。 展开更多

关键词 AUTOSAR 交易级建模 汽车电子系统 嵌入式软件

在线阅读 下载PDF 职称材料

周期精确/位精确的Cache事务级建模方法 被引量：1

17

作者 孙铭泽 郭炜 +1 位作者 周红月 魏继增 《计算机工程》 CAS CSCD 2013年第8期74-76,82,共4页

对于片上系统(SoC)架构设计,寄存器传送级建模仿真速度慢,而采用C语言建模达不到所需的精度要求。针对上述问题,基于电子系统级(ESL)设计方法,提出一种通用的周期精确/位精确的高速缓存(Cache)事务级模型。该模型面向外部接口和内部逻... 对于片上系统(SoC)架构设计,寄存器传送级建模仿真速度慢,而采用C语言建模达不到所需的精度要求。针对上述问题,基于电子系统级(ESL)设计方法,提出一种通用的周期精确/位精确的高速缓存(Cache)事务级模型。该模型面向外部接口和内部逻辑分别采用不同的抽象层次进行建模,并构建基于ESL设计的SoC,实现软硬件协同设计。实验结果表明,集成Cache模块的仿真平台运行相应程序所需周期数大幅减少,可达到既定的精度要求。 展开更多

关键词 高速缓存 电子系统级设计 事务级建模 片上系统架构设计 周期精确 软 硬件协同设计

在线阅读 下载PDF 职称材料

Crossbar总线与共享总线相结合的SoC系统级通信综合方法研究 被引量：2

18

作者 曹亚菲 王大伟 李思昆 《计算机研究与发展》 EI CSCD 北大核心 2008年第8期1439-1445,共7页

提出了一种Crossbar总线与共享总线相结合的SoC系统级通信综合方法.从实际应用的系统级设计出发,根据待互连处理单元和存储单元之间的通信量,综合出Crossbar总线与共享总线相结合的总线拓扑结构.采用遗传算法,以实际应用的通信延迟为约... 提出了一种Crossbar总线与共享总线相结合的SoC系统级通信综合方法.从实际应用的系统级设计出发,根据待互连处理单元和存储单元之间的通信量,综合出Crossbar总线与共享总线相结合的总线拓扑结构.采用遗传算法,以实际应用的通信延迟为约束,考虑总线竞争、通信同步带来的通信延迟,综合出满足延迟约束的总线参数.对综合后的Crossbar总线与共享总线进行事务级建模和分析,进一步优化生成的总线拓扑结构.实验证明,该方法解决的问题较以往更加全面,生成的总线拓扑结构和参数更优. 展开更多

关键词 SOC 系统级 通信综合 Crossbar总线 共享总线 遗传算法 事务级建模

在线阅读 下载PDF 职称材料

多处理器片上系统数据队列交易级分析 被引量：1

19

作者 黄清泉 洪沙 吴垣甫 《计算机应用》 CSCD 北大核心 2008年第4期1049-1051,1080,共4页

数据队列是一种常见的硬件互联机制。阐述了数据队列在架构多处理器片上系统通信模型中的原理与运用。基于物理层到达的数据包服从泊松分布的事实,从交易的观念出发结合排队理论深入分析了模型的交易过程。使用UML、SystemC和Matlab对... 数据队列是一种常见的硬件互联机制。阐述了数据队列在架构多处理器片上系统通信模型中的原理与运用。基于物理层到达的数据包服从泊松分布的事实,从交易的观念出发结合排队理论深入分析了模型的交易过程。使用UML、SystemC和Matlab对过程中数据流建模并仿真,将系统迟滞的理论计算值与仿真结果对比证明了该方法的有效性。 展开更多

关键词 多处理器片上系统 数据队列 泊松分布 交易级建模 SYSTEMC

在线阅读 下载PDF 职称材料

基于SystemC和Verilog软硬件协同验证 被引量：7

20

作者 鲁芳 柏娜 《现代电子技术》 2008年第4期1-3,共3页

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型。该方法被应用到东南大学研发的... 针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计时象进行描述和验证,提出一种软硬件协同验证方法。该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型。该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中。实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性。 展开更多

关键词 软硬件协同验证 建模 交易级处理器 抽象级别

在线阅读 下载PDF 职称材料