王珊珊
- 作品数：29 被引量：48H指数：4
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术建筑科学生物学更多>>
- 通用信息管理用户界面系统被引量：2
- 1997年
- 通过介绍植物信息管理系统的接口设计，向用户展示了一个基于MSC（MicrosoftC）的用户界面生成软件包，它可以嵌入任何使用MSC语言及数据库管理系统开发的信息管理应用系统。
- 王珊珊黄志球尤晓梅刘永志
- 关键词：信息管理用户界面系统植物学
- 粘钢加固质量红外检测的图像处理被引量：2
- 2006年
- 研究了通过红外热图像检测混凝土结构粘钢加固质量的方法。对混凝土粘钢结构在温度变化过程中红外热图,采用直方图增强,并采用自适应滤波和中值滤波等处理方法对原始记录图像进行处理,得到了高质量的温度场测试结果,可以更好地显示其中的缺陷信息。
- 王珊珊艾军周克印田裕鹏王军
- 关键词：图像处理粘钢加固红外检测MATLAB
- 云计算中SLA的分层监测研究
- 2012年
- 在云计算这个松耦合的服务环境中,为了保证服务的质量,用户和服务提供者之间必须签订SLA协议,来保证服务的正常交互。对于服务提供者来说,他们不知道这些高层的SLA属性怎么转化到底层的度量值或者参数上去,云中服务实现方式的多样性导致这个问题更加复杂。文章首先定义了云中常用的QoS属性,然后提出了一个基于分层、自下而上的SLA监测模型,最后根据模型建立系统实现框架。
- 李杰王珊珊
- 关键词：SLA云计算QOS
- 一种基于故障扩展SysML活动图的安全性验证框架研究被引量：4
- 2015年
- 随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和SysML活动图两种模型语义描述的基础上,提出了一种基于故障扩展SysML活动图的安全性验证框架,包括:首先利用故障树最小割集提取故障信息并给出故障树逻辑门的转换规则;然后给出故障扩展SysML活动图的构建步骤;最后使用Promela对故障扩展SysML活动图进行建模,并使用模型检测工具SPIN对其进行分析验证。通过一个燃气灶控制系统验证了此方法的有效性。
- 仵志鹏黄志球王珊珊曹德建
- 关键词：PROMELA
- MPEG-2音视频编辑软件的实现方案被引量：2
- 2009年
- MPEG-2文件标准出现得比较早,MPEG-2作为DVD标准,现存的许多视频资源中就保留了很多这种格式的文件。如何对现有资源文件进行整理再编辑,成为一个现实应用中常见的问题。在此提出两种针对MPEG-2文件的剪辑方案,分别基于MPEG-2格式标准字节流分析和DirectShow的DES技术两方面说明了视频文件的编辑方法,并从上述两方面着手,既指出了各自的实现细节,又将这两种方法进行比较,分析它们各自的优缺点,最后指出DirectShow技术在音视频编辑应用方面有它独到的优势。综合当前主流的音视频编辑软件实现方案,为音视频编辑应用指出实践的方法。
- 陈志峰田裕鹏王珊珊
- 关键词：MPEG-2视频编辑DIRECTSHOWDES时间线
- 扩展了信任与隐私的ABAC模型研究
- 2015年
- 基于属性的访问控制模型(ABAC)特别适用于大规模分布式网络。然而,由于其访问控制决策依赖于属性的暴露,又没有有效的敏感属性保护机制,使得访问主体的敏感属性存在非法暴露的风险。本文提出了一种扩展了信任与隐私的ABAC模型,它包含了信任与隐私这两个特殊属性,并使访问控制决策敏感于跨组织的协作上下文,以解决ABAC模型本身不含敏感属性保护机制的问题。设计了一种促使管理者在危机管理系统中做出更优决策的图形化原型工具,并验证本文方法的有效性。
- 倪川王珊珊黄传林
- 关键词：访问控制信任隐私上下文危机管理
- 支持本体推理的P3P隐私策略冲突检测研究被引量：7
- 2013年
- 隐私偏好平台(platform for privacy preferences,P3P)主要被用于在用户访问网站时保护用户的隐私。同时,如何使用语义Web技术实现P3P隐私框架已经成为一个主要的关注点。分析了如何使用本体描述语言(Web ontoloty language,OWL)对P3P隐私策略及用户隐私偏好进行知识表示,并提供了若干使用OWL公理描述的约束,这些约束将为推理提供支持。分析了如何使用推理对服务隐私策略同用户隐私偏好之间的冲突进行检测。通过实验证明了该方法的正确性。
- 贾哲黄志球王珊珊沈国华柯昌博
- 关键词：本体
- 一种分频段复合正交脉冲注入的三相电网阻抗测量方法
- 本发明提出了一种分频段复合正交脉冲注入的三相电网阻抗测量方法，属于发电系统技术领域。该方法包括以下步骤：（1）根据三相逆变器设计参数确定电网阻抗测量带宽；（2）对测量频率范围按低频段、中频段、高频段进行频段划分；（3）针...
- 陈新王赟程黄通王珊珊傅明月周建华刘丹
- 文献传递
- 带时间约束的Web服务异步交互相容性分析
- 在服务组合中为了满足用户的需求规约，有时不可避免地采用异步交互方式，但异步交互行为不可能无限等待。针对带有时间属性限制的异步交互的Web服务组合问题，提出了一种基于时间自动机的服务相容性检测算法。利用扩展时间属性的Web...
- 夏洋洋黄志球王珊珊范大娟王进
- 关键词：WEB服务时间自动机
- 有色Petri网的行为研究
- 有色Petri 网是在经典的Petri 网基础上发展起来的一种高级网系统，是一种适于描述异步并发系统的图形工具和数学工具。它以简洁的图形方式和精确的语义定义表现系统状态，并用形式化分析方法分析系统未来的状态转换。现有的有...
- 王珊珊
- 关键词：有色PETRI网
- 文献传递
