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

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

基于TLM2.0的SPARC事务级建模

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

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

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

基于UML&SystemC的GPU片段处理TLM建模

GPU片段处理单元位于图形处理器渲染管线的末尾,执行对将要存储到缓冲区的片段的测试、混合、屏蔽、逻辑等所有操作。为了在RTL设计之前快速研究GPU片段处理单元的硬件结构及功能算法,文中联合使用统一建模语言(unified modeling language,UML)和SystemC语言对GPU片段处理单元进行事务级建模(transaction-level modeling,TLM)。首先设计了GPU片段处理单元的类图、结构图、行为图等视图,对系统进行静态结构和动态行为的描述;然后将UML可视化视图转换为基于SystemC的事务级模型,详细描述了GPU片段处理单元的模块、接口、端口、进程等建模过程,模块之间通过端口和层次化通道通讯,具有建模效率高和仿真速度快的优点;最后基于Linux操作系统仿真平台验证了架构和算法的正确性,实现了在设计的前期进行软硬件的协同仿真和算法的验证、优化,对硬件架构进行探索,有利于加速以图形处理器为核心的设计和开发。

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

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

事务级AHB总线模型研究

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

片上系统设计中事务级建模技术综述

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

基于SystemC的时钟周期精确交易级建模及通信细化

交易级建模通过提高建模抽象层次,加快了系统建模和仿真的速度。针对AMBA AHB协议,采用Sys-temC语言,进行了交易级建模及通信细化。结果表明,由于抽象层次部分结合了BCA(bus cycle-accurate)级描述,使得到的交易级模型包含了更多时间/协议信息,同时保留了速度优势,有利于前期验证和系统开发。而之后进行的通信细化,将抽象通道转化为模块实体和端口,对于最终RTL级实现具有重要意义。

基于System C的火控计算机交易级建模

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

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

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

软硬件综合AADL可靠性建模及分析方法

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

结合PVT模拟和排队模型的系统级主存性能分析

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

一种基于两级事务模型的先提交协议

将集中数据库中的多级事务模型引入多数据库中，使之成为两级事务模型．分析了一种提交协议：局部数据库的全局子事务先于全局最终决定提交，简称先提交协议．指出先提交协议十分适合两级事务模型。

SoC事务级建模方法

为了快速地发现SoC性能的瓶颈、实现通信结构的决策,提出一种在事务级采用SystemC构建片上总线SoC模型的方法。该方法利用端口来连接模块和通道,利用通道来实现接口中定义的方法。经仿真验证,时序完全符合AHB标准,运行速度远高于RTL下的同类模型。该方法有助于在设计流程的早期找寻最优化的片上总线通信结构。

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

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

基于SystemC的片上网络全系统模拟器

设计了一个基于SystemC的可配置片上网络(NoC)全系统模拟器.该模拟器实现了路由器、处理节点、存储节点及IO节点的周期精确的事务级建模,同时具备分析各路由器节点性能及影响因素的功能.实验结果表明该模拟器具有快速、灵活及准确性高的优点,在2.4GHz的IntelCore2处理器上对4×4的NoC进行周期精确的仿真约为130kcycles/s,测试程序在该模拟器运行的结果与系统实现后的实际结果相差小于4%.

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

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

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

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

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

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