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

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

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

来源：评论

学校读者我要写书评

暂无评论

量刑程序模式问题研究

量刑程序模式问题研究

引用

作者：周江华云南大学

学位级别：硕士

刑事审判的核心任务是解决定罪问题和量刑问题,相应的,刑事案件定罪程序和量刑程序是刑事审判程序两大核心组成部分。对刑事被告人准确认定犯罪事实和准确认定罪名固然重要,可若无系统科学的量刑程序模式作保障,对被告人的犯罪行为予以... 详细信息

刑事审判的核心任务是解决定罪问题和量刑问题,相应的,刑事案件定罪程序和量刑程序是刑事审判程序两大核心组成部分。对刑事被告人准确认定犯罪事实和准确认定罪名固然重要,可若无系统科学的量刑程序模式作保障,对被告人的犯罪行为予以刑罚裁量就无从实现公平正义。因此,刑事诉讼量刑程序模式是确保公正价值实现的根本前提。我国现行刑事诉讼量刑程序模式采用定罪量刑混合式程序模式,在刑事庭审中一并对刑事被告人进行罪名认定和刑罚裁量,显然,这种定罪量刑混合式模式已弊端显现,无法满足社会经济的发展,更无法为公平正义成为看得见的正义提供呈现平台。因此,必须对我国现行定罪量刑混合式模式进行变革。基于对我国刑事司法基本诉讼制度、办案机制体制和司法资源等要素的综合考量,结合当前“以审判为中心”的诉讼制度改革发展方向,本文愿通过对两大法系国家现行的独立量刑程序模式与定罪量刑混合式程序模式进行比较分析,参考、借鉴相关经验和做法的基础上,提出建立我国特色的相对独立的量刑程序模式的构想,在采用普通程序审理的刑事案件中适用相对独立量刑程序、在被告人认罪案件中则直接适用量刑程序,而针对简易程序案件适用直接量刑程序等三种情形,并对相关的配套制度进行了简要论述。希望以推动“以审判为中心”的诉讼制度改革为契机,尽快建立符合我国国情的相对独立量刑程序模式,最大化保障刑事诉讼量刑公正。

关键词：量刑程序模式问题研究

来源：评论

学校读者我要写书评

暂无评论

程序模式和谓词演算

引用

计算机学报 1979年第3期 174-189页

作者：周巢尘中国科学院计算技术研究所

本文给出了AEA公式的不可满足问题至程序模式的终止问题的归约,从而证明了程序模式基本特性的不可判定性,并使用谓词演算的判定方法,证明了一类广义Ianov模式的基本特性是可判定的。文末讨论了定理的机器证明和程序模式特性机器证明的... 详细信息

本文给出了AEA公式的不可满足问题至程序模式的终止问题的归约,从而证明了程序模式基本特性的不可判定性,并使用谓词演算的判定方法,证明了一类广义Ianov模式的基本特性是可判定的。文末讨论了定理的机器证明和程序模式特性机器证明的本质区别。一般情况下,后者不必历经整个Herbrand域,而仅需考虑一个一致有界分叉的无穷树状子域。另外也毋需讨论通常的可满足性问题,为此,本文中提出了通路可满足的概念。

关键词：程序模式谓词演算命题函数演算元素组成机器证明定理证明通路归约序列当且仅当可满足性引理 AEA 定理

来源：评论

学校读者我要写书评

暂无评论

程序模式与认知方式之间的关系

引用

心理科学通讯 1983年第1期 39-44+66页

作者：张必隐北京师范大学心理系

问题程序教学是五十年代初期在美国发展起来的一种自动教学方式。经过二十多年的发展,程序教学无论是在应用技术手段方面还是在理论基础方面都发生了很大的变化。五十年代末至六十年代初,电子计算机开始引入程序教学,出现了电子计算机... 详细信息

问题程序教学是五十年代初期在美国发展起来的一种自动教学方式。经过二十多年的发展,程序教学无论是在应用技术手段方面还是在理论基础方面都发生了很大的变化。五十年代末至六十年代初,电子计算机开始引入程序教学,出现了电子计算机辅助教学。在理论基础方面,兰达提出了算法程序与启发程序,强调控制学生思维活动过程本身而不只是控制

关键词：场依存性分支算法程序场独立性认知方式认知风格程序模式

来源：评论

学校读者我要写书评

暂无评论

程序模式很专业!

引用

影像视觉 2013年第5期14卷 74-76页

作者： Windy

控制相机非要用难以理解的手动模式才专业么？或者是光圈优先等“高档”模式，其实不然，程序模式只要略施小计，相机就能拍出很棒的照片。

关键词：程序模式手动模相机光圈照片

来源：评论

学校读者我要写书评

暂无评论

量刑程序模式省思

公法评论

引用

公法评论 2016年第1期10卷 164-179页

作者：李章仙中国政法大学刑事司法学院

量刑程序的独立设置是为了规范刑事法官的自由裁量权,革除'估堆式'刑罚裁量的司法惯性.在程序模式选择的问题上,理论研究呈现了'隔离式''混合式''绝对独立'和'模式微调'四种不同的路径主张.这... 详细信息

量刑程序的独立设置是为了规范刑事法官的自由裁量权,革除'估堆式'刑罚裁量的司法惯性.在程序模式选择的问题上,理论研究呈现了'隔离式''混合式''绝对独立'和'模式微调'四种不同的路径主张.这种认识层面的模糊直接导致制度实践中出现了量刑证据匮乏、量刑建议僭越法官审判权、量刑辩护疲软无力的弊端.改革量刑程序模式的关键在于厘清认识上的误区,将量刑程序本身的独立性这一应然存在与独立的量刑程序这一实然选择区别对待.

关键词：量刑程序模式独立性分离

来源：评论

学校读者我要写书评

暂无评论

环境公益诉讼诉前程序模式设计与路径选择