Fusing distributional and experiential information for measuring semantic relatedness

Models of semantic relatedness have usually focused on language-based distributional information without taking into account “experiential data” concerning the embodied sensorial source of the represented concepts. In this paper, we present an integrative cognitive model of semantic relatedness. The model – semantic family resemblance – uses a variation of the co-product as a mathematical structure that guides the fusion of distributional and experiential information. Our algorithm provides superior results in a set expansion task and a significant correlation with two benchmarks of human rated word-pair similarity datasets.     

Validation of static properties in unified modeling language models for cyber physical systems

Cyber physical systems (CPSs) can be found nowadays in various fields of activity. The increased interest for these systems as evidenced by the large number of applications led to complex research regarding the most suitable methods for design and development. A promising solution for specification, visualization, and documentation of CPSs uses the Object Management Group (OMG) unified modeling language (UML). UML models allow an intuitive approach for embedded systems design, helping end-users to specify the requirements. However, the UML models are represented in an informal language. Therefore, it is difficult to verify the correctness and completeness of a system design. The object constraint language (OCL) was defined to add constraints to UML, but it is deficient in strict notations of mathematics and logic that permits rigorous analysis and reasoning about the specifications. In this paper, we investigated how CPS applications modeled using UML deployment diagrams could be formally expressed and verified. We used Z language constructs and prototype verification system (PVS) as formal verification tools. Considering some relevant case studies presented in the literature, we investigated the opportunity of using this approach for validation of static properties in CPS UML models.     

加筋土技术在土石坝滑坡治理中的应用

本文基于土石坝除险加固实际,对加筋土技术在土石坝出险加固中的应用进行探讨.利用ANSYS对某一土石坝现状和加筋状态进行二维有限元模拟,对前后的应力、位移结果进行分析比较.得出加筋在滑体土的中下部时效果最好、加筋层数越多,对坝体的变形控制的越好,但加强的效果逐渐减弱的结论.     

AVS-M帧间预测模式快速选择算法的研究

AVS-M是我国拥有自主知识产权的数字音视频编码系列标准的移动视频标准.AVS-M采用率失真优化(RDO)技术进行帧间模式的选择,增加编码过程中宏块进行模式选择的计算复杂度.本文提出一种快速的帧间模式选择算法.该算法首先对SKIP模式提前判决,再采用二分搜索法对帧间模式的选择,对于宏块层的模式划分采用MAD(平均绝对差...     

基于.NET和AJAX技术的实验选课及教学管理系统

针对目前实验室及实验教学管理存在的普遍问题,研究开发实验选课及教学管理系统。采用目前较成熟稳定的.NET框架以及基于Web 2.0的AJAX技术,给出系统的整体框架,阐述系统主要功能模块的设计与实现,分析系统的安全性策略。该系统结构清晰、功能丰富、职责明确、界面友好,并具有良好的可扩展性、实用性和可维护性。     

鱼眼图像校正和配准算法研究

提出一种对鱼眼图像进行校正和配准的算法。首先把鱼眼图像从相等距离投影模型映射到参数化球面投影模型,使得合成球面全景图成为一个平移求解问题。然后使用非线性优化算法进行图像的配准。在合成场景的球面全景图以后,通过重投影球面全景图到视平面来完成虚拟场景的实时漫游。     

基于C／S架构的员工培训管理系统的设计与实现

主要介绍一个员工培训管理系统的设计与实现。本文首先介绍开发本系统的必要性,并简单介绍所采用的开发工具和运行环境;然后对系统进行清晰的需求分析和数据库逻辑设计,并对系统功能模块进行划分。在此基础上,详细描述数据库中的表结构及主要模块的实现技术。     

计算机网络安全隐患与应急响应技术

随着计算机技术的发展,计算机网络的应用领域和应用人群急剧增加,网络安全问题也日益严重。因此,论述计算机网络安全,现代计算机网络受到的攻击手段及保障计算机网络安全的应急技术等,以提高计算机网络安全性。     

电厂电气运行故障诊断及应对

本文主要阐述了发电机滑环碳刷冒火的原因及防治办法;造成高、低压备用电源自动投入装置不能安全自动投运的原因及处理方法;电气接地网的检查及维护等问题.本文就以上影响机组稳定运行的电气方面的几个因素进行分析.     

基于移动通信导航系统中移动中间件的解决方案研究

本文基于移动通信导航系统提出了移动中间件解决方案,该方案利用移动中问件技术解决了移动通信导航系统移动终端可用资源变化给系统带来的问题.