检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

κ-演算建模λ噬菌体的生活周期

上海交通大学学报 2007年第1期41卷 42-44,50页

作者：李丹张敏董笑菊上海交通大学计算机科学与工程系上海200240

κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特... 详细信息

κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.

关键词： κ-演算 λ噬菌体生活周期蛋白质

在线全文

学校读者我要写书评

暂无评论

活性细胞膜计算的可执行性描述与实现

上海交通大学学报 2008年第10期42卷 1635-1639页

作者：张民戚正伟董笑菊上海交通大学电子信息与电气工程学院上海200240 上海交通大学软件学院上海200240

基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的... 详细信息

基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.

关键词：活性细胞膜计算重写逻辑可满足性问题

在线全文

学校读者我要写书评

暂无评论

树比较可视化方法综述

软件学报 2016年第5期27卷 1074-1090页

作者：李彦龙李国强董笑菊上海交通大学软件学院上海200240 上海交通大学计算机科学与工程系上海200240

层次数据是生产和生活中常见的一类数据.树可视化通常用于呈现层次数据,是可视分析中的一个重要部分.比较是一种常用的分析方式,而树比较可视化也是可视分析研究中的一个重要课题.树比较可视化从所比较的树的数目角度,分为树内比较、两... 详细信息

层次数据是生产和生活中常见的一类数据.树可视化通常用于呈现层次数据,是可视分析中的一个重要部分.比较是一种常用的分析方式,而树比较可视化也是可视分析研究中的一个重要课题.树比较可视化从所比较的树的数目角度,分为树内比较、两树比较和多树(3树及以上)比较;从数据特点角度分为静态树比较和动态树比较;从比较分析的任务角度,分为结构比较和属性比较.对现有的树比较可视化方法进行了总结,按照不同方法的表现形式,将树比较可视化分为并置、合并以及动画这3类.同时,结合其他分类方法对树比较可视化方法进行了全面的分析和评估.通过评估和比较,分析了不同方法的优缺点以及在不同的数据分析需求中的适用性.在此基础上,还对树比较可视化中的交互方式进行了总结,并阐述了树比较可视化所面临的挑战.

关键词：可视分析树比较层次数据

在线全文

学校读者我要写书评

暂无评论

用P系统解决排序问题

上海交通大学学报 2008年第2期42卷 206-208页

作者：黄春毅董笑菊龙环上海交通大学计算机科学与工程系上海200240

介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大... 详细信息

介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大大降低的可能性.

关键词： P系统膜计算排序问题

Barbed Congruence of Asymmetry and Mismatch

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2007年第4期22卷 575-579页

作者：董笑菊傅育熙 BASICS Department of Computer ScienceShanghai Jiao Tong University

The X calculus is a model of concurrent and mobile systems. It emphasizes that communications are information exchanges. In the paper, two constructions are incorporated into the framework of the chi calculus, which are asymmetric communication and mismatch condition widely used in applications. Since the barbed bisimilarity has proved its generality and gained its popularity as an effective approach to generating a reasonable observational equivalence, we study both the operational and algebraic properties of the barbed bisimilarity in this enriched calculus. The investigation supports an improved understanding of the bisimulation behaviors of the model. It also gives a general picture of how the two constructions affect the observational theory.

关键词： axiomatization bisimulation process calculus

在线全文

学校读者我要写书评

暂无评论

大学图书馆未来学习中心建设的思考与实践

大学图书馆学报 2022年第4期40卷 12-18页

作者：徐璟董笑菊李新碗上海交通大学图书馆上海200240

数字化与网络化颠覆了各行各业的发展,大学图书馆也不例外。大学图书馆是大学发展的重要基石,过去半个世纪以来,已经基本完成从纸质图书资源供给向电子化资源供给的转变,目前正在向多元化发展。面向未来的学习中心建设是新时代中国高等... 详细信息

数字化与网络化颠覆了各行各业的发展,大学图书馆也不例外。大学图书馆是大学发展的重要基石,过去半个世纪以来,已经基本完成从纸质图书资源供给向电子化资源供给的转变,目前正在向多元化发展。面向未来的学习中心建设是新时代中国高等教育在图书馆空间建设领域的领跑战略。此文介绍了上海交通大学图书馆的实践案例,总结了在建设未来学习中心的理念指导下,图书馆空间建设的三个核心要点:沉浸式阅读促进用户深度学习;多元化体验满足用户全方位感知;交互性虚拟现实推动新技术持续迭代。

关键词：大学图书馆未来学习中心空间建设

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

基于社区发现的网络异常检测方法

计算机学报 2022年第4期45卷 825-837页

作者：钱爱娟樊昕董笑菊褚衍杰袁晓如上海交通大学计算机科学与工程系上海200240 盲信号处理国家级重点实验室成都610041 北京大学机器感知与智能教育部重点实验室智能学院北京100871 大数据分析与应用技术国家工程实验室北京100871

随着互联网的不断普及与网络通信技术的不断进步,网络已经逐渐进入到人们生活的每一个层面,越来越多的网络应用应运而生.但是另一方面,随着当前网络结构的日益复杂,会引起各种各样的网络安全问题,对社会构成了巨大的威胁和挑战.因此,网... 详细信息

随着互联网的不断普及与网络通信技术的不断进步,网络已经逐渐进入到人们生活的每一个层面,越来越多的网络应用应运而生.但是另一方面,随着当前网络结构的日益复杂,会引起各种各样的网络安全问题,对社会构成了巨大的威胁和挑战.因此,网络安全问题至关重要.其中网络异常检测得到了研究人员的普遍关注.多年来,虽然已有许多异常检测的工作可以一定程度上发现和抵御网络攻击,但是有些方法难以适用于无标签的数据集,有些方法则训练成本过高,无法应用于实时场景.此外,对于细微异常的检测也是现有方法面临的一大问题.考虑到模型可解释性对于很多场景的必要性,本文以可视分析作为基础,提出了基于社区发现的网络异常检测方法,通过一个较为合适的粒度来提高系统对于细微异常的检测能力.该方法首先使用多层常量玻茨模型(CPM)算法对移动时间窗内的网络数据检测社区,并以社区为单位提取特征向量,然后用社区匹配方法将相邻时间步的社区关联起来,通过监控各社区特征的变化情况来检测异常.这种方法既考虑了网络数据作为动态图的特性,又能从一个比较合适的粒度提取特征.此外,系统提供可视化界面来帮助用户确认异常点前后的网络情况、关联异常事件.通过在Vast Challenge 2013挑战三的NetFlow数据集上的实验证明了该方法能够有效地检测更加细微的网络异常,验证了所提方法的有效性.

关键词：网络异常检测可视分析社区发现社区匹配

Barbed congruence of the asymmetric chi calculus

在线全文

学校读者我要写书评

暂无评论

Journal of Harbin Institute of Technology(New Series) 2006年第4期13卷 444-451页

作者：董笑菊傅育熙 BASICS Department of Computer Science and Engineering Shanghai Jiaotong University Bio-X DNA Computer Consortium (BDCC) Shanghai Jiaotong University

The ehi calculus is a model of mobile processes. It has evolved from the pi-calculus with motivations from simplification aml communication-as-cut-eliminatinn. This paper studies the ehi calculus in the framework incorporating asymmetric communication. The major feature of the calculus is the identification of two actions： x/x and τ. The investigalion on the barbed bisimilarity shows how the property affects the observational theory. Based on the definition of the barbed bisimilarity, the simulation properties of the barbed bisimilarity are studied. It shows that the algebraic properties of the barbed bisimiilarity have changed greatly compared with the chi *** the definition of the barbed bisimilarity is very simple, the properly of closeness under contexts makes it difficuh to understand the barbed bisimilarity directly. Therefore an open style definition of the barbed bisimilarity is given, which is a context free description of barbed bisimilarity. Its definition is complex, but it is a well-behaved relation for it coincides with the barbed bisimilarity. It also helps to build an axiomatization system for the bathed congruence. Besides the axioms for the strong barbed bisimilarity, the paper proposes a new tau law and four new update laws for the barbed congruence. Both the operational and algebraic properties of the enriched calculus improve the understanding of the bisimulation behaviors of the model.

关键词： mobile process bisimulation axiomatization

在线全文

学校读者我要写书评

暂无评论

以人为本建设高素质司法行政队伍

中国司法 1998年第1期 16-17页

作者：董笑菊成都市司法局

以人为本建设高素质司法行政队伍□成都市司法局长董笑菊几年来，成都市司法局坚持以人为本，通过狠抓班子自身建设、提高队伍政治业务素质、强化各种内部机制和为职工办实事等措施，切实加强了本市司法行政干警队伍建设，收到了十分可... 详细信息

以人为本建设高素质司法行政队伍□成都市司法局长董笑菊几年来，成都市司法局坚持以人为本，通过狠抓班子自身建设、提高队伍政治业务素质、强化各种内部机制和为职工办实事等措施，切实加强了本市司法行政干警队伍建设，收到了十分可喜的成效。（一）突出“一个关键”，...

关键词：司法行政成都市干警司法局