合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式.     

XY-3-RPS混联机器人设计和运动学仿真

为实现人工骨关节表面抛光的自动化,课题组充分利用串并联机构之间的机构特性优势互补的特点,设计了一种XY 3 RPS混联人工骨关节抛光机器人,该混联机器人具有5个自由度。笔者搜索了并联机构和混联机构的工作空间;对比分析了基于正逆运动学的支链位置变化曲线;在并联机构欧拉角表示法及运动学理论的基础上建立了混联机构运动学数学模型,并利用MATLAB及ADAMS进行仿真验证。结果表明机构正逆运动学曲线吻合,运动稳定。该混联机构完全满足抛光人工骨关节表面的运动及工作范围要求。     

安徽蒙城方言形容词的程度表示法

蒙城方言形容词的程度表示法较为丰富,具有生动性和形象性,地域色彩鲜明,不仅反映了程度的不同,而且在用法和感情色彩上独具特色.蒙城方言形容词的程度表示法主要有：前加状语表示法、后加补语表示法、前加修饰成分表示法、词语重叠表示法、词缀表示法.     

古代汉语中物量表示法的发展演变

物量表示法是数量表示法的一个重要组成部分,弄清物量表示法在古代汉语各个时期的面貌及其发展演变,有助于汉语史的研究。本文探讨了古代汉语各个时期的物量表示法及其发展演变状况。     

宁乡方言动词形态的特殊表示法

普通话的动词有持续、完成、经历、开始、继续、尝试、可能等几种形态,而宁乡方言的动词形态除这些以外,另有舒适态和重复态.更有特点的是,宁乡方言中即使是与普通话相同的形态,其表现形式也与之差异甚大.某些现象善至与同属湘方言长益片区的长沙话也相去甚远.     

黔东南方言的程度表示法

文章分析了贵州黔东南方言的五种程度表示法:状语表示法、补语表示法、重叠表示法、构词表示法和比较句表示法,并将黔东南方言与普通话、苗侗少数民族语言的程度表示法作了对比。文章认为,黔东南方言程度表示法受到当地苗、侗少数民族语言的影响。     

文言判断句的典型结构研究

本文从文言判断关系表示法入手来研究文言判断句的典型结构,根据作者对文言判断句判断关系表示法的见解,提出了文言判断句的典型结构不是“……,……也”和“……者,……也”,而是既没有判断词,又没有语气助词和副词的“……,……”式的新观点。对王力主编的《古代汉语》认为“用‘也’字煞句,和用‘者’、‘也’照应的句子是古代汉语判断句的典型结构”的看法提出异议。     

基于括号表示法的一阶逻辑系统

括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。     

数字在俄语中的演进及其在报刊中的应用

数字是报刊语言的有机组成部分。在俄文报刊语言中,数字没有得到应有的重视。实际上,数字自19世纪末进入俄文报刊以来,就一直发挥着积极的作用。从阿拉伯数字进入俄语的历史、数字在俄语中的发展状况以及存在的问题等几个方面可以看出数字在俄文报刊中的使用情况。     

浅谈汉语各方言被动表示法的差异及成因

汉语各方言的被动表示法纷繁复杂,表面上看无章可循,实际上根据这些被动标记来源的不同,可以分为＂遭受＂义、＂使役＂义、＂给予＂义三类不同来源的被动标记。这三类被动标记内部具有高度的规律性,反映了汉民族在选择被动标记上的倾向性。