程序转换相关论文
云计算服务是虚拟化、集群计算和远程计算等多种技术相互融合发展的新型服务。该技术通过虚拟化技术,允许个人或者组织的数据和程......
2020年1月最高人民法院发布《民事诉讼程序繁简分流改革试点方案》 （以下简称《试点方案》）和《民事诉讼程序繁简分流改革试点实施办......
可重构计算机系统兼具通用计算的灵活性和专用ASIC的高效性，系统中FPGA的编程问题是可重构计算机推广应用的关键，可重构编程语言Mitr......
特别代表人诉讼的启动以普通代表人诉讼的程序转换为基础.基于规范特别代表人诉讼适用的形式需求和确认集团成员范围的实体需求,法......
概述本文从控制功能方面采取“短路自动回退”来消除短路现象,谈谈我们的实践和分析。待操作者发现和排除短路时,一般已经造成了......
本文对于NCA7—300型程控脉冲钨极氩弧全位置焊管机电气控制部分的原理,分成四个主要单元进行全面、系统而又扼要地分析和介绍。
......
封面所示的 PFAuTER 新型滚齿机由于采用了计算机控制,而使加工能力更加提高。并因在末级传动部分增加了预加载荷装置,因而形成了......
线切割编程在线切割加工中起着主导作用。我们厂线切割加工程序格式都是采用的三B制,近来我厂购进一台HC—7型低速走丝线切割机,......
法律监督是中国检察机关最本质的属性特征,其中“以刑事法律监督为主”也构成了我国检察机关法律监督的基本样态,且是以审判中心视......
该文共分为五部分.第一章概述了形式倾方法;第二章着重讨论自定义Java类库的设计和实现;第三章阐述工算子的研究、实现和应用;第四......
该文就是研制这样的转换工具——从APLA程序到ADA程序自动转换系统,所做的工作有以下几点:1、运用PAR方法进行算法开发;2、对APLA......
该文以使用广泛的Delphi语言作为转换后的可执行程序,先分析了Apla语言与Delphi语言各自的语法,得到Apla算法到Delphi程序变换规则......
有效解决“软件危机”的一种重要途径是使用形式化方法来开发软件产品。薛锦云教授在国家863和多项国家自然科学基金的资助下，根据......
用形式化方法开发软件，被当今计算机界誉为克服“软件危机”、提高软件可靠性和生产效率的革命性途径，是实现软件自动化的关键。薛锦......
本项研究作为PAR方法研究的一个重要组成部分,目标是开发一个自动程序转换系统,该系统能将用Radl语言描述的算法转换成抽象语言程......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题，高效率地开发正确、可靠的软件已成为软件产业的迫切要求。软件开发的......
软件的可靠性差和开发效率低一直是困扰软件产业界的两大难题,高效率地开发正确、可靠的软件已成为软件产业的迫切要求。尤其在现......
重构技术由于其在构造灵活代码方面的实用价值已经获得了普遍应用。重构旨在提高软件质量，增强可理解性和可维护性。面向方面编程(A......
随着软件的迅速发展和广泛应用,并行程序在天气预测、石油勘探等一些重要领域的应用也越来越普遍。目前,OpenMP已经成为使用最广泛......
文中分析了 C55x 系列 DSP 芯片可执行文件的生成步骤,详细介绍了执行文件转换过程中各参数的设置方法,BootLoader 的概念和用法,......
自公安部对机动车驾驶人实行新 的微机管理办法以后,为保证驾驶人 在新旧程序转换之际办事方便,山西 省运城市交警支队车管所将换......
在农业科学试验中,很多数据表现为非线性关系,分析这类数据,就要拟合一条恰当的曲线方程.计算曲线方程一般采用先变换成直线方程,......
“3D打印”这一词语在今年刚出现的时候，它只被很多人当做奇闻异事而已。但随着打印楼房、汽车甚至肾脏的新闻出现，它开始被各路媒体......
有关DVD标准的争论已持续了一年多。DVD自称是CD-ROM、CDAudio、录像带和激光盘的替换者,它正在想方设法变成实用产品。 据Toshib......
３．２１中子γ耦合多群截面库的研制王耀清为研制中子－γ耦合多群截面库，原ＩＢＭ版本的ＡＭＰＸ－ＩＩ部分模块如ＣＨＯＸ，ＤＩＡＬ．ＲＡＤＥ和ＮＩＴＡＮＬ等，经过若干修改将移植到ＳＵＮ工作站上。这些模块与......
数控代码解释器将数控代码程序转换为机床操作序列,是数控仿真系统中一个很重要的模块.本文介绍了蓝天数控仿真系统的总体设计方法......
为了降低并行编程的复杂性,本文提出了一个基于工作池的程序并行化模型,然后描述了如何实现该模型,以及将它开发成一个并行化平台......
介绍了一种新的机器人弧焊离线编程系统开发方法 ,即在高性能PC机和AutoCAD2 0 0 0平台上 ,运用其最新的开发工具———ObjectARX......
目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具E......
从模拟到数字,从HD到FUD,再到4K;从“看电视”到“用电视”再到“玩电视”……近年来,智能电视步入日新月异的发展轨道。1流畅的TV......
该文的分布式演绎数据库系统是在已有的分布式数据库系统WDDBS上添加一个分布演绎层。对逻辑查询的处理分成两个阶段：预编译阶段和......
现代远洋运输船舶都装有GMDSS，由于原设计为专用的西文DOS环境，不易改为中文环境，中国的一些轮船公司在拍发汉字报时，只好先用人工借助......
本文着重叙述了再热式锅炉性能计算程序在美国数据公司(CDC)的CYBER-170-825计算机上运算时需要进行的转换内容,并从系统软件的角......
随着技术的发展,信息物理融合系统(cyber-physical system,简称CPS)在生活中扮演着越来越重要的角色,例如电力系统、铁路系统.如果......
工业机器人编程方式主要是示教编程和离线编程,面对当前机器人的应用情况和发展需要,示教编程已经难以满足生产需求。离线编程可以......
工业机器人的发展经历了示教再现和离线编程两个阶段。近年来,以离线编程为基础的机器人柔性自动化系统的开发,代表了机器人系统二......
该文提出了一种程序转换的实现方法:实例分析法.此方法将程序转换的任务分为实例处理与控制结构实现两部分,该文讨论前者,它以相关......
针对复杂结构零件五坐标加工设备变更带来的程序处理问题,分析讨论了直摆头-转台式和斜摆头-转台式两种五坐标机床之间的数控加工......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
我国当前小额诉讼的适用率较低,究其制度原因,主要在于制度配套不健全,导致启动机制欠缺、程序转换随意.因此,小额诉讼规范重塑就......
本文从五个方面论述了对构建中国行政诉讼简易程序制度的构想.在适用范围上,采用形式标准和实质标准相结合的划分形式;在适用主体......
新民诉法增加了小额诉讼程序。笔者认为小额诉讼程序即是简易程序再简化程序,小额诉讼程序与普通程序的转换实质即简易程序与普通......
