泛函程序设计语言FFP的γω演算语义

一、前言 γω演算有希望成为泛函程序设计语言(至少,对于不带类型的)最一般的语义学理论基础。本文为形式泛函程序设计语言FFP奠定γω演算语义,从而也为γω演算开发了一种应用。文中还着重讨论了FFP语言中的元合成法则,并提出了一般性元合成法则(general metacomposition rule,它区别于广义元合成法则)。     

试论C中的结构化程序设计

C语言是一种很好的结构化程序设计语言;结构化程序设计方法可以概括为自顶向下、逐步求精、模块化、限制使用goto语句,将原来较为复杂的问题化简为一系列简单模块的设计;一个程序的任何逻辑问题均可用顺序结构、选择结构和循环结构这3种基本结构来描述.     

试论C中的结构化程序设计

C语言是一种很好的结构化程序设计语言；结构化程序设计方法可以概括为自顶向下、逐步求精、模块化、限制使用goto语句，将原来较为复杂的问题化简为一系列简单模块的设计；一个程序的任何逻辑问题均可用顺序结构、选择结构和循环结构这3种基本结构来描述。     

语言时间扩展——一种功能时间程序设计方法

1 问题计算机软件系统中存在两类执行时间约束.一类为系统各部分之间时间先后的相对约束、如互斥、同步等;另一类为系统某一部分执行时间上的绝对约束,此类典型实例为实时系统.传统程序设计注重于描述系统的功能,对于第一类约束,常采用隐式的方法,如PV操作、管程等实现.这种隐式的方法,增加了系统设计和语义验证的难度,影响软件开发效率.对于第二类约束,目前往往是设计并使用一种新的语言:实时程序设计语言来完成.     

智能压电声子晶体与超材料研究现状与展望

声子晶体与超材料作为一种人工设计的新型材料或结构,具有许多独特和超常的弹性波传播特性,为机械振动的有效控制与弹性波的精准调控提供了一个崭新的研究途径与充满希望的应用机遇.然而,由于传统的声子晶体与超材料在加工制备之后不易根据实际需求重新调整其几何参数和材料属性,大大限制了其实际应用.基于压电或力-电耦合效应的智能压电声子晶体与超材料,通过调节电场即可按需调控结构的振动或波动特性,可大大拓宽传统声子晶体与超材料的应用范围.本文依据压电材料与弹性材料或结构不同的融合形式,试图将智能压电声子晶体与超材料大致分为三类:第一类为单一压电声子晶体与超材料,此类仅由单一的压电材料组成,可以外接电极也可以无外接电极;第二类为内嵌式压电/弹性复合材料型压电声子晶体与超材料,该类由压电散射体埋嵌在弹性基体中而构成,当然也可将压电材料与弹性基体的角色互换;第三类为由外贴式压电片与弹性结构组成的复合型压电声子晶体与超材料,此类将压电片外贴在弹性基体结构(杆、梁、板等)的表面.已有研究表明,相较于其他弹性波调控方式,基于压电或力-电耦合效应的智能压电声子晶体和超材料的主要优势体现在反应迅速,无须改变原有结构的固...     

四川科学技术出版社新书

《FORTRAN结构程序设计》史济民编著,本书系统地介绍了国内外广泛应用的计算机FORTRAN语言的两种最新文本——FORTRAN77和标准FORTRAN,并结合讲解语言的内容,循序渐进地讲解了结构程序设计的指导思想和主要方法。全书取材新颖、注重应用,对算法、文件、程序设计步骤等各设专章介绍。例题较多,利于学习应用、启发思维。可作为大专学生、工程技术人员与管理干部学习FORTRAN语言和程序设计方法的教材,也可供具有高中以上文化程度的人员自学时使用,今年底出版。《电视机收音机录象机收录机集成电路使用手册》本书由董成国等编著,介绍了国内外用于收音机、电视机、     

基于AT89S52的单片机开发板设计

单片机技术自发展以来已广泛应用于各个领域中,需求量巨大,产生了单片机开发板。本设计就是一种基于AT89S52单片机、实验程序源代码采用C语言编程方式、配套有电路原理图、液晶显示等功能的通用开发板。因为本设计中所有单片机输入、输出端口开放,能够满足在校学生学习单片机开发、爱好者进行单片机设计等功能。     

Web程序开发中的JDBC技术改进研究

文章基于MVC模式,通过建立DBAccess类实现了JDBC对象化改进。利用继承于改进的Hashtable类的Data类和String[][]类的设计,实现了JDBC易用性的改进。在实现对象化和易用性改进方案的基础上开发出的Web系统经测试能够正常运行,很好地说明了改进方案的可行性。     

Web程序开发中的JDBC技术改进研究

文章基于MVC模式,通过建立DBAccess类实现了JDBC对象化改进。利用继承于改进的Hashtable类的Data类和String[][]类的设计,实现了JDBC易用性的改进。在实现对象化和易用性改进方案的基础上开发出的Web系统经测试能够正常运行,很好地说明了改进方案的可行性。     

关于具有给定西洛子群正规化子的有限群

近年来一系列工作用于研究具有给定西洛子群正规化子性质的有限群.文献[1]证明了,如果有限群G的任意非单位西洛子群的正规化子幂零,则G本身幂零.在文献[2]中指出,所有超可解有限群的群系U不具有这种性质.换句话说,如果有限群G的任意非单位西洛子群的正规化子超可解,那么G可能非超可解.有限幂零群的群系是继承的局部(?)-群系,而U不是(?)-群系.由此产生一个问题:哪些继承局部(?)-群系具有如上所指的性质?本文在可解群类中完全解决了这个问题.此问题由教授提供.     

晶体结构参数阻尼最小二乘精化法

最小二乘法目前已成为使用最广泛的一种结构参数精化方法。作者用非线性问题的麦夸尔特解法改善了晶体结构参数最小二乘精化的计算过程。并按此编制了适用于国产电子计算机的全矩阵最小二乘精化程序(GCLS-013)(BCY语言,013计算机)和方块对角矩阵最小二乘精化程序(GCLS-BLOCK)(ALGOL语言,TQ-16计算机),作为晶体结构分析计算程序系统(GC-79)的一个组成部分。本文着重介绍计算方法。程序已另文发表。     

Web程序开发中的JDBC技术改进研究

文章基于MVC模式,通过建立DBAccess类实现了JDBC对象化改进.利用继承于改进的Hashtable类的Data类和String[][]类的设计,实现了JDBC易用性的改进.在实现对象化和易用性改进方案的基础上开发出的Web系统经测试能够正常运行,很好地说明了改进方案的可行性.     

Bézier曲线及其计算机绘图方法研究

Ｂéｚｉｅｒ方法是计算机辅助几何设计中最重要的方法之一，本文研究了Ｂéｚｉｅｒ曲线的几何性质、绘图的数学原理和方法。我们用Ｃ语言编制了绘图程序，给出了四次Ｂéｚｉｅｒ曲线和分段四次Ｂéｚｉｅｒ曲线的图形。所得结果与理论分析完全一致。最后，我们使用代数方法完成了绘图定理的证明。     

用PC-1500微型计算机拟合穆斯堡尔谱

本文介绍一个适用于内存小的微型计算机的穆斯堡尔谱拟合程序,程序使用BASIC语言。对拟合方法也作了一定改进,考虑到PC-1500计算机的内存小,在编制程序时考虑了节省内存单元。还改变了内存方式,使所编制的程序可以拟合450个点(道),10个峰,虽然迭代一次的时间较长,但由于PC-1500计算时无需人管理,所以并不占用计算者很多时间。另外,它还可以绘出漂亮的彩色图形。     

CERN和互联网问世的故事

<正>我是在1971年加入欧洲核子中心(CERN)的,当时高能物理理论还处于一种较为混乱的状态,CERN的"数据通信"领域也同样处于混乱状态。各种计算机系统和通信手段之间都没有一个统一的标准,没有局域网,没有个人电脑,没有麦金塔计算机,没有Unix操作系统,也没有C程序设计语言。1983年,CERN数据处理部(DD)首次建立了数据通信(DC)组,我被分配在之前在DD负责网     

EAST超导磁体实验与工程调试

EAST超导托卡马克是中国设计建造的国际上第一个建成的全超导托卡马克实验装置。超导磁体系统作为EAST的核心部件,主要由16组D形纵场磁体系统、14组极向场磁体系统组成。磁体在装配前进行了全面的测试,测试通过后才能安装到装置中。2006年间共进行了三次工程调试,其中包括三次降温通电实验和两次等离子体实验。本文将介绍EAST超导磁体测试实验以及EAST工程调试过程,同时也介绍磁体技术诊断系统、安全联锁系统与失超探测保护系统。     

基于超声造影剂中包膜微气泡非线性振动的次谐波和超谐波研究

次谐波和超谐波与基波和二次谐波相比, 有更好的组织比(CTR), 在医学诊断领域显示了广阔的应用前景. 给出了基于Church模型的包膜气泡非线性振动的频率响应, 解释了频率偏移现象, 并且讨论了次谐波和超谐波产生的最佳频率. 此外, 在理论和实验上研究了次谐波和超谐波与外加声压的变化关系, 结果显示, 次谐波和超谐波的变化都经过3个阶段: 产生、增长和饱和, 但超谐波的产生略早于次谐波.     

梵塔问题透视

梵塔问题(Hanoi Tower,也被称为汉诺塔、河内塔)在几乎任何一种计算机高级程序设计语言的书籍中,都用作典型例子,因此已广为人知。但在梵塔问题中,还有许多有趣的现象与规律,知之者恐怕不多。     

内存优化软件"帮倒忙"

我们熟悉的内存优化软件很多,多数软件都称能释放内存,以更合理地分配内存,提高系统运行效率。那么,使用内存优化软件是否有必要呢?答案是否定的。Windows2000/xp有一种缓存机制,当第一次运行某个程序时,运行程序所需文件和数据都要从硬盘加载到内存中,但退出这个程序时,加载到内存中的某些数据并不会消失,而是会作为系统缓存继续存在。因为系统缓存中保存了大量以前曾经载入到内存中的数据,因此当你第二次运行同一个大型程序的时候就会感受到,程序的载入速度比第一次快了很多。在一般情况下,系统会把所有空闲的内存分出一部分来充当系统缓…     

结构化语言编写的计划管理通用程序——JIHAGL

一、引言在西门子7.738型计算机上,实现了一个结构化FORTRAN语言DITSF编制成的计划管理通用程序——JIHAGL。用结构化DITSF语言书写管理程序,具有可读性(Readability)强,逻辑清楚,减少了编程出错机会,程序容易查错,可方便修改(Modifisble),可方便证明(Provable),从而保证了编程的正确性(Correctness),明显地提高了编程效率(Efficiency)。