现代设计中的远程程序调用 被引量：3

1

作者 胡亚红 周受钦 +1 位作者 姜培林 谢友柏 《中国机械工程》 EI CAS CSCD 北大核心 2001年第9期1035-1037,共3页

针对现代设计的特点 ,分析了进行远程程序调用的重要性 ,讨论了远程程序调用的操作流程和实现方法。结合现代设计网络 ( CMDNET)上提供的远程调用程序库 ,介绍了远程程序调用的运作方式和用户界面。

关键词 远程程序调用 INTERNET 现代设计 CMDNET

在线阅读 下载PDF 职称材料

Datalog逻辑程序调用语义及其应用研究 被引量：1

2

作者 钟勇 郭伟刚 +2 位作者 钟昌乐 刘凤玉 李宁 《计算机科学》 CSCD 北大核心 2010年第1期170-175,共6页

提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应... 提出Datalog逻辑程序调用语义和调用谓词,说明包含程序调用谓词的可更新U-Datalog程序的操作语义及其固定点语义。提出在有限分层调用情况下U-Datalog程序的通用评价(evaluation)算法。最后对Datalog程序调用语义在数字版权语言中的应用做了说明并给出示例。 展开更多

关键词 Datalog语言 逻辑程序 程序调用 数字版权保护

在线阅读 下载PDF 职称材料

Sun工作站上利用CGI实现远程程序调用

3

作者 胡亚红 刘恒 谢友柏 《计算机应用研究》 CSCD 1998年第4期62-65,共4页

在介绍了远程程序调用的概念和特点之后，本文比较了远程程序调用的两种实现方法——利用Ｓｏｃｋｅｔ和ＣＧＩ来实现远程程序调用。最后，结合３００ＭＷ汽轮机密封计算程序的远程调用实例，详细讨论了ＣＧＩ程序的设计。

关键词 CGI 远程程序调用 工作站 程序设计

在线阅读 下载PDF 职称材料

MAP载波带局域网MMS程序调用服务的形式化描述

4

作者 兰少华 顾一禾 范伯南 《计算机研究与发展》 EI CSCD 北大核心 1995年第1期57-61,共5页

网络协议的形式化描述对于协议的定义，协议的正确性验证以及协议的实施有着非常重要的意义。本文采用有限状态自动机的方法对制造自动化协议（ＭＡＰ）的关键部分ＭＭＳ的程序调用服务进行了形式化的描述。

关键词 网络协议 局域网络 程序调用服务 形式化描述

在线阅读 下载PDF 职称材料

Linux下优化编译单元的程序调用共享连接技术

5

作者 芦运照 张兆庆 《计算机科学》 CSCD 北大核心 2004年第12期186-188,共3页

本文分析了LINUX下的动态连接和静态连接,默认的动态连接方式在一定程度上限制了编译器的优化,而静态连接方式又有很多不足。本文在ORC编译器中提出了一种程序调用共享连接技术,对程序编译单元应用冗余的代码优化,并且展望了这种优化技... 本文分析了LINUX下的动态连接和静态连接,默认的动态连接方式在一定程度上限制了编译器的优化,而静态连接方式又有很多不足。本文在ORC编译器中提出了一种程序调用共享连接技术,对程序编译单元应用冗余的代码优化,并且展望了这种优化技术的未来研究,具有很强的实际意义。 展开更多

关键词 程序调用 动态连接 编译器 共享 程序编译 代码优化 连接技术 单元 实际 方式

在线阅读 下载PDF 职称材料

分布式Ada远程子程序调用及实现

6

作者 张冰 《计算机工程》 CAS CSCD 北大核心 1999年第2期22-23,56,共3页

首先阐述了Ada95分布式系统的总体设计思想，介绍了类目的概念，并着重讨论了Ada95在分布式系统实现中最重要的远程子程序调用问题，给出了实现的方法。最后分析了一个远程过程调用的实例。

关键词 远程子程序调用 ADA语言 程序设计 分布式系统

在线阅读 下载PDF 职称材料

C程序调用中的参量传递

7

作者 贾洪钧 《计算机应用研究》 CSCD 1990年第1期1-4,共4页

本文阐述了C语言程序调用的一般方法,在分析调用时的程序参量传递基础上,利用C例行程序库所提供的管道函数及数据共享管理函数,成功地实现了施调程序与被调程序间参量的相互传递。本文所探讨和提供的方法,对进行C程序设计具有实际使用... 本文阐述了C语言程序调用的一般方法,在分析调用时的程序参量传递基础上,利用C例行程序库所提供的管道函数及数据共享管理函数,成功地实现了施调程序与被调程序间参量的相互传递。本文所探讨和提供的方法,对进行C程序设计具有实际使用价值和参考价值。 展开更多

关键词 C语言 程序调用

在线阅读 下载PDF 职称材料

用图解法讲授子程序调用的体会

8

作者 徐蓓 《电化教育研究》 北大核心 1995年第2期25-30,共6页

用图解法讲授子程序调用的体会徐蓓（江阴市职业高中江苏２１４４００）在ＢＡＳＩＣ语言中，调用子程序有三种情况：１．主程序调用子程序２．子程序调用子程序３．子程序调用自己本身第一种情况的调用关系及层次通过阅读程序便可分析... 用图解法讲授子程序调用的体会徐蓓（江阴市职业高中江苏２１４４００）在ＢＡＳＩＣ语言中，调用子程序有三种情况：１．主程序调用子程序２．子程序调用子程序３．子程序调用自己本身第一种情况的调用关系及层次通过阅读程序便可分析出来：在何处调子程序，执行子程序后... 展开更多

关键词 子程序调用 调用子程序 用图解法 运行结果 数据库管理系统 返回到 字符 读程序 箭头方向 计算机软件

在线阅读 下载PDF 职称材料

Authorware调用外部应用程序的通用方法 被引量：1

9

作者 李光飞 《浙江海洋学院学报（自然科学版）》 CAS 2004年第3期266-268,共3页

给出了一个在Authorware中调用外部应用程序的通用方法。通过对这个方法的灵活运用,可以实现在Author-ware中加入不被Authorware支持的媒体文件,可以实现在Authorware中直接调用windows系统所带的一些工具软件,还可以实现在Authorware... 给出了一个在Authorware中调用外部应用程序的通用方法。通过对这个方法的灵活运用,可以实现在Author-ware中加入不被Authorware支持的媒体文件,可以实现在Authorware中直接调用windows系统所带的一些工具软件,还可以实现在Authorware中调用其它一切可执行的应用程序等功能。 展开更多

关键词 Authorware文件 程序调用 课件制作 函数命令格式 多媒体集成软件

在线阅读 下载PDF 职称材料

基于模糊测试的Java反序列化漏洞挖掘 被引量：1

10

作者 王鹃 张勃显 +3 位作者 张志杰 谢海宁 付金涛 王洋 《信息网络安全》 北大核心 2025年第1期1-12,共12页

随着反序列化技术在Java Web应用开发中的广泛应用,针对Java反序列化机制的攻击也日益增多,已严重威胁Java Web应用的安全性。当前主流的黑名单防范机制无法有效防御未知的反序列化漏洞利用,而现有的Java反序列化漏洞挖掘工具大多依赖... 随着反序列化技术在Java Web应用开发中的广泛应用,针对Java反序列化机制的攻击也日益增多,已严重威胁Java Web应用的安全性。当前主流的黑名单防范机制无法有效防御未知的反序列化漏洞利用,而现有的Java反序列化漏洞挖掘工具大多依赖静态分析方法,检测精确度较低。文章提出一种基于模糊测试的Java反序列化漏洞挖掘工具DSM-Fuzz,该工具首先通过对字节码进行双向追踪污点分析,提取所有可能与反序列化相关的函数调用链。然后,利用基于TrustRank算法的函数权值分配策略,评估函数与反序列化调用链的关联性,并根据相关性权值对模糊测试种子分配能量。为进一步优化测试用例的语法结构和语义特征,文章设计并实现了一种基于反序列化特征的种子变异算法。该算法利用反序列化的Java对象内部特征优化种子变异过程,并引导模糊测试策略对反序列化漏洞调用链进行路径突破。实验结果表明,DSM-Fuzz在漏洞相关代码覆盖量方面较其他工具提高了约90%。此外,该工具还在多个主流Java库中成功检测出50%的已知反序列化漏洞,检测精确度显著优于其他漏洞检测工具。因此,DSM-Fuzz可有效辅助Java反序列化漏洞的检测和防护。 展开更多

关键词 Java反序列化漏洞 模糊测试 污点分析 漏洞挖掘 程序调用图

在线阅读 下载PDF 职称材料

Pascal语言程序设计学习指导

11

作者 陶龙芳 《现代远程教育研究》 1995年第8期37-41,共5页

一、课程内容提要学习 pascal 语言程序设计,必须掌握 pascal语言的基本语法元素,即 pascal 符号;

关键词 语言程序设计 局部变量 作用域 值参数 实在参数 自顶向下 程序调用 形式参数 语言成分 输出语句

在线阅读 下载PDF 职称材料

通过静态分析逆向恢复面向对象程序中的用况 被引量：2

12

作者 叶彭飞 彭鑫 赵文耘 《计算机研究与发展》 EI CSCD 北大核心 2010年第12期2192-2200,共9页

在软件维护任务中,通过阅读用况能有效地帮助维护人员理解软件系统,然而在现实中用况文档往往是过时或残缺不全的.如何通过代码分析还原用况是一大难题.针对上述问题提出了一种针对面向对象程序源代码通过静态代码分析逆向恢复用况的方... 在软件维护任务中,通过阅读用况能有效地帮助维护人员理解软件系统,然而在现实中用况文档往往是过时或残缺不全的.如何通过代码分析还原用况是一大难题.针对上述问题提出了一种针对面向对象程序源代码通过静态代码分析逆向恢复用况的方法.该方法在高层通过分析系统逻辑层高层门面类的对象行为协议来获取用况的高层划分,在底层通过分析OO-BRCG(object-oriented branch-reserving call graph)来得到用况的底层划分,然后结合两方面恢复出最终用况.最后通过实验验证了该方法的有效性,恢复用况时该方法能获得极高的用况覆盖度及可观的准确度. 展开更多

关键词 用况 对象行为协议 逆向恢复 静态分析 程序调用图

在线阅读 下载PDF 职称材料

模具零件数控加工在线检测宏程序编程及应用 被引量：9

13

作者 何飞翔 朱小明 +1 位作者 韩伟 李凤静 《现代制造工程》 CSCD 北大核心 2021年第5期70-74,共5页

针对形状复杂的注塑模具零件加工工序多、配合精度要求高和模具制造过程中检测过程耗费时间及人力的问题,探索应用UG软件CMM模块对模具零件进行机床在线检测,规划模具零件检测几何要素和测头动作路径,编制并调用系统检测的宏程序,运用... 针对形状复杂的注塑模具零件加工工序多、配合精度要求高和模具制造过程中检测过程耗费时间及人力的问题,探索应用UG软件CMM模块对模具零件进行机床在线检测,规划模具零件检测几何要素和测头动作路径,编制并调用系统检测的宏程序,运用宏程序条件转移功能同步生成检测误差,从而拓展数控机床的功能,节省零件在其他检测设备上的装夹、找正和检测时间,提高模具零件加工精度和装配效率,以适应大量个性化产品对模具的需求。 展开更多

关键词 在线检测 测头设置 路径规划 宏程序调用 检测误差

在线阅读 下载PDF 职称材料

大型应用程序分析系统简介

14

作者 颜宏 杨学胜 皇甫雪官 《应用气象学报》 CSCD 北大核心 1992年第S1期82-87,共6页

简单介绍了大型程序的分析系统的设计思想与基本构成,并给出了用该系统对欧洲中期数值预报中心的中期预报谱模式的分析结果。

关键词 程序分析 大型程序 子程序调用 内存管理 FORTRAN 中期预报 数值预报 应用软件 应用程序 预报模式

在线阅读 下载PDF 职称材料

浅析宏程序在FANUC 0i数控系统中的应用 被引量：2

15

作者 吴占军 《林业机械与木工设备》 2010年第3期50-51,共2页

通过典型零件的宏程序编程实例分析其编程方法,并归纳出手工编程中应用宏程序解决复杂零件数控加工编程问题的作用和技巧。

关键词 宏程序 手工编程 子程序调用 数控加工

在线阅读 下载PDF 职称材料

第五章 程序和数据的存取(二)

16

作者 李嘉燕 马新国 《武汉财会》 1986年第7期38-40,共3页

第五节数据的存取用微机处理数据,其原始数据有些可以在程序中直接给定。如用赋值语句A=2＊3这种方式给变量A赋值;用读数语句READ和置数语句DATA给若干个变量赋值。这在程序中已给出,不需要再从键盘输入数据,但这在财会应用程序中是少... 第五节数据的存取用微机处理数据,其原始数据有些可以在程序中直接给定。如用赋值语句A=2＊3这种方式给变量A赋值;用读数语句READ和置数语句DATA给若干个变量赋值。这在程序中已给出,不需要再从键盘输入数据,但这在财会应用程序中是少量的。而绝大多数原始数据是用输入语句INPUT,从键盘键入微机的。这些输入的原始数据,以及数据处理过程的中间数据和处理后最终数据,有些需要长期保存,有些虽不需要长期保存。 展开更多

关键词 字符串数组 程序调用 应用程序 置数 一维数组 顺序文件 显示文件 中间数 变量名 存取方法

在线阅读 下载PDF 职称材料

第三章 财会应用程序

17

作者 李嘉燕 马新国 《武汉财会》 1986年第3期35-37,共3页

财会应用软件系统是由各个财会业务的子系统组成,而各个子系统又是由若干个应用程序组成的。例如:成本子系统一般应包括成本预测程序、成本计划程序,成本计算程序、成本汇总程序及成本分析程序等。在财会应用软件的系统设计工作完成以后... 财会应用软件系统是由各个财会业务的子系统组成,而各个子系统又是由若干个应用程序组成的。例如:成本子系统一般应包括成本预测程序、成本计划程序,成本计算程序、成本汇总程序及成本分析程序等。在财会应用软件的系统设计工作完成以后,就应按各个子系统所要求完成的各项业务工作,分别设计各个子系统的一个个应用程序,进入程序设计阶段。在设计每一个应用程序时,特别要注意与有关应用程序(包括有关其他子系统的应用程序)的连接,防止重复或脱节。应用程序的设计顺序,一般接业务流程的先后依次进行。这样可以设计一个连接一个。前面一个应用程序的输入数据和处理后的数据。 展开更多

关键词 应用程序 应用软件系统 计算程序 防止重复 业务流程 财会工作 成本计划 程序调用 输入数据 功能模块

在线阅读 下载PDF 职称材料

用标准程序设计语言编写的程序的正确性证明

18

《计算机工程与应用》 1980年第9期30-41,共12页

3.1 引言 在前一章所讨论的归纳断言法,可以直接用来证明用一种标准程序设计语言,比如FORTRAN、ALGOL、或PL/1编写的计算机程序的(部分)正确性。这种程序的终止也可以用前面讲的同一方法来证明。应用归纳断言法证明时。

关键词 归纳断言 程序段 为真 IR IQ 程序调用 执行终止 程序设计语言

在线阅读 下载PDF 职称材料

用EL—5100程序型电算器作视距测量计算

19

作者 王占杰 《林业科技情报》 1994年第2期38-38,共1页

过去视距测量计算是借助于《视距测量用表》或视距计算盘进行的。用表或盘进行计算,精度低,速度慢,而且容易出错。在电子计算器普及应用的今天,让程序型电算器来完成这一计算工作,是迅速、方便和准确的。 程序型电算器是一种高级的电算... 过去视距测量计算是借助于《视距测量用表》或视距计算盘进行的。用表或盘进行计算,精度低,速度慢,而且容易出错。在电子计算器普及应用的今天,让程序型电算器来完成这一计算工作,是迅速、方便和准确的。 程序型电算器是一种高级的电算器,因为它能存入简单的计算程序而得名。 展开更多

关键词 视距测量 EL 计算盘 电子计算器 序型 计算程序 用表 程序调用 计算工作 存储单元

在线阅读 下载PDF 职称材料

国家级气象资料存储检索系统的建立 被引量：55

20

作者 沈文海 赵芳 +2 位作者 高华云 高峰 马强 《应用气象学报》 CSCD 北大核心 2004年第6期727-736,共10页

对国家级气象资料存储检索系统的需求进行了分析 ,进而对系统进行了功能设计 ,并在技术调研和分析的基础上确定了功能实现的技术路线 :在数据管理方面采用数据库和文件系统相结合的方式 ;在存储管理方面采用分级存储管理模式 ,并解决了... 对国家级气象资料存储检索系统的需求进行了分析 ,进而对系统进行了功能设计 ,并在技术调研和分析的基础上确定了功能实现的技术路线 :在数据管理方面采用数据库和文件系统相结合的方式 ;在存储管理方面采用分级存储管理模式 ,并解决了数据库的分级存储管理技术 ;在检索应用方面提供了程序调用式检索方式 ,并通过采用中间件技术实现了基于B/S结构的程序调用式检索 ;通过选用HPSS技术解决了由异种机型构成的高性能计算机群存储池问题 ;通过分别建立实时数据库和综合数据库解决了气象资料的规范化存储和实时业务使用需求之间的矛盾 ; 展开更多

关键词 程序调用 存储 实时数据库 文件系统 机群 高性能计算机 应用软件开发 检索系统 检索方式 严格

在线阅读 下载PDF 职称材料