期刊文献+
共找到64篇文章
< 1 2 4 >
每页显示 20 50 100
DiNi03数字水准仪数据格式转换程序的设计与实现 被引量:10
1
作者 赵显富 朱杰 吕伟 《测绘通报》 CSCD 北大核心 2013年第11期134-135,共2页
一、引言 TrimbleDiNi03型数字水准仪是美国天宝公司生产的一种方便、易用、精确而又高效的水准测量仪器,其测量速度快、读数客观,能减轻作业劳动强度,且可避免光学仪器测量中存在由于读错、听错、记错而产生的错误,具有测量精度... 一、引言 TrimbleDiNi03型数字水准仪是美国天宝公司生产的一种方便、易用、精确而又高效的水准测量仪器,其测量速度快、读数客观,能减轻作业劳动强度,且可避免光学仪器测量中存在由于读错、听错、记错而产生的错误,具有测量精度高、测量数据便于输入计算机和容易实现水准测量内、外业一体化的特点,是目前世界上精度最高的水准仪之一, 展开更多
关键词 数字水准仪 格式转换程序 设计 测量精度 天宝公司 测量仪器 测量速度 劳动强度
在线阅读 下载PDF
页面描述语言Postscript及其转换程序 被引量:1
2
作者 何明 匡燕玲 +2 位作者 李小龙 黄铮 陈祖荫 《北京工业大学学报》 CAS CSCD 1994年第4期101-104,共4页
叙述和分析了国际通用的页面描述语言Postscript的构成、功能和特点.阐述了Postscript语言与4S(SuperScienceSettingSystem)文件转换程序的设计思想。
关键词 程序语言 转换程序 页面描述语言 postscrit
在线阅读 下载PDF
JOVIAL(J73)到C的转换程序
3
作者 陆荣国 《计算机研究与发展》 EI CSCD 北大核心 1990年第9期54-57,共4页
JCT是一个把J73源程序转换成C源程序的软件工具。JCT采用语法制导的方法,在对J73源程序作语法分析的同时,进行语义分析和程序转换,最后通过格式打印输出一个算法等价的C程序。在研制JCT中解决了转换中的一些难点。
关键词 JOVIAL语言 转换程序 C语言
在线阅读 下载PDF
实用的十进制数到十六进制数的FORTRAN转换程序 被引量:1
4
作者 吴哲 《计算机应用研究》 CSCD 1989年第2期47-48,共2页
在数字化设计中,既要做一定的数字信号处理。最终又要用硬件实现实时处理。故既要做复杂的数值计算,又要将获得的设计性数据以十六进制形式写入存贮器(例如RAM或ROM)中。所以计算机在通信、管理、控制各种应用中,一个最普遍的问题是:要... 在数字化设计中,既要做一定的数字信号处理。最终又要用硬件实现实时处理。故既要做复杂的数值计算,又要将获得的设计性数据以十六进制形式写入存贮器(例如RAM或ROM)中。所以计算机在通信、管理、控制各种应用中,一个最普遍的问题是:要把十进制数转换为十六进制补码(以下简称DH转换)。 展开更多
关键词 十进制数 十六进制数 转换程序
在线阅读 下载PDF
量子程序设计语言NDQJava2处理系统——代码转换程序
5
作者 蔡希辉 徐家福 《计算机科学与探索》 CSCD 2013年第7期659-666,共8页
NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,... NDQJava2语言是一种混成式、结构化、命令式量子程序设计语言,它在NDQJava语言的基础上增添了更多的量子成分。NDQJava2处理系统则是在经典计算机上对NDQJava2语言进行模拟实现的处理系统。着重介绍了NDQJava2处理系统的代码转换程序,详细讨论了其设计与实现过程,采用自顶向下、逐层转换的方式,将语法树转换成带量子汇编指令的Java代码。实验表明,该代码转换程序较好地完成了预期目标。 展开更多
关键词 NDQJava2语言 处理系统 语法树 代码转换程序
在线阅读 下载PDF
BC2换带计算与新旧坐标转换程序 被引量:2
6
作者 钱大刚 刘康 李忠诚 《测绘通报》 CSCD 北大核心 1992年第5期16-18,共3页
从1991年开始,国家将用十年或十年多一点的时间更新我国第一代1∶5万地形图,任务很艰巨。
关键词 地形图 换带 计算 坐标 转换程序
在线阅读 下载PDF
SDI-EC1022b情报检索配套程序——WPI磁带格式转换程序
7
作者 王兵 《图书情报知识》 1984年第3期30-33,共4页
1981年,在我系陈光祚老师的领导下,在我校引进的保加利亚EC—1022b计算机上配置了脱机批处理程序。该程序根据“菊池”思想,按顺序存取方式,可以检索INSPEC、METADEX以及COMPENDEX等各种磁带。为了能进一步地满足科研和教学的需要,1982... 1981年,在我系陈光祚老师的领导下,在我校引进的保加利亚EC—1022b计算机上配置了脱机批处理程序。该程序根据“菊池”思想,按顺序存取方式,可以检索INSPEC、METADEX以及COMPENDEX等各种磁带。为了能进一步地满足科研和教学的需要,1982年,我们又从中国科学技术情报所购进了一盘WPI磁带的样带,其目的在于向用户提供多种形式的文献情报。 INSPEC、METADEX、COMPENDEX以及WPI等磁带的记录格式各不相同,这样一来,就给编检索程序的单位带来一定的困难,即每检索一种磁带就得编写一个检索程序。我们知道,在一定检索目标下,其检索程序的功能是相同的。这样,只要编写一些转换程序,将INSPEC、METADEX、 展开更多
关键词 转换程序 检索程序 逻辑记录 磁带格式 长度计数器 中国科学技术 字符 顺序存取方式 批处理程序 多种形式
在线阅读 下载PDF
UNIX系统中dd命令和文件转换程序
8
作者 唐全 《计算机技术》 CSCD 1992年第2期60-63,共4页
关键词 UNIX系统 文件 转换程序 dd命文
在线阅读 下载PDF
8XC196系列单片机A/D转换输入接口及其补码程序设计 被引量:1
9
作者 陈昭炎 林益平 《电子测量技术》 2000年第2期16-17,共2页
文中介绍了测控系统中常用的A/D转换输入接口电路和简单实用的补码转换程序设计。
关键词 A/D转换 单片机 接口电路 补码转换程序设计
在线阅读 下载PDF
从静态草图到参数化绘图程序自动转换
10
作者 刘仕平 《工程图学学报》 CSCD 北大核心 2005年第4期31-35,共5页
结合参数化设计和机械工程的实际,提出并深入研究了从静态草图到参数化绘图程序的自动转换问题。在建立图形转换模型的基础上,用AutoLISP编制了图形信息提取程序,用C++编制了转换程序。该转换程序能输出参数化的AutoLISP绘图程序,实现... 结合参数化设计和机械工程的实际,提出并深入研究了从静态草图到参数化绘图程序的自动转换问题。在建立图形转换模型的基础上,用AutoLISP编制了图形信息提取程序,用C++编制了转换程序。该转换程序能输出参数化的AutoLISP绘图程序,实现了从静态草图到参数化绘图程序的自动转换。实验结果表明:解决思路是可行的,在机械工程设计中有较大的使用价值。 展开更多
关键词 计算机应用 参数化绘图程序 转换程序 图形信息提取程序
在线阅读 下载PDF
程序转换技术-从Prolog到C 被引量:4
11
作者 李友仁 胡勇新 +1 位作者 杨萍 张勇 《计算机工程与应用》 CSCD 北大核心 1994年第11期9-13,共5页
本文讨论了高级程序设计语言之间的转换问题。提出了从Prolog到C转换的语义解释方法,并应用该方法成功地开发了Prolog到C的自动转换系统。
关键词 C语言 PROLOG语言 程序转换
在线阅读 下载PDF
程序转换与权利保障:刑事诉讼中精神病强制医疗程序的反思 被引量:7
12
作者 郭华 《浙江工商大学学报》 2013年第5期59-67,共9页
精神病强制医疗存在行政程序与司法程序。尽管这两种程序适用的法域不同,却因行政法与刑事法在调整范围上的交叉与重叠,致使实践中的程序转换出现失控问题。《人民警察法》《精神卫生法》和《刑事诉讼法》规定的不同程序之间的衔接与转... 精神病强制医疗存在行政程序与司法程序。尽管这两种程序适用的法域不同,却因行政法与刑事法在调整范围上的交叉与重叠,致使实践中的程序转换出现失控问题。《人民警察法》《精神卫生法》和《刑事诉讼法》规定的不同程序之间的衔接与转换应以精神病人的合法权益得到保障、"被精神病"得以避免以及程序保障社会秩序与安宁功能得到发挥作为选择程序的基本思路,借助于正当程序的规制功能消除法律之间的紧张性,从而维护程序转换的正当性以及保障权力运行的合法性。 展开更多
关键词 刑事诉讼 精神病鉴定 强制医疗 程序转换 权利保障
在线阅读 下载PDF
一种通过求解程序方程进行程序转换的方法 被引量:1
13
作者 朱鸿 《计算机学报》 EI CSCD 北大核心 1990年第10期728-739,共12页
在程序展开的理论基础上,本文提出了一种通过求解程序方程来进行程序转换的方法。首先,程序转换的目标表示为程序方程。虽然这样的方程通常是高度复杂而难以直接求解的,但是,通过程序的正交展开,可以将其化为简单方程组。最后,简单方程... 在程序展开的理论基础上,本文提出了一种通过求解程序方程来进行程序转换的方法。首先,程序转换的目标表示为程序方程。虽然这样的方程通常是高度复杂而难以直接求解的,但是,通过程序的正交展开,可以将其化为简单方程组。最后,简单方程的解可由方程化简与求解的一组公式以及程序代数定律形式地导出。本文着重讨论了方程的化简和求解,并给出了一些转换实例。 展开更多
关键词 程序转换 程序方程
在线阅读 下载PDF
我国民事诉讼程序转换制度的缺陷及其完善 被引量:1
14
作者 刘冬京 周胜明 《南昌大学学报(人文社会科学版)》 北大核心 2008年第6期76-81,共6页
民事诉讼程序转换制度的确立体现了立法对当事人程序利益的尊重和保护,是对诉讼公正和诉讼效率两大价值平衡追求的结果,也是对当事人诉权及法院审判权行使的制约与平衡。但是现行立法仍在诸多方面存在不足和亟待完善之处,实践中民事诉... 民事诉讼程序转换制度的确立体现了立法对当事人程序利益的尊重和保护,是对诉讼公正和诉讼效率两大价值平衡追求的结果,也是对当事人诉权及法院审判权行使的制约与平衡。但是现行立法仍在诸多方面存在不足和亟待完善之处,实践中民事诉讼程序转换制度亦呈现随意性和虚无性。完善我国民事诉讼程序转换制度,充分发挥程序转换制度的功能与效用,需要进一步规范程序转换的条件、当事人程序选择权行使的时间、方式和效力,进一步规范程序转换的具体程序,规范法院依职权转换制度、法院对程序转换审查的方式及其处理。 展开更多
关键词 民事诉讼 普通程序 简易程序 程序转换
在线阅读 下载PDF
程序转换中的中间表示
15
作者 谢卫 刘键 李胜利 《计算机工程与应用》 CSCD 北大核心 1993年第4期21-25,共5页
程序的中间表示是一种与源程序等价的程序的可分析形式。本文根据程序转换、划分与优化的需要、对文献[1]提出的程序PDG图进行了改进和扩充,在此基础上提出了系统相关图的概念,并详细地讨论了它们的构造算法。
关键词 程序转换 中间表示
在线阅读 下载PDF
一种实用的控制系统CAD程序转换方法
16
作者 王伟 石志刚 《系统仿真学报》 CAS CSCD 1992年第A00期25-30,共6页
本文介绍了一种实用的程序转换方法。该方法把(中国控制系统CAD—CCSCAD一期工程中部分子包的)非结构化FORTRAN程序,经非结构化流程图到结构化流程图,再到PAD图,最后转换成(CCSCAD二期工程所要求的)结构化C程序。其中四个函数过程的具... 本文介绍了一种实用的程序转换方法。该方法把(中国控制系统CAD—CCSCAD一期工程中部分子包的)非结构化FORTRAN程序,经非结构化流程图到结构化流程图,再到PAD图,最后转换成(CCSCAD二期工程所要求的)结构化C程序。其中四个函数过程的具体构造在文中给出。 展开更多
关键词 控制系统 CAD 程序转换
在线阅读 下载PDF
以VB 6.0为基的数控切割程序格式转换与传输系统实现
17
作者 蒋从根 朱青松 郎莹 《现代制造工程》 CSCD 北大核心 2011年第1期44-48,共5页
分析两种数控切割程序的格式区别,论述程序格式转换的实现方法和步骤、切割程序图形绘制方法和步骤。提出绘图缺口问题的解决办法、传送速度的控制方法以及根据零件尺寸自动设置画布尺寸的技术。
关键词 数控切割程序格式 程序转换与传输 零件图形 VB 6.0软件
在线阅读 下载PDF
论Folding/Unfolding程序转换的能力
18
作者 朱鸿 《软件学报》 EI CSCD 北大核心 1991年第2期31-41,共11页
本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的... 本文讨论Burstall与Darlington提出的folding/unfolding系统的程序转换能力,即讨论从一个给定的程序可以推导出什么样的程序。因此,这是正确性与完备性问题的推广。本文证明了可推导性的一个必要条件,并由此得到了该系统提高程序效率的一个界限。该系统的部分正确性和不完备性也均是该条件的推论。 展开更多
关键词 程序转换 FOLDING UNFOLDING
在线阅读 下载PDF
磁带及其磁带程序转换和复制
19
作者 唐全 李秀山 《南京邮电学院学报》 北大核心 1993年第1期53-58,共6页
本文简要叙述磁带的技术指标和磁带机的工作过程,给出了一个磁带程序的转换程序,最后介绍UNIX╱XENIX系统格式和非UNIX╱XENIX系统格式之间的文件转换实用程序dd命令及其应用。
关键词 磁带存储器 应用程序 程序转换
在线阅读 下载PDF
程序转换规则的自动获取
20
作者 费宗铭 《计算机学报》 EI CSCD 北大核心 1993年第12期911-917,共7页
本文给出了一个自动获取程序转换规则的方法,通过对用户提供的一个具体程序转换过程的分析,运用解释学习的方法,总结其一般性,得出反映这一过程的转换规则,该规则可用于一类问题的转换,提高了系统的自动化程度。
关键词 程序转换 软件开发 机器学习
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部