期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Gdel语言延迟声明语句的语义及其实现方法
1
作者
曹炳义
赵致琢
《计算机科学》
CSCD
北大核心
2012年第5期114-116,共3页
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通...
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。
展开更多
关键词
g
del
语言
延迟计算
进化代数
过程性语义
扩展Warren机
下载PDF
职称材料
基于Labview的超导腔测试数据采集系统
被引量:
9
2
作者
张娟
戴建枰
+4 位作者
黄泓
徐波
林海英
孙毅
潘卫民
《核电子学与探测技术》
CAS
CSCD
北大核心
2013年第9期1098-1103,共6页
设计了基于Labview的超导腔测试数据采集系统,该系统应用于超导腔垂直和水平测试的数据采集,实现了测量仪器、本地机及远程机的数据通讯,于国内首次实现了Q0~Eacc曲线及辐射剂量曲线的实时显示,并使得Labview采集的数据与EPICS之间互...
设计了基于Labview的超导腔测试数据采集系统,该系统应用于超导腔垂直和水平测试的数据采集,实现了测量仪器、本地机及远程机的数据通讯,于国内首次实现了Q0~Eacc曲线及辐射剂量曲线的实时显示,并使得Labview采集的数据与EPICS之间互相连通。该数据采集系统根据被测数据带宽及精度的不同,灵活选择不同的传输接口,采集功率计、频率计、温度计、辐射剂量探测器等仪器的信号,实时地传输、处理并存储所有数据。Spoke012超导腔垂直测试实验结果表明,该系统运行稳定可靠,易于维护,界面友好,同时具有很好的可移植性,可在其他类型的超导腔测试中获得广泛应用。
展开更多
关键词
LABVIEW
超导腔
数据采集系统
g
语言
实验物理与工业控制系统
下载PDF
职称材料
新一代的智能仪器—虚拟仪器
被引量:
1
3
作者
耿世钧
张津春
刘伟玲
《河北工业大学学报》
CAS
1999年第6期101-103,共3页
作者将虚拟仪器与传统的智能仪器做了比较,指出了虚拟仪器的概念和诸特点,认为图形化G语言和软件包的应用极大的减少了底层软件开发的工作.用实例介绍了虚拟仪器的构成之后,作者指出了虚拟仪器是传统智能仪器的一个新的发展阶段.
关键词
虚拟仪器
虚拟仪器平台
智能仪器
g
语言
测厚计
下载PDF
职称材料
重审哥德尔思想
被引量:
1
4
作者
郝兆宽
《科学.经济.社会》
2021年第2期32-38,共7页
本文的主要内容来自《哥德尔纲领》(复旦大学出版社,2018年)一书的序言,在这里做了适当的修改,同时增补了该书第四章的有关内容,主要目的是强调当前哲学界对哥德尔思想的研究还很不够,许多深刻的思想尚待发掘。同时,我们也意识到,哥德...
本文的主要内容来自《哥德尔纲领》(复旦大学出版社,2018年)一书的序言,在这里做了适当的修改,同时增补了该书第四章的有关内容,主要目的是强调当前哲学界对哥德尔思想的研究还很不够,许多深刻的思想尚待发掘。同时,我们也意识到,哥德尔思想备受冷落的根源在于它不属于当代哲学的任何一个范式。跳出已有的藩篱,在数学实践中寻找哲学的灵感也许是理解哥德尔的一把钥匙。
展开更多
关键词
哥德尔
数学哲学
柏拉图主义
连续统假设
形式主义
数学实践
哥德尔纲领
下载PDF
职称材料
合成语言FOPL实现注记
5
作者
梅宏
孙永强
《计算机研究与发展》
EI
CSCD
北大核心
1995年第3期37-44,共8页
合成语言FOPL是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论FOPL语言的实现技术。
关键词
合成语言
FOPL语言
程序设计
程序语言
下载PDF
职称材料
基于LabVIEW平台下的数字频谱分析系统的实现
被引量:
2
6
作者
顾善秋
江桦
李晶晶
《信息工程大学学报》
2001年第2期47-50,共4页
本文主要讨论了LabVIEW中G语言对开发程序应用的巨大潜力 ;LabVIEW与其它语言的接口 ;基于软件无线电理论基础上 ,针对卫星信号在欠采样条件下用G语言进行的数字频谱分析。
关键词
软件无线电
g
语言
带宽采样
数字频谱分析系统
信号采样
信号处理
LABVIEW
下载PDF
职称材料
γ谱法检测空气吸收剂量率计算软件编制
7
作者
王晨毅
周青芝
+4 位作者
李德红
黄建微
郝艳梅
张云祺
居治豪
《核电子学与探测技术》
北大核心
2017年第9期899-902,共4页
为了实现γ能谱剂量的自动、快速及可靠计算。利用γ能谱文件数据,在G(E)函数的算法基础上使用Java编程语言,编制了一套环境γ能谱剂量转换软件。该软件具有γ能谱文件自动读取、数据分析及剂量计算的功能,可通过分析γ能谱文件实现空...
为了实现γ能谱剂量的自动、快速及可靠计算。利用γ能谱文件数据,在G(E)函数的算法基础上使用Java编程语言,编制了一套环境γ能谱剂量转换软件。该软件具有γ能谱文件自动读取、数据分析及剂量计算的功能,可通过分析γ能谱文件实现空气吸收剂量率的自动计算。验证实验表明,该软件计算结果准确、可靠。
展开更多
关键词
g
(E)函数
JAVA编程语言
Γ能谱
空气吸收剂量率
下载PDF
职称材料
哥德尔纲领的实现能支持数学实在论吗?
8
作者
高坤
《科学.经济.社会》
2021年第2期49-56,共8页
哥德尔纲领是由哥德尔提出的一个旨在解决集合论独立性问题的研究方略,它对最近半个世纪的集合论研究产生了巨大的影响。当代集合论的一些最新成果显示,这个纲领有可能面临一个完美的实现。很多人认为,这将有力地支持数学实在论。但更...
哥德尔纲领是由哥德尔提出的一个旨在解决集合论独立性问题的研究方略,它对最近半个世纪的集合论研究产生了巨大的影响。当代集合论的一些最新成果显示,这个纲领有可能面临一个完美的实现。很多人认为,这将有力地支持数学实在论。但更深入的分析表明,哥德尔纲领的真正基础是集合的迭代概念,而非实在论;并且,集合的迭代概念以及践行哥德尔纲领所使用的外在的公理辩护方法,实际上与实在论的立场有潜在的冲突,反倒与反实在论的图景更为契合。
展开更多
关键词
数学哲学
哥德尔纲领
数学实在论
下载PDF
职称材料
题名
Gdel语言延迟声明语句的语义及其实现方法
1
作者
曹炳义
赵致琢
机构
厦门大学计算机科学系
出处
《计算机科学》
CSCD
北大核心
2012年第5期114-116,共3页
基金
国家自然科学基金(69383004)资助
文摘
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。
关键词
g
del
语言
延迟计算
进化代数
过程性语义
扩展Warren机
Keywords
programming language gdel
del
ay computation
Evolvin
g
al
g
ebra
Procedural semantics
Extended WAM
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Labview的超导腔测试数据采集系统
被引量:
9
2
作者
张娟
戴建枰
黄泓
徐波
林海英
孙毅
潘卫民
机构
中国科学院研究生院
中国科学院高能物理研究所
出处
《核电子学与探测技术》
CAS
CSCD
北大核心
2013年第9期1098-1103,共6页
基金
中国科学院战略性科技先导专项ADS(XDA03020600)
文摘
设计了基于Labview的超导腔测试数据采集系统,该系统应用于超导腔垂直和水平测试的数据采集,实现了测量仪器、本地机及远程机的数据通讯,于国内首次实现了Q0~Eacc曲线及辐射剂量曲线的实时显示,并使得Labview采集的数据与EPICS之间互相连通。该数据采集系统根据被测数据带宽及精度的不同,灵活选择不同的传输接口,采集功率计、频率计、温度计、辐射剂量探测器等仪器的信号,实时地传输、处理并存储所有数据。Spoke012超导腔垂直测试实验结果表明,该系统运行稳定可靠,易于维护,界面友好,同时具有很好的可移植性,可在其他类型的超导腔测试中获得广泛应用。
关键词
LABVIEW
超导腔
数据采集系统
g
语言
实验物理与工业控制系统
Keywords
Labview
superconductin
g
cavity
data acquisition system
g
programming
language
EPICS
分类号
TP274.2 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
新一代的智能仪器—虚拟仪器
被引量:
1
3
作者
耿世钧
张津春
刘伟玲
机构
河北工业大学机械学院
出处
《河北工业大学学报》
CAS
1999年第6期101-103,共3页
文摘
作者将虚拟仪器与传统的智能仪器做了比较,指出了虚拟仪器的概念和诸特点,认为图形化G语言和软件包的应用极大的减少了底层软件开发的工作.用实例介绍了虚拟仪器的构成之后,作者指出了虚拟仪器是传统智能仪器的一个新的发展阶段.
关键词
虚拟仪器
虚拟仪器平台
智能仪器
g
语言
测厚计
Keywords
Virtual instrument, Platform of virtual instrument, Intelli
g
ent instrument,
g
program
language
, Instrument for thick measure
分类号
TP216 [自动化与计算机技术—检测技术与自动化装置]
TH7-39 [机械工程—精密仪器及机械]
下载PDF
职称材料
题名
重审哥德尔思想
被引量:
1
4
作者
郝兆宽
机构
复旦大学哲学学院
出处
《科学.经济.社会》
2021年第2期32-38,共7页
文摘
本文的主要内容来自《哥德尔纲领》(复旦大学出版社,2018年)一书的序言,在这里做了适当的修改,同时增补了该书第四章的有关内容,主要目的是强调当前哲学界对哥德尔思想的研究还很不够,许多深刻的思想尚待发掘。同时,我们也意识到,哥德尔思想备受冷落的根源在于它不属于当代哲学的任何一个范式。跳出已有的藩篱,在数学实践中寻找哲学的灵感也许是理解哥德尔的一把钥匙。
关键词
哥德尔
数学哲学
柏拉图主义
连续统假设
形式主义
数学实践
哥德尔纲领
Keywords
g
?
del
philosophy of mathematics
platonism
continuum hypothesis
formalism
mathematical practice
g
?
del
’s
program
分类号
B712.59 [哲学宗教—外国哲学]
下载PDF
职称材料
题名
合成语言FOPL实现注记
5
作者
梅宏
孙永强
机构
北京大学计算机系
出处
《计算机研究与发展》
EI
CSCD
北大核心
1995年第3期37-44,共8页
基金
国家自然科学基金
863高科技计划
文摘
合成语言FOPL是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论FOPL语言的实现技术。
关键词
合成语言
FOPL语言
程序设计
程序语言
Keywords
inte
g
rated
language
, functional
programming
, object-oriented
programming
,
g
-machine,
language
implementation.
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于LabVIEW平台下的数字频谱分析系统的实现
被引量:
2
6
作者
顾善秋
江桦
李晶晶
机构
信息工程大学基础部
出处
《信息工程大学学报》
2001年第2期47-50,共4页
文摘
本文主要讨论了LabVIEW中G语言对开发程序应用的巨大潜力 ;LabVIEW与其它语言的接口 ;基于软件无线电理论基础上 ,针对卫星信号在欠采样条件下用G语言进行的数字频谱分析。
关键词
软件无线电
g
语言
带宽采样
数字频谱分析系统
信号采样
信号处理
LABVIEW
Keywords
software radio(SR)
virtual instruments(VI)
g
programming
language
A/D
di
g
ital down converter(DDC)
spectrium
bandwidth sample
分类号
TN92 [电子电信—通信与信息系统]
TN911.7 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
γ谱法检测空气吸收剂量率计算软件编制
7
作者
王晨毅
周青芝
李德红
黄建微
郝艳梅
张云祺
居治豪
机构
南华大学核科学技术学院
中国计量科学研究院
出处
《核电子学与探测技术》
北大核心
2017年第9期899-902,共4页
基金
中国计量科学研究院基本科研业务费(25-AKY1623)资助
文摘
为了实现γ能谱剂量的自动、快速及可靠计算。利用γ能谱文件数据,在G(E)函数的算法基础上使用Java编程语言,编制了一套环境γ能谱剂量转换软件。该软件具有γ能谱文件自动读取、数据分析及剂量计算的功能,可通过分析γ能谱文件实现空气吸收剂量率的自动计算。验证实验表明,该软件计算结果准确、可靠。
关键词
g
(E)函数
JAVA编程语言
Γ能谱
空气吸收剂量率
Keywords
g
(E) function
java
programming
language
g
amma-ray spectrum
air dose rate
分类号
TL72 [核科学技术—辐射防护及环境保护]
下载PDF
职称材料
题名
哥德尔纲领的实现能支持数学实在论吗?
8
作者
高坤
机构
山西大学科学技术哲学研究中心
出处
《科学.经济.社会》
2021年第2期49-56,共8页
基金
山西省高等学校哲学社会科学研究项目“哥德尔纲领与数学实在论”(2019W014)
文摘
哥德尔纲领是由哥德尔提出的一个旨在解决集合论独立性问题的研究方略,它对最近半个世纪的集合论研究产生了巨大的影响。当代集合论的一些最新成果显示,这个纲领有可能面临一个完美的实现。很多人认为,这将有力地支持数学实在论。但更深入的分析表明,哥德尔纲领的真正基础是集合的迭代概念,而非实在论;并且,集合的迭代概念以及践行哥德尔纲领所使用的外在的公理辩护方法,实际上与实在论的立场有潜在的冲突,反倒与反实在论的图景更为契合。
关键词
数学哲学
哥德尔纲领
数学实在论
Keywords
philosophy of mathematics
g
?
del
’s
program
mathematical realism
分类号
O1-0 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Gdel语言延迟声明语句的语义及其实现方法
曹炳义
赵致琢
《计算机科学》
CSCD
北大核心
2012
0
下载PDF
职称材料
2
基于Labview的超导腔测试数据采集系统
张娟
戴建枰
黄泓
徐波
林海英
孙毅
潘卫民
《核电子学与探测技术》
CAS
CSCD
北大核心
2013
9
下载PDF
职称材料
3
新一代的智能仪器—虚拟仪器
耿世钧
张津春
刘伟玲
《河北工业大学学报》
CAS
1999
1
下载PDF
职称材料
4
重审哥德尔思想
郝兆宽
《科学.经济.社会》
2021
1
下载PDF
职称材料
5
合成语言FOPL实现注记
梅宏
孙永强
《计算机研究与发展》
EI
CSCD
北大核心
1995
0
下载PDF
职称材料
6
基于LabVIEW平台下的数字频谱分析系统的实现
顾善秋
江桦
李晶晶
《信息工程大学学报》
2001
2
下载PDF
职称材料
7
γ谱法检测空气吸收剂量率计算软件编制
王晨毅
周青芝
李德红
黄建微
郝艳梅
张云祺
居治豪
《核电子学与探测技术》
北大核心
2017
0
下载PDF
职称材料
8
哥德尔纲领的实现能支持数学实在论吗?
高坤
《科学.经济.社会》
2021
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部