形式化与直观化——试论数学概念思维的两个基本原则

具体分析了数学概念的公理化倾向、符号化特点与演算化趋势，论述了数学概念思维运动的形式化原则．在此基础上，进一步分析了抽象定义的直观解释、无限对象的结构表示和模式概念的能行构造，论述了数学概念思维活动的直观化原则     

CFL句子计数和分层词典序枚举

通过按推导树高度对句子分层,建立了句子集合中的分层词典序,进而发展出一种基于文法的,依分层词典序的,CFL句子计数和枚举方法,获得句子枚举的多个高效算法,对于无二义CFG,首先提出一个基础算法N2L,时间复杂度为O(n·lg(n)),n是被枚举句子的长度．对N2L进行改造,得到两个算法TD和BU,时间复杂度均为O(n)．对任意CFG,利用其推导树文法为工具后,文法无二义的限制被去除．对于一般的CFG,不论是否二义文法,也得到了依分层词典序的,时间复杂度为O(n)的枚举算法,同时枚举出句子及其推导树．该文的结果,从正面圆满回答了D(?)m(?)si提出的未决问题,即是否有按词典序,时间复杂度为O(n)的枚举算法?以及是否时间复杂度仅依赖于文法结构,及被枚举字之前同样长度的字的个数?本文给出的解答甚至比原问题所期望的更好．     

浅谈文学作品内容与形式的关系

在传统的文学理论中,文学作品往往被分为内容与形式两部分,尽管强调二者关系的辩证统一,但还是存在重内容而轻形式的倾向与偏颇.本文试图通过立足于人自身,立足于文学创作过程,引入“材料”、“形式化”等概念,重新思考和讨论形式和内容之间的辩证关系.在文学文本中,形式与内容二者相反相成,既存在张力又相互融合,最终达到和谐统一、融为一体.     

多级文法的构造及实现

从基于客户／服务器体系结构的分布式环境入手，引入基于三维文法表的多级文法，全面分析了多级文法的构造方法及实现，实现了接插式协议自动机的自动生成，最后，对多级文法的具体实现进行了讨论。     

比较《语法》《要略》《语法论》对语气的研究

文章通过比较《中国现代汉语》、《中国文法要略》、《汉语语法论》三家对语气问题的分析,认为三家的研究对现代汉语语气系统的建立、对句类的划分都有一定的指导意义。     

HDLC通信控制器及规程软件的实现

本文介绍HDLC通信控制器及HDLC规程软件的实现原理、方法和设计过程。由于采用了先进的协定形式化技术和层次化结构,使研制的通信控制器具有优良的性能。     

形式语言文法在加密技术中的应用

描述了形式语言文法应用于对称式密码和非对称式密码2种加密体制的实现原理,并分别给出了运用形式语言文法加密的简单实例.     

大学英语词汇概念化和形式化教学分析

本文基于Levelt的话语生成模型,探讨大学英语词汇教学的概念化过程和形式化过程的异同点,揭示大学英语词汇教学的规律,以提高学习者的词汇记忆力。     

基于进程代数WS-CDL交互模式建模研究

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。     

广义随机Petri网下的组合Web服务建模与评价

为了保证用语义Web服务标记语言(OWL-S)描述的组合Web服务的可靠性,确保组合服务具有较高的系统性能,提出了一种用广义随机Petri网(GSPN)对OWL-S过程模型进行建模、分析、验证以及评估的方法.首先给出从OWL-S过程模型到GSPN的映射规则和转换方法,然后针对得到的GSPN模型,采用S-不变量、T-不变量,通过可达性等分析方法验证OWL-S过程模型的正确性,最后构造与GSPN同构的马尔可夫链,并根据其稳定状态概率进行系统性能评价.经数学工具验证结果表明,所建模型是正确、可靠的,并发现了组合服务中的瓶颈.所提方法可支持组合Web服务的重建、优化和决策.