正式函数程序设计语言FFP在微机上的实现

本文描述了在M68000 DUAL系统上用C语言实现的正式函数程序设计语言FFP-1,从而在微机上证明了FFP-1系统的可行性。由于FFP语言是作用式、归约式的语言,因此采用了图归约机和延迟求值技术。     

Pelof语言的一种操作语义模型

Pelof 是一种融合 Petri 网、逻辑和函数三种风格的作用式并行程序设计语言.它的基本成分是谓词和函数,Petri 网体裁提供并行控制的工具.文献[5]中给出了 Pelof 语言的文法及设计思想.本文在文献[1,2]工作的基础上,以 FFP[3]为抽象机,采用形式化的方法为 Pelof 语言塑造了一种操作语义模型.     

C语言功能函数在程序设计中的应用

本文应用C语言的图形和屏幕函数编写了在实际测量中用于绘制电压随时间变化的波形的图形显示坐标程序     

频率响应函数实时处理程序的设计

为了解机-电系统的动态特性,用正弦稳态扫频作激励源,配以AD／DA板,用计算机软件实现对机-电系统的频率响应函数、奈魁斯特图、脉冲响应函数、伯德图等特征函数的测试、分析与处理,并设计了实时处理程序。应用结果表明,符合理论分析得出的结论。     

C语言的公理语义(Ⅱ)──函数

从公理语义的角度，讨论C语言的重要机制─—函数─—的语义。     

面向对象程序设计语言的特点

在本文中 ,主要讨论面向对象程序设计的四个主要特征     

二元函数未定式定值问题的一种理论

建立了二元函数未定式定值问题的一种理论，给出了极限存在的必要条件和定义域分别为普通区域和ｎ阶区域的极限存在定理。     

函数式程序設計語言的合成邏輯語义学

本文提出以合成逻辑(Combinatory logic)作为程序设计语言语义学的数学基础。Backus的(纯粹的)函数式程序设计(FP)语言实质上已是一种“高级的”合成逻辑语言,本文则将FP程序翻译成Curry的“低级的”合成逻辑中的代码。因此,它能在一种SK归约机上运行。     

浅谈基础程序设计语言教学方法

C语言程序设计作为大多数计算机专业学生接触的第一门程序设计语言,对于学生来说确实有一定难度,所以其教学方法就显得尤为重要。在教学过程中应注重培养学生掌握程序设计的思想和方法,树立正确的软件工程观点以切合将来软件工程开发的实际需要,培养学生分析问题的完备性,最终达到能够灵活运用高级语言进行程序设计的目的。     

程序设计语言课程教学方法探讨

程序设计语言类课程的指导思想是使学生通过学习既要掌握高级语言的知识、编程技术和基本算法,又要掌握程序设计的思想和方法,更具备利用计算机求解实际问题的能力,并能运用高级语言进行程序设计.作为程序设计的入门课程,其重点是培养学生掌握程序设计的思想和方法,引导学生突破传统的思维方式,培养程序设计的新思想.从如何提高VFP语言课程教学质量,增强教学效果,培养学生的分析问题,解决问题和创新能力等方面,讨论在教学中的一些经验和体会.     

程序设计语言课教法浅议

加强大学生计算机知识与应用能力的培养是社会发展的必然,是时代发展的需要,更是学生提高个人素质的自觉要求。因此探讨程序设计语言课的教学方法就显得十分必要。     

程序设计语言课程教学改革探讨

高等教育改革除了管理体制的改革，还涵盖了教学内容和课程体系的改革，探索计算机技术基础中程序设计语言课程教学改革，将传统的程序设计语言转向反映２１世纪潮流的面向对象的程序设计技术，这是深化教改的一项研究内容。     

基于Petri网的函数式程序的結构程序設計方法

本文提出一种“用来开发规模不小的、并发的函数式程序(FP程序)的结构程序设计方法”,它基于一种“带解释的Petri网图式(ISPN)”。待解的问题写成以ISPN表达出来的形式说明。由于ISPN能逐步求精,自顶向下的结构程序设计方法也能移用于开发(大型并发)函数式程序。最后阶段,根据文中提出的形式化了的法则,可以将ISPN表示成函数式程序。     

程序设计语言教学方法的初步探讨

作为计算机基础课之一,程序设计语言是计算机教学的一个重要内容。程序设计语言与别的自然科学相比,有其独特的一面,加之许多学生在中学阶段没有接触过计算机,因此更需要采取恰当的教学方法。通过渐渐的摸索,我认为在教学过程中,主要有以下几个方面需要教师注意掌握。     

形式一语境语义实现模型

一、语言系统语言是开放系统,不是自我完整的(seLf—contained)封闭系统,其运作仅靠自身无以完成。对于社会文化这个大系统而言,语言只是其中的一个子系统而已。这就决定了语言功能的实现离不开语言外的社会文化背景。语言的这种特性已被许多语言学家所认识。早期语言学家的历时性研究(diachroie study),虽然对语言本质的认识各异,但对语言与其他学科的关系都级予了一定的重视。自索绪尔始的现代语言学从历时性研究到共时性研究(synchronic study)的转变使得人们更加注重这种关系。索绪尔把语言看作社会事实(social fact),一方面使语言的生物进化学说不再受人青睐,另一方面,使语言与社会文化之间的关系更加昭然。随后而来的语言学     

C语言教学方法和程序设计的探析

本文讨论了C语言教学方法及若干程序设计技巧.C语言是目前各大高校都在讲授的一门程序设计语言同时国内理工科专业的首选教学语言,它功能强大,表达灵活方便,面向硬件,但大专学生特别是少数民族学生接受起来有一定的难度.如何提高双语教学质量,让学生尽快掌握这门语言,值得探讨.笔者根据多年来的教学体会,谈谈自己的想法.针对在实际教学和学生学习中的一些问题,本文叙述了对这些问题的感想和认识.一些问题可能是有争议的,希望这些观点能够引起大家对C语言程序设计的学习方法和目的的思考.     

高等教育中程序设计语言教学的研究

计算机科学的教育与教学具有严格的系统性与科学性 ,计算机基础是高校学科各类专业培养人才的基本素质和能力的重要基础之一 ,计算机程序设计代表了计算机文化的基本特征 ,本文阐述了计算机科学与计算机基础教育 ,程序设计方法学、数据类型及抽象、面向过程程序设计及面向对象程序设计。     

一种通用的计算机网络拓扑设计模型

提出了一种计算机网络拓扑设计的数学模型。该模型综合考虑拓扑设计中的几个主要问题,它能同时完成节点机选择、骨干网络的链路安排及各通信节点对之间的路由选择等问题的优化工作。文中同时给出该模型的拉格朗日松弛函数 L(?),并利用迭代算法使 L(?)尽可能靠近原模型的优化位。     

一种基于遗传算法的语义标注

针对数据稀疏问题,采用适应度函数较灵活的遗传算法做语义的自动标注;以《同义词词林》的层次式结构为依据,提出了利用语义层次的提升来改善适应度函数中参数的估计质量;定义了语义层次的两个基本概念;阐述了语义提升的原理,并采用选择受限策略来解决因语义提升而引起的模型辨别力下降问题;实现了用于语义标注的遗传算法。实验表明该算法在语义标注中能适应不同训练数据量,具有一定的可行性。     

一种基于域的递增式策略部署模型

在介绍策略、域和策略目标等基本概念的基础上,提出了一个通用性的策略部署模型,该模型采用基于域的分层结构,把策略存储在离策略目标最近的域中,并以递增式算法进行收敛变化。模型独立于具体的策略底层实现机制,并可在混合策略环境中使用,具有良好的多适性。