检索结果-内蒙古大学图书馆

程序模式

引用

上海交通大学学报 1980年第1期 139-143页

作者：孙永强上海交通大学电工与计算机科学系

本文讨论了从具体程序抽象为程序模式的方法,用公理法定义抽象数据已广为采用,这是为形式描述程序的一种手段,本文提出如何应用手段于程序模式。

关键词：程序模式定义函数谓词实词证明程序

来源：评论

学校读者我要写书评

暂无评论

程序模式的实验效应分析

引用

中外法学 1992年第3期4卷 76-80页

作者：陈敏

大多数国家都相当重视实施实体法的程序制度,程序往往被视为提高司法判决公平性和正确性的手段。在世界范围内,不同国家有着不同的诉讼制度,但究其根本,无非分为两类,即对抗型程序模式和非对抗型程序模式。在对抗型程序模式中,诉讼程序... 详细信息

大多数国家都相当重视实施实体法的程序制度,程序往往被视为提高司法判决公平性和正确性的手段。在世界范围内,不同国家有着不同的诉讼制度,但究其根本,无非分为两类,即对抗型程序模式和非对抗型程序模式。在对抗型程序模式中,诉讼程序的推进由进行诉讼的双方及其代理人负责,他们依据法律规定,提供证据并实质性地推进诉讼,裁决者在裁决之前,一直处于消极状态。在非对抗型程序模式中,推进诉讼和提供证据的控制权操纵在裁决者手里。对抗型程序模式和非对抗型程序模式究竟孰优孰劣?优劣何在?抑或是各有千秋?为解决这些问题,世界上不少国家的法学家进行了实验研究。

关键词：程序模式非对抗式裁决者程序制度实验对象提供证据控制权证据材料诉讼制度代理人

来源：评论

学校读者我要写书评

暂无评论

新刑事诉讼法背景下认罪认罚从宽的程序模式

引用

四川大学学报（哲学社会科学版） 2019年第2期 31-41页

作者：马静华李科四川大学法学院

新刑诉法确立的认罪认罚从宽制度,将"认罪从宽"制度扩展为"认罪从宽+认罚从宽"制度,实现"以认罪为中心"到"以认罚为中心"的诉讼模式的结构性变革。认罪认罚程序体现出三方面的模式特征:其一是... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

被告人不认罪案件量刑程序模式选择与程序展开

引用

法学 2010年第11期 116-124页

作者：余剑上海市第一中级人民法院复旦大学法学院

当前,量刑程序改革的相关问题已成为实务界和理论界探讨较多的问题。其中,争议较多的问题是如何看待量刑建议的性质,量刑程序(特别是被告人不认罪案件)在庭审中如何具体展开,如何看待检察院量刑建议与法院判决量刑的偏差情况等等。尽管... 详细信息

当前,量刑程序改革的相关问题已成为实务界和理论界探讨较多的问题。其中,争议较多的问题是如何看待量刑建议的性质,量刑程序(特别是被告人不认罪案件)在庭审中如何具体展开,如何看待检察院量刑建议与法院判决量刑的偏差情况等等。尽管日前最高人民法院、最高人民检察院、公安部、国家安全部、司法部已联合推出《关于规范量刑程序若干问题的意见(试行)》,但这些问题仍未得到有效解决,而且可能在实践中进一步凸显。为了更好地推动我国量刑程序改革,保障被告人的正当权利,本刊特组织了部分法官和检察官对此问题发表看法,以期为我国量刑程序改革的进一步探索提供一些借鉴。

关键词：量刑建议程序改革认罪案件被告人程序模式最高人民检察院最高人民法院量刑程序

来源：评论

学校读者我要写书评

暂无评论

在税收犯罪案件侦查中引入随机型启动程序模式的设想

引用

涉外税务 2005年第10期 62-63页

作者：吴庆昌厦门市国家税务局福建厦门361012

目前我国对税收犯罪侦查采用的是程序型启动模式,由于该模式不能针对税收犯罪的隐蔽性、流动性、智能性和潜伏期长等特点及时作出反应,达到揭露、证实和惩罚犯罪的目的,故而本文拟对税收犯罪案件侦查中引入随机型启动程序模式作一初探.

关键词：税收犯罪程序模式案件侦查随机型启动模式犯罪侦查惩罚犯罪隐蔽性潜伏期

来源：评论

学校读者我要写书评

暂无评论

制衡而对抗型程序模式——刑事诉讼程序立法政策思考

引用

法学 1993年第10期 34-37页

作者：邵卫锋云南省政法高等专科学校

一、“顺快而非均衡”立法政策思想考评我国现行刑诉法的立法政策思想是什么呢?有学者概言之为:“顺快而非均衡”。所谓“顺快”是指追究人犯刑事责任的程序通畅,没有阻碍;“非均衡”则指程序推进中各个对应部分之间不相等。基于这种立... 详细信息

一、“顺快而非均衡”立法政策思想考评我国现行刑诉法的立法政策思想是什么呢?有学者概言之为:“顺快而非均衡”。所谓“顺快”是指追究人犯刑事责任的程序通畅,没有阻碍;“非均衡”则指程序推进中各个对应部分之间不相等。基于这种立法思想,我国刑事诉讼只能选择非对抗型程序模式,因为非对抗型程序模式的经典含义就是控辩双方力量的绝对不均衡,控方代表国家,被告方所能得到的法律援助极其有限。

关键词：控辩双方刑事诉讼程序模式程序立法法官提供证据法律援助诉讼程序诉讼结构控方

来源：评论

学校读者我要写书评

暂无评论

嵌入式控制系统程序模式的自动分析方法

引用

计算机工程与科学 2017年第7期39卷 1338-1345页

作者：姬孟洛舒云星黄辰林高翔陶荣洛阳理工学院计算机与信息工程学院河南洛阳471023 国防科技大学计算机学院湖南长沙410073

嵌入式控制系统通常都有模式,比如启动模式、正常工作模式以及紧急模式等。程序模式是由其输入变量值范围组合构成的输入变量约束表达式表示的。基于源程序,获取其模式,不仅能够验证实现的模式与设计是否一致,还能够更加精确地计算程序... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程与设计 1994年第3期15卷 26-31页

作者：刘小毛北京电子工业部15所

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

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

来源：评论

学校读者我要写书评

暂无评论

实时控制系统程序模式的WCET自动分析方法

引用

计算机工程 2017年第8期34卷 56-62,68页

作者：侯小静姬孟洛黄辰林舒云星阎奔洛阳理工学院计算机与信息工程学院河南洛阳471023 国防科学技术大学计算机学院长沙410073

基于源程序获取实时控制系统的模式,不仅能够验证实现的模式与设计是否一致,还可使程序的最差情况执行时间(WCET)计算更为精准。为此,提出一种自动分析实时控制系统程序模式的方法。通过分析C语言源程序生成程序控制流图,对输入变量相... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

会计报表审计程序模式研究

引用

财会月刊（下） 2003年第8期 43-44页

作者：陈志强苏州大学商学院

会计报表审计程序按其目的不同可分为了解内部控制程序、符合性测试程序和实质性测试程序.由于每一种审计程序均可采用不同的方式来组织实施,因此,为完成各类审计程序所采用的不同方式之间的不同组合就形成了不同的审计程序模式.

关键词：符合性测试程序被审计单位内部控制审计人员结构要素会计系统构造要素会计报表审计业务循环法程序模式

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：