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

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

卡明斯视觉诗"1(a"的视觉模态隐喻的人际元功能探究

建构在社会符号学意义上的视觉模态隐喻是自然语言系统和剐语言系统结合的产物,它具备了语言的系统性和功能性.由印刷体式表征的视觉模态隐喻在卡明斯视觉诗"1(a"中通过陈述制作者和观察者与所代表物之间的特定社会关系完成了其语言的交流功能,它在与语言的转喻和隐喻关系层面实现了人际元功能.     

汉译英中一致式与隐喻式的对接

语言学家M.A．K．Halliday指出，语言可以有不同的表现方式：一致式和非一致式，并把这种语言现象称为语法隐喻。在翻译实践中，语法隐喻能为译者在目标语系统中语言形式的选择上提供理论依据，通过英语语言自身的语法隐喻现象，透视汉译英过程中一致式与隐喻式的对接。     

卡明斯视觉诗 “l(a” 的视觉模态隐喻的人际元功能探究

建构在社会符号学意义上的视觉模态隐喻是自然语言系统和副语言系统结合的产物,它具备了语言的系统性和功能性。由印刷体式表征的视觉模态隐喻在卡明斯视觉诗 “l(a”中通过陈述制作者和观察者与所代表物之间的特定社会关系完成了其语言的交流功能,它在与语言的转喻和隐喻关系层面实现了人际元功能。     

单宾语句的认知构式语法研究

构式是语言象征单位,是在使用中固化了的形义匹配体.用认知构式语法来观察汉语单宾语句,可以发现它有两大类构式:(1)基本构式,为相对封闭的微观动词实体构式;(2)复杂构式,为相对开放的宏观功能构式.所有构式都可能泛化而形成一构多义.基本构式可以独立构句,也可与复杂构式整合起来共同构句,整合过程中双方有复杂的互动作用.因为单宾语句中有很多复杂构式可以介入,所以句子呈现出多样的题元配置,是汉语构式网络中独特的复杂局域.从历时上来看,构式的形成和发展与使用有关.用认知构式语法可以对语言运作系统做出独特的全面观察和统一解释,也可以看到汉语运作系统的独特性.     

从体验构式语法浅析[能＋VP＋吗]构式

体验构式语法是构式语法理论系统中一种综合感知和语言的理论模式,它力求解读构式[能 VP 吗],并强调这一构式在语法系统中的具体化。对[能 VP 吗]构式语言知识进行描写,并在此基础上产生分析过程,可以分析出构式的具体语义,然后由感知表征和动觉表征产生的模拟过程得到推论,且得到语言使用者对言语产生回应的基础。     

数量体现述式的系统功能语法研究

系统功能语言学中的系统语法是体现性语法，语言被视为意义资源系统，而非封闭自足的规则系统。系统语法和阶与范畴语法的一个变化就是体现述式的引入，体现述式是对层际或层内体现关系的一种建模由操作项和操作符构成。系统功能语法主要识别了插入、排序、重合、扩展、预选等五种体现述式，本文基于系统功能语法对数量在体现过程中的体现述式进行跨语言的探索研究。      

语法隐喻在汉译英中的应用

系统功能语言学家韩礼德把人类的主观世界和客观世界分成若干个过程,如物质过程,心理过程和关系过程等,并认为各个过程之间的转化是隐喻的。在此基础上,他进一步提出语言表达形式可分为一致式(Congruent Form)和隐喻式(Metaphorical Form)两种,并把这种语言现象称为语法隐喻(Grammatical Meta-phor)。翻译中,有时为了避免语言的单调,我们往往采用不同的语言结构来丰富表达,或者为使译文更加符合目标语思维表达习惯和文体特点的需要,往往采用隐喻式来代替一致式,其中包括一个过程转化为另一个过程。作者认为,语法隐喻能为译者在目标语系统中语言形式的选择上提供理论解释,并通过实例来探讨语法隐喻在汉译英中的应用。     

构式的特色及对外语教学的启示

构式语法理论重视构式,主要研究具体的构式在形式和意义上的配对,而形式和意义的配对也是语言习得领域和语言使用过程中的重要内容。构式作为意义和形式的配对储存于长期记忆中,语言习得与使用的研究都可以从构式语法的研究中受益。文中阐述了构式观的基本主张,聚焦其中与语言习得和教学相关的内容,并探讨构式的特色及对外语教学的启示。     

王蒙小说语言的反讽性修辞及其功能

在王蒙小说的语言系统中存在有大量的反讽性修辞,具体表现为压制性语言,拟权威语言,戏谑调侃式语言等.这种反讽式语言的修辞表现功能是它可以制造喜剧,从而增加语言的情趣,吸引读者的阅读兴趣.同时,反讽式语言由于它的言在此而意在彼的双重指向,使语言产生复义,从而加强了语言的内在张力.反讽式语言的文化功能体现为一种世界观.正是由于世界的破碎,理性的无力,才使王蒙感到了内心的分裂.王蒙的由理想主义到经验主义的变化,导致了他对昔日的审视,而正是这审视才有了反讽.可见,历史的反讽,生活的反讽,存在的反讽是王蒙语言反讽的本源.     

自动机泛函ORANPIA—函数程序设计的自动机策略思想

本文明确地提出“将自动机这一概念重新引入到作用式语言中来”。在作用式语言FFP中,为自动机的介入无需设置新的语言成分,而仅仅在FFP语言自身这一级上定义一个新的自动机泛函(名为Oranpia),就可使FFP语言赋有自动机式程序设计风格。此风格有利于我们在不少的实用场合采取“自动机策略思想”来自然地进行有效的程序设计。     

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

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

微型机网絡民航售票管理系統的实現过程

成电微型机研究所为民航广州售票处研制了售票管理系统,它以微型机局部网络(PLAN—2000)为硬件基础,是一个实时应用系统.本文是对网络应用软件开发技术的一个总结,它将向读者展示网络应用软件和单机应用软件在研制过程中的区别.     

一种优化电路设计的新算法

提出了一种不仅能优化电路元件参数,还能优化电路结构的优化电路设计的新算法。在被优化的电路元件参数发散时,本算法能自动地修改电路结构,使优化过程能继续进行;当参数优化收敛,但目标函数仍不满足预定要求时,可以自动地增加一些元件,从而改进目标函数值。根据这一算法用FORTRAN语言编制的优化程序,在Dual-68000微机上对晶体管的等效电路进行了优化处理,得到了更为接近实测特性的等效电路,从而证明了本算法的有效性。     

齿轮传动链传动误差的测量与分析

用微型计算机和光栅传感器组成的仪器可在现场测量并分析各种传动比齿轮传动链的传动误差。仪器采用锁相倍频技术提高了测量精度,采用数字选频和细化谱分析方法增强了诊断误差来源的能力。     

微机声控图像和图形反应时自动测试系统软件设计

分析了在微型计算机上显示图像或图形的制作与存储，给出了反应时测试系统的构造、软件设计及其Ｃ语言程序     

I^2C总线器件及其通用单片机软件接口

本文简要介绍Ｉ２Ｃ总线规范，并以Ｉ２Ｃ总线器件２４ＬＣ０２Ｂ与Ｉｎｔｅｌ８０９８单片机的接口为例，介绍了在通用单片机应用系统中Ｉ２Ｃ总线的软件实现方法。     

智能化水平仪的研制

本文介绍一种智能化水平仪硬件和软件的研制方法．整个水平仪以单片机（８０３１）作为中枢系统配上传感器Ａ／Ｄ 转换器等外围部件，可自动检测物体与标准水平面的倾斜程度，即角度     

多媒体信息查询系统的设计与实现

介绍了一个自行研制的微机多媒体信息查询系统的设计方法及实现此系统的过程，讨论了系统的设计环境、系统功能结构及实现的关键技术。     

摩擦表面参数算法与微机应用

本文介绍一种建立在最小二乘法中线基准上摩擦表面参数的计算方法,应用徽型计算机于表面轮廊仪,实现多参数智能化测量。经标准样板测试对比和由记录曲线手算验证,本方法是可行的。