函数式程序設計語言在微型机上的实現

本文描述了在M68000 DUAL系统上用C语言实现的函数式程序设计语言FP,从而在实际微机上证明了FP系统的可行性。     

再论函数式程序設计語言的合成邏輯语义学

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。     

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

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

正式函数式程序设计语言的一种操作性语义模型

本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型,它实质上是LISP虚拟机上的一个解释程序。     

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

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

用解释Petri网图式作为工具开发函数式程序的实例研究

基于文献[1]的方法,本文开发了一个函数式程序(FP程序),文中还给出了程序开发过程中的一些注意事项.最后例出了对文献[1]的一些修改.     

山西义学的沿革及多维分析

山西义学起源于宋代,在明代曾一度取代地方社学。清初义学在明代基础上有所发展,直到康熙时期才初成规模。由于清代官学已失去教育功能,私学成为清代基础教育的主力军,而义学作为清代私学的重要组成部分,比其他教育形式的受众面更广,成为清代基础教育的主要承载体。义学既属于私学,官府不甚注意,义学背后的基层教育权力便成为地方精英竞争谋取对象,地方绅士、商人纷纷参与义学以谋求在基层社区中更大的话语权提高社会地位。因此,山西义学的沿革史又是地方官、绅、商、学等阶层的演变史。     

中国现代佛教义学的兴起

佛教传入中国后,佛教义学在依次经过解经开展阶段和学派开展阶段后,到隋唐宗派兴起阶段,达到中国古代发展的高峰。但到近代,随着佛教的整体衰落,曾经繁荣的佛教宗派义学也相应没落。近现代是中国历史的特殊时期,科学人本文化席卷全球,以儒释道为主体的中国文化传统遭到空前甚至是生死攸关的猛烈冲击。佛教在这种时代大势面前,举步维艰,出路何在?在众多佛教有识之士的思考和探索中,义学的激活与复兴成为他们的基本选项。这其中的先驱首推支那内学院的欧阳竟无先生,他提出内学观念,所谓结论后的研究。另一主要倡导者是太虚法师,他提倡融贯传统后的出新,所谓契理契机,而其弟子印顺法师则提倡以佛法研究佛法。他们的探索无疑在相当多方面为后世留下了宝贵启示,有助于开辟现代佛教义学的开展路径。现代中国佛教也在这种探索中显露出复兴的征兆。     

佛教义学的若干基本问题

佛教义学是对佛陀及其教法的信仰论证(阐释),与通常所谓的佛学和佛法有别。佛教义学的主干内容有:阐明佛教教义、教理的教义义学,关于佛经经文的阐释及阐释原则的佛经义学,以及关于佛教教史梳理的教史义学。佛教义学不是佛教哲学,也不宜完全以科学的立场和方法对待之。     

误差函数的近似式

本文给出误差函数的近似式,适用于工程计算。由该近似式给出的误差函数值,其精度与常用的误差函数表所列的值精度相当。     

何谓佛教本位的义学研究

论文以提问的方式展开对论题所涉四个关联项的考察,以逐渐澄清"佛教本位的义学研究"这一概念的具体意义。论文将近现代佛教学术研究总体视为佛教研究领域一种根本性的范式更迭,是西学普世化进程在佛教研究中的体现,标志着佛教自身解释学传统的断裂。相对于此,论文提出"佛教本位的义学研究"之建立,其有别于前者正如基督教神学之有别于基督教研究。"佛教本位的义学研究"提倡回归佛陀的教导本身及其在东方世界的历史性开启与实事性发生,它以佛教自身的解释学传统为根基和典范,致力于在现代语境中为佛陀教法本真意义的敞明提供一种现代表述形式,以促成佛教思想的本己表达进入现代学术研究和思想交流的公共平台。作为佛教本真意义在现代语境中的重新构形,其实际的展开将是一个动态生成和不断尝试的"现代格义"过程。     

现代佛教义学的学科化开展

在古代,从印度到中国,佛教的弘扬离不开佛教义学的开展,佛教的兴盛也与佛教义学的繁荣关联在一起,但到近世,随着佛教在中国的整体衰落,佛教义学的学脉趋于断绝,尤其随着现代科学主义以及人本主义影响的普世化,佛教义学甚至在佛教界内都失去了合法性,其作为佛教学问,已然被佛教学术研究所取代。但佛教义学与佛教的命运紧密相连,必须对这样一个严峻的情形予以严肃思考,换言之,必须反思现代佛教学问的性质问题,以保证佛教义学在佛教界以及社会公共学问空间的重新定位与出场。这不仅关系到佛教本位上的正法久住,而且关系到佛教作为传统文化基本组成部分所承担的安定社会的重要功能的切实实现。现代佛教义学是在具有明确的自我意识的前提下兴起的,又处于现代学术研究的背景中,所以除传统的佛教宗派义学研究的路线外,还有现代意义上的学科化开展的面向,佛教自己的学问空间正是在这种传统与现代的紧张与融合中张开的。     

《说文解字》的形义学考查

从问世到如今,人们一向把《说文解字》(以下简称“《说文》”)视为研究汉字形体构造的专著。这种看法对吗?笔者想就此谈谈自己的看法。 《说文》是东汉人许慎用二十二年精力,直至生命垂危才得以定稿,并由其子许冲献诸于世的,书中收的字全是当时早已不使用的小篆、大篆、古文。倘若仅仅研究字的形体构造,许慎何不以世人熟知的隶书为对象,偏要献身于死亡的文字呢?在那“术不利于治者君子弗为”的时代,无论如何也找不到圆满答案。 众所周知,汉武帝独尊儒术后,读儒经成了士人得道的唯一途径。到了东汉,领会儒经     

论明清时期义学的办学机制

为了给当代民办教育提供一些可资借鉴的经验,利用明清政府文件与地方文献资料,采用综合分析归纳的方法,对明清民办教育中的义学从办学目的、教学内容和运作方式等方面进行了全面地考察,说明民办教育的必要性和重要性。     

函数式的编译与运算

针对函数表达式的编译和运算问题，提出解决方案和程序流程，并给出具体实例。     

中国佛教义学的过去与现在

中国佛教义学源于印度佛教的传入,以及基于佛教本位的翻译、诠释、讲说与造论,其真正的开展始于明确佛教本位之时,即从格义佛教走出之时。这意味古代中国佛教义学可分为明确佛教本位的初期确立阶段、学派并起的全面开展阶段以及宗派成立的最终成熟阶段。从中唐后进入衰退与萧条阶段,其间只有不多的短暂复兴。到现代,面对科学主义与人本主义的普世、强劲的传播,现代佛教义学从明确佛教义学的性质与原则出发开始初创,出现了欧阳竟无、释太虚、释印顺等大师,为佛教义学的现代转型打下了坚实基础。     

二元函数未定式的定值法则

给出二元函数型来定式的各种值法则，包括一阶极限判定法则和二阶极限判定法则。     

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

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

积木式传递矩阵通用程序的编程技术

积木式传递矩阵是一种用于计算单、双转子系统临界转速的理想方法。它设定任何复杂的转子均可划分为若干个标准的积木块组合而成,当要计算某实际转子系统时,只要根据它的结构特点,将相应的积木块子程序调用搭接,而不需要重新编制源程序.这对调试程序将起到积极有效的作用。