量子程序设计语言初探

结合简述几种有代表性的量子程序语言,着重阐明量子计算、语言风范、程序结构、输入输出、异常机制,以及南京大学量子计算研究组的新近研究成果,即函数式量子程序设计语言NDQFP.附录中给出了NDQFP之所有原始函数及组合型.     

面向多用途的数学概念知识分层表示方法

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.     

X3D:新一代面向Web的交互式三维图形规范

当前虚拟现实造型语言(VRML)的国际标准存在严重问题,阻碍了面向Web的交互式三维图形技术的深入发展。为此,Web3D联盟提出了下一代面向Web的交互式三维图形规范X3D。X3D采用XML编码,以软构件技术为指导,定义了一个小型运行内核、一组API和多个扩展集,具有小型化、可扩展、与Web上的多种标准互操作和与多种媒体紧密集成等特性。本文主要介绍了X3D的产生背景、概念和组成,并在此基础上分析了X3D的关键技术和X3D浏览器的实现。     

人类语言的由来

不知你想过没有,为什么人能说话．而动物却不能?人的语言能力是从哪里来的呢?它在人类进化过程中又起了怎样的作用呢?这些也是科学家正在研究和关心的问题,让我们来看看科学家在这些方面有什么新的发现。     

关于我国手语语言地位规划问题的思考

手语作为听力残疾人使用的语言,需要对其进行语言规划。根据语言规划理论,对手语的语言地位规划涉及的问题进行了思考。手语立法是手语语言地位规划的重要问题,通过介绍国内外手语立法情况,分析我国手语立法中涉及的一些主要问题,包括手语是不是语言,手语的规范化问题,国家通用手语的语言地位等,进而提出手语语言立法需要解决的问题和立法途径。     

基于群体共识的语言直觉模糊三支决策方法

针对基于语言直觉模糊数评价损失函数的三支群决策问题,提出一种具有群体共识的语言直觉模糊三支决策方法.首先,基于海明距离定义了语言直觉模糊相似测度(语言直觉模糊数),进而构建基于非相似度最小的最优集成模型并导出权重迭代公式.在此基础上,设计一种实现语言直觉模糊综合损失函数一致性的迭代算法且理论上证明了该算法的收敛性.依据迭代算法获得满足一致性的综合损失函数,建立确定语言直觉模糊三支群决策阈值的单一优化模型,并提出基于群体共识(即所谓群体一致性)的语言直觉模糊三支决策方法.最后,算例分析和仿真实验验证了所提出方法的有效性.     

基于低代码开发范式的Web Service生成方法

针对目前软件开发人员在手工开发Web Service程序过程中出现效率低下、容易出错等问题,本文基于低代码开发范式,结合需求原型化技术RM2PT,提出一种Web Service自动生成方法。首先,根据操作契约中的OCL表达式与数据基本操作的语义关系,建立两者之间的转换规则;其次,根据Web Service功能模块的代码特征构建转换模板;然后建立解析和处理需求模型的转换算法;最后,使用转换规则、转换模板和转换算法直接将需求模型自动转换为目标应用程序。通过使用4个软件开发案例对提出的方法进行验证,结果表明,约93.3%的系统操作可以实现自动生成。相比传统的软件开发模式,本文方法可以由需求模型自动生成标准化Web Service程序,提高了软件开发效率与质量。此外,本文方法支持快速原型开发和迭代开发,用户可以通过GUI验证、编辑与修改需求,重新生成应用程序。     

预训练语言模型的可解释性研究进展

基于深度神经网络的大型预训练语言模型在众多自然语言处理任务上都取得了巨大的成功,如文本分类、阅读理解、机器翻译等,目前已经广泛应用于工业界。然而,这些模型的可解释性普遍较差,即难以理解为何特定的模型结构和预训练方式如此有效,亦无法解释模型做出决策的内在机制,这给人工智能模型的通用化带来不确定性和不可控性。因此,设计合理的方法来解释模型至关重要,它不仅有助于分析模型的行为,也可以指导研究者更好地改进模型。本文介绍近年来有关大型预训练语言模型可解释性的研究现状,对相关文献进行综述,并分析现有方法的不足和未来可能的发展方向。     

动物的多彩语言

动物也有自己的语言。鸡鸣狗吠,虎啸猿啼,莺歌燕语,蝉噪虫喧……都是动物的语言。这些语言种类繁多、千差万别。据说鸟类的语言就达二三千种。     

地方应用型本科院校C语言课程改革探讨

C语言程序设计对高校学生来说是十分重要的课程,不仅对后续专业知识的学习起引导和铺垫的作用,对学生思维能力训练、综合能力培养同样至关重要。结合国内教育趋势、工程认证要求以及人才培养规划,阐述了目前地方应用型本科院校的C语言程序设计在课程设置与教学方式上存在的问题。针对这些问题进行了探讨并提出了一些解决思路。