通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

基于情感计算的商品评论分析系统

针对电子商务中的商品评论信息过载问题,运用情感计算理论,通过挖掘商品评论信息中的商品特征及相应的情感褒贬态度,为消费者提供一个商品特征粒度上的情感分析结果,从而帮助消费者从庞杂的商品评论中快速获取有效信息。系统首先采集指定商品的评论集并挖掘商品特征,然后结合情感语料库和词汇相似度计算,利用依存关系找到特征-极性词对以及程度副词和否定词。基于以上结果,考虑程度副词的强度,以及程度副词和否定词共现语序不同造成的语义差异,提出了商品评论情感倾向程度的计算方式。最后,进行系统实现并验证算法的有效性。实验结果表明,系统具有良好的应用效果。     

基于空间句法的传统村落保护规划编制应用的思考——以国家级历史文化名村唐模为例

传统村落保护规划的编制是解决传统村落保护发展基础性和全局性的工作。运用空间句法的相关理论与技术对唐模古村进行空间解析,利用量化后的空间分析结果对传统村落保护规划中的保护区划划定、街巷路网调整、功能结构布局等重要规划内容提供了依据。廓清了空间句法在传统村落保护规划中应用的若干问题,为传统村落保护规划编制提供了可借鉴的技术路线和修正的思考。     

一种基于元数据静动态数据联合查询方法的研究与实现

研究和实现一种结合股票静、动态数据进行实时行情信息联合查询的方法。描述运用元数据定义和管理各数据源关键信息的虚拟表,通过复制、移动和分割虚拟SQL查询语法树分支,实现对数据表的查询分割和根据查询返回合成查询结果集的技术思路与做法。研究的方法屏蔽了异构数据源查询的复杂细节,能够为用户提供一个统一、简便的SQL查询接口,使静、动态数据之间的联合查询更加便捷,有效地提高了联合查询的执行效率。     

基于GLR算法的维吾尔语句法分析研究

采用GLR算法对维吾尔语句子进行句法分析,并且与平行LR算法进行比较,比较它们的分析过程,针对于维吾尔语在单词集上进行句法分析。分析结果采用最优规则,选取最优的句法分析树,对下一步的句法分析研究提供很大的帮助。     

Excel财务函数应用解析

在Excel财务函数对一般的财务计算,如确定贷款的支付额、投资的未来值或净现值,以及债券或息票的价值等非常方便。本文主要介绍投资计算函数、折旧计算函数、偿还率计算函数、债券及其他金融函数等典型财务函数。     

基于合一的链接文法

以词汇主义形式语法为基础,建立了链接文法与合一理论相结合的句法分析新方法.在封闭测试中,基于合一的链接文法句法分析精确率和召回率相比传统链接文法分别提高了9.6%和14.1%.实验表明方法具有一定独创性和高效性.     

基于词间依存的汉语基本块依存关系识别

基本块的分析是句法分析中的重要技术,根据依存理论,提出了一种分析基本块之间的依存关系的方法。首先使用BIO标记来识别基本块,然后根据词之间的依存关系判别基本块之间的依存关系。实验表明,基本块识别的正确率和召回率分别为82.3%和78%,基本块之间依存关系识别的正确率和召回率分别为89%和90.5%。     

Modelling Generic Judgements

We propose a semantics for the -quantifier of Miller and Tiu. First we consider the case for classical first-order logic. In this case, the interpretation is close to standard Tarski-semantics and completeness can be shown using a standard argument. Then we put our semantics into a broader context by giving a general interpretation of in categories with binding structure. Since categories with binding structure also encompass nominal logic, we thus show that both -logic and nominal logic can be modelled using the same definition of binding. As a special case of the general semantics in categories with binding structure, we recover Gabbay & Cheney's translation of FOλ into nominal logic.