基于UML2．0序列图的Web服务运行时验证方法

针对一般数字水印算法对于水印不可感知性和鲁棒性无法达到较好平衡的问题,提出了一种改进的DCT的自适应盲数字水印。嵌入水印的时候,根据云图的纹理和暗影特征,结合人类视觉系统(HVS),DCT块的DC分量利用奇偶量化法嵌入水印,AC分量利用确定固定系数法嵌入水印;提取水印的时候,利用盲检测方法。实验结果表明,提出的自适应盲数字水印不仅对常见的高斯噪声、椒盐噪声攻击具有很好的鲁棒性,而且较好地满足了水印的不可见性,同时减少了水印的嵌入和提取时间。     

一种基于Agent的语义Web服务编制框架

针对动态、开放网络环境下复杂多变的业务需求,本文在前期语义编程语言SPL研究的基础上,提出一种基于Agent和本体的语义Web服务编制方法,形成一个以语义编程语言SPL为核心的、可适用于将语义Web服务与多A-gent技术无缝集成起来的,进行语义Web服务编制的技术框架。框架实现基于SPL开发和运行支撑平台,该平台为语义Web服务和软件Agent提供必要的运行支持。     

基于Verilog-A的电容式MEMS加速度计模型

本文分析了传统MEMS电容式加速度计模型的不足,根据三明治结构电容式加速度计的特点,考虑了寄生电容和热机械噪声的影响,建立了用Verilog-A硬件描述语言实现的模型。该模型与主流集成电路设计环境相兼容,具有很强的可移植性。模拟验证结果表明,该模型如实反映了MEMS电容式加速度计的工作状态,能够为设计单片集成的微弱电容检测电路提供有效的帮助。     

一种基于运行时验证的Web服务选择方法

为了确保用户选择的Web服务的运行时行为与用户需求之间的一致性,提出了一种基于运行时验证的服务选择方法。首先基于自动机原理,对Web服务进行运行时验证。其次,定义了3种程度的行为匹配关系,基于运行时验证结果,量化Web服务运行时行为与用户需求之间的匹配程度,并使用AHP理论计算用户偏好。方法综合考虑行为匹配程度和用户偏好对服务选择的影响,提出服务选择策略。最后通过实验分析和比较说明了该方法的合理性。     

基于静态污点分析的Android隐私泄露检测方法研究

Android移动设备中存储了大量的敏感信息,如通话记录、联系人等,容易成为恶意攻击者的目标。基于静态污点分析技术,提出了一种面向Android平台的隐私泄露检测方法。通过提取Android敏感权限与API,创建两者之间的映射关系,生成Android应用程序的函数调用图,实现了对于大规模应用程序中潜在隐私数据泄露行为的检测。实验结果表明,本文所提出方法的准确率较高,且运行耗时较短,适合于大规模应用程序的检测。     

基于异构光波束的可见光通信覆盖特性分析

受限于传统可见光通信(VLC)的研究范式,研究人员在分析可见光无线覆盖时,通常假设光源遵从朗伯空间辐射特性.客观上,上述假设忽视了由不同类型光波束构成的潜在异构光波束,对基于异构光波束的VLC覆盖特性也缺少必要的探索.针对上述问题,综合考虑商用发光二极管(LED)光源的差异化非朗伯光波束特性,文章给出了多种潜在的异构光...     

可见光通信非朗伯光波束发射分集技术

受限于传统朗伯光波束较强的空间指向性,基于同构朗伯光波束的可见光通信发射器设计难以提供令人满意的空间覆盖.综合考虑商用发光二极管(LED)光源多样的非朗伯光波束特性,提出一种基于非朗伯光波束的发射分集技术方案.该方案能够充分利用非朗伯光波束各自的空间辐射特性,将更多发射光功率针对性地投射到远离光发射器的覆盖边缘区域,在...     

让语文课堂成为学生展示自我的舞台——高效性课堂教学案例评析

高效性是课堂教学的命脉。所谓高效性课堂教学,是指在有效课堂的基础上、完成教学任务和达成教学目标的效率较高、效果较好的课堂。这样的课堂,能充分培养和锻炼学生的创新精神和实践能力,形成良好的情感、正确的态度和价值观,促进学生全面发展的教学。因此,我们要创设情境,让心灵走近文本;细读品味,让心灵沉浸文本;注重延伸,让心灵内化文本;只要我们精心打造课堂,让课堂成为学生展示自我的舞台,成为师生洋溢生命激情,充分对话的展示台。让学生充分享受语文学习的快乐和生命的充实,敢于去尝试探索、乐于去交流展示,语文课堂就会成为高效的课堂。我们的语文课堂将会与朱宗福老师的课堂一样充满激情,充满智慧,绽放出更美的光彩。     

工业无线光技术研究进展

现有的绝大部分应用于各类工业环境无线解决方案是基于传统射频的技术范式,存在电磁干扰、工业数据泄露等潜在风险,众多研究机构正积极地将多样的无线光技术引入到工业智能场景.为了清晰阐述无线光技术在工业场景应用的研究进展,分别从工业无线光多载波传输、多输入多输出(MIMO)传输、定位和原型通信系统实验这些方面进行了梳理,初步给...