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

在程序展开的理论基础上,本文提出了一种通过求解程序方程来进行程序转换的方法。首先,程序转换的目标表示为程序方程。虽然这样的方程通常是高度复杂而难以直接求解的,但是,通过程序的正交展开,可以将其化为简单方程组。最后,简单方程的解可由方程化简与求解的一组公式以及程序代数定律形式地导出。本文着重讨论了方程的化简和求解,并给出了一些转换实例。

关键词：程序转换程序方程

来源：评论

学校读者我要写书评

暂无评论

论Folding/Unfolding程序转换的能力

引用

软件学报 1991年第2期2卷 31-41页

作者：朱鸿南京大学计算机软件研究所

本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的... 详细信息

本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确性和不完备性也均是该条件的推论。

关键词：程序转换 Folding Unfolding

来源：评论

学校读者我要写书评

暂无评论

我国民事诉讼程序转换制度的缺陷及其完善

引用

南昌大学学报（人文社会科学版） 2008年第6期39卷 76-81页

作者：刘冬京周胜明南昌大学立法研究中心江西南昌330047 法学院江西南昌330031

民事诉讼程序转换制度的确立体现了立法对当事人程序利益的尊重和保护,是对诉讼公正和诉讼效率两大价值平衡追求的结果,也是对当事人诉权及法院审判权行使的制约与平衡。但是现行立法仍在诸多方面存在不足和亟待完善之处,实践中民事诉... 详细信息

民事诉讼程序转换制度的确立体现了立法对当事人程序利益的尊重和保护,是对诉讼公正和诉讼效率两大价值平衡追求的结果,也是对当事人诉权及法院审判权行使的制约与平衡。但是现行立法仍在诸多方面存在不足和亟待完善之处,实践中民事诉讼程序转换制度亦呈现随意性和虚无性。完善我国民事诉讼程序转换制度,充分发挥程序转换制度的功能与效用,需要进一步规范程序转换的条件、当事人程序选择权行使的时间、方式和效力,进一步规范程序转换的具体程序,规范法院依职权转换制度、法院对程序转换审查的方式及其处理。

关键词：民事诉讼普通程序简易程序程序转换

来源：评论

学校读者我要写书评

暂无评论

基于解释的程序转换

引用

计算机学报 1992年第12期15卷 881-888页

作者：丁琴徐家福河海大学计算机系南京210024 南京大学计算机软件研究所南京210008

程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算... 详细信息

程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题.

关键词：程序转换软件自动化

来源：评论

学校读者我要写书评

暂无评论

论证券特别代表人诉讼程序转换的司法审查

引用

学习与探索 2021年第10期 79-87页

作者：毛立琦李友根南京大学法学院南京210093

特别代表人诉讼的启动以普通代表人诉讼的程序转换为基础。基于规范特别代表人诉讼适用的形式需求和确认集团成员范围的实体需求,法院应当对普通代表人诉讼向特别代表人诉讼的程序转换进行司法审查。当投资者保护机构在接受50名以上投... 详细信息

特别代表人诉讼的启动以普通代表人诉讼的程序转换为基础。基于规范特别代表人诉讼适用的形式需求和确认集团成员范围的实体需求,法院应当对普通代表人诉讼向特别代表人诉讼的程序转换进行司法审查。当投资者保护机构在接受50名以上投资者委托后,参加特别代表人诉讼时,法院应当审查以下内容:其一,相较于普通代表人诉讼,特别代表人诉讼的形式是否对集团成员具有优越性;其二,投资者保护机构是否忠实勤勉地行使职权;其三,集团成员是否存在共同的法律或事实问题;其四,借助于信赖推定原则和重大性标准,共同问题是否优先于影响单个成员的个别问题。

关键词：集体诉讼特别代表人诉讼普通代表人诉讼程序转换司法审查

来源：评论

学校读者我要写书评

暂无评论

论我国民事诉讼的程序转换机制

引用

湖南科技大学学报（社会科学版） 2015年第6期18卷 54-58页

作者：向明华东政法大学研究生院上海200042 湖南科技大学法学院湖南湘潭411201

我国民事第一审诉讼程序由普通程序、简易程序、小额诉讼程序组成,这三种程序有着各自的程序特点、适用范围和价值取向。现行民事诉讼法有关程序转换机制的立法规定存在诸多不足和函待完善之处。为了完善和建立民事诉讼程序转换机制,应... 详细信息

我国民事第一审诉讼程序由普通程序、简易程序、小额诉讼程序组成,这三种程序有着各自的程序特点、适用范围和价值取向。现行民事诉讼法有关程序转换机制的立法规定存在诸多不足和函待完善之处。为了完善和建立民事诉讼程序转换机制,应当在平衡程序的安定和弹性、公正和效率等价值基础上,规范简易程序与普通程序的转换机制,有限的赋予当事人小额诉讼的程序选择权,填补小额诉讼程序向简易程序和普通程序转换的法律空白。

关键词：普通程序简易程序小额诉讼程序程序转换程序选择权

来源：评论

学校读者我要写书评

暂无评论

二审民商事案件独任审理的适用情形及程序转换研究

引用

法律适用 2021年第10期2021卷 108-117页

作者：何云及小同华东政法大学上海市第二中级人民法院商事审判庭

2020年1月最高人民法院发布《民事诉讼程序繁简分流改革试点方案》 (以下简称《试点方案》)和《民事诉讼程序繁简分流改革试点实施办法》(以下简称《实施办法》) 以来,各试点法院对开展二审案件独任审理进行了积极的探索与实践。最高法... 详细信息

2020年1月最高人民法院发布《民事诉讼程序繁简分流改革试点方案》 (以下简称《试点方案》)和《民事诉讼程序繁简分流改革试点实施办法》(以下简称《实施办法》) 以来,各试点法院对开展二审案件独任审理进行了积极的探索与实践。最高法院发布的相关文件以及后续各地法院制定的实施细则对于二审独任制的案件识别手段、适用范围、审理方式以及程序转换等事项所作出的规定仍较为宽泛,有待进一步细化与明确。在二审独任审理案件的识别方式上,应将系统自动识别与繁简分流人工筛选相结合;确立适用的案件范围时,应依据一审程序的简易性以及案件的疑难、复杂程度划定,并明确不适用独任审理的情形;在审理方式上,应在二审独任审理情形下探索更好的实现开庭审理与不开庭审理的程序价值;在程序转换上,应进一步明确转换的发起主体,发起时间,作出方式,审批与监督等事项。

关键词：二审独任制繁简分流普通程序适用情形程序转换

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：