Gdel语言延迟声明语句的语义及其实现方法

Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。

基于Labview的超导腔测试数据采集系统

设计了基于Labview的超导腔测试数据采集系统,该系统应用于超导腔垂直和水平测试的数据采集,实现了测量仪器、本地机及远程机的数据通讯,于国内首次实现了Q0～Eacc曲线及辐射剂量曲线的实时显示,并使得Labview采集的数据与EPICS之间互相连通。该数据采集系统根据被测数据带宽及精度的不同,灵活选择不同的传输接口,采集功率计、频率计、温度计、辐射剂量探测器等仪器的信号,实时地传输、处理并存储所有数据。Spoke012超导腔垂直测试实验结果表明,该系统运行稳定可靠,易于维护,界面友好,同时具有很好的可移植性,可在其他类型的超导腔测试中获得广泛应用。

新一代的智能仪器—虚拟仪器

作者将虚拟仪器与传统的智能仪器做了比较，指出了虚拟仪器的概念和诸特点，认为图形化Ｇ语言和软件包的应用极大的减少了底层软件开发的工作．用实例介绍了虚拟仪器的构成之后，作者指出了虚拟仪器是传统智能仪器的一个新的发展阶段．

重审哥德尔思想

本文的主要内容来自《哥德尔纲领》(复旦大学出版社,2018年)一书的序言,在这里做了适当的修改,同时增补了该书第四章的有关内容,主要目的是强调当前哲学界对哥德尔思想的研究还很不够,许多深刻的思想尚待发掘。同时,我们也意识到,哥德尔思想备受冷落的根源在于它不属于当代哲学的任何一个范式。跳出已有的藩篱,在数学实践中寻找哲学的灵感也许是理解哥德尔的一把钥匙。

合成语言FOPL实现注记

合成语言ＦＯＰＬ是笔者设计并实现的一种同时支持函数式程序设计风格和面向对象程序设计风格的语言。本文主要讨论ＦＯＰＬ语言的实现技术。

基于LabVIEW平台下的数字频谱分析系统的实现

本文主要讨论了LabVIEW中G语言对开发程序应用的巨大潜力 ;LabVIEW与其它语言的接口 ;基于软件无线电理论基础上 ,针对卫星信号在欠采样条件下用G语言进行的数字频谱分析。

γ谱法检测空气吸收剂量率计算软件编制

为了实现γ能谱剂量的自动、快速及可靠计算。利用γ能谱文件数据,在G(E)函数的算法基础上使用Java编程语言,编制了一套环境γ能谱剂量转换软件。该软件具有γ能谱文件自动读取、数据分析及剂量计算的功能,可通过分析γ能谱文件实现空气吸收剂量率的自动计算。验证实验表明,该软件计算结果准确、可靠。

哥德尔纲领的实现能支持数学实在论吗?

哥德尔纲领是由哥德尔提出的一个旨在解决集合论独立性问题的研究方略,它对最近半个世纪的集合论研究产生了巨大的影响。当代集合论的一些最新成果显示,这个纲领有可能面临一个完美的实现。很多人认为,这将有力地支持数学实在论。但更深入的分析表明,哥德尔纲领的真正基础是集合的迭代概念,而非实在论;并且,集合的迭代概念以及践行哥德尔纲领所使用的外在的公理辩护方法,实际上与实在论的立场有潜在的冲突,反倒与反实在论的图景更为契合。