董笑菊
- 作品数：19 被引量：23H指数：3
- 供职机构：上海交通大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术理学语言文字文化科学更多>>
- 树比较可视化方法综述被引量：5
- 2016年
- 层次数据是生产和生活中常见的一类数据.树可视化通常用于呈现层次数据,是可视分析中的一个重要部分.比较是一种常用的分析方式,而树比较可视化也是可视分析研究中的一个重要课题.树比较可视化从所比较的树的数目角度,分为树内比较、两树比较和多树(3树及以上)比较;从数据特点角度分为静态树比较和动态树比较;从比较分析的任务角度,分为结构比较和属性比较.对现有的树比较可视化方法进行了总结,按照不同方法的表现形式,将树比较可视化分为并置、合并以及动画这3类.同时,结合其他分类方法对树比较可视化方法进行了全面的分析和评估.通过评估和比较,分析了不同方法的优缺点以及在不同的数据分析需求中的适用性.在此基础上,还对树比较可视化中的交互方式进行了总结,并阐述了树比较可视化所面临的挑战.
- 李彦龙李国强董笑菊
- 基于GSPM的安全协议检验工具被引量：1
- 2008年
- 介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述了该工具如何验证安全协议,表明GSPM模型和验证算法的有效性和正确性。
- 庄庆蔡小娟董笑菊戚正伟
- 关键词：线性时序逻辑安全协议保密性认证性
- 系统生物形式化模型研究综述
- ＜正＞ 1 引言在生物学的研究中,计算机科学发挥着重要的作用,如DNA序列和蛋白质结构等的研究。自然界中,机体的存在和活动依赖于各组成部分的协调工作,所以随着生物数据和知识的不断积累,生物学开始越来越关注生物系统的整体行...
- 董笑菊傅育熙徐贤
- 文献传递
- 用P系统解决排序问题被引量：6
- 2008年
- 介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大大降低的可能性.
- 黄春毅董笑菊龙环
- 关键词：P系统
- 基于社区发现的网络异常检测方法被引量：3
- 2022年
- 随着互联网的不断普及与网络通信技术的不断进步,网络已经逐渐进入到人们生活的每一个层面,越来越多的网络应用应运而生.但是另一方面,随着当前网络结构的日益复杂,会引起各种各样的网络安全问题,对社会构成了巨大的威胁和挑战.因此,网络安全问题至关重要.其中网络异常检测得到了研究人员的普遍关注.多年来,虽然已有许多异常检测的工作可以一定程度上发现和抵御网络攻击,但是有些方法难以适用于无标签的数据集,有些方法则训练成本过高,无法应用于实时场景.此外,对于细微异常的检测也是现有方法面临的一大问题.考虑到模型可解释性对于很多场景的必要性,本文以可视分析作为基础,提出了基于社区发现的网络异常检测方法,通过一个较为合适的粒度来提高系统对于细微异常的检测能力.该方法首先使用多层常量玻茨模型(CPM)算法对移动时间窗内的网络数据检测社区,并以社区为单位提取特征向量,然后用社区匹配方法将相邻时间步的社区关联起来,通过监控各社区特征的变化情况来检测异常.这种方法既考虑了网络数据作为动态图的特性,又能从一个比较合适的粒度提取特征.此外,系统提供可视化界面来帮助用户确认异常点前后的网络情况、关联异常事件.通过在Vast Challenge 2013挑战三的NetFlow数据集上的实验证明了该方法能够有效地检测更加细微的网络异常,验证了所提方法的有效性.
- 钱爱娟樊昕董笑菊褚衍杰袁晓如
- 关键词：网络异常检测
- 有界Petri网的进程演算表达被引量：2
- 2011年
- 为了进一步探讨Petri网与进程演算的关系,给出了一种使用进程演算模型(CCS)表示有界Petri网的方法.对于任意的有界Place/Transition网,可以用该方法构建一个与之相对应的有限进程.并且证明了所得进程与原网之间满足操作一致性和观察一致性.同时,证明了该方法在网的标号互模拟上满足完全抽象性.
- 董振华董笑菊
- 关键词：PETRI网
- 用进程演算建模生物化学反应过程
- ＜正＞1 引言进程演算是一类描述并发系统的形式化模型,可以用来研究具有并发性、移动性、分布性等特点的系统。该类演算在语法上定义了一组操作子, 用以构成其基本研究对象一进程;而语义上则采用交错并发语义,即一个并发执行的进程...
- 董笑菊倪佳华傅育熙
- 文献传递
- 基于XRD的三元组合材料芯片结构分析系统及方法
- 一种基于XRD的三元组合材料芯片结构分析系统及方法，通过分析材料谱图中的XRD数据和坐标数据，以三强峰原则确定峰值并得到峰值分布图，然后依据峰值区间聚合算法将所有的峰值划分为多个候选基向量判别所需的区间并根据此区间使用基...
- 董笑菊张澜庭邓小铁刘威吴彪朱文杰
- 文献传递
- Tile自组装模型的模拟与分析
- ＜正＞1 引言 1994年,美国加州大学Adleman博士首次在实验室用DNA分子生物计算的新方法,解决了一个含有7个城市的Hamilton有向路问题。从此,这种基于生物化学反应的新型计算方法——DNA计
- 濮阳董笑菊
- 关键词：TILESELF-ASSEMBLYSIMULATION
- 文献传递
- κ-演算建模λ噬菌体的生活周期
- 2007年
- κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.
- 李丹张敏董笑菊
- 关键词：Λ噬菌体蛋白质
