您的位置: 专家智库 > >

王昌达

作品数:66 被引量:168H指数:7
供职机构:江苏大学计算机科学与通信工程学院更多>>
发文基金:国家自然科学基金江苏省自然科学基金江苏省高校自然科学研究项目更多>>
相关领域:自动化与计算机技术电子电信文化科学建筑科学更多>>

文献类型

  • 59篇期刊文章
  • 6篇会议论文

领域

  • 60篇自动化与计算...
  • 6篇电子电信
  • 2篇建筑科学
  • 2篇文化科学

主题

  • 13篇网络
  • 7篇隐通道
  • 5篇物联网
  • 5篇联网
  • 4篇水印
  • 4篇状态空间爆炸
  • 4篇WSN
  • 4篇传感
  • 3篇带宽
  • 3篇数据包
  • 3篇双盲
  • 3篇无线传感
  • 3篇马尔可夫
  • 3篇卷积
  • 3篇计算树逻辑
  • 3篇访问控制
  • 3篇安全系统
  • 2篇信息安全
  • 2篇信息流
  • 2篇信息隐藏

机构

  • 64篇江苏大学
  • 2篇江苏仅一联合...
  • 1篇南京大学
  • 1篇江苏理工大学
  • 1篇江苏联合职业...
  • 1篇镇江出入境检...
  • 1篇常州江苏大学...
  • 1篇上海罗曼照明...

作者

  • 65篇王昌达
  • 15篇鞠时光
  • 14篇周从华
  • 7篇刘志锋
  • 5篇宋香梅
  • 4篇金华
  • 4篇毛健
  • 4篇薄兆军
  • 4篇朱慧
  • 4篇管星星
  • 4篇李志国
  • 3篇宋雪桦
  • 3篇宋泽
  • 2篇严圣华
  • 2篇叶萌
  • 2篇杨珍
  • 2篇郭殿春
  • 2篇程显毅
  • 2篇张文莉
  • 2篇章乐

传媒

  • 8篇计算机应用研...
  • 7篇计算机科学
  • 4篇计算机工程
  • 4篇计算机工程与...
  • 4篇计算机与数字...
  • 3篇计算机应用
  • 3篇计算机仿真
  • 3篇软件导刊
  • 2篇通信学报
  • 2篇计算机学报
  • 2篇软件学报
  • 2篇系统仿真学报
  • 2篇江苏大学学报...
  • 1篇数据通信
  • 1篇电视技术
  • 1篇计算机研究与...
  • 1篇华中科技大学...
  • 1篇计算机应用与...
  • 1篇小型微型计算...
  • 1篇计算机工程与...

年份

  • 2篇2023
  • 4篇2022
  • 1篇2021
  • 4篇2020
  • 1篇2019
  • 6篇2018
  • 4篇2017
  • 5篇2016
  • 2篇2015
  • 4篇2014
  • 4篇2013
  • 11篇2012
  • 1篇2011
  • 1篇2010
  • 3篇2009
  • 3篇2008
  • 1篇2007
  • 2篇2006
  • 1篇2005
  • 2篇2004
66 条 记 录,以下是 1-10
排序方式:
多智体系统中约简状态空间的限界模型检测算法被引量:2
2012年
为了形式化描述多智体系统中与概率、实时、知识相关的性质,提出了一种概率实时认知逻辑PTCTLK.模型检测是验证多智体系统是否满足PTCTLK公式的主要技术,状态空间爆炸是该技术实用化的主要瓶颈,为此提出一种PTCTLK的限界模型检测算法.其基本思想是,在有限的局部可达空间中逐步搜索属性成立的证据,从而达到约简状态空间的目的.首先,将PTCTLK的模型检测问题转换为无实时算子的PBTLK的模型检测问题;其次,定义PBTLK的限界语义,并证明其正确性;然后,设计基于线性方程组求解的限界模型检测算法;最后,依据概率度量的演化规律,探索检测过程终止的判别准则.实例研究结果表明,与无界模型检测相比,在属性为真的证据较短的情况下,限界模型检测完成验证所需空间更小.
周从华叶萌王昌达刘志锋
关键词:多智体系统状态空间爆炸
来华留学研究生趋同化培养:“三同”的探索与实践被引量:6
2021年
随着来华留学研究生规模的增长,趋同化培养已经成为教育主管部门倡导的方式,也是各培养单位提质增效的必由之路。以江苏大学为例,总结了留学研究生趋同化培养“三同”的探索与实践工作。“三同”是指同窗学习、同室创新、同台竞技。“三同”的核心是同窗学习,从文化层面回答了怎样培养合格留学研究生的问题;同室创新与同台竞技是实现这一目标的方法与保障,既强调合作,又强调竞争。通过留学研究生学术能力的提升、留学研究生培养综合成本的降低、校园国际化氛围的繁荣、毕业留学研究生有效融入并服务于学校事业发展等四个方面的数据,展示了“三同”培养取得的成果。
颜晓红王昌达张磊张晓阳
关键词:研究生教育
物联网实时任务传输中链路传感节点的内存效率优化被引量:3
2018年
在物联网实时任务传输中,不同应用对链路传感节点内存的需求量不同,容易出现部分节点空间内存多,部分节点内存紧张的情况。为此,提出一种新的链路传感节点内存效率优化方法。介绍了TLSF的二级离散表管理机制和TLSF方法的弊端,在此基础上,通过TC-TLSF方法对物联网实时任务传输中链路传感节点内存效率进行优化处理。TC-TLSF方法通过模糊控制判断链路传感节点释放内存的过程中是否马上将空闲内存块结合在一起,通过最大隶属度原则对待释放内存块的模糊特征参数所属等级进行判断,求出合并系数,对得到的系数和动态阈值进行比较,判断是否延迟合并操作。介绍了模糊特征参数和模糊规则,确定动态阈值。通过对内存分配和内存释放的控制实现内存效率优化。实验结果表明,所提方法内存效率高。
严圣华王昌达
关键词:物联网
基于生成树的WSN溯源数据压缩方法
在无线传感器网络(WSN)中,溯源数据(Provenance)记录了一个数据从产生至被传输到基站(BS)途经的所有节点以及在这些节点上对数据的操作,因此溯源数据的大小会随着参与数据转发、聚合节点数量的增加而快速膨胀,导致...
王昌达毛健宋泽
基于物联网的实体店商品评价信息系统的设计被引量:2
2018年
商品的评价信息会直接影响消费者的主观决策,但实体店商品评价信息消费者却无法及时获取。为使消费者能够了解实体店的商品评价信息,设计并实现了基于物联网技术的实体店商品评价信息模型系统。系统通过对近场通信NFC标签的读写和基于二维码快速导航的B/S模式商品评价系统的信息查存,实现了商品联网、评价信息共享等功能。评价数据共享模型系统的建立,既方便了消费者,也为商家改良商品提供了具有参考价值的信息。
孙振楠王昌达严圣华
关键词:实体店NFC二维码数据共享
关于异构型物联网重复数据有效清除仿真被引量:1
2018年
对异构型物联网的重复数据的清除,可以有效提高物联网运行稳定性。对异构物联网的重复数据进行有效清除,需要对全部的特征向量进行量化处理,进而组建字符关系矩阵,完成重复数据的有效清除。传统方法利用批处理块级重复数据清除方法计算出数据间的相似度,给出相似度判断阈值,但忽略了字符关系矩阵的建立,导致数据去重精度偏低。提出基于多维数据聚类的重复数据清除方法。将全部感知数据属性中的连续值进行离散化,提取各个数据文本中的特征向量,对全部的特征向量进行量化处理,融合傅立叶转换方法组建字符关系矩阵,给出每个字符和数据间的映射关系,计算每个数据的傅立叶系数向量,得到数据相似度判断阈值,由此实现面向异构型物联网的重复数据清除。仿真证明,所提方法清除精度高,有效地提升了异构型物联网环境下重复数据的质量。
严圣华王昌达
关键词:重复数据
卡尔顿大学研究生教育中的讨论课及启示被引量:11
2008年
以合作学习为主的讨论课是加拿大卡尔顿大学研究生教育中的一个重要环节,具有教学内容新、信息容量大、学生课堂参与程度高等特点。讨论课不仅能指引学生追踪本学科的尖端研究方向,还能培养学生的科研合作精神,克服研究生教育中教材相对陈旧的顽症。卡尔顿大学的研究生讨论课对我国研究生教育的课程改革的启示是:请名师开设讨论课,追踪本学科研究热点;不同层次学生混合开班,鼓励思想碰撞;采用灵活的分数评定方式;充分利用网络功能。
王昌达
关键词:研究生教育讨论课
安全信息流的实时监控机制
2008年
提出了一种基于安全自动机的信息流实时监控技术,该技术防范了恶意用户通过程序结构的缺陷窃取机密信息。监控机制使用了下推自动机,结合动态分析技术和静态分析技术,利用清除函数的原理,通过状态变换实时检测信息流的安全性。在程序执行期间,对程序事件进行抽象并跟踪信息流,用安全自动机产生的断言控制目标程序的执行,防止非法操作。用C语言实现了安全自动机,实验结果证明这种技术是灵活实用的。
晏立鞠时光王昌达
关键词:安全系统实时监控下推自动机保密性
隐通道的仿真分析被引量:5
2006年
在TCSEC和CC标准中,软件要获得B2或EAL5及以上安全级的认证,必须要进行隐通道分析。通过建立隐通道的仿真系统,根据试验分析隐通道的性质,其中一些性质是在以往基于源代码或顶级描述的静态隐通道分析中没有观察到的。对这些性质的成因,做了理论上的解释,并提出了分两步进行的隐通道审计方法。
王昌达鞠时光
关键词:隐通道仿真
基于压缩感知的网络流关联方法
2020年
流关联是一种链接网络流量以解决流身份鉴定的技术,但现有基于被动流量分析技术的流关联方式存在高存储和巨额计算开销问题。提出一种基于压缩感知—神经网络的流关联方法,该方法通过压缩感知中线性投影,对选取的流量特征进行降维处理,将降维处理后的流量特征作为卷积神经网络的输入,通过卷积神经网络进行关联特征提取,进而采用one class SVM分类器判断关联性。实验结果表明该方法在保持精确度的同时大大减少了存储、计算开销。
胡永涛金华王昌达
关键词:压缩感知卷积神经网络
共7页<1234567>
聚类工具0