孙晶
- 作品数：83 被引量：286H指数：10
- 供职机构：北方工业大学更多>>
- 发文基金：国家自然科学基金北京市自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信理学更多>>
- 服务体系结构的动态演化方法研究
- 本文针对服务动态演化基础理论研究薄弱问题，提出了一种基于服务体系结构代数模型的体系结构动态演化方法。通过定义服务体系结构映射、体系结构同态与同构演化，明确了服务体系结构演化是一种代数系统变换的范例，从而可以用代数学方法分...
- 赵会群孙晶魏莹王文文
- 关键词：计算机网络网络服务软件开发程序设计
- 一种基于路由网络代数的路由振荡检测算法
- 基于路由网络代数(Routing network algebra简称RNA)提出了一种新的路由振荡检测方法.通过建立路由振荡与路由网络'活锁'的对应关系,把路由振荡检测归结为检测网络元素的相关性.在此基础上,一种线性时间...
- 赵会群孙晶高远
- 关键词：路由振荡路由网络代数边界网关协议
- 文献传递
- 乒乓球技战术描述与采集信息模型
- 2009年
- 对乒乓球技战术信息分类,按照面分类法对球技术动作分类;按照线分类法对战术信息分类。在分类基础上给出各种动作和战术类的编码方案。基于上述编码体系给出三种数据采集方案,经测试三种方案均可作为采集方法实际使用,但从速度和方便角度,第二种和第三种更好一些。第二种方法的记忆强度为45(相当40个符号的记忆量),第三种方法的记忆强度为45,经测试在短时间(20 h)内完全可以熟练掌握采集方法。
- 赵会群贾娜孙晶陈磊金季春
- 关键词：信息分类与编码
- 路由网络代数被引量：4
- 2004年
- 基于基本网络代数 (BasicNetworkAlgebra ,BNA)和LOTOS/E LOTOS ,该文提出一种适合于分析Inter net路由系统行为的代数系统 .该代数系统称为路由网络代数 (RoutingNetworkAlgebra,RNA) ,它结合了BNA中的并行、串行运算以及LOTOS中的同步并行运算 ,并在此基础提出更适合于描述Internet路由系统行为的选择运算“ ”、协同并行“ ”以及路由网络常量 ,如m×n(路由转发 )、∧ m(分支 )、∨ m(合并 )、⊥ m(下沉 )和┬ m(亚元 ) .通过分析由上述代数运算和路由网络常量构成的路由网络代数模型 ,可以分析路由系统中死锁 (deadlock)和活锁(alivelock)等行为 .为了检验路由网络代数的有效性 ,完成了BGP路由稳定性的实验分析工作 .
- 赵会群孙晶王国仁高远
- 关键词：LOTOS路由网络代数路由稳定性边界网关协议
- 大规模时序图中持续性稠密子图搜索算法研究被引量：1
- 2022年
- 时序图是一种边上带有时间戳的图结构,其中边上的时间戳表示该边出现时间,即图随时间变化不断变化。图数据中的稠密子图挖掘问题具有非常强烈的现实意义。目前,时序图中大多数现有的工作都集中在稠密子图检测问题,该问题目标是找到时序图中所有的目标子图。然而,当时序图的规模过大时,这一问题将变得极其复杂且收效甚微。旨在研究在时序图中长期被忽视的稠密子图搜索问题。具体来讲,给定一个图中的查询顶点,目标是找到一个在一段时间内持续存在且包含该查询点的稠密子图,即该子图满足时间持续性。从全局削减和局部扩展两种不同的思路出发,设计两种不同的高效稠密子图搜索算法,用以应对不同的应用场景。在四个真实世界网络中的大量实验,验证了提出算法的高效性。
- 李源刘金生赵会群孙晶
- 关键词：时序图
- 异构属性网络中统计显著密集子图发现算法研究
- 2021年
- 密集子图体现了大图中的稠密部分,它是图中具有最高密度的子图,这使得它在事件检测,生物分析和社区发现等方面具有广泛应用和实用价值.现有的密集子图发现方法所使用的图模型描述不够详细,并且发现的密集子图缺乏统计显著性.为了解决以上问题,本文提出了异构属性网络这一新模型,然后在异构属性网络上通过非参数扫描统计和基于(k,Ψ)-核的方法发现高Steiner连通度的统计显著密集子图.首先构建异构属性网络,其包括类型、实体、关系和带有时序关系的属性信息;其次通过历史属性信息计算异构属性网络中每个实体的统计值,形成统计权重网络;然后利用非参数扫描统计方法测量统计权重网络中子图的统计显著性;最后由于此问题是NP-难的,于是提出了基于(k,Ψ)-核的局部扩展的近似统计显著密集子图发现算法.大量基于真实异构属性网络数据的实验结果证明了本文所提出算法的有效性和高效性.
- 李源范晓林孙晶赵宇海
- 一种大规模时序语义网络中突发持续性事件搜索算法
- 2020年
- 本文提出突发持续子图搜索算法,首先,给定图中一个查询点,计算出该查询点的重要度,其次得到其突发持续序列,然后根据查询点的突发持续性提出了基础策略和优化策略两种不同思路下的突发持续子图搜索算法。大量基于真实的时序网络数据的实验结果证明了本文提出算法的高效性和有效性。
- 孟天宇李源孙晶刘金生
- 一种基于进程代数的软件体系结构描述语言PEADL被引量：3
- 2003年
- 对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。
- 赵会群孙晶高远
- 关键词：进程代数软件体系结构描述语言面向对象软件工程
- 一个编译器实验的设计与实现
- 2009年
- 本文介绍了一个适合描述球类比赛战术特点的脚本描述语言,并把该语言作为实验题目进行实验教学,介绍了学生设计并实现的脚本描述语言编译器,该脚本描述语言的词法和文法描述定义,给出词法分析器和语法分析器的结构设计,最后介绍实现中采用的关键技术。
- 赵会群孙晶谭效辉
- 关键词：词法分析器语法分析器
- 一种基于SIP协议的应用软件测试方法被引量：1
- 2009年
- 提出了一种通过执行TTCN-3抽象测试套来验证应用程序正确性的新方法.介绍了SIP协议(Session Initiation Protocol,会话初始协议)及SIP协议的要素和消息,介绍了用于开发相关测试套的TTCN-3语言,给出了一个具体应用实例.实例验证该方法具有可行性.
- 赵会群赵洁孙晶
- 关键词：SIPTTCN-3软件测试
