期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
71
篇文章
<
1
2
…
4
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
注重源程序在《数据结构》课程中的重要性
被引量:
17
1
作者
陈宇文
《高教论坛》
2004年第1期73-75,共3页
《数据结构》是计算机专业的一门主干专业课,本文作者通过多年的教学实践,提出了注重源程序的教学模式,并且在教学实践中取得了良好的效果。
关键词
《数据结构》课程
计算机专业
教学实践
教学模式
源程序
下载PDF
职称材料
对软件侵权鉴定中的源程序作用的认识
被引量:
3
2
作者
罗苏平
《广东交通职业技术学院学报》
2005年第1期55-57,共3页
源程序是软件开发者身份的重要证明,在软件著作权的纠纷中,如果当事人不能出示源程序,有可能因举证不能而导致承担法律责任。但是,源程序并不是开发者身份的唯一证明,软件开发过程中的一切原始材料,均可作为软件作者的开发证明。另外在...
源程序是软件开发者身份的重要证明,在软件著作权的纠纷中,如果当事人不能出示源程序,有可能因举证不能而导致承担法律责任。但是,源程序并不是开发者身份的唯一证明,软件开发过程中的一切原始材料,均可作为软件作者的开发证明。另外在软件侵权的鉴定中,不能以程序不完全相同而简单地否定抄袭可能性的存在。
展开更多
关键词
源程序
定中
侵权
软件开发过程
软件开发者
软件著作权
法律责任
原始材料
证明
当事人
可能性
下载PDF
职称材料
一段用于循环冗余码检错(CRC)的VC源程序分析
被引量:
4
3
作者
蔡慧敏
王公浩
卞金来
《测控技术》
CSCD
2007年第10期48-49,共2页
从CRC的原理和分类入手对源程序进行分析,根据变量初值和运算移位方式,确定源程序采用的CRC标准和D IVI-SOR代码含义,最后给出源程序运算过程。解决了对电台控制盒进行测试存在的串行通信检错问题。
关键词
循环冗余码检错
源程序
CRC标准
下载PDF
职称材料
坐标法线路测量计算
被引量:
3
4
作者
秦茂环
《铁路航测》
2002年第3期36-37,共2页
介绍用坐标法进行线路测量的原理 ,推导出坐标计算的数学公式 。
关键词
坐标法
线路测量
坐标计算
源程序
测量原理
工程测量
下载PDF
职称材料
数字化变电站远动规约Agent通信接口应用研究
被引量:
3
5
作者
王尉军
殷慧
《贵州电力技术》
2015年第12期1-4,共4页
针对各个厂家远动通信规约传输格式的差异性,通过构建一种远动规约Agent的接口实现模式,用户通过接口输入规约的规则可变参数,规则Agent里的规约规则库自动更新,分析Agent完成规则的识别和处理,实现自适应不同主站规约的要求。以220 kV...
针对各个厂家远动通信规约传输格式的差异性,通过构建一种远动规约Agent的接口实现模式,用户通过接口输入规约的规则可变参数,规则Agent里的规约规则库自动更新,分析Agent完成规则的识别和处理,实现自适应不同主站规约的要求。以220 kV数字化变电站实际应用为例,验证了该接口模式可以在不需要修改源程序的情况下更改规约可变参数,大大减少了维护规约的工作量。
展开更多
关键词
通信规约
规约Agent
可变参数
规则库
源程序
下载PDF
职称材料
“桩箱(筏)基础共同作用”分析的程序
6
作者
陈颖辉
孙君实
邵全
《云南工业大学学报》
1999年第2期32-35,共4页
采用“桩箱(筏)基础共同作用”程序对工程实测进行探讨和分析,桩箱(筏)基础的桩数优化应用该程序是可行的.
关键词
桩数优化方法
共同作用
桩箱基础
桩筏基础
下载PDF
职称材料
汇编语言实现多种进制的通用输入输出
被引量:
2
7
作者
罗南超
向昌成
李唐辉
《电脑知识与技术》
2008年第12X期3068-3070,共3页
基于小模式,调用C语言的Scanf()和Printf()函数实现了在汇编语言中不同进制的输入和输出,文章对在汇编程序中调用C函数的关键问题进行了分析并据此给出了在汇编语言中实现多种进制的通用输入输出源程序。
关键词
汇编语言
小模式
调用C函数
多种进制
通用输入输出
源程序
实现
下载PDF
职称材料
源程序到流程图自动转换算法的研究与实现
被引量:
1
8
作者
牟占生
张红军
胡丽芳
《电脑开发与应用》
2008年第7期28-30,共3页
随着计算机软件技术的不断发展,软件开发与维护工作所占的比重越来越大,针对软件工程领域中所提出的逆向工程的研究课题,介绍一种将源程序代码自动转换为程序流程图的改进算法,提出了实现算法的方法和关键技术,并用Visual Basic语言结...
随着计算机软件技术的不断发展,软件开发与维护工作所占的比重越来越大,针对软件工程领域中所提出的逆向工程的研究课题,介绍一种将源程序代码自动转换为程序流程图的改进算法,提出了实现算法的方法和关键技术,并用Visual Basic语言结合实例对该算法进行了实现,验证了算法的可行性。分析结果表明,利用所提算法能够提高软件开发与维护的效率。
展开更多
关键词
算法
源程序
流程图
软件工程
VISUAL
Basic
下载PDF
职称材料
H.263信息压缩编码的研究与实现
被引量:
1
9
作者
王南南
《中国西部科技》
2009年第30期25-26,28,共3页
对视频信息进行压缩性处理,是多媒体技术的基本特征之一。视频压缩技术是数字视频领域的一项关键技术,对视频压缩技术与标准进行分析,重点阐述H.263视频压缩编码标准,并对其基本原理、编程实现进行了研究。
关键词
视频
压缩编码
H.263标准
源程序
下载PDF
职称材料
PC-1500计算机在公路测量绘图中的应用
被引量:
1
10
作者
祝文锋
艾丽杰
熊云飞
《煤炭技术》
CAS
2001年第4期47-48,共2页
介绍了PC - 15 0 0计算机在公路测量绘图中的应用 ,阐述了施工测量中纵横断面图绘制程序的编制过程 ,并收到了良好的效果。
关键词
施工测量
源程序
编制
PC-1500计算机
公路测量绘图
下载PDF
职称材料
FOXPRO源程序在线自动生成的分析与设计
被引量:
1
11
作者
郑建标
《新疆职工大学学报》
1997年第2期21-25,共5页
本文分析了FOXPRO源程序的在线自动生成的设计思想和设计方案。
关键词
在线
源程序
生成器
FOXPRO
MIS
下载PDF
职称材料
浅析如何提高C语言程序设计课的教学效果
被引量:
1
12
作者
孙英
《电脑知识与技术(过刊)》
2009年第7X期5477-5479,共3页
C语言是一门应用广泛的结构化程序设计语言,掌握好C语言,不但能提高程序设计的能力,也能为多门后续课程打下坚实的基础。本人在长期从事C语言程序设计课的教学过程中,通过不断总结,不断积累,得出了一种行之有效的教学方法,该方法根据不...
C语言是一门应用广泛的结构化程序设计语言,掌握好C语言,不但能提高程序设计的能力,也能为多门后续课程打下坚实的基础。本人在长期从事C语言程序设计课的教学过程中,通过不断总结,不断积累,得出了一种行之有效的教学方法,该方法根据不同的教学对象,将不同的已有教学方法灵活地结合在一起,通过教学实践,取得了很好的教学效果。
展开更多
关键词
程序设计
教学方法
选择结构
源程序
下载PDF
职称材料
多种语言开发环境系统的接口技术
13
作者
王江爱
唐拴录
+1 位作者
朱科科
吴明鑫
《陕西科技大学学报(自然科学版)》
1999年第3期109-113,共5页
通过对DOSINT 2EH 功能的调用,以用户习惯的下拉式菜单方式,将任意种高级语言编写的应用程序按任意分支调入内存并执行,从而构成了功能强大的多环境系统,实现了用多种语言环境开发的应用系统模块之间的接口技术,给出了汇...
通过对DOSINT 2EH 功能的调用,以用户习惯的下拉式菜单方式,将任意种高级语言编写的应用程序按任意分支调入内存并执行,从而构成了功能强大的多环境系统,实现了用多种语言环境开发的应用系统模块之间的接口技术,给出了汇编语言源程序,具有通用性和实用性.
展开更多
关键词
接口技术
开发环境
最佳组合
源程序
下载PDF
职称材料
中断驱动程序的编程原则和方法
14
作者
汪洋
《天中学刊》
1997年第5期25-28,共4页
根据中断驱动程序的适用范围。从替换、增补等方面阐述了中断驱动程序的编制原则及编制方法和技巧.
关键词
操作系数
DOS
中断驱动程序
编程原则
下载PDF
职称材料
驻波实验的计算机模拟
15
作者
李海雁
李凯佳
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第S1期30-31,共2页
利用计算机进行驻波实验模拟,给出了驻波实验的计算机模拟源程序,为在计算机上进行物理实验教学、演示实验以及课件制作提供编程的依据.
关键词
驻波实验
计算机模拟实验
源程序
下载PDF
职称材料
IBM PC/XT微机的BASIC加“P”程序
16
作者
马鹤峰
李新蓉
杨存文
《山西师范大学学报(自然科学版)》
1990年第1期19-23,共5页
本文详细分析了IBM PC微机的BASIC加“P”程序的加密原理;介绍了几种解密方法并剖析其解密原理。
关键词
源程序
子程序
BASIC解释程序
下载PDF
职称材料
基于汇编指令译码映射关系的软件代码安全分析
17
作者
郑金彬
《龙岩学院学报》
2014年第2期35-42,共8页
代码安全是计算机安全很重要的一个方面,所有的计算机软件归根结底都是代码,所以计算机代码安全是整个计算机系统安全的基石。以XOR、MOV、ADD、ADC等指令译码为例,分别就指令系统、教材阐述、软件代码等方面来探讨软件代码安全的问题,...
代码安全是计算机安全很重要的一个方面,所有的计算机软件归根结底都是代码,所以计算机代码安全是整个计算机系统安全的基石。以XOR、MOV、ADD、ADC等指令译码为例,分别就指令系统、教材阐述、软件代码等方面来探讨软件代码安全的问题,进而得出"软件安全与否不一定取决于源程序代码的公开与否"的观点。
展开更多
关键词
指令系统
映射关系
INTEL
后门
源程序
下载PDF
职称材料
YFT77向量语句的实现
18
作者
张可军
郭克榕
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1990年第4期73-77,共5页
本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。
关键词
程序语言
向量语句
语言扩充
下载PDF
职称材料
一种面向Web服务源程序的谓词抽象验证方法
19
作者
任强
张广泉
《苏州大学学报(工科版)》
CAS
2011年第2期14-19,共6页
Web服务作为一种典型的分布式计算技术,常用于跨平台跨组织的分布式环境,因此保证其安全性就显得十分重要。作为一种形式化验证方法,模型检测可以验证并发与分布式系统的安全性。现有形式化方法的验证对象多为Web服务高层描述语言,而针...
Web服务作为一种典型的分布式计算技术,常用于跨平台跨组织的分布式环境,因此保证其安全性就显得十分重要。作为一种形式化验证方法,模型检测可以验证并发与分布式系统的安全性。现有形式化方法的验证对象多为Web服务高层描述语言,而针对Web服务底层执行程序的验证工作则较少。提出一种面向Web服务源程序的验证方法,采用谓词抽象技术,将源程序转化为抽象模型,最后通过实验说明此方法的可行性。
展开更多
关键词
WEB服务
模型检测
谓词抽象
源程序
下载PDF
职称材料
振动合成原理实验的计算机模拟
20
作者
李海雁
《昆明师范高等专科学校学报》
2004年第4期43-45,共3页
利用计算机首先进行简谐振动实验的模拟 ,然后对振动合成原理实验进行模拟 ,并给出简谐振动实验和振动合成原理实验的计算机模拟源程序 ,为在计算机上进行物理实验教学。
关键词
简谐振动
振动合成原理
计算机模拟实验
源程序
下载PDF
职称材料
题名
注重源程序在《数据结构》课程中的重要性
被引量:
17
1
作者
陈宇文
机构
广西师范大学数计学院
出处
《高教论坛》
2004年第1期73-75,共3页
文摘
《数据结构》是计算机专业的一门主干专业课,本文作者通过多年的教学实践,提出了注重源程序的教学模式,并且在教学实践中取得了良好的效果。
关键词
《数据结构》课程
计算机专业
教学实践
教学模式
源程序
Keywords
data
structure
arithmetic
source program
分类号
TP331-41 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
对软件侵权鉴定中的源程序作用的认识
被引量:
3
2
作者
罗苏平
机构
华南师范大学
出处
《广东交通职业技术学院学报》
2005年第1期55-57,共3页
基金
广东省教育厅资助的自然科研项目<数字化技术与网络版权保护研究>(编号200020)
文摘
源程序是软件开发者身份的重要证明,在软件著作权的纠纷中,如果当事人不能出示源程序,有可能因举证不能而导致承担法律责任。但是,源程序并不是开发者身份的唯一证明,软件开发过程中的一切原始材料,均可作为软件作者的开发证明。另外在软件侵权的鉴定中,不能以程序不完全相同而简单地否定抄袭可能性的存在。
关键词
源程序
定中
侵权
软件开发过程
软件开发者
软件著作权
法律责任
原始材料
证明
当事人
可能性
Keywords
software
source program
appraisal
infringement
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
D923.4 [自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
一段用于循环冗余码检错(CRC)的VC源程序分析
被引量:
4
3
作者
蔡慧敏
王公浩
卞金来
机构
海军航空工程学院青岛分院航空电子系
出处
《测控技术》
CSCD
2007年第10期48-49,共2页
文摘
从CRC的原理和分类入手对源程序进行分析,根据变量初值和运算移位方式,确定源程序采用的CRC标准和D IVI-SOR代码含义,最后给出源程序运算过程。解决了对电台控制盒进行测试存在的串行通信检错问题。
关键词
循环冗余码检错
源程序
CRC标准
Keywords
cyclic
redundancy
check
source program
CRC
standard
分类号
TP393.04 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
坐标法线路测量计算
被引量:
3
4
作者
秦茂环
机构
铁道第四勘察设计院一分院
出处
《铁路航测》
2002年第3期36-37,共2页
文摘
介绍用坐标法进行线路测量的原理 ,推导出坐标计算的数学公式 。
关键词
坐标法
线路测量
坐标计算
源程序
测量原理
工程测量
Keywords
Route
survey
Coordinate
calculation
source program
分类号
TB22 [天文地球—大地测量学与测量工程]
U212.24 [一般工业技术—工程设计测绘]
下载PDF
职称材料
题名
数字化变电站远动规约Agent通信接口应用研究
被引量:
3
5
作者
王尉军
殷慧
机构
贵阳供电局
出处
《贵州电力技术》
2015年第12期1-4,共4页
文摘
针对各个厂家远动通信规约传输格式的差异性,通过构建一种远动规约Agent的接口实现模式,用户通过接口输入规约的规则可变参数,规则Agent里的规约规则库自动更新,分析Agent完成规则的识别和处理,实现自适应不同主站规约的要求。以220 kV数字化变电站实际应用为例,验证了该接口模式可以在不需要修改源程序的情况下更改规约可变参数,大大减少了维护规约的工作量。
关键词
通信规约
规约Agent
可变参数
规则库
源程序
Keywords
communication
protocol
protocol
agent
variable
parameter
rule
base
source program
分类号
TM73 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
“桩箱(筏)基础共同作用”分析的程序
6
作者
陈颖辉
孙君实
邵全
机构
云南工业大学
昆明水利水电勘察设计院
出处
《云南工业大学学报》
1999年第2期32-35,共4页
文摘
采用“桩箱(筏)基础共同作用”程序对工程实测进行探讨和分析,桩箱(筏)基础的桩数优化应用该程序是可行的.
关键词
桩数优化方法
共同作用
桩箱基础
桩筏基础
Keywords
source program
pile
number's
optimization
method
pile,
box
and
raft
foundation
分类号
TU473.1 [建筑科学—结构工程]
TU473.2 [建筑科学—土工工程]
下载PDF
职称材料
题名
汇编语言实现多种进制的通用输入输出
被引量:
2
7
作者
罗南超
向昌成
李唐辉
机构
阿坝师范高等专科学校计算机科学系
电子科技大学应用数学学院
四川大学计算机学院
出处
《电脑知识与技术》
2008年第12X期3068-3070,共3页
文摘
基于小模式,调用C语言的Scanf()和Printf()函数实现了在汇编语言中不同进制的输入和输出,文章对在汇编程序中调用C函数的关键问题进行了分析并据此给出了在汇编语言中实现多种进制的通用输入输出源程序。
关键词
汇编语言
小模式
调用C函数
多种进制
通用输入输出
源程序
实现
Keywords
assembly
language
the
small
model
called
C
function
varied
Hexadecimal
universal
input-output
source program
realization
分类号
TP313 [自动化与计算机技术—计算机软件与理论][自动化与计算机技术—计算机科学与技术]
下载PDF
职称材料
题名
源程序到流程图自动转换算法的研究与实现
被引量:
1
8
作者
牟占生
张红军
胡丽芳
机构
河南师范大学计算机与信息技术学院
出处
《电脑开发与应用》
2008年第7期28-30,共3页
文摘
随着计算机软件技术的不断发展,软件开发与维护工作所占的比重越来越大,针对软件工程领域中所提出的逆向工程的研究课题,介绍一种将源程序代码自动转换为程序流程图的改进算法,提出了实现算法的方法和关键技术,并用Visual Basic语言结合实例对该算法进行了实现,验证了算法的可行性。分析结果表明,利用所提算法能够提高软件开发与维护的效率。
关键词
算法
源程序
流程图
软件工程
VISUAL
Basic
Keywords
algorithm,
source program
,
flowchart,
software
engineering,
visual
basic
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
H.263信息压缩编码的研究与实现
被引量:
1
9
作者
王南南
机构
河南机电高等专科学校电气系
出处
《中国西部科技》
2009年第30期25-26,28,共3页
文摘
对视频信息进行压缩性处理,是多媒体技术的基本特征之一。视频压缩技术是数字视频领域的一项关键技术,对视频压缩技术与标准进行分析,重点阐述H.263视频压缩编码标准,并对其基本原理、编程实现进行了研究。
关键词
视频
压缩编码
H.263标准
源程序
Keywords
Video
Compression
coding
H.263
standard
source program
分类号
TN919.81 [电子电信—通信与信息系统]
TP391.41 [电子电信—信息与通信工程]
下载PDF
职称材料
题名
PC-1500计算机在公路测量绘图中的应用
被引量:
1
10
作者
祝文锋
艾丽杰
熊云飞
机构
七煤集团公司建设工程总公司
七煤集团公司设计院
哈尔滨煤田地质勘探设计研究院
出处
《煤炭技术》
CAS
2001年第4期47-48,共2页
文摘
介绍了PC - 15 0 0计算机在公路测量绘图中的应用 ,阐述了施工测量中纵横断面图绘制程序的编制过程 ,并收到了良好的效果。
关键词
施工测量
源程序
编制
PC-1500计算机
公路测量绘图
Keywords
construction
measune
source program
program
ming
分类号
U412.2 [交通运输工程—道路与铁道工程]
下载PDF
职称材料
题名
FOXPRO源程序在线自动生成的分析与设计
被引量:
1
11
作者
郑建标
机构
新疆职工大学
出处
《新疆职工大学学报》
1997年第2期21-25,共5页
文摘
本文分析了FOXPRO源程序的在线自动生成的设计思想和设计方案。
关键词
在线
源程序
生成器
FOXPRO
MIS
Keywords
Online
source program
building
FOXPRO
MIS
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
浅析如何提高C语言程序设计课的教学效果
被引量:
1
12
作者
孙英
机构
楚雄师范学院计算机科学系
出处
《电脑知识与技术(过刊)》
2009年第7X期5477-5479,共3页
文摘
C语言是一门应用广泛的结构化程序设计语言,掌握好C语言,不但能提高程序设计的能力,也能为多门后续课程打下坚实的基础。本人在长期从事C语言程序设计课的教学过程中,通过不断总结,不断积累,得出了一种行之有效的教学方法,该方法根据不同的教学对象,将不同的已有教学方法灵活地结合在一起,通过教学实践,取得了很好的教学效果。
关键词
程序设计
教学方法
选择结构
源程序
Keywords
program
ming
teaching
method
selective
structure
source program
分类号
TP312.1-4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
多种语言开发环境系统的接口技术
13
作者
王江爱
唐拴录
朱科科
吴明鑫
机构
宝鸡文理学院电气系
宝鸡东站
咸阳教育学院
出处
《陕西科技大学学报(自然科学版)》
1999年第3期109-113,共5页
文摘
通过对DOSINT 2EH 功能的调用,以用户习惯的下拉式菜单方式,将任意种高级语言编写的应用程序按任意分支调入内存并执行,从而构成了功能强大的多环境系统,实现了用多种语言环境开发的应用系统模块之间的接口技术,给出了汇编语言源程序,具有通用性和实用性.
关键词
接口技术
开发环境
最佳组合
源程序
Keywords
interface
technique
developmental
surrounding
best
constitute
source program
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
中断驱动程序的编程原则和方法
14
作者
汪洋
机构
驻马店师专计算中心
出处
《天中学刊》
1997年第5期25-28,共4页
文摘
根据中断驱动程序的适用范围。从替换、增补等方面阐述了中断驱动程序的编制原则及编制方法和技巧.
关键词
操作系数
DOS
中断驱动程序
编程原则
Keywords
interrupt
drive
program
,
hardware
operating
system,
source program
,
register
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
驻波实验的计算机模拟
15
作者
李海雁
李凯佳
机构
昆明师范高等专科学校计算机系
出处
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第S1期30-31,共2页
文摘
利用计算机进行驻波实验模拟,给出了驻波实验的计算机模拟源程序,为在计算机上进行物理实验教学、演示实验以及课件制作提供编程的依据.
关键词
驻波实验
计算机模拟实验
源程序
Keywords
standing
wave
experiment
computer
simulated
experiment
source program
分类号
O4-33 [理学—物理]
下载PDF
职称材料
题名
IBM PC/XT微机的BASIC加“P”程序
16
作者
马鹤峰
李新蓉
杨存文
机构
山西师大计算中心
太原工大
出处
《山西师范大学学报(自然科学版)》
1990年第1期19-23,共5页
文摘
本文详细分析了IBM PC微机的BASIC加“P”程序的加密原理;介绍了几种解密方法并剖析其解密原理。
关键词
源程序
子程序
BASIC解释程序
Keywords
source program
Sub
program
Basic
interpreler
分类号
N [自然科学总论]
下载PDF
职称材料
题名
基于汇编指令译码映射关系的软件代码安全分析
17
作者
郑金彬
机构
龙岩学院
出处
《龙岩学院学报》
2014年第2期35-42,共8页
文摘
代码安全是计算机安全很重要的一个方面,所有的计算机软件归根结底都是代码,所以计算机代码安全是整个计算机系统安全的基石。以XOR、MOV、ADD、ADC等指令译码为例,分别就指令系统、教材阐述、软件代码等方面来探讨软件代码安全的问题,进而得出"软件安全与否不一定取决于源程序代码的公开与否"的观点。
关键词
指令系统
映射关系
INTEL
后门
源程序
Keywords
instruction
system
mapping
relation
Intel
back
door
source program
分类号
TP313 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
YFT77向量语句的实现
18
作者
张可军
郭克榕
机构
国防科技大学计算机系
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1990年第4期73-77,共5页
文摘
本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。
关键词
程序语言
向量语句
语言扩充
Keywords
program
ming
language
source program
vector
statement/intermediate
language
vectorjzation
language
extension
program
transformation
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种面向Web服务源程序的谓词抽象验证方法
19
作者
任强
张广泉
机构
苏州大学计算机科学与技术学院
中国科学院软件研究所计算机科学国家重点实验室
出处
《苏州大学学报(工科版)》
CAS
2011年第2期14-19,共6页
基金
中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908)
江苏省高校自然科学研究项目(编号08KJB520010)
文摘
Web服务作为一种典型的分布式计算技术,常用于跨平台跨组织的分布式环境,因此保证其安全性就显得十分重要。作为一种形式化验证方法,模型检测可以验证并发与分布式系统的安全性。现有形式化方法的验证对象多为Web服务高层描述语言,而针对Web服务底层执行程序的验证工作则较少。提出一种面向Web服务源程序的验证方法,采用谓词抽象技术,将源程序转化为抽象模型,最后通过实验说明此方法的可行性。
关键词
WEB服务
模型检测
谓词抽象
源程序
Keywords
Web
services
model
checking
predicate
Abstraction
source program
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
振动合成原理实验的计算机模拟
20
作者
李海雁
机构
昆明师范高等专科学校计算机系
出处
《昆明师范高等专科学校学报》
2004年第4期43-45,共3页
文摘
利用计算机首先进行简谐振动实验的模拟 ,然后对振动合成原理实验进行模拟 ,并给出简谐振动实验和振动合成原理实验的计算机模拟源程序 ,为在计算机上进行物理实验教学。
关键词
简谐振动
振动合成原理
计算机模拟实验
源程序
Keywords
simple
harmonic
oscillator
compound
vibration
computer
simulated
experiment
source program
分类号
O321 [理学—一般力学与力学基础]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
注重源程序在《数据结构》课程中的重要性
陈宇文
《高教论坛》
2004
17
下载PDF
职称材料
2
对软件侵权鉴定中的源程序作用的认识
罗苏平
《广东交通职业技术学院学报》
2005
3
下载PDF
职称材料
3
一段用于循环冗余码检错(CRC)的VC源程序分析
蔡慧敏
王公浩
卞金来
《测控技术》
CSCD
2007
4
下载PDF
职称材料
4
坐标法线路测量计算
秦茂环
《铁路航测》
2002
3
下载PDF
职称材料
5
数字化变电站远动规约Agent通信接口应用研究
王尉军
殷慧
《贵州电力技术》
2015
3
下载PDF
职称材料
6
“桩箱(筏)基础共同作用”分析的程序
陈颖辉
孙君实
邵全
《云南工业大学学报》
1999
0
下载PDF
职称材料
7
汇编语言实现多种进制的通用输入输出
罗南超
向昌成
李唐辉
《电脑知识与技术》
2008
2
下载PDF
职称材料
8
源程序到流程图自动转换算法的研究与实现
牟占生
张红军
胡丽芳
《电脑开发与应用》
2008
1
下载PDF
职称材料
9
H.263信息压缩编码的研究与实现
王南南
《中国西部科技》
2009
1
下载PDF
职称材料
10
PC-1500计算机在公路测量绘图中的应用
祝文锋
艾丽杰
熊云飞
《煤炭技术》
CAS
2001
1
下载PDF
职称材料
11
FOXPRO源程序在线自动生成的分析与设计
郑建标
《新疆职工大学学报》
1997
1
下载PDF
职称材料
12
浅析如何提高C语言程序设计课的教学效果
孙英
《电脑知识与技术(过刊)》
2009
1
下载PDF
职称材料
13
多种语言开发环境系统的接口技术
王江爱
唐拴录
朱科科
吴明鑫
《陕西科技大学学报(自然科学版)》
1999
0
下载PDF
职称材料
14
中断驱动程序的编程原则和方法
汪洋
《天中学刊》
1997
0
下载PDF
职称材料
15
驻波实验的计算机模拟
李海雁
李凯佳
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2005
0
下载PDF
职称材料
16
IBM PC/XT微机的BASIC加“P”程序
马鹤峰
李新蓉
杨存文
《山西师范大学学报(自然科学版)》
1990
0
下载PDF
职称材料
17
基于汇编指令译码映射关系的软件代码安全分析
郑金彬
《龙岩学院学报》
2014
0
下载PDF
职称材料
18
YFT77向量语句的实现
张可军
郭克榕
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1990
0
下载PDF
职称材料
19
一种面向Web服务源程序的谓词抽象验证方法
任强
张广泉
《苏州大学学报(工科版)》
CAS
2011
0
下载PDF
职称材料
20
振动合成原理实验的计算机模拟
李海雁
《昆明师范高等专科学校学报》
2004
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
4
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部