您的位置： 专家智库 > >

张君华

作品数：11 被引量：32H指数：3
供职机构：宁波大学更多>>
发文基金：国家自然科学基金浙江省教育厅科研计划上海市自然科学基金更多>>
相关领域：自动化与计算机技术文化科学交通运输工程电子电信更多>>

合作作者

文献类型

  • 10篇期刊文章
  • 1篇会议论文

领域

  • 9篇自动化与计算...
  • 1篇机械工程
  • 1篇电子电信
  • 1篇交通运输工程
  • 1篇文化科学

主题

  • 2篇网络
  • 2篇进程代数
  • 2篇精化
  • 2篇抽取
  • 2篇WEB服务
  • 1篇信息安全
  • 1篇信息技术
  • 1篇循环神经网络
  • 1篇智能系统
  • 1篇神经网
  • 1篇神经网络
  • 1篇时间自动机
  • 1篇全域
  • 1篇自动机
  • 1篇组网
  • 1篇网络安全
  • 1篇无线
  • 1篇无线局域
  • 1篇无线局域网
  • 1篇密码

机构

  • 9篇南京航空航天...
  • 4篇宁波大学
  • 3篇广西财经学院
  • 3篇宁波城市职业...
  • 1篇东华大学
  • 1篇上海理工大学
  • 1篇华南理工大学
  • 1篇江苏师范大学

作者

  • 11篇张君华
  • 6篇黄志球
  • 5篇肖芳雄
  • 4篇曹子宁
  • 2篇石正喜
  • 1篇朱小栋
  • 1篇祝义
  • 1篇仲晶
  • 1篇覃志东
  • 1篇袁敏
  • 1篇李燕
  • 1篇李利杰

传媒

  • 2篇计算机研究与...
  • 1篇南京航空航天...
  • 1篇计算机工程与...
  • 1篇自动化与仪表
  • 1篇科技情报开发...
  • 1篇应用科学学报
  • 1篇计算机与数字...
  • 1篇计算机科学
  • 1篇网络安全技术...
  • 1篇第十一届全国...

年份

  • 1篇2022
  • 1篇2014
  • 1篇2013
  • 1篇2012
  • 4篇2009
  • 1篇2008
  • 2篇2007
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于循环神经网络和全局化领域的推荐算法被引量：2
2022年
推荐系统一定程度上缓解了互联网大数据所带来的信息过载问题,但是传统的推荐算法在数据稀疏和冷启动时推荐精准度下降严重,为此提出了一种基于循环神经网络与全局化领域的推荐算法(Recurrent Neural Network and Globle Domain Algorithm,RNGA)。首先通过全局化领域优化框架提升了传统基于领域模型推荐算法的不足。其次将循环神经网络与全域化领域模型有机结合,运用循环神经网络获得用户的隐藏偏好,提升了推荐准确性。MovieLens上的基准数据的性能测试表明所提出的算法能有效提高推荐准确性。
李利杰张君华
关键词：循环神经网络
国内外信息安全研究现状及发展趋势被引量：14
2007年
阐述了信息安全在国计民生和企业经营中的重要性及信息技术的发展与应用,针对国内外信息安全研究的现状及发展趋势,介绍了安全协议理论与技术、信息对抗理论与技术,重点说明了密码理论与技术、安全体系结构理论与技术、网络安全与安全产品,从社会发展和国家安全角度,指出加大发展信息安全技术的力度已刻不容缓。
石正喜张君华
关键词：信息技术信息安全密码安全协议
一种Web服务的QoS抽象模型和评估方法
2014年
目前Web服务研究中关注的QoS属性较多,且属性值的评估方法随应用领域和组织机构的不同差异较大,这不利于以一致的方式来评估Web服务的QoS。从抽象的角度在众多QoS属性中提炼出时间、概率、代价3种抽象QoS属性,并在此基础上给出了QoS多属性归一化处理方法和多属性综合评估方法,以支持在模型层面以一致的方式评估Web服务的QoS,以及QoS优化的Web服务选取。
肖芳雄李燕张君华祝义朱小栋
关键词：服务质量WEB服务
基于抽取-精化的概率系统假设-保证验证
2013年
假设-保证推理是标记迁移系统组合验证的有效手段,近期,假设-保证推理在概率系统的验证中也得到了应用。在推理中,假设的学习是通过Lstar算法来完成的。针对概率系统的假设-保证推理,提出了一种新的方法:首先直接对组合系统的一个组件进行抽取,得到一个初步的假设;通过与假设-保证规则进行多次交互,不断精化该假设;最后,要么得到一个适当的假设以证明结论的正确性,要么得到一个反例来证明结论不成立。
张君华黄志球肖芳雄
一种扩展了价格信息的进程代数被引量：2
2009年
针对目前进程代数缺乏成本建模和分析能力的现状,提出一种扩展了价格信息的进程代数(Price processalgebra,PPA)。在传值通信系统演算(Calculus of communication systems,CCS)基础上为进程动作和状态扩展价格函数,使用价格迁移系统给出PPA的语义,证明PPA的进程状态扩展累计成本的合理性和完备性,给出构造状态空间的算法并证明该算法的有效性,实例分析说明PPA用于成本建模和分析的可行性。
肖芳雄黄志球曹子宁张君华覃志东
关键词：进程代数
基于抽取-精化的概率系统假设-保证验证
假设-保证推理是标记迁移系统组合验证的有效手段。近期，假设-保证推理在概率系统的验证中也得到应用。在推理中，假设的学习是通过L star算法来完成的。本文针对概率系统的假设-保证推理提出了一种新的方法。首先直接对组合系统...
张君华黄志球肖芳雄
文献传递
模型检测基于概率时间自动机的反例产生研究被引量：7
2008年
模型检测基于概率系统的反例产生问题,在最近引起人们的关注.已有的工作主要围绕模型检测Markov链的反例产生而开展.基于概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展.关注的是模型检测PTA的反例产生问题.首先通过在PTA上寻找概率之和恰好大于λ的k条最大概率的路径,并根据这些路径和原PTA构造原PTA的一个子图,从而快速找到违背性质的具有较少证据的反例.然后精化此结果——通过逐条加入上述各条最大概率的路径来精确地计算已加入路径所构成的PTA子图的最大概率.由于考虑到符号状态交集对概率系统的影响,可以得到证据更少的反例.
张君华黄志球曹子宁
关键词：反例不确定性
一种智能充电系统的模糊控制方法被引量：3
2009年
介绍一种智能充电系统的模糊控制方法。这种方法将系统分为宏观和微观两级进行控制,宏观部分为管理级;微观部分为典型的模糊控制级。通过查询离线计算得到模糊控制表,对系统进行精确的控制。现场运行结果表明,这种控制方法资源开销少,响应速度快,控制过程稳定,能满足实际要求。
张君华
关键词：模糊控制充电系统智能系统
基于价格进程代数的Web服务组合描述和成本分析被引量：5
2009年
进程代数可有效地用于Web服务组合的描述和验证,然而缺乏对服务组合成本建模和分析的能力.提出一种扩展了价格信息的进程代数PPA,在CCS基础上为进程动作和状态扩展价格函数,给进程动作的执行标记价格,给进程的迁移状态标记成本.给出了PPA的语法和语义,定义了PPA成本弱互模拟并分析了其与CCS弱互模拟的关系,证明了PPA在CCS基础上扩展了成本建模能力,给出了成本状态空间构造算法,该算法支持选择成本优化的组合服务.实验分析了PPA用于Web服务组合成本建模和分析的可行性.
肖芳雄黄志球曹子宁袁敏张君华
关键词：WEB进程代数
代价和概率时间自动机上概率有界的成本优化可达性
2009年
着重解决代价和概率时间自动机模型的可达性问题,即满足一定概率要求的最小代价问题。在该模型中搜索满足概率要求的路径,据此路径构造相应的代价时间自动机,求解此路径的最小代价,从而求得满足概率要求的总的最小代价。另外,通过扩展代价和概率时间自动机模型,得到多代价和概率时间自动机。相应的可达性问题,即满足一定概率要求的符合辅助成本约束的主成本最小代价问题,也可类似地得到解决。
张君华黄志球曹子宁仲晶
关键词：时间自动机可达性
全选 清除 导出
共2页<12>
聚类工具0