您的位置： 专家智库 > >

刘静

作品数：31 被引量：161H指数：8
供职机构：华东师范大学软件学院上海市高可信计算重点实验室更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划上海市教育委员会重点学科基金更多>>
相关领域：自动化与计算机技术电子电信理学社会学更多>>

合作作者

文献类型

  • 28篇期刊文章
  • 3篇会议论文

领域

  • 20篇自动化与计算...
  • 10篇电子电信
  • 2篇理学
  • 1篇经济管理
  • 1篇社会学
  • 1篇文化科学

主题

  • 4篇网络
  • 3篇形式化
  • 3篇软件工程
  • 3篇全光
  • 3篇全光波长
  • 3篇全光波长变换
  • 3篇光波
  • 3篇光波长
  • 3篇光放大
  • 3篇光放大器
  • 3篇放大器
  • 3篇半导体光放大...
  • 3篇波长
  • 3篇波长变换
  • 3篇WEB服务
  • 2篇形式化验证
  • 2篇上网
  • 2篇体系结构
  • 2篇片上网络
  • 2篇接口

机构

  • 16篇华东师范大学
  • 16篇上海大学
  • 3篇上海电力学院
  • 2篇安阳工学院
  • 2篇同济大学
  • 2篇中国科学院上...
  • 1篇北京大学
  • 1篇合肥工业大学
  • 1篇教育部
  • 1篇浙江理工大学
  • 1篇南通大学
  • 1篇浙江师范大学
  • 1篇临沂大学

作者

  • 31篇刘静
  • 5篇缪淮扣
  • 4篇王陆唐
  • 4篇赖宗声
  • 4篇黄肇明
  • 3篇曹利培
  • 3篇陈小红
  • 3篇刘炎华
  • 2篇张兆杨
  • 2篇王永芳
  • 2篇刘辉
  • 2篇何积丰
  • 2篇孙海英
  • 2篇吴衍青
  • 2篇杜德慧
  • 2篇巫玮佳
  • 2篇顾彬
  • 2篇武翠芳
  • 1篇曹家麟
  • 1篇李爱玲

传媒

  • 3篇计算机学报
  • 3篇软件学报
  • 2篇电视技术
  • 2篇计算机工程
  • 2篇计算机应用与...
  • 2篇应用科学学报
  • 2篇微电子学
  • 1篇系统工程与电...
  • 1篇光电子．激光
  • 1篇光学学报
  • 1篇计算机工程与...
  • 1篇中国科学（E...
  • 1篇计算机工程与...
  • 1篇光通信技术
  • 1篇上海电力学院...
  • 1篇计算机科学
  • 1篇电子与封装
  • 1篇计算机教育
  • 1篇中国科学：信...
  • 1篇第二届中国光...

年份

  • 1篇2016
  • 2篇2015
  • 3篇2014
  • 1篇2013
  • 4篇2011
  • 2篇2010
  • 4篇2009
  • 1篇2007
  • 4篇2006
  • 2篇2005
  • 4篇2004
  • 1篇2001
  • 2篇2000
共 31 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
PolSK调制混沌保密光通信的实验研究被引量：3
2005年
将PolSK技术应用到混沌保密光通信中。利用半导体光放大器(SOA)构成光纤环状激光器产生偏振态混沌信号,并利用SOA的互相位调制(XPM)效应,通过信号光输入到激光器中,将传输数据动态地调制到混沌信号的偏振态上,实现数据保密通信。对PolSK混沌保密通信的基本原理进行了说明,给出了实验系统基本性能的测试结果,并进行了讨论。
刘静王陆唐巫玮佳黄肇明
基于语义网络表示的皮肤症状模糊推理系统的研究被引量：1
2006年
针对皮肤症状中的知识表示问题,讨论了语义网络的知识表示方法.并将模糊推理引入皮肤症状图像的分类识别中,给出了4种常见皮肤症状(黄褐斑、粉刺、黑头、雀斑)的语义网络表示,建立了识别的隶属度函数和基于语义网络表示的模糊推理算法,从而构建了一种皮肤症状模糊推理系统.实验结果表明,利用该推理系统得到的皮肤症状分类准确率达到了令人满意的效果.
刘静胡越黎曹家麟
关键词：语义网络模糊推理皮肤症状自动识别
一种低复杂度DDFS的设计与ASIC实现被引量：2
2009年
提出了一种基于ROM结构的直接数字频率综合器(DDFS)的实现算法和实现结构。采用三角函数分解法,降低了其对ROM的需求;并对电路进行优化设计,采用简单的移位相加,节省了乘法器,从而降低了整个电路的复杂度。用标准Verilog HDL实现整个DDFS;采用SMIC0.18μmCMOS工艺库进行设计和实现。经仿真测试,该方法输出的频谱杂散大于60dBc,仅需344位的ROM,工作频率可达100MHz。整个DDFS的芯片面积为300μm×350μm。可满足大多数无线通信系统的要求。
刘静赖琳晖李小进雷奥顾彬赖宗声
关键词：ROMASIC
利用SOA自发辐射和非对称马赫-泽德尔干涉仪实现全光波长变换的研究
对利用SOA中ASE输入频谱,实现全光波长变换的技术进行了理论与实验的研究.在这种波长变换技术中,信号光调制SOA中的ASE强度和相位,通过光滤波器对ASE输出光谱进行频谱分割,以产生所需要的变换波长信号,并结合一个非对...
刘静王陆唐黄肇明
关键词：全光波长变换半导体光放大器
文献传递
基于常微分方程的死锁检测实验分析被引量：1
2009年
用静态分析方法对并发程序进行死锁检测通常比较困难,其原因是会遇到状态空间爆炸问题.文中针对作者曾提出的一种可有效避免状态爆炸问题的死锁检测方法,进行进一步实验验证.该方法的基本框架是首先将表示并发系统的离散Petri网模型连续化,得到一种新的连续Petri网模型;在此基础上,建立系统的常微分方程模型;通过分析常微分方程组的解来检测系统中是否存在死锁.与传统方法不同点在于:该方法不需要遍历状态空间,而是分析一组常微分方程组的解.为了减少在求解常微分方程模型过程中的计算机系统的开销,作者还釆取了一系列优化策略.哲学家进餐问题被用来说明死锁检测的方法.大量的实验结果说明作者所提出的方法有着较强的静态分析能力.作为副产品,这种分析方法还可以用来判定系统的有界性.
丁佐华江明月刘静
关键词：死锁检测并发程序连续PETRI网常微分方程
面向安全攸关系统中小概率事件的统计模型检测被引量：10
2015年
在开放运行环境中,安全攸关系统的不确定性行为有可能导致小概率事件的发生,而此类事件的可靠性指标往往很高,小概率事件一旦发生就会产生灾难性的后果,严重威胁到人们的生命、财产安全.因此,评估、预测小概率事件发生的概率,对于提高系统的可靠性具有重要意义.统计模型检测是一种基于模拟的模型验证技术,结合了系统的快速模拟及统计分析技术,能够有效提高模型检测的效率,适用于验证、评估安全攸关系统的可靠性,但其面临的挑战性问题之一是在可接受的样本数量下,使用统计模型检测技术难以预测、评估小概率事件发生的概率.因此,提出一种改进的统计模型检测框架,设计和开发基于机器学习的统计模型检测器,实现在相对较少的样本数量下预测和评估小概率事件发生的概率.结合轨道交通控制系统中避碰控制案例分析,进一步证明改进后的统计模型检测器能够有效预测和评估安全攸关系统中小概率事件发生的概率.
杜德慧程贝刘静
关键词：小概率事件
基于图的Web服务组合优化的研究被引量：18
2007年
单个Web服务难以满足实际应用的需求,如何组合已有的服务,形成新的服务,已成为此领域的研究热点。现在的组合方法极少考虑服务质量QoS(Quality of Service)。对于一些提供相似功能的Web服务,服务质量是判断是否选择此服务的关键因素,组合服务的质量必须满足用户的需求。本文基于SOA的服务开发思想,针对当前服务组合存在的问题,提出了一种基于QoS的服务组合方法,并给出了构建基于QoS的Web服务组合及选择最佳服务的策略,通过整合单个服务的质量以得到最终组合服务的整体最佳质量。在满足用户组合服务的功能需求的同时,也满足了用户对服务质量QoS的需求,实现了需求服务的优化。
曹利培刘静缪淮扣
关键词：WEB服务OWL-S
基于QoS的两阶段Web服务选择方法被引量：12
2009年
分析了已有的服务选择方法所存在的不足,根据基于QoS的服务选择方法类型的特点,提出采用QoS属性计算与QoS语义二者结合的方法进行服务选择。通过功能分类、服务相似度比较、QoS排序选择筛选掉大量Web服务,降低了全局算法的计算量,通过最短路径算法进行服务选择克服了局部优化无法考虑全局QoS约束的缺点,达到既满足组合服务中单个服务选择的局部约束条件,又满足组合服务全局约束条件的效果,最终使用户得到相对最优的组合服务。最后通过实例对提出的方法进行了验证。
曹利培李爱玲刘静
关键词：WEB服务服务质量
面向服务架构中服务实现的策略被引量：6
2006年
构造了层次化的SOA模型,并提出了将服务使用层与服务实现层分层处理的策略.建立了基于服务的构件模型来实现SOA中的服务,使用接口来描述服务的语法,契约来描述服务的语义,并用卫式设计来模服务的行为.将接口作为结合构件技术与面向服务架构的关键.用实例说明了如何使用这种方法来实现面向服务的设计.此工作为利用构件技术解决面向服务架构中的服务实现问题奠定了基础.
刘静何积丰Zhiming Liu
关键词：接口契约
基于形式化测试的实时系统变更后安全性验证被引量：1
2014年
变更后系统实现的安全性验证是安全攸关系统维护过程中必不可少的环节,也是其面临的主要挑战之一.软件模型检测和程序验证是目前常用的作用于代码层面的自动化安全性验证技术.本文站在系统行为角度,基于形式化方法,提出了一种将变更后系统实现的安全性验证问题归结为一致性测试的方法,尝试通过自动生成的一致性测试用例在系统行为级别上判定系统实现是否安全.为此,首先以时间输入输出自动机及其语义模型为基础,构建了该方法的证明体系,证明了该方法的正确性;其次,建立了变更后系统实现安全性验证的回归测试生成框架.相对于其它实时系统测试方法,这种测试方法不仅可以发现实时系统中常规的不一致性缺陷,而且为变更后系统实现在运行时是否满足指定的安全性属性提供了依据.最后,以轨道交通系统中的列车自动防护功能的变更情景为案例研究,说明了方法的具体应用.
孙海英刘静陈小红杜德慧周庭梁
关键词：软件工程实时系统形式化方法软件测试安全性测试
全选 清除 导出
共4页<1234>
聚类工具0