软件标识符的自然语言规范性研究

软件源代码的理解是软件协同开发与维护的核心,而源代码中占半数以上的标识符的理解则在软件理解中起到重要作用,传统软件工程主要研究通过命名规范限制标识符的命名过程以构造更易理解和交流的标识符。该文在梳理分析常见编程语言命名规范的基础上,该文提出一种全新的标识符可理解性评价标准。具体而言,首先总结梳理了常见主流编程语言中的命名规范并类比自然语言语素概念,提出基于软件语素的标识符构成过程,即标识符的构成可被视为软件语素的生成、排列和连接过程;在此基础上,该文提出一种结合自然语料库的软件标识符规范性评价方法,用来衡量软件标识符是否易于理解;最后,通过源代码理解数据集和Github平台中开源项目对规范性指标进行了验证性实验,结果表明,该文所提出的规范性分数能够很好衡量软件项目的可理解性。

融合多结构信息的代码注释生成模型

代码注释可以帮助开发人员理解代码的功能和实现方法。代码注释生成模型可以自动识别代码中的关键信息,并生成相关注释,提高代码的可读性和可维护性。现有的代码注释生成模型通常只使用抽象语法树结构信息来表示代码,导致模型生成注释质量不高。提出一种融合多结构信息的代码注释生成模型,该模型在代码抽象语法树的基础上,增加了数据流图结构信息来表示代码。模型使用Transformer的编码器对抽象语法树序列进行编码,捕获代码全局信息。使用图神经网络对数据流图进行特征提取,提供变量之间的计算依赖关系等信息。然后使用跨模态注意力机制融合抽象语法树和数据流2种特征,经过Transformer的解码器生成相应的注释。实验结果表明,与6种主流模型相比,所提出的模型在Java和Python数据集上的BLEU、METEOR和ROUGE-L指标得分均有提高,生成的注释也具有良好的可读性。

基于情境的文本中的时间信息分析

情境用来描述文本中具体的动态和静态事件，时间是其重要因素·为了分析文本中的时间信息，本文首先给出了一个基于情境的文本理解的模型，并在时态逻辑的基础上，提出了文本的时间信息分析方法，它是将事物发展变化的时间顺序作为理解文本的一条重要线索·其主要工作包括：讨论了时间的概念、时间的类型和时间单位的转换机制；分析了命题间的时间关系、对象行为间的时间关系以及事件状态与时间过程的关系；

维特根斯坦语言世界中的意义观——从逻辑到语言理解

语言哲学家维特根斯坦的哲学思想分为前期和后期。与众不同的是,虽然其哲学主题始终是语言,但其前后期哲学观点完全对立,其两个阶段哲学所揭示的语言世界迥异。从研究对象来说,前期的观点是日常语言无意义,是造成混乱的根源,后期的观点则是日常语言有意义且是应当被选择的唯一对象。前期维特根斯坦对于语言世界中的意义持规定的观点,语言世界的意义以逻辑为准绳,逻辑确定语言意义之有无。后期,意义即用法,日常语言的实际使用被以存在即合理的态度全然接受,语言的意义取决于实际的用法,取决于语言使用者对其给出的解释与理解。日常语言世界中意义的最终判据是语言理解。

模糊逻辑中的一些问题研究

本文讨论了模糊逻辑中存在的一些问题。特别地，对与、或、非和蕴含作了更深入的讨论。

隐喻逻辑的研究进展

讨论了当今隐喻逻辑这一研究领域中存在的一些主要问题。对这一领域的一系列思想进行评述。得出的结论是,隐喻逻辑的建立离不开对一些隐喻赖于存在的根本逻辑的建立,如相似和理解的逻辑描述,以便使隐喻逻辑更加严密和完整。

雷达数字编码波形发生器CPLD实现与优化

介绍了一种基于CPLD的可程控雷达数字编码波形发生器的优化设计与实现,叙述了用Verilog HDL进行设计的思想,阐述了Verilog HDL在在系统可编程(ISP)开发平台———ispLEVER上的应用与设计流程,给出了用Lattice半导体公司CPLD之LC51024VG-5F484C实现的方法。整个系统设计简洁明了,高效快捷,编码波形发生器实现了三个任意可变:波形的码元宽度任意可变;重复周期任意可变;码元个数任意可变。最大码元b it数可根据实际需要随时升级改动,而这种改动只需要轻松改动设计源文件顶层模块中所调用的移位寄存器和锁存器的个数。经仿真、综合、优化、适配,可重新下载到所选用的CPLD中,不需要改动其他外围电路,十分灵活、方便。

法典的理解与语言逻辑初探

语言逻辑有助于人们对法典 (法律文本 )的有效理解。借助于摹状词逻辑、道义逻辑、量词逻辑、模态逻辑等现代语言逻辑的有关规律、规则、方法 ,人们可以在一定程度上消除对法典的歧解。

用可编程逻辑器件取代BCD二进制转换器的设计方法

介绍了可编程逻辑器件PLD的两种主要器件———可编程阵列逻辑PAL和通用阵列逻辑GAL的结构特点和主要性能特点 ,并阐述了用PLD取代BCD -二进制转换器——— 74LS184的设计方法。同时介绍了美国DATAI/O公司开发的一种逻辑设计软件———ABEL语言。文中着重介绍了作者是如何解决在编程设计过程中遇到的逻辑方程的乘积项过多的问题。这对于经常使用PLD进行数字系统设计的同行 ,具有较大的借鉴意义。

科学理性时代的语言学研究——理性主义的发展与语言学研究

理性主义作为一种哲学思潮,作为一种观念和思维方法,深深地影响着语言学发展。语言学在理性主义的技术传统,宗教、哲学传统和科学理论传统关照下,也经历了由描写到解释的过程。当代语言学是典型的解释性科学理论,具有鲜明的纯科学色彩。采用数学中的递归定义来描写并解释自然语言,并用内涵逻辑来描写语义并使之形式化,为自然语言的理解开辟了一条崭新的道路。

主观视点对“不是所有X都叫Y”句义及功能的影响

“不是所有X都叫Y”的语表形态较为丰富,句中X和Y在成分、音节等多个方面存在差异;二者的逻辑关系只能是包含或交叉关系,是交叉关系时可以相互易位而不影响句义。从逻辑上的等价形式来看,该句式的解读路径有两条:常规解读路径和潜藏解读路径。常规解读路径通向客观指异功能;被流行语激活的潜藏解读路径通向主观凸显功能。言者的主观视点是解读其句义的关键,视点变化会影响对解读路径的选择,进而导致语用功能的转移。

译者汉语逻辑能力对翻译能力发展的影响研究

以参加CATTI二级笔译考试的60名英语语言能力相当的应试者为研究对象,通过问卷调查和汉语逻辑能力测试等手段收集数据,考察汉语逻辑能力对CATTI笔译考生翻译能力发展的影响。实验发现:汉语逻辑能力与所有考生翻译能力发展显著相关;汉语逻辑能力能够直接预测所有考生译文产出质量。这表明语言能力到达一定阶段后,翻译能力发展显著受到译者母语逻辑能力影响,因此译者需重视自身汉语逻辑能力培养。

一种汉语方言编码与转换机制的研究

回顾了汉语拼音方案的组成和特点,分析了方言编码的可行性。引入二进制编码方式对汉字发音进行编码。编码序列包括了声母、韵母、音调、儿化音等编码部分。建立了方言音、修饰音、标准音之间的转换关系。以湘汨地区的方言为例,详细论述了方言编码和转换的过程。以人工代谢算法作为寻优策略,结合特定语言环境,将方言音转换成标准音。通过实例分析论述了该方案的可行性和合理性。

Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language

The process of understanding natural language can be viewed as the process of model construction. This paper? employing Kripke frame for intuitionistic logic semantics as the implement of model construction for natural language, introduces a method of incremental model construction.

文本语境与法典建构

法典是典型的书面语,法典不同于词典,法典是语境中的文本。法典建构,是兼顾了法典理解和法典适用的修辞行为。语境是法典建构的重要动因。如果我们把文本语境分为宏观语境、中观语境、微观语境,则篇章语境为宏观语境,段落语境为中观语境,句子语境为微观语境。只有着眼于宏观、中观、微观视角,才能全方位、多角度、深层次地建构和理解法典。建构法典时,充分考虑语境的功用,有助于法典的缜密和完善,理解法典时,有意识地关注语境,有利于法典的适用。

知识蕴涵逻辑的应用

知识蕴涵逻辑是能够处理包含矛盾信息知识系统的推理问题的一类逻辑系统。它可以避免由于矛盾信息而带来推理后承的致命性结果。其应用前景非常广泛,主要体现在:1.为智能系统提供处理不协调信息的逻辑工具;2.用于不协调信息的形式表示;3.有助于自然语言的理解。由两个具体的应用实例可以看出,在某些情况下,用知识蕴涵逻辑描述人类的推理过程更加符合人类智能的实际情况。

论交流叙述元语言

交流叙述学主要研究以叙述的方式进行交流的机制问题。在交流叙述中,任何叙述文本都会为理解提供一种方向,这是叙述文本的“自携元语言”,叙述逻辑作为经验的构成方式,蕴含了叙述文本语言、情节、时空、因果等元素之间的相关性,并以各种方式提供给接受者;任何叙述都是一种选择行为,选择本身就是一种倾向性,选择投射在叙述文本中的轨迹是叙述文本留给接受者的一种解读工具,是文本自携的元语言。叙述文本的多层次结构决定了叙述交流的多层次性,叙述文本各种叙述选择方式构成作者密码,提示给接受者并影响其对叙述文本的意义建构。换句话说,叙述文本元语言与接受者之间的交流互动共同建构了叙述文本的意义,这是一个动态的、不稳定的且普遍的意义建构模式。

真理怎样得以可能——论伽达默尔的真理观

伽达默尔对于真理问题的探讨 ,在理解的本体论论域内 ,可以看成是对“真理何以可能”的回答。伽氏悬置真理存在问题 ,以海德格尔关于该问题的存在论结论为起点思考获致真理的可能性 ;其真理观意在超越传统的真理概念和方法 ,通过“视域融合” ,揭示出在理解中走向真理的道路 ,并用理解的语言性规定了真理的界限。伽达默尔理论的顺理成章的结论是 ,我们不会有关于世界的真理。他否认世界可以对象化 。

一种基于格雷码的异步FIFO设计与实现

介绍了FPGA在实现异步FIFO及其在跨时钟域逻辑设计中的应用,并利用Gray码作异步FIFO指针的方法。该FIFO实现方案与使用传统方案相比,避免了亚稳态的出现,性能更稳定。本设计采用Verilog硬件描述语言实现,具有良好的可移植性和设计灵活性。最后,给出了系统的仿真及综合结果。

构造性逻辑作为自然语言的模型增长理论

理解自然语言的过程就是构造语义解释模型的过程．本文用构造性逻辑作为模型增长理论。