刘雪艳 作品数:25 被引量:155 H指数:6 供职机构: 西北师范大学 更多>> 发文基金: 国家自然科学基金 教育部人文社会科学研究基金 陕西省自然科学基金 更多>> 相关领域: 自动化与计算机技术 环境科学与工程 理学 电气工程 更多>>
嵌入式实时操作系统BSP的探讨 被引量:1 2003年 基于嵌入式实时操作系统的要求 ,分析了VxWorks的功能 ,强调BSP(BoardSupportPackage)针对于不同的基本接口界面 ,提供不同的BSP ;同时说明BSP的功能是提供给操作系统一个无关的设备接口 ,可以让程序开发者在不熟悉具体硬件的情况下正确地配置硬件寄存器 ,并给出了它的主要设计方法和实现过程。 刘雪艳 张强 张贵仓关键词:嵌入式 VXWORKS 基于可拓分析的区域生态安全预警模型及应用——以陕西省为例 被引量:48 2010年 生态安全问题是当前人类社会可持续发展面临的主要问题,预警是生态安全研究的重点。根据生态安全预警多层次、多维度和动态性的要求,利用可拓综合分析方法,建立了区域生态安全的"状态-胁迫-免疫"(State-Danger-Immunity,SDI)动态预警模型。运用该模型对陕西省历史年份(1990-2007年)生态安全进行定量评估,并对规划年份(2010年)生态环境进行动态预警。研究结果表明,陕西省1990年至2007年的生态环境从"不安全"状态到"较不安全"状态再到"较安全"状态,呈逐渐好转的趋势,但生态安全整体水平较低,均处于"安全"水平以下;2010年陕西省生态安全为"蓝色"预警,且具有向"黄色"预警变化的趋势,水资源出现"橙色"预警,是影响陕西生态安全的主要因素。 张强 薛惠锋 张明军 刘雪艳关键词:可拓分析 区域生态安全 预警模型 基于Petri网的嵌入式软件组件的实时性研究 被引量:1 2009年 根据嵌入式系统软件的特点和发展需求,设计了一种新的嵌入式软件组件模型SECOM,给出了模型的基本组成元素。同时,利用时间Petri网TPN建立一个TPN计时器timer,对该组件模型SECOM非功能性约束中的实时性进行建模与分析,形式化地验证了该组件的实时性。 刘雪艳 张强 寇晓东关键词:PETRI网 TPN 组件 抵御污染攻击的双源网络编码签名算法 被引量:2 2011年 网络编码易遭受污染攻击的破坏,而传统的签名技术不能适用于多源网络编码。基于一种离散对数问题安全的向量哈希函数,提出一种有效抵御污染攻击的双源线性网络编码签名算法,方案中每个源节点用自己的私钥对文件签名,中间节点可用向量的合并算法线性组合来自不同源的消息,且中间(信宿)节点仅用公钥就可验证收到的签名。方案的安全性依赖于Co-Diffie、Hellman问题,并在随机预言模型下,证明能够抵抗信源节点和中间节点的攻击。 牛淑芬 王彩芬 刘雪艳关键词:哈希函数 双线性对 离散对数 三角域和四角域上Bernstein-Bezier曲面片的拼接 被引量:5 2004年 给出了具有公共边的三角域和四角域上Bernstein-Bezier曲面片光滑拼接的条件,该过程不需提高曲面的次数,有效地解决了构型复杂、形状和边界不规则的几何造型问题. 刘雪艳 张贵仓奇异混合Bézier曲线及其基表示 本文应用权的思想结合奇异混合技术,推广了Bézier曲线,得到了一种新的表示曲线的方法α-Bézier曲线,它不仅包含了原来的Bézier曲线而且由于引进了局部控制参数,具有局部的控制和修改能力,特别适合于自由曲线曲面的... 张贵仓 崔少军 冯慧芳 刘雪艳关键词:BÉZIER曲线 CAGD CAD/CAM 文献传递 基于身份的可认证多方密钥协商新方案 2011年 认证密钥协商协议允许通信方在公开的网络环境里进行认证,并协商一个安全的共享会话密钥。在M cCu llagh-Barreto方案的基础上,提出了一个基于身份的可认证多方密钥协商新方案。引入密钥种子更新临时公私钥对,实现了认证功能,提高了安全性,成功抵抗了Reveal查询攻击和密钥泄漏扮演攻击,且具有无密钥控制、等献性等特性。 刘雪艳 张强 王彩芬关键词:双线性映射 嵌入式软件组件模型的研究与设计 被引量:4 2004年 根据嵌入式系统及其应用的需求,分析了当前嵌入式软件组件技术的发展现状,设计一种新的嵌入式组件模型SECOM,给出了模型的组成元素及其形式化定义,并对组件组合进行详细的描述。同时,通过分析,总结了SECOM模型的多样性、语言无关性和可扩展性等优点,且指出下一步的工作目标。 刘雪艳 张贵仓关键词:嵌入式系统 组件 多样性 组件模型 自然保护区立法中部门合作的演化博弈分析 被引量:6 2009年 针对自然保护区立法工作中涉及管理部门多、责权关系交错复杂、各部门保护投入和利用收益冲突问题,运用演化博弈理论方法,建立部门合作关系的演化博弈模型,分析立法过程中利益部门合作的动态演变过程,重点讨论了合作产生的超额利润、合作所投入的初始成本、自然资源服务能力、贴现因子等影响系统演化行为的几个参数变化及控制方法,并根据模型分析提出了相应的对策建议。研究结果表明,各部门策略的演化方向与博弈双方的支付矩阵相关,并受到系统初始状态的影响。自然保护区立法中应正确引导各个利益主体部门趋于合作,遵从部门合作收益的极大化原则,建立良好的立法环境以及坚持长远的观点,才能建立科学合理的自然保护区法律制度,实现自然保护区保护和利用共赢的目的。该模型的建立既丰富了环境立法的理论和方法,同时为自然保护区立法实践工作提供指导。 张强 薛惠锋 刘雪艳关键词:自然保护区 演化博弈 Ad Hoc网络中基于身份的簇密钥协商机制 被引量:3 2012年 针对Ad Hoc网络能源受限、动态变化的特性,提出一个基于身份的组密钥协商机制。该机制基于簇结构,允许同步执行基于对的多方密钥协商协议,从而使得簇成员数不影响密钥协商;密钥协商期间不需要交互,进而提供安全认证和动态性。在判定性双线性Diffie-Hellman(DBDH)问题下证明了该机制的语义安全性,并与已有方案在安全性、通信量和计算量方面进行了比较,结果表明所提机制在协商轮数和认证性方面具有优势。 刘雪艳 张强 王彩芬关键词:AD HOC网络 密钥协商 安全性