教学课程资源库 更多>>

摘要： 为提高编校效率，加快稿件处理进度，来稿应符合下列要求:1.作者简介应包含姓名、所在单位、具体职称。不署任何兼职单位和职务。2.基金项目成果应保留项目名称及编号，致谢原则上不予保留。3.内容提要应能明确、客观地反映文章的主要内容与观点，文句连贯，长度以300字左右为宜，请勿写成文章结构介绍、自我评价或文章引言，内容提要中不要出现“本人”“本文”及类似表述。关键词3-5个。

关键词： UVM   验证   APB   ARINC429  

摘要： 随着我国在航空航天和集成电路领域的不断发展,航空电子系统的复杂性也越来越高,对芯片的功能、安全性和稳定性要求也随之增高。但集成度和复杂性的提高会增加芯片故障的风险,因此提高芯片的验证效率和验证完备性就成为验证工作所追求的首要目标。 在当前的验证技术中,通过对动态仿真、静态仿真以及硬件加速等方法进行研究后发现每种方法都有各自的优缺点,而动态仿真中受约束的随机化测试最能够满足当下复杂芯片的验证。相比于其他的验证技术,受约束的随机化测试可以解决验证人员手动编写测试用例、验证平台缺乏自动化和标准化、难以复用以及调试困难等问题。在这样的背景下,UVM(Universal Verification Methodology)验证方法学凭借其对随机化测试的强大支持能力而被广泛应用,它融合了其他验证方法的精髓和优势,并在IC验证领域中成为主流的方法学。 另外,ARINC429总线作为航空电子系统通信中的关键,该总线具有结构简单、性能稳定以及抗干扰能力强等特点,使得其能够在错综复杂的航空环境中稳定传输数据。APB(Advanced Peripheral Bus)总线常用于低速外设的连接和配置寄存器。所以选取APB-ARINC429模块进行研究,对促进新型航空电子技术的进一步发展和广泛应用具有实际意义。 本论文以APB-ARINC429模块为研究对象开展了相关的设计和验证,主要工作如下: (1)完成了APB-ARINC429模块的功能设计。对设计模块的功能进行深入研究和分析,包括内部各个子模块所实现的功能以及APB接口的读写时序和相关寄存器配置,并通过Verilog语言将抽象的设计蓝图转化为实际的硬件电路。 (2)搭建APB-ARINC429模块的UVM验证平台。本文自主搭建的验证平台充分利用UVM各个组件的特性以及其特有的phase机制、sequence机制和TLM通信机制等,所设计的验证平台具有鲜明的层次化结构、出色的可移植性以及高度自动化等优点。另外受约束的随机化测试和断言(System Verilog Assertion)技术在验证中进一步加快了验证的效率。 (3)完成了APB-ARINC429模块的仿真验证和结果分析。依据本文的验证计划和验证的功能点,设计大量的测试用例去覆盖APB-ARINC429模块的不同功能,并在Linux环境下使用自动化脚本进行仿真。经过对仿真波形结果和覆盖率结果的深入分析后,进行多次回归测试并将冗余代码去除掉后,最终得到的代码覆盖率和功能覆盖率都到了100%,表明本次搭建的验证平台满足设计功能的各项验证需求。

摘要： 为继承和发扬党的光荣传统和优良作风,6月21日,在中国共产党成立103周年之际,省法学会组织机关和省法学会所属研究会部分党支部成员,在新乡南太行党史教育馆开展“赓续红色血脉弘扬伟大精神”主题党日活动。南太行是中国共产党抗战精神的诞生地,也是“辉县人民干得好”的主战场、先进群体精神的发源地。在党史教育馆,大家参观了“红色太行民族脊梁”主题展览。

关键词： 财产权限制   环境立法   私有财产权   合宪性控制  

摘要： 自十八届四中全会以后,党中央在多次会议上指出保护生态环境需要严格的法律制度。立法机关积极为环境治理提供法律规则和法律制度,建构环境保护领域的社会秩序。自2015年《中华人民共和国立法法》修改,将环境立法权下放至设区的市之后,环境立法数量井喷式增长,基本实现了依法治理的目标。但是由于立法经验欠缺、环境治理要求日趋严格等现实因素的影响,环境立法标准往往会严于国家立法要求,模糊化处理私有财产权限制的规定以及过度限制私有财产权等不当限制财产权的法律规范,从而增加限缩公民权利和自由的可能性。 出于公共利益的考量而限制私有财产权已经成为国家保护公共利益的手段之一。合理限制私有财产权对于推动和保障美丽中国建设至关重要;相反,过于严格的限制则可能导致资源分配与使用效率的下降,甚至激化生态环境的公共利益与私有财产权之间的对立,导致社会不公。由此推知,环境立法限制私有财产权必须在一定的界限范围内进行。通过对私有财产权概念、私有财产权限制的三种形态进行界定,结合环境立法限制私有财产权的历史演变,分析限制私有财产权的环境立法中存在的突出问题。通过分析发现,当前问题主要集中于法律目的正当性缺失和不足、对私有财产权限制类型认定标准模糊、法律责任增设未遵循比例原则和正当补偿的法律规范不完善等方面。立法是一个多元利益博弈的过程,虽然国家的生态文明建设目标、财产权的社会义务属性以及代际正义为环境立法限制私有财产权提供了正当性,但还需要借助正当目的、法律保留、正当程序、比例原则和正当补偿的原则,划定环境立法限制私有财产权的合理边界,从而推动环境立法权的自我约束,实现从源头控制立法财产权限制正当性、合宪性的可能。为完善我国环境立法,保障私有财产权,有必要对其进行外部监督和控制,以确保合宪性。立足于中国特色宪法实施制度和环境立法限制私有财产权问题,从合宪性控制环节和合宪性控制标准两个方面来消除实施过程中的争议。进而,确保所有的法律规范都能符合宪法的规定、原则和精神。

摘要： 《海峡法学》创刊于1999年,由福建江夏学院主管、福建省台湾法律研究院主办,国内统一连续出版物号:CN35-1304/D,国际统一连续出版物号:ISSN1674-8557,双月刊(自2024年),单月20日出刊,开设有涉台法律问题研究、专题策划、前沿法律问题研究等栏目。本刊宗旨:立足海峡两岸,辐射港澳、东南亚乃至亚太地区,秉承理论与实践相结合、学术性与实务性并重的原则,旨在聚焦两岸关系动态,促进两岸学术交流,开展涉台法律研究,服务祖国统一大业。

摘要： 一、通则[1]文中注释采用脚注,全文连续注码,注码放标点之后,注码号为[]。[2]非引用原文者,注释前加“参见”。[3]引用资料非来自原始出处者,注明“转引自”。[4]数个注释引自同一资料者,注释例:同前注[1],[德]魏德士书,第56页。[5]前后紧邻的两个引注,文献完全相同,而且没有其他文献干扰的,可以写“同上注”或者“Ibid”。

摘要： 《中外法学》由北京大学主办，北京大学法学院《中外法学》编辑部编辑出版。《中外法学》坚持恪守学术的办刊宗旨与注重学理的办刊方向，实行园地开放、内外平等，竭诚欢迎海内外学人惠赐佳作。本刊优先考虑篇幅适中的稿件，鼓励确立学术命题、实现学术创新、达到学术标准、符合学术规范的投稿，原则上谢绝联合署名。

关键词： 刑事诉讼法治   诉讼理论体系   诉讼现代化  

摘要： 在全面实施依法治国的战略中，刑事诉讼法学的内涵、理念、机制、执行和监督体系对国家治理体系和治理能力现代化起着依托保障的基础作用。刑事诉讼法学的实施、改革和发展规范国家和社会治理的运行机制、推动国家法治进步和社会治理的人权保障。刑事诉讼法学的理念具有引领国家和社会治理现代化方向的典范作用。随着经济社会的迅猛发展，刑事诉讼程序中的问题相继出现。为此应按照建设中国特色社会主义现代化的总体要求，不断提升治理效能，探索治理方式新方案，按照制度设计的总体安排，完善中国特色的法律制度，以刑事诉讼学法治化助力中国特色社会主义现代化。