时间上下文的属性限制及一致性分析研究*

首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性值描述的一致性分析算法。实际应用表明,提出的两个算法,既能有效地实现带时间侧面的本体属性的一致性检查,又能针对时间属性本身消除其不一致性。上述算法可应用于带时间上下文的本体创建中分析并检查其一致性。     

Exploiting Ontology for Software License Agreements

Software end-users need to sign licenses to seal an agreement with the product providers. Habitually, users agree with the license (i.e. terms and conditions) without fully understanding the agreement. To address this issue, an ontological model is developed to formulate the user requirements and license agreements formally. This paper, introduces ontological model that includes the abstract license ontology of common features found in di?erent license agreements. The abstract license ontology is then extended to a few real world license agreements. The resulting model can be used for di?erent purposes such as querying the appropriate licenses for a speciˉc requirement or checking the license terms and conditions with user requirements.     

L-fuzzy闭包算子及其等价刻画

借助L-fuzzy映射和L-fuzzy集的像,给出了由L-fuzzy映射诱导的L-fuzzy闭包算子及其等价刻画.当L为有限分配格时,讨论了代数的L-fuzzy闭包算子及其所诱导的闭包系统的等价刻画.     

可量测实景影像在城市部件管理中的应用

介绍了移动测量系统采集的可量测实景影像在城市部件管理中的应用,通过对城市立面街景影像与部件地图、属性关联技术,利用实景影像对部件量测技术,提出了一种集成地图、部件属性库和多角度影像的城市部件管理新手段．     

英语隐喻性词义的认知心理透视

从认知心理学视角探讨、分析英语隐喻性词义的认知和思维过程,揭示了隐喻对词义形成的影响,从而说明词的比喻意义是词汇原始意义的引申,是词语在原始意义基础上所进行的深层语义联想和推测.此外,用实例说明隐喻性词义是跨域映射的结果,相似性和类比思维起至关重要的作用.词的隐喻用法增强了语言表达的生动性和形象性.     

基于WordNet的无导词义消歧方法

有导词义消歧机器学习方法由于需要大量人力进行词义标注,难以适用于大规模词义消歧任务.提出一种避免人工词义标注的无导消歧方法.该方法综合利用WordNet知识库中的多种知识源（包括：词义定义描述、使用实例、结构化语义关系、领域属性等）描述歧义词的词义信息,生成词义的“代表词汇集”和“领域代表词汇集”,结合词汇的词频分布信息和所处的上下文环境进行词义判定.利用通用测试集Senseval 3对6个典型的无导词义消歧方法进行开放实验,该方法取得平均正确率为49.93％的消歧结果.     

基于语义网络的产品建模及配置方案搜索

对基于语义网络的产品建模及配置方案的搜索方法进行集成研究,以提高产品配置设计的效率.在相关本体的基础上,建立基于语义网络的产品模型结构,并据此解析用户所输入的查询语句.基于语义网络的产品模型提供一种定量与定性相结合的一致化的设计实例与需求的表达方式.进一步通过产品的语义网络模型可以获取设计需求的隐含条件,使得需求在设计方案的搜索匹配过程中被更充分地考虑.利用基于语义网络的推理技术与本体语言RDFS构造待求配置设计问题的语义网络片断,并通过语义搜索与匹配度计算排序从设计实例库中获取符合当前需求配置设计方案;同时,通过注塑机螺杆为实例的应用,证明了基于语义网络的产品模型在支持配置选型设计方案搜索方面的有效性与实用性.相对于传统的产品模型而言,基于语义网络的产品模型更关注属性之间的内部联系,经实例验证基于语义网络的产品模型使得配置设计过程更符合用户的实际需求.     

以项目为导向的VB测绘程序设计课程教学设计与实践

针对VB测绘程序设计课程教学中存在的问题,以学生职业岗位能力培养为核心,以项目为导向,从课程教学模式、教学内容组织、教学过程设计、考核与评价等方面进行了探索与实践,取得了较好的教学效果。     

用修正的Mann迭代算法求解分裂可行性问题

在Hilbert框架下借助于度量投影修正Mann迭代程序,证明了关于无限族非扩张映射的强收敛定理,并用于求解分裂可行性问题SFP.研究成果在很大程度上推广和改进了现有的结果.     

混沌伪随机序列发生器的实现

针对广泛应用于密码学、扩频通信、数字系统测试等领域的伪随机序列信号实现的疑难问题,应用DSPBuilder模块将Matlab中S函数产生的Kent混沌二进制序列算法转换成VHDL语言,在现场可编程阵列FPGA上实现混沌伪随机序列.通过分析可以看出Kent混沌二进制序列具有优良的伪随机性能.