期刊文献+
共找到43篇文章
< 1 2 3 >
每页显示 20 50 100
程序转换技术-从Prolog到C 被引量:4
1
作者 李友仁 胡勇新 +1 位作者 杨萍 张勇 《计算机工程与应用》 CSCD 北大核心 1994年第11期9-13,共5页
本文讨论了高级程序设计语言之间的转换问题。提出了从Prolog到C转换的语义解释方法,并应用该方法成功地开发了Prolog到C的自动转换系统。
关键词 C语言 PROLOG语言 程序转换
在线阅读 下载PDF
程序转换与权利保障:刑事诉讼中精神病强制医疗程序的反思 被引量:7
2
作者 郭华 《浙江工商大学学报》 2013年第5期59-67,共9页
精神病强制医疗存在行政程序与司法程序。尽管这两种程序适用的法域不同,却因行政法与刑事法在调整范围上的交叉与重叠,致使实践中的程序转换出现失控问题。《人民警察法》《精神卫生法》和《刑事诉讼法》规定的不同程序之间的衔接与转... 精神病强制医疗存在行政程序与司法程序。尽管这两种程序适用的法域不同,却因行政法与刑事法在调整范围上的交叉与重叠,致使实践中的程序转换出现失控问题。《人民警察法》《精神卫生法》和《刑事诉讼法》规定的不同程序之间的衔接与转换应以精神病人的合法权益得到保障、"被精神病"得以避免以及程序保障社会秩序与安宁功能得到发挥作为选择程序的基本思路,借助于正当程序的规制功能消除法律之间的紧张性,从而维护程序转换的正当性以及保障权力运行的合法性。 展开更多
关键词 刑事诉讼 精神病鉴定 强制医疗 程序转换 权利保障
在线阅读 下载PDF
我国民事诉讼程序转换制度的缺陷及其完善 被引量:1
3
作者 刘冬京 周胜明 《南昌大学学报(人文社会科学版)》 北大核心 2008年第6期76-81,共6页
民事诉讼程序转换制度的确立体现了立法对当事人程序利益的尊重和保护,是对诉讼公正和诉讼效率两大价值平衡追求的结果,也是对当事人诉权及法院审判权行使的制约与平衡。但是现行立法仍在诸多方面存在不足和亟待完善之处,实践中民事诉... 民事诉讼程序转换制度的确立体现了立法对当事人程序利益的尊重和保护,是对诉讼公正和诉讼效率两大价值平衡追求的结果,也是对当事人诉权及法院审判权行使的制约与平衡。但是现行立法仍在诸多方面存在不足和亟待完善之处,实践中民事诉讼程序转换制度亦呈现随意性和虚无性。完善我国民事诉讼程序转换制度,充分发挥程序转换制度的功能与效用,需要进一步规范程序转换的条件、当事人程序选择权行使的时间、方式和效力,进一步规范程序转换的具体程序,规范法院依职权转换制度、法院对程序转换审查的方式及其处理。 展开更多
关键词 民事诉讼 普通程序 简易程序 程序转换
在线阅读 下载PDF
一种通过求解程序方程进行程序转换的方法 被引量:1
4
作者 朱鸿 《计算机学报》 EI CSCD 北大核心 1990年第10期728-739,共12页
在程序展开的理论基础上,本文提出了一种通过求解程序方程来进行程序转换的方法。首先,程序转换的目标表示为程序方程。虽然这样的方程通常是高度复杂而难以直接求解的,但是,通过程序的正交展开,可以将其化为简单方程组。最后,简单方程... 在程序展开的理论基础上,本文提出了一种通过求解程序方程来进行程序转换的方法。首先,程序转换的目标表示为程序方程。虽然这样的方程通常是高度复杂而难以直接求解的,但是,通过程序的正交展开,可以将其化为简单方程组。最后,简单方程的解可由方程化简与求解的一组公式以及程序代数定律形式地导出。本文着重讨论了方程的化简和求解,并给出了一些转换实例。 展开更多
关键词 程序转换 程序方程
在线阅读 下载PDF
程序转换中的中间表示
5
作者 谢卫 刘键 李胜利 《计算机工程与应用》 CSCD 北大核心 1993年第4期21-25,共5页
程序的中间表示是一种与源程序等价的程序的可分析形式。本文根据程序转换、划分与优化的需要、对文献[1]提出的程序PDG图进行了改进和扩充,在此基础上提出了系统相关图的概念,并详细地讨论了它们的构造算法。
关键词 程序转换 中间表示
在线阅读 下载PDF
一种实用的控制系统CAD程序转换方法
6
作者 王伟 石志刚 《系统仿真学报》 CAS CSCD 1992年第A00期25-30,共6页
本文介绍了一种实用的程序转换方法。该方法把(中国控制系统CAD—CCSCAD一期工程中部分子包的)非结构化FORTRAN程序,经非结构化流程图到结构化流程图,再到PAD图,最后转换成(CCSCAD二期工程所要求的)结构化C程序。其中四个函数过程的具... 本文介绍了一种实用的程序转换方法。该方法把(中国控制系统CAD—CCSCAD一期工程中部分子包的)非结构化FORTRAN程序,经非结构化流程图到结构化流程图,再到PAD图,最后转换成(CCSCAD二期工程所要求的)结构化C程序。其中四个函数过程的具体构造在文中给出。 展开更多
关键词 控制系统 CAD 程序转换
在线阅读 下载PDF
磁带及其磁带程序转换和复制
7
作者 唐全 李秀山 《南京邮电学院学报》 北大核心 1993年第1期53-58,共6页
本文简要叙述磁带的技术指标和磁带机的工作过程,给出了一个磁带程序的转换程序,最后介绍UNIX╱XENIX系统格式和非UNIX╱XENIX系统格式之间的文件转换实用程序dd命令及其应用。
关键词 磁带存储器 应用程序 程序转换
在线阅读 下载PDF
论Folding/Unfolding程序转换的能力
8
作者 朱鸿 《软件学报》 EI CSCD 北大核心 1991年第2期31-41,共11页
本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的... 本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确性和不完备性也均是该条件的推论。 展开更多
关键词 程序转换 FOLDING UNFOLDING
在线阅读 下载PDF
基于模板式语法制导编辑器的程序转换系统
9
作者 丁忠俊 《计算机研究与发展》 EI CSCD 北大核心 1995年第1期28-32,共5页
本文介绍一种基于模板式语法制导编辑器的程序转换系统的设计与实现。
关键词 程序转换系统 语法制导编辑器 程序设计 自动化
在线阅读 下载PDF
程序转换规则的自动获取
10
作者 费宗铭 《计算机学报》 EI CSCD 北大核心 1993年第12期911-917,共7页
本文给出了一个自动获取程序转换规则的方法,通过对用户提供的一个具体程序转换过程的分析,运用解释学习的方法,总结其一般性,得出反映这一过程的转换规则,该规则可用于一类问题的转换,提高了系统的自动化程度。
关键词 程序转换 软件开发 机器学习
在线阅读 下载PDF
论证券特别代表人诉讼程序转换的司法审查 被引量:7
11
作者 毛立琦 李友根 《学习与探索》 CSSCI 北大核心 2021年第10期79-87,共9页
特别代表人诉讼的启动以普通代表人诉讼的程序转换为基础。基于规范特别代表人诉讼适用的形式需求和确认集团成员范围的实体需求,法院应当对普通代表人诉讼向特别代表人诉讼的程序转换进行司法审查。当投资者保护机构在接受50名以上投... 特别代表人诉讼的启动以普通代表人诉讼的程序转换为基础。基于规范特别代表人诉讼适用的形式需求和确认集团成员范围的实体需求,法院应当对普通代表人诉讼向特别代表人诉讼的程序转换进行司法审查。当投资者保护机构在接受50名以上投资者委托后,参加特别代表人诉讼时,法院应当审查以下内容:其一,相较于普通代表人诉讼,特别代表人诉讼的形式是否对集团成员具有优越性;其二,投资者保护机构是否忠实勤勉地行使职权;其三,集团成员是否存在共同的法律或事实问题;其四,借助于信赖推定原则和重大性标准,共同问题是否优先于影响单个成员的个别问题。 展开更多
关键词 集体诉讼 特别代表人诉讼 普通代表人诉讼 程序转换 司法审查
在线阅读 下载PDF
二维器件模拟软件PISCES的程序转换
12
作者 黄雷 向采兰 余志平 《计算机应用与软件》 CSCD 北大核心 2003年第9期37-39,共3页
为了研究半导体器件特性 ,对器件特性模拟软件PISCES需要不断进行改进。由于PISCES的源程序是用Fortran语言写的 ,而且前程序设计普遍使用C语言 ,因此我们将其源程序由Fortran语言转化成了C语言。整个程序编译联接成功 ,全面功能运行正... 为了研究半导体器件特性 ,对器件特性模拟软件PISCES需要不断进行改进。由于PISCES的源程序是用Fortran语言写的 ,而且前程序设计普遍使用C语言 ,因此我们将其源程序由Fortran语言转化成了C语言。整个程序编译联接成功 ,全面功能运行正确。本文结合实际的转化过程 。 展开更多
关键词 二维器件模拟软件 PISCES 程序转换 半导体器件
在线阅读 下载PDF
一个自动并行程序转换工具
13
作者 胡永刚 祝明 《计算机科学》 CSCD 北大核心 1998年第5期114-116,109,共4页
1.引言在数值计算中,往往循环迭代所占的时间最多,因此,我们的并行库和并行识别器AUTOPAR是针对循环实现的。IX)循环经过PORT系统的分析(流分析、依赖分析和;州了分析),我们就知道它在哪层是可并行的以及是否存在体间依赖等。对于既一... 1.引言在数值计算中,往往循环迭代所占的时间最多,因此,我们的并行库和并行识别器AUTOPAR是针对循环实现的。IX)循环经过PORT系统的分析(流分析、依赖分析和;州了分析),我们就知道它在哪层是可并行的以及是否存在体间依赖等。对于既一可并行,又无体间依赖的循环,AUTOPAR首先去判断它是否可转换成并行库调用。 展开更多
关键词 数值计算 程序转换工具 库函数 处理机
在线阅读 下载PDF
基于解释的程序转换
14
作者 丁琴 徐家福 《计算机学报》 EI CSCD 北大核心 1992年第12期881-888,共8页
程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算... 程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导程序转化的进程.文中给出了一个基于解释的fold/unfold转换算法及其在自学习软件自动化系统NDSAIL中的实现,用来解决多步递归程序的优化问题. 展开更多
关键词 程序转换 软件自动化
在线阅读 下载PDF
以VB 6.0为基的数控切割程序格式转换与传输系统实现
15
作者 蒋从根 朱青松 郎莹 《现代制造工程》 CSCD 北大核心 2011年第1期44-48,共5页
分析两种数控切割程序的格式区别,论述程序格式转换的实现方法和步骤、切割程序图形绘制方法和步骤。提出绘图缺口问题的解决办法、传送速度的控制方法以及根据零件尺寸自动设置画布尺寸的技术。
关键词 数控切割程序格式 程序转换与传输 零件图形 VB 6.0软件
在线阅读 下载PDF
DOOL程序语义等价转换为Datalog程序的转换规则
16
作者 原锦辉 陶世群 《计算机工程与应用》 CSCD 北大核心 2005年第8期176-179,共4页
演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的... 演绎对象数据库(DOOD)是演绎数据库与面向对象数据库两者优点相结合的产物。笔者设计实现了一个演绎对象数据库系统原型SD-DOOD,它是基于演绎数据库系统SD-DDBS的。然而,它使用的是演绎对象库语言DOOL,而演绎数据库语言是基于Datalog的,因此该文提出了应用一些转换规则来将DOOL程序转换为Datalog,通过规则转换,能求出DOOL程序的最小不动点(即程序值),从而使得系统的查询操作全都由SD-DDBS最终得出结果。文中详细介绍了转换规则的具体内容。 展开更多
关键词 演绎对象数据库 DOOL程序 语义等价转换 DATALOG程序 程序转换规则 演绎数据库 面向对象数据库
在线阅读 下载PDF
数据库应用程序的转换方法
17
作者 杜小勇 《软件学报》 EI CSCD 北大核心 1992年第4期51-55,共5页
数据库应用程序转换问题已经在广泛的领域内进行了研究。本文首先综述了该领域的研究,总结了各种转换方法并归纳为三类,即基于语法的方法,基于语义的方法和基于规则的方法,着重讨论了分布式数据库查询系统DQS/SEIS中所采用的转换方法。
关键词 数据库 应用程序 程序转换
在线阅读 下载PDF
缺席审判与违法所得没收程序的差异化构建与调适--以节省司法资源与追回国家资产为视角
18
作者 郑英龙 路浩天 《浙江社会科学》 CSSCI 北大核心 2024年第7期31-44,156,共15页
缺席审判程序与违法所得没收程序在主要功能、适用对象上存在明显竞合。同时,二者在竞合的表象后面,在适用案件范围和适用条件上呈现出弱层次性,而在程序性质和证明标准上存在本质差别。缺席审判程序是刑事对人之诉,对案件的证明标准与... 缺席审判程序与违法所得没收程序在主要功能、适用对象上存在明显竞合。同时,二者在竞合的表象后面,在适用案件范围和适用条件上呈现出弱层次性,而在程序性质和证明标准上存在本质差别。缺席审判程序是刑事对人之诉,对案件的证明标准与普通案件无异;违法所得没收程序是对物之诉,带有强烈的民事程序属性,对案件的证明标准相对较低。二者存在的上述差异,尤其在证明标准方面的差异,为司法实践的程序选择适用提供了客观衡量基准。在具体程序选择问题上,检察机关可构建基于政策和法律的二元考量模式。此外,两种程序的竞合关系及存在的证明标准差异也使得二者具有互相转换的理论可行性。立足于当前司法实践和立法现状,可在补全各程序的必备条件后进行程序转换,这不仅可节省司法资源和追回国家资产,也有利于“一体构建追逃防逃追赃机制”。基于诉审关系,两种程序转换的主体应为检察机关。 展开更多
关键词 违法所得没收程序 缺席审判程序 对人之诉 对物之诉 证明标准 程序转换
在线阅读 下载PDF
数控线切割机床ISO程序到3B程序的转换 被引量:1
19
作者 邹蓉 方卫宁 汪林林 《计算机应用研究》 CSCD 1995年第3期84-86,共3页
本文以瑞士CHARMILLES公司ROBOFIL机床为例,论述了数控线切割机床ISO程序到3B程序的转换开发过程和方法,并将其成功地应用到实际生产中,取得了良好的效果,有效地提高了工件的加工精度。
关键词 线切割机床 数控机床 程序转换 ISO程序 3B程序
在线阅读 下载PDF
功能同源视角下刑事缺席审判与违法所得没收的交叉竞合及程序适用 被引量:3
20
作者 郑磊 李建明 《东南大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第1期93-103,151,152,共13页
刑事缺席审判程序与违法所得没收程序的功能目的同源决定了两者适用条件高度重合,但两种程序的制度设计异构又导致在司法实践中的适用呈现交叉竞合。围绕着两种程序的司法运作,在明确适用条件、程序性质和证明标准的基础上,可以从三个... 刑事缺席审判程序与违法所得没收程序的功能目的同源决定了两者适用条件高度重合,但两种程序的制度设计异构又导致在司法实践中的适用呈现交叉竞合。围绕着两种程序的司法运作,在明确适用条件、程序性质和证明标准的基础上,可以从三个维度厘清两者适用关系:首先,程序启动的国家机关决定了两种程序选择有差异性,在非竞合状态下两种程序分别适用,呈现相互排斥关系;其次,当程序竞合时,在结合案件情况决定适用先后顺序的同时,应当充分考虑违法所得没收程序在裁判稳定性和可执行性方面的优势并优先适用;最后,从程序效力的内在张力来看,同一犯罪事实先行适用违法所得程序后可再行适用缺席审判程序,而适用缺席审判后则不能再适用违法所得没收程序。 展开更多
关键词 刑事缺席审判 违法所得没收 程序竞合 程序转换
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部