Visual topic discovering,tracking and summarization from social media streams

Multimedia Tools and Applications - Nowadays, microblogging has become popular, with hundreds of millions of short messages being posted and shared every minute on a variety of topics in social...     

Multi-objective and multi-case reliability-based design optimization for tailor rolled blank (TRB) structures

Structural and Multidisciplinary Optimization - Light weight and crashworthiness signify two main challenges facing in vehicle industry, which often conflict with each other. In order to achieve...     

AltaRica 3.0模型到Promela模型转换与验证方法研究

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。     

物联网技术在工业自动化中的应用与研究

物联网技术在现今实际应用中是极为普遍的,所谓物联网技术就是以互联网为载体来进行物与物之间信息交换的过程,以及通过互联网将任何物体与物体联系在一起的一种网络,也就是说,物联网实际上就是物物相连的互联网.     

基于传感器技术的工业设备诊断系统的设计

随着物联网技术的不断发展,传感器技术得到了不断的完善,已经开始逐步运用到社会的各个方面,但是在工业设备操作现场方面的应用还不算完善。基于对传感器技术的研究,本文设计一种工业设备诊断系统。该系统通过传感器技术可以实时对工业现场设备参数进行检测和查询。由无线传感器网络将采集的信息传递到数据库服务器,最后由上位机进行相应的诊断处理。这样可以减少设备故障带来的危害和损失。     

μC/OS-II+LPC213x嵌入式开发平台的中断过程分析与优化方法

从ARM7中断处理机制入手,分析了ARM7+μC/OS-Ⅱ平台下的中断处理过程,提出了一套基于中断优先级的ARM中断优化方法。试验证明,此方法在不更改操作系统代码的情况下可以实现中断嵌套功能,有效提高了系统的实时性能,在工程应用中具有一定的实用价值。     

一种家庭异构网络系统终端设计

针对目前家庭通信网络日益复杂化和多样化问题,提出了一种新型的基于Wire-lessHART和PLC的无线自组织网络系统智能终端结构。通过兼容电力线通信、WirelessHART协议以及以太网的方法,实现了异构型网络通信、智能化控制家电等功能。     

Real time 3D simulation for nose surgery and automatic individual prosthesis design

This paper presents an intuitive nose surgery planning and simulation system, using 3D laser scan image and lateral X-ray image, to provide high quality prediction of the postoperative appearance, and design the patient specific prosthesis model automatically. After initial registration, the internal surface of soft tissue at the nose region was generated by the statistical data for soft tissue thickness adapted by the individual thickness information from the X-ray image. Then, the sketch contour of the 3D scan data on the lateral X-ray image was modified manually or adjusted automatically according to some aesthetic statistical data, to drive the simulation in real time by the state-of-the-art Laplacian surface deformation method. When satisfied with the 3D postoperative appearance, the deformation was mapped to the internal surface of soft tissue, and the change before and after simulation was utilized to generate the patient specific prosthesis model automatically. The surgeons who used the system confirmed that this planning system is attractive and has potential for daily clinical practice.     

对pSFLASH扰动公钥密码的一个实际攻击

通过对SFLASH的中心映射进行扰动,最近Wang等人提出了一个新的多变量公钥系统pSFLASH.pSFLASH的设计者认为,扰动后的中心映射可以破坏SFLASH公钥潜在的数学结构,从而抵抗针对SFLASH的差分代数攻击[2-3].然而对于以(T-1,U-1,β,γ)为私钥的任一pSFLASH实例,一定存在一个可逆仿射...     

开发可统计任意密码子用法的软件BestCodon

密码子偏好是自然现象,分析密码子的用法可以优化表达基因,即密码子优化,从而调节目的基因在特定宿主中的表达水平。现有密码子用法分析软件多数只限于单个密码子,适用于密码子对和密码子三联体的较少见。本文提出1种可统计任意密码子用法的软件结构,开发出1个密码子用法统计软件BestCodon,拥有序列检查和密码子用法统计2个模块。检查模块可代替人工校对,剔除输入序列中非规范字符,为后续分析提供正确的、符合规范的数据。统计模块根据用户指定的密码子组合类型,结果返回特定的密码子用法表。本文还探讨序列检查和密码子用法统计中计算机的运算特性,结果表明该软件检查1条长达150000 bp的序列仅耗时约0.2 s,而从中统计密码子十联体的用法仅耗时约0.1 s。