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

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

跨省区碳交易机制下发电碳排放配额分配方法

碳交易是促进低碳减排的重要手段,而碳排放配额的分配则是碳交易的重要前提。在传统碳排放配额分配方法的基础上,结合跨省区碳交易的特点和电力行业的实际情况,提出了跨省区碳交易机制下发电碳排放配额的分配方法。该方法包含两级分配模型,一级分配模型综合考虑经济发展原则和历史责任原则,并兼顾省区之间能源禀赋差异和跨区电力交换,保证配额分配的公平性;二级分配通过总结一套满足公平性的分配规则,提出了基于公平分配规则的省内发电碳排放配额分配模型。最后,针对南方五省区电力行业进行算例分析。结果表明,所提分配方法能公平合理地分配发电碳排放配额。

基于SystemC事务级的建模仿真研究

事务级(Transaction-Level,TL)建模是SystemC中提出的一种新型高层次建模方法,以CoCentricSystemStudio(CC-SS)作为SystemC仿真工具,以一个IP路由系统为建模实例,分析了事务级建模的基本特点,以及如何利用事务级模型分析系统整体性能和确定关键设计参数。

基于PowerPC的SoC软硬件协同验证平台

构建了基于PowerPC405处理器的SoC软硬件协同验证平台。该平台使用层次化的设计方法,在统一平台架构下支持RTL和TLM两种不同抽象层次的虚拟原型仿真,兼顾了仿真精度和速度的要求。平台中提供了完整的开发工具和基础架构,支持以C语言测试程序作为输入的验证流程自动化,可有效地提高验证效率。

城市住宅建设用地使用权出让期内的增值收益及其归属研究

我国城市土地实行国家所有制,开发商通过土地出让仅获得法定最高年限范围内的建设用地使用权,并在楼盘建成后以市场价将房产出售给购房者,那么,在法定最高土地出让期限内,在正常市场条件下,土地的稀缺性、房地产价格的上涨、区位条件的改善、通货膨胀等因素,会带动城市住宅建设用地使用权呈现不断增值的总体趋势。本文通过构建土地二级增值理论模型,将土地增值分为两个阶段:Ⅰ级土地增值(农地经征收至土地出让这一阶段产生的增值)和Ⅱ级土地增值(土地出让时点到法定出让年限届满时产生的增值)两个阶段,详细对比Ⅱ级土地增值和Ⅰ级土地增值的区别,重点讨论了Ⅱ级土地增值收益归公与归私的争论以及缘由,以及Ⅱ级土地增值收益归属不明对二手房交易价格的确定、城镇房屋拆迁补偿标准、住宅建设用地使用权到期续期缴费标准的顶层设计等重大社会现实问题所带来的深远影响,最后,总结全文并提出了未来的研究展望。