面向CPS复杂事件流的不确定性研究
摘要：信息物理融合系统CPS获得广泛应用需要解决的一个关键问题是软件中的信息处理部分,而复杂事件处理是CPS中信息处理的核心任务之一。CPS环境下的事件具有异构、分散、海量和不确定性等特征。在CPS实际应用中,因噪声、传感器误差、通讯技术等原因而造成的事件不确定性急需解决。为了解决CPS系统中存在的海量不确定事件流问题,提出一种处理不确定事件流的复杂事件处理方法USCEP,该方法不仅可以实时有效地处理海量不确定事件流,还可以有效计算复杂事件的概率。USCEP对现有RFID复杂事件监测方法 RCEDA进行了改进,提供了历史概率事件查询处理的支持,提出一种事件概率模型进行概率计算,并通过关联查询表来提高效率。实验表明,在处理不确定事件流时,该方法比传统方法具有更好的性能。一种高效用项集并行挖掘算法
摘要：由于能反映用户的偏好,可以弥补传统频繁项集挖掘仅由支持度来衡量项集重要性的不足,高效用项集正在成为当前数据挖掘研究的热点。为使高效用项集挖掘更好地适应数据规模不断增大的实际需求,提出了一种高效用项集的并行挖掘算法PHUI-Mine。提出了记录挖掘高效用项集信息的DHUI-树结构,描述了DHUI-树的构造方法,论证了DHUI-树的动态剪枝策略。在此基础上,给出了高效用项集挖掘的并行算法描述。实验结果表明,PHUI-Mine算法具有较高的挖掘效率及较低的存储开销。绝热量子优化算法研究进展
摘要：绝热量子优化计算于2001年首次提出,它基于绝热量子演化研究NPC组合优化问题,是量子计算的领域热点。主要回顾了绝热量子优化算法研究领域所取得的进展,阐述绝热量子优化算法研究所采用的主要方法和关键技术,最后分析绝热量子优化计算的发展趋势。基于云平台的老年人退化评估与延缓服务研究
摘要：人口高龄化趋势已日益明显,生理机能退化是每个老人都会面临的问题。结合现有云计算和专家系统技术,以协助老年人延缓身体退化研究为目标,研究身体退化量测与评估方法,引入本体论将退化评估结果与运动处方知识库结合,建立科学有效的健身中心服务平台。跟踪实验的结果表明,云平台处理大量数据效能表现良好,满足实时分析需求;受试者各项指标提升效果明显,尤其是对于高龄族群最重要的体脂指标相对训练前有明显改善。树形网络中的副本更新策略及算法
摘要：树形网络中的副本放置和更新是网络通讯中值得研究的重要问题之一。面对网络中数据访问需求的动态变化,好的副本放置和更新策略可以在保证服务质量的前提下有效减少网络运行及副本更新成本。针对此问题提出了两种贪心的动态副本更新策略,最大重用策略和请求覆盖策略。通过算法复杂度分析和仿真实验可以看出,所提出的两种算法的最坏时间复杂度为O（nlog n）,远低于现有的使用动态规划求最优解的最坏时间复杂度O（n^5）,而网络运行及副本更新成本与最优解相差不超过11%。在极大地缩短了运算时间的同时,保持了尽可能低的网络运行及副本更新成本。基于沃尔泰拉级数的模拟电路组合故障诊断法
摘要：针对模拟电路的固有复杂性及其传统故障检测方法延时大和正确识别率低的问题,借鉴基于隐马尔科夫模型改进最小二乘支持向量机以及Volterra级数原理,将二者组合进行故障诊断。该方法首先采用Volterra级数频域核对电路故障特征进行提取,再利用经隐马尔科夫模型改进的最小二乘支持向量机进行模态分类,最终完成故障诊断。仿真结果表明,与目前使用的BP神经网络诊断方法和LSSVM诊断方法相比,该方法不仅提高了系统故障辨识能力,还提高了系统故障诊断的速度。基于TIA/EIA-899标准的TYPE-I型M-LVDS接收器设计
摘要：提出了一种基于TIA/EIA-899标准的TYPE-I型M-LVDS接收芯片的实现方案,设计了一种新颖的共模搬移电路在实现超越电源电压轨的共模输入范围的同时简化了后级电路设计,节约了面积和功耗,电路中预放大器将输入信号放大一定倍数,迟滞比较器为系统引入迟滞效果。芯片采用GSMC0.18μm 1P6M CMOS工艺流片验证。测试结果表明,该芯片共模输入范围为-1.4V～3.8V,信号传输速率大于250 Mbps,具有典型值为28mV的迟滞效果。基于力导向模型的网络图自动布局算法综述
摘要：实现网络图形中节点和边自动布局一直是可视化研究中一个重要内容,基于力导向模型的自动布局算法则是该类研究中应用最广、文献最多的一类方法。根据研究方向出现的时间顺序,从基本模型、基于多维尺度分析的布局算法、多层迭代布局算法、非欧空间节点布局算法、受约束图形自动布局算法等五个方面对基于力引导模型的网络图自动布局算法的典型方法、研究进展、分支情况等进行了描述,并对发展前沿进行了讨论。Feistel-SP结构迭代差分的自动化搜索
摘要：基于新的符号差分表示方法提出了一种自动化搜索技术,可以搜索出典型Feistel-SP结构的分组密码的最优迭代差分模式,选择合适的迭代差分模式可以遍历出所有最优的迭代差分路径,不仅大大降低计算复杂性,还能通过迭代差分模式构造出多轮最优差分路径。以轻量级分组密码MIBS为例,应用自动化搜索工具,给出了MIBS的3轮、4轮最优迭代差分路径,概率分别为2-20、2-26,并搜索出所有满足条件的最优迭代差分路径。OFDM符号特性对DCF性能影响研究
摘要：认知无线网络由于使用信道频段的长时延特性,OFDM符号时间及Slottime均较大,使得CSMA/CA协议中的SIFS等参数值增大。另外,随着无线局域网络物理层速率的提高,每个OFDM符号携带的数据比特数加大。为评估物理层长时延及高速环境下的DCF性能,基于二维Markov模型得出了CSMA/CA系统吞吐量表达式,数学分析表明系统吞吐量主要由网络节点数、数据包长度、OFDM携带信息比特数、Slottime及OFDM符号时间长度决定。理论计算及仿真测试结果显示,OFDM携带信息比特数越多,Slottime越大,OFDM符号时间长度越长,CSMA/CA的吞吐量性能越低。无线网络抗干扰攻击的自适应无速率通信
摘要：针对干扰攻击干扰信号解码、降低通信性能的问题,提出一种具备抗干扰攻击能力的自适应无速率通信机制。它将原始报文拆分为多个编码分片并分别传输,从而降低干扰攻击的影响并充分利用非连续的可用间隙。通过自适应调整分片的长度,在干扰攻击频繁时减少长度以获得更好的鲁棒性,在攻击概率较低时增大长度以提高效率。实验结果表明,当干扰攻击严重时,与直接通信相比,新机制的吞吐量平均提高50%以上,稳定性提高一个数量级。因此,自适应无速率通信可有效抵御干扰攻击并获得较高的通信效率。单调指标空间在信息系统风险评估中的应用研究
摘要：针对当前指标分析方法在整体性质分析方面的不足,利用样本点的拟合函数,提出了一种系统的单调指标空间分析模型MISAM,定义了指标的灵敏度和关联度。在该模型基础上,提出了一种基于多级灵敏度的指标权重分配方法和风险评估方法,定义了信息系统风险状态的需求满足度,用于度量当前的系统安全状态与评估者所需要的系统安全状态之间的差距,仿真实验验证了模型和方法的有效性。一种基于三方密钥协商的移动IP注册协议
摘要：目前大多数移动IP注册协议都是采用对称密码体制和基于公钥密码体制相结合的方式来实现移动实体之间的相互认证,移动节点和外地之间没有认证,存在一定的安全缺陷。针对这种移动IP注册协议的认证安全问题,将无证书的三方密钥协商方案引入到移动IP的注册,提出了基于三方密钥协商的移动IP注册协议,实现移动节点、家乡和外地这三个实体的相互认证。分析结果表明,协议具有更高的安全性,且拥有较高的效率。认知无线网络中基于信誉度管理的动态频谱接入研究
摘要：随着无线服务和相关设备的飞速发展,认知无线网络中特有频谱稀缺问题越来越引起研究者的重视。在集中式认知无线网络中,次级用户基站SUBS作为融合中心,通过收到周围的次级用户的感知信息来分配频谱资源。然而,环境的易变性使次级用户容易受到攻击从而影响次级用户感知信息,导致网络频谱资源分配错误。引入信誉度模型来表现次级用户在认知循环中的行为规范,在分配频谱阶段将信誉度作为评定标准,鼓励次级用户积极感知及规范运行。在感知阶段,次级用户感知信道数越多,感知信息越正确,其信誉度越高。在运行阶段,次级用户行为越符合网络规范,则信誉度越高。仿真结果表明,论文模型可以很好地减少次级用户基站的错误决策次数,提高其抗攻击性,同时使得网络在很好地分配资源的同时鼓励整个网络行为积极化。最大流的弧容忍度问题及其算法
摘要：针对通信网络中通道的带宽发生变化是否会影响通道的最大通信能力的问题,提出最大流的弧容忍度问题。结合最大流与最小截的性质,将最小截内外的弧分别进行考虑,提出了求解每条弧的弧容忍度的多项式时间算法,并对算法进行分析比较。实例结果表明,算法复杂度低,易于操作。基于加速度传感器的手机用户认证方法
摘要：为了保证手机信息安全,设计实现了一种基于内置三轴加速度传感器的手机用户认证方案。通过内置三轴加速度传感器采集认证手势信号,提出差分自底向上线性分段方法进行有效手势动作端点的自动检测,利用小波包分解对有效手势信号进行去噪,进一步设计基于欧氏距离的动态时间规整算法计算测试手势和模板手势的相似度,从而得出认证结果。相比于现有常用手势端点检测方法,差分自底向上线性分段方法能更准确地截取有效手势信号。实验结果表明,当他人模仿手势错误接受率为0%时,本文认证手势错误拒绝率小于5%,有效实现了用户认证。一类基于周期p^m序列的循环码
摘要：首先计算了一类在有限域GF（q）上周期为p^m序列的极小多项式,其中p为素数,而且p｜/q（p不整除q）,然后利用此极小多项式作为生成多项式构造了GF（q）上的一类循环码,并给出了此码最小（汉明）重量的下界。基于流演算理论的动态访问控制模型研究
摘要：访问控制模型为系统的信息安全提供了一个理论框架,其目的是保护系统资源不被非法用户盗用,防止合法用户对受保护信息进行非法使用。然而,现有的访问控制模型大部分属于静态授权模型,不能方便地描述大规模、异构的分布式网络系统中授权过程的动态变化。为了解决上述不足,在充分研究流演算理论的基础上,提出了一个基于流演算理论的访问控制模型（FCDAC）。FCDAC将动态世界中的所有授权过程都看作是动作的结果,通过动作来实现状态的变化,并且在系统中只需描述动作的前提条件公理和状态更新公理就可容易地实现权限的变化。最后,通过一个教务管理实例验证上述理论,结果表明FCDAC是可行的。
