基于云映射的多粒度语义决策属性识别

异类多传感器多属性目标识别中的描述性语义和决策属性信息无法直接进行识别判定,为此基于粒层转化的思想,提出了一种语义和决策属性识别方法。首先构造云映射函数,将语义和决策属性粒层统一到区间粒层,再根据灰色关联的思想计算区间化后的语义和决策属性信息与数据库之间的区间关联度,实现了不等粒层属性的粒度计算,最后采用证据推理进行了识别判定。结合语义和决策属性识别算例及对比分析,验证了所提出方法在异类数据模糊转化处理和识别上的有效性。     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

基于变化映射表的WSN通信数据语义安全算法

提出一种基于变化映射表的语义安全算法.该算法首先针对无线传感器网络(WSN,Wireless Sensor Networks)应用对临界值敏感的特点,采用变精度状态采集方法,建立了一个原始语义与其标识数值的映射表;在此基础上,网关和节点之间通过同步映射表进行通信数据的语义加密和解密,为提高安全性,在通信过程中,映射表基于通信携带的随机变更因子而不断更新.最后给出算法分析及仿真验证,结果表明提出的算法可以有效抑制已知明密文对攻击和实现语义安全.     

SDL在空间通信协议开发中的应用

针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。     

语义Web环境下的搜索引擎

传统的搜索引擎在处理用户提交的关键字时只是将含有此关键字的页面返还给用户,使得返回的网页中存在大量与用户需求无关的网页.语义Web可以对用户提交的内容进行理解与逻辑判断,从而实现更精确的搜索.     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

大学英语漫谈四则

大学英语漫谈四则王蕴生（外语系）一、英语中常用于否定的词与词组英语中的许多句型都是通过长期的使用总结出来的，一般都有其规律性。ＡＬＤ（ＡｄｖａｎｃｅｄＬｅａｒｎｅｒ＇ｓＤｉｃｔｉｏｎａｒｙ）总共有五十个句型，ＬｏｎｇｍａｎＤｉｃｔｉｏｎａｒｙｏｆＣｏ...     

面向对象建模(UML)的理论分析

本文主要介绍统一建模语言（UML）的产生基础、UML的基本语义；面向对象的机制和过程。     

支持语义的图像检索

如何跨越低层视觉特征和高层语义特征的鸿沟，是目前计算机视觉的一个难点。文中首先在低层视觉特征上提取图像的主要颜色，然后利用语义网络建立低层视觉特征和高层语义特征之间的关联，最后，为了提高检索效率，把相关反馈引进到图像检索系统中。实验证明。该方法可以应用到大量的数据库上，取得了较好的检索准确率。     

“只得”和“不得不”的用法辨析

副词"只得"和"不得不"均表示动作行为的执行违背了行为人的意愿。但是两者的语义环境却是不同的:前者是基于选择的多元化,而后者则是对外力强制下执行动作的将就[1]。因此它们在用法上也呈现出了一定的差异。