在知识产权强省建设中砥砺前行——2015年河南省专利统计分析报告解读

<正>年月,河南省年的专利统计分析报告"新鲜出炉"——专利申请历史累计达420611件,授权累计量达到238435件。从全省情况看,当年专利申请、授权量分别达74373件、47766件,分居全国第13位、10位,在中部六省居第2位。在经济发展减速慢行的新常态下,河南省的专利申请和授权量继续保持较好的增长速度,增幅分别达到19.1%、43.2%。     

塞拉斯与生物表征理论

不同于一般物理事物,心理状态通常被认为表征某物或某事态.对于心理现象的表征特征,塞拉斯认为,我们可以依据言语行为的语义学概念来解释.然而,在解释非语言动物的表征现象时,塞拉斯的观点会遇到难以克服的困难.针对这些困难,我将提出一种行动的表征概念——身体行动是一种基本的表征类型.确切地说,身体行动具有命题式表征内容,并能够...     

基于知识图谱和语义相似度的岗位匹配与排序方法

互联网的普及极大地促进了在线招聘平台的发展,如何利用有效的算法在海量的职位和简历库中自动匹配符合岗位要求的简历,是构建在线招聘系统的难点之一.为解决上述问题,本文融合知识图谱和文本语义相似度算法,提出了一种采用字符搜索寻找符合岗位要求的简历子集和根据文本语义相似度对所得子集进行排序的两阶段方法.实验结果表明,基于BER...     

基于语义约束与Graph Cuts的稠密三维场景重建

本文提出一种新颖、有效的稠密三维场景重建算法.在城市建筑场景的重建中,为了快速恢复稠密、准确的深度信息,本文算法首先在视图中对建筑区域进行了语义分割以降低非重建区域(如天空、地面等)的干扰,在提高整体重建速度的同时也增强了采用平面模型对其进行重建的可靠性;然后,在通过基于DAISY特征的空间点扩散方法获取的初始深度图的基础上,针对传统算法难以重建的弱纹理、倾斜表面等区域,本文算法依据场景分段平滑的假设,在超像素级MRF能量优化框架中对其相应的空间平面进行了推断.由于能量函数融合了初始深度图的约束、空间平面先验及空间平面间的几何关系等信息,而且候选平面集通过平面拟合和已知平面约束下的多方向平面扫描两种方法构造,使得相应的两阶段迭代Graph Cuts对能量函数的求解更快速和精确.在标准数据集和真实数据上的实验表明,本文算法能有效克服光照变化、透视畸变、弱纹理区域等因素的影响,快速恢复建筑区域完整的深度图.     

函数式语言中赋值语句（之二）

为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。     

系统Z上的谓词演算

本文在非经典形式系统Ｚ（它用来刻划辩证否定的特有性质）之上，引入若干条公理，建立一个谓词演算系统ＺＱ，并把系统Ｚ的语义推广到系统ＺＱ中去。附带地，也在系统ＺＴ上建立了谓词演算系统ＺＱＴ（但ＺＱ的成立不依赖于ＺＱＴ成立与否）。     

走在追求真理的途中——纪念“真理标准大讨论”30周年笔谈——“真理标准大讨论”的现代性解读

按语：30年前,一场有关真理标准的大讨论拉开了新时期思想解放的序幕,在促使中国重新踏上现代化之路的同时,也使中国走在追求社会发展真理的途中。“走在追求真理的途中”,我们之所以借用海德格尔的这种说法,主要是要表达以下两个方面的想法：第一,“真理标准大讨论”作为一个里程碑式的事件,它不仅把真理的话语权交还给了理论本身,而且还延伸并深入到实践之中,改革开放因此就成了真理的自我呈现过程;第二,正是因为真理向社会生活的回归,“真理标准大讨论”就只能是一场没有终局的思想竞技,其象征性的意义要远远大于结构性的意义,在社会主义现代化的背景下,追求真理是一种历史责任。我们评价“真理标准大讨论”,一方面要把握实践观念的历史维度与政治向度,另一方面要把握当真理随实践的展开日益向我们的生活世界融入的时候,中国社会生活的变迁所映现出来的历史真理的真相。     

模态算子与全称量词－－蒙太古构造的一个模态逻辑公理系统

本介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。     

“说X就X”格式语义类型分析

“说X就X”格式由于其中“说”的语法化程度的不同而形成了两种不同的格式语义,即“说”为实义动词时,该格式表示对言说者的言说内容或主观态度、意愿进行确认,“说”为标记词时,该格式表示在超出言说者或言说对象主观预期的极短时间内出现或即将出现某种情况。该格式连用时,由于语义的增值或异化,也会形成两种不同的连用格式语义。     

《金银岛》中吉姆·霍金斯身份意识解读

<金银岛>是一篇探险故事,但同时又是一篇有关成长的故事.吉姆·霍金斯在他的成长过程中经历了身份意识的萌发和一系列的"身份焦虑",并不断试验各种男性角色模型来充当他心目中的英雄,以最终实现对自我身份的确认.吉姆·霍金斯是如何由一个充满天真幻想、胆怯、困惑的小男孩逐步成长为一个勇于面对现实、勇敢、成熟的男子汉?将对这一过程中吉姆·霍金斯的身份意识进行解读.