新刑事诉讼法背景下认罪认罚从宽的程序模式 被引量：46

1

作者 马静华 李科 《四川大学学报（哲学社会科学版）》 CSSCI 北大核心 2019年第2期31-41,共11页

新刑诉法确立的认罪认罚从宽制度,将"认罪从宽"制度扩展为"认罪从宽+认罚从宽"制度,实现"以认罪为中心"到"以认罚为中心"的诉讼模式的结构性变革。认罪认罚程序体现出三方面的模式特征:其一是... 新刑诉法确立的认罪认罚从宽制度,将"认罪从宽"制度扩展为"认罪从宽+认罚从宽"制度,实现"以认罪为中心"到"以认罚为中心"的诉讼模式的结构性变革。认罪认罚程序体现出三方面的模式特征:其一是职权主导,其二是以审查起诉为中心,其三是量刑建议的有效性。长远地看,认罪认罚程序应当成为检察机关、法院处理无争议案件的常规化程序性机制。只有当该项制度全面、有效地运行之后,立法上正式确立以审判为中心的诉讼制度的条件才会真正成熟。 展开更多

关键词 新刑事诉讼法 认罪认罚从宽 程序模式 以审判为中心

在线阅读 下载PDF 职称材料

实时控制系统程序模式的WCET自动分析方法 被引量：1

2

作者 侯小静 姬孟洛 +2 位作者 黄辰林 舒云星 阎奔 《计算机工程》 CAS CSCD 北大核心 2017年第8期56-62,68,共8页

基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相... 基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相关节点进行切片,形成依赖输入变量的控制流图(ICFG),建立ICFG每条路径的线性规划问题并求解,从而获得潜在的程序模式。在此基础上,计算指定模式下针对现代RISC处理器程序的WCET。在基准程序上的实验结果验证了该方法的可行性和有效性。 展开更多

关键词 程序模式 最差情况执行时间分析 实时控制系统 控制流图 线性规划

在线阅读 下载PDF 职称材料

嵌入式控制系统程序模式的自动分析方法 被引量：1

3

作者 姬孟洛 舒云星 +2 位作者 黄辰林 高翔 陶荣 《计算机工程与科学》 CSCD 北大核心 2017年第7期1338-1345,共8页

嵌入式控制系统通常都有模式,比如启动模式、正常工作模式以及紧急模式等。程序模式是由其输入变量值范围组合构成的输入变量约束表达式表示的。基于源程序,获取其模式,不仅能够验证实现的模式与设计是否一致,还能够更加精确地计算程序... 嵌入式控制系统通常都有模式,比如启动模式、正常工作模式以及紧急模式等。程序模式是由其输入变量值范围组合构成的输入变量约束表达式表示的。基于源程序,获取其模式,不仅能够验证实现的模式与设计是否一致,还能够更加精确地计算程序的WCET。在对源程序进行分析的基础上,提出了一种自动获取程序模式的新方法。该方法基于C语言源程序,针对程序控制流程图,通过调整循环中节点流向以及去除与输入变量无关的节点,获得输入变量相关控制流程图ICFG,通过对ICFG每条路径建立线性规划问题并求解,获得每一个潜在的程序模式及其输入变量约束表达式。对基准程序的实验结果,表明了该方法的可行性和有效性。 展开更多

关键词 嵌入式控制系统 程序模式 程序分析 控制流程图

在线阅读 下载PDF 职称材料

PVM环境下SPMD程序模式探讨

4

作者 冯百明 况正谦 +1 位作者 肖骊 康继昌 《西北工业大学学报》 EI CAS CSCD 北大核心 1999年第2期269-273,共5页

介绍ＰＶＭ环境下的ＳＰＭＤ程序模式，并结合程序自动并行化模型ＡＰＭ，提出了克服ＳＰＭＤ不足之处的思想，描述了改进后的ＳＰＭＤ程序模式——ａＳＰＭＤ程序模式。该模式既有ＳＰＭＤ模式的特点，又有Ｍａｓｔｅｒ－Ｓｌａｖｅ模... 介绍ＰＶＭ环境下的ＳＰＭＤ程序模式，并结合程序自动并行化模型ＡＰＭ，提出了克服ＳＰＭＤ不足之处的思想，描述了改进后的ＳＰＭＤ程序模式——ａＳＰＭＤ程序模式。该模式既有ＳＰＭＤ模式的特点，又有Ｍａｓｔｅｒ－Ｓｌａｖｅ模式的特点。文中还给出了一个用ＡＰＭ模型生成的ａＳＰＭＤ模式并行程序的实际运行效率以及ａＳＰＭＤ模式并行程序与ＳＰＭＤ模式并行程序运行时间。 展开更多

关键词 并行计算 PVM SPMD 程序模式 aSPMD模式

在线阅读 下载PDF 职称材料

大规模并行机的程序模式探讨

5

作者 刘小毛 《计算机工程与设计》 CSCD 北大核心 1994年第3期26-31,共6页

简单介绍若干并行机编程模式，着重讨论大规模并行机的程序语言。

关键词 并行处理 并行计算机 程序模式

在线阅读 下载PDF 职称材料

量刑程序模式的中国选择 被引量：2

6

作者 王明明 《中国人民公安大学学报（社会科学版）》 北大核心 2013年第1期32-36,共5页

正如定罪与量刑一体化程序模式具有诸多缺陷而不利于实现量刑的程序公正一样,中国目前确立的"相对独立"的量刑程序模式亦具有较大的局限性,难以确保量刑的程序公正。因此,为了真正实现量刑的程序公正,确立"完全独立"... 正如定罪与量刑一体化程序模式具有诸多缺陷而不利于实现量刑的程序公正一样,中国目前确立的"相对独立"的量刑程序模式亦具有较大的局限性,难以确保量刑的程序公正。因此,为了真正实现量刑的程序公正,确立"完全独立"的量刑程序模式是中国量刑制度改革的应然选择。使量刑程序成为一种完全独立的诉讼程序,既符合量刑个别化原则的要求,亦顺应量刑程序独立化的国际趋势,而且有利于真正实现量刑的程序公正。 展开更多

关键词 量刑程序 模式 独立化 相对独立 完全独立

在线阅读 下载PDF 职称材料

遥感信息目视解译识别技术程序模式化研究

7

作者 王文生 王智 郭瑞琴 《遥感信息》 CSCD 1995年第1期27-31,共5页

遥感信息目视解译识别技术程序模式化研究王文生，王智，郭瑞琴（内蒙水利科学研究所）一、问题与构思１．遥感图像是反映某一区域特定地理环境统一体的景观模型，显示的是地物光谱，纹理和结构三个方面的综合信息。地物在遥感影像上存... 遥感信息目视解译识别技术程序模式化研究王文生，王智，郭瑞琴（内蒙水利科学研究所）一、问题与构思１．遥感图像是反映某一区域特定地理环境统一体的景观模型，显示的是地物光谱，纹理和结构三个方面的综合信息。地物在遥感影像上存在着“同物异谱和异物同谱”现象，因... 展开更多

关键词 地理环境 遥感信息 目视 解译 识别 程序模式化

在线阅读 下载PDF 职称材料

被告人不认罪案件量刑程序的理想模式 被引量：4

8

作者 简乐伟 《政法论丛》 2009年第6期67-71,共5页

被告人不认罪案件的量刑程序如何设计是当前量刑规范化改革试点过程中一个争议较大的问题,在司法理论和实践中有两种不同的模式——相对独立的量刑程序模式和隔离的量刑程序模式。量刑规范化改革的目的在于使量刑过程程序化、公开化,从... 被告人不认罪案件的量刑程序如何设计是当前量刑规范化改革试点过程中一个争议较大的问题,在司法理论和实践中有两种不同的模式——相对独立的量刑程序模式和隔离的量刑程序模式。量刑规范化改革的目的在于使量刑过程程序化、公开化,从而实现量刑公正,达到罪责刑相适应的要求。针对被告人不认罪案件,建立理想的量刑程序模式,将定罪程序与量刑程序有效地分隔开来,有利于达到量刑规范化改革的目的。 展开更多

关键词 被告人不认罪 量刑规范化 理想的量刑程序模式

在线阅读 下载PDF 职称材料

基于程序访存模式的低功耗存储技术 被引量：6

9

作者 章铁飞 陈天洲 吴剑钟 《软件学报》 EI CSCD 北大核心 2014年第2期254-266,共13页

与不断提升的计算能力相适应,移动手持设备上的存储系统结构越来越复杂,容量越来越大.这种趋势导致存储系统,主要是片上缓存和主存,在系统总能耗的占比中不断攀升.在当前手持设备多由电池驱动并且电池容量十分有限的情况下,存储系统的... 与不断提升的计算能力相适应,移动手持设备上的存储系统结构越来越复杂,容量越来越大.这种趋势导致存储系统,主要是片上缓存和主存,在系统总能耗的占比中不断攀升.在当前手持设备多由电池驱动并且电池容量十分有限的情况下,存储系统的低功耗设计就显得十分重要.虽然现有的存储器件提供了一定的硬件节能支持,但是只有与应用程序的访存行为的规律相结合,才能充分发挥硬件的节能潜力.对现有的各种低功耗存储技术进行了梳理和总结,给出程序的访存模式的概念,归纳出访存模式在3个方面的内涵,并进一步详细介绍了程序的访存模式在片上缓存和主存低功耗技术中的应用.最后,展望未来结合访存模式进行低功耗存储系统研发的可能方向. 展开更多

关键词 低功耗 片上缓存 主存 程序的访存模式

在线阅读 下载PDF 职称材料

“程序教学模式”在排球普修课教学中的应用研究 被引量：7

10

作者 孙敬 《天津体育学院学报》 CAS 北大核心 1998年第3期96-100,共5页

运用对比实验方法对“程序教学模式”在排球普修课上手发球教学中的应用进行了分析与研究。研究的结果表明，在体育院校的专项技术教学中应用“程序教学模式”具有科学性和实用性，它既可以使学生明确学习目标，激发学生的学习动机，培... 运用对比实验方法对“程序教学模式”在排球普修课上手发球教学中的应用进行了分析与研究。研究的结果表明，在体育院校的专项技术教学中应用“程序教学模式”具有科学性和实用性，它既可以使学生明确学习目标，激发学生的学习动机，培养自学能力，有助于学习行为的形成，又有利于教师对教学的全过程进行有效的控制，有利于因材施教。 展开更多

关键词 程序教学模式 排球普修课 上手大力发球

在线阅读 下载PDF 职称材料

支持多种并行程序设计模式的可移植并行调试器设计与实现 被引量：3

11

作者 黄瑞芳 朱敏 《计算机工程与设计》 CSCD 2001年第5期32-35,共4页

ＭＰＤＧ是为高性能并行巨型机系统设计的调试工具，其设计指导思想是：１．采用Ｃｌｉｅｎｔ／Ｓｅｒｖｅ结构，实现系统的可移植性，具体表现为将用户界面、并行调试管理与调试监控服务分离，调试监控采用目标系统支持的调试器；２．... ＭＰＤＧ是为高性能并行巨型机系统设计的调试工具，其设计指导思想是：１．采用Ｃｌｉｅｎｔ／Ｓｅｒｖｅ结构，实现系统的可移植性，具体表现为将用户界面、并行调试管理与调试监控服务分离，调试监控采用目标系统支持的调试器；２．以同一的使用方式支持多种并行程序设计模式应用，针对共享内存的并行目标应用（如ＯｐｅｎＭＰ程序）和基于消息传递的分布式目标应用（如ＰＶＭ或ＭＰＩ程序），提供风格完全一致的调试手段；３．实现图形用户界面，ＭＰＤＧ的ＧＵＩ分为３级，即主界面、进程集、单个进程，进程集控制特别适合具有相同执行流和用户视图的并行进程的调试。 展开更多

关键词 图形用户界面 并行程序设计模式 可移植并行调试器

在线阅读 下载PDF 职称材料

程序价值理论的第三种模式

12

作者 陈巍 《社会科学家》 CSSCI 北大核心 2010年第9期75-78,共4页

我国的程序价值理论模式大致分两种,但此两种模式都没有解决程序与实体公正的关系问题,存在缺陷,无法指导中国的司法改革。程序价值理论应当采纳第三种模式,即:在立法的宏观层面,实体公正与程序公正构成不完善的程序正义,而在司法的实... 我国的程序价值理论模式大致分两种,但此两种模式都没有解决程序与实体公正的关系问题,存在缺陷,无法指导中国的司法改革。程序价值理论应当采纳第三种模式,即:在立法的宏观层面,实体公正与程序公正构成不完善的程序正义,而在司法的实践层面,程序公正与结果公正构成纯粹的程序正义,理论上是不完全的程序正义,在制度上却作为纯粹的程序正义而发挥了作用。只有采纳第三种程序理论模式,才能真正理解法治社会中的司法独立与司法权威,为法治提供坚实的理论基础。 展开更多

关键词 程序理论模式 程序公正 实体公正 结果公正

在线阅读 下载PDF 职称材料

网络视频应用的程序设计模式研究

13

作者 刘锋 彭宇行 《计算机应用研究》 CSCD 北大核心 2002年第8期7-9,12,共4页

研究了COM组件对象模型和流媒体技术之后 ,在Microsoft提出的用于开发本地视频应用的Di rectShow软件体系结构基础上 ,提出了一种针对网络视频应用的程序设计模式 。

关键词 程序设计模式 网络视频 数字视频直播软件 COM组件 应用软件 计算机

在线阅读 下载PDF 职称材料

舍养山羊寄生虫病程序化防治模式 被引量：1

14

作者 文建国 《四川畜牧兽医》 2006年第12期37-37,共1页

关键词 程序化防治模式 羊寄生虫病 舍养 寄生虫病防治 全面预防 综合性防治 寄生虫防治 养羊场

在线阅读 下载PDF 职称材料

Windows NT4.0和Windows 2000核心模式驱动程序设计比较

15

作者 王艳蓉 郑康 俞建新 《计算机应用》 CSCD 2000年第10期36-38,共3页

本文对WindowsNT4.0和Windows 2 0 0 0的核心模式驱动程序设计作了分析比较。详细论述了NT4.0和Windows 2 0 0 0核心模式驱动程序对DriverEntry例程的设计要求差别。阐明了Windows 2 0 0 0核心模式驱动程序在支持即插即用 (PnP)和电源... 本文对WindowsNT4.0和Windows 2 0 0 0的核心模式驱动程序设计作了分析比较。详细论述了NT4.0和Windows 2 0 0 0核心模式驱动程序对DriverEntry例程的设计要求差别。阐明了Windows 2 0 0 0核心模式驱动程序在支持即插即用 (PnP)和电源管理方面的必要性 ,技术要求和设计方法。 展开更多

关键词 程序设计 模式驱动程序 WINDOWSNT WINDOWS2000

在线阅读 下载PDF 职称材料

藏羊寄生虫病程序化防治模式 被引量：1

16

作者 马忠 《养殖与饲料》 2010年第10期38-38,共1页

关键词 程序化防治模式 羊寄生虫病 寄生虫防治 防治技术 防治效果 预防 驱治 羊群

在线阅读 下载PDF 职称材料

羊寄生虫病程序化防治模式 被引量：1

17

《农村实用技术》 2014年第4期47-47,共1页

羊寄生虫病程序化防治模式是一项综合性防治新技术,它改变过去传统的防治方法,使单一寄生虫防治改为主要寄生虫整体的有序防治,使零星间断的治疗改为有组织、连片的预防措施,使羊群中的寄生虫得到全面驱治和预防提高了综合防治效果.

关键词 程序化防治模式 羊寄生虫病 综合性防治 寄生虫防治 防治方法 防治效果 新技术 预防

在线阅读 下载PDF 职称材料

双模式网络设备驱动程序的设计和实现

18

作者 陈辉 邢传鼎 《计算机工程》 CAS CSCD 北大核心 2003年第2期248-251,共4页

在对网络接口控制器及网卡驱动程序进行研究的基础上，提出了极速发送模式和双模式驱动模块的设计方案，并实现了该驱动模块。基于该模块可开发功能全面的协议测试软件，对网络设备的测试工作有积极意义。

关键词 双模式网络设备驱动程序 程序设计 发送速率 极速发送 双模式驱动模块

在线阅读 下载PDF 职称材料

牛羊寄生虫病程序化防治模式

19

《贵州畜牧兽医》 1998年第3期43-43,共1页

牛羊寄生虫病程序化防治模式是一项综合性防治新技术。它改变过去传统的防治方法,使单一寄生虫防治改为主要寄生虫整体的有序防治,使零星、间断的治疗改为有组织、连片的预防措施,使牛羊群中的寄生虫得到全面驱治和预防,提高了综合防治... 牛羊寄生虫病程序化防治模式是一项综合性防治新技术。它改变过去传统的防治方法,使单一寄生虫防治改为主要寄生虫整体的有序防治,使零星、间断的治疗改为有组织、连片的预防措施,使牛羊群中的寄生虫得到全面驱治和预防,提高了综合防治效果。1 推荐使用药物 阿福丁的活性成份是阿维菌素,其抗虫谱广,对绝大数线虫、外寄生虫及其它节肢动物都有很强的驱杀效果(虫卵无效)。另外,它还具有高效、低毒、安全等特点。在临床应用中。 展开更多

关键词 寄生虫病 程序化防治模式 药物 阿福丁 防治

在线阅读 下载PDF 职称材料

牛羊寄生虫病程序化防治模式及其应用

20

作者 卢明华 《畜牧兽医科技信息》 2002年第2期28-29,共2页

关键词 牛 羊 寄生虫病 程序化防治模式 应用 综合防治

在线阅读 下载PDF 职称材料