您的位置: 专家智库 > >

国家自然科学基金(60373075)

作品数:27 被引量:48H指数:4
相关作者:邵志清宋国新丁志义陈丽琼张欢欢更多>>
相关机构:华东理工大学华东政法学院上海应用技术学院更多>>
发文基金:国家自然科学基金教育部科学技术研究重点项目上海市科学技术发展基金更多>>
相关领域:自动化与计算机技术理学语言文字更多>>

文献类型

  • 27篇中文期刊文章

领域

  • 26篇自动化与计算...
  • 1篇语言文字
  • 1篇理学

主题

  • 4篇重写
  • 4篇网络
  • 2篇形式化
  • 2篇指称语义
  • 2篇网络流
  • 2篇网络流量
  • 2篇功能点
  • 2篇WEB_SE...
  • 2篇PETRI网
  • 1篇代码
  • 1篇代数
  • 1篇单片
  • 1篇单片机
  • 1篇递归
  • 1篇递归算法
  • 1篇动点
  • 1篇多尺度
  • 1篇移动IP
  • 1篇用户
  • 1篇用户期望

机构

  • 23篇华东理工大学
  • 2篇华东政法学院
  • 1篇淮海工学院
  • 1篇宁波大学
  • 1篇宁夏大学
  • 1篇上海应用技术...
  • 1篇中央财经大学
  • 1篇焦作大学
  • 1篇中国科学院软...

作者

  • 21篇邵志清
  • 8篇宋国新
  • 4篇丁志义
  • 3篇程华
  • 3篇陈丽琼
  • 3篇房一泉
  • 3篇张欢欢
  • 2篇范贵生
  • 2篇钱夕元
  • 2篇肖立中
  • 2篇顾勋梅
  • 2篇王永全
  • 1篇关淘
  • 1篇李全德
  • 1篇张小红
  • 1篇李庆超
  • 1篇吴庆涛
  • 1篇朱建明
  • 1篇刘冬梅
  • 1篇倪中新

传媒

  • 7篇华东理工大学...
  • 5篇计算机工程
  • 4篇计算机科学
  • 4篇Wuhan ...
  • 3篇计算机工程与...
  • 1篇宁夏大学学报...
  • 1篇小型微型计算...
  • 1篇微计算机信息
  • 1篇计算机技术与...

年份

  • 2篇2018
  • 3篇2009
  • 4篇2008
  • 7篇2007
  • 8篇2006
  • 3篇2005
27 条 记 录,以下是 1-10
排序方式:
基于Petri的分布式实时嵌入式软件合理性分析被引量:1
2008年
合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITPN模型。在确保系统实时性的前提下,给出软件模型合理性的形式化定义及其判定定理。最后以实例说明该方法的可行性。
陈丽琼邵志清王秀英范贵生
关键词:PETRI网
闭理想与周期零对称BZ-代数
2006年
引入周期BZ-代数和BZ-代数的周期部分概念,研究了闭理想和周期零对称BZ-代数的关系。得到如下主要结果:设(X;*,0)为零对称BZ-代数,P(X)={x∈X:x<∞}。则P(X)为X的闭理想;(零对称BZ-代数)X为周期BZ-代数的充要条件是X中的每一个理想都是闭理想;X/P(X)为非周期P-半单BC I-代数。
王永全邵志清张小红
关键词:蕴涵闭理想周期零对称BZ-代数
用户期望质量驱动的Web服务优化选取被引量:6
2009年
提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实现了在满足用户偏好和期望的前提下Web服务的最优选取。电子购物的实例展示了该方法的可行性。
刘冬梅邵志清虞才珠陈丽琼
关键词:面向服务架构服务质量用户期望模糊集
一种用于网络入侵检测的杂交聚类算法研究被引量:13
2007年
针对K均值聚类算法在全局优化中的不足,提出了基于粒子群的K均值(PSO-KM)聚类算法。粒子群优化算法作为一种基于群智能方法的演化计算技术,有很好的全局搜索能力。通过理论分析及实验证明,该算法有较好的全局收敛性,能有效地克服传统的K均值算法易陷入局部极小值的缺点。对KDD-99数据集的仿真实验结果表明,该算法在入侵检测中能获得令人满意的检测率和误检率。
肖立中邵志清钱夕元
关键词:粒子群优化K均值算法全局优化入侵检测
不恢复余数阵列除法器的形式化描述和验证方法被引量:6
2007年
本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的。不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现。本文成功地用重写归纳法对它进行了描述和验证,说明重写归纳法在硬件电路正确性验证方面有广阔的应用前景。
张欢欢宋国新
关键词:重写除法器
A New Anti-Spam Model Based on E-mail Address Concealment Technique
2018年
To deal with the junk e-mail problem caused by the e-mail address leakage for a majority of Internet users, this paper presents a new privacy protection model in which the e-mail address of the user is treated as a piece of privacy information concealed. Through an interaction pattern that involves three parties and uses an e-mail address code in the place of an e-mail address, the proposed model can prevent the e-mail address from being leaked, thus effectively resolving the junk e-mail problem. We compare the proposed anti-spam method with the filtering technology based on machine learning. The result shows that 100% spams can be filtered out in our scheme, indicating the effectiveness of the proposed anti-spam method.
ZHANG YuqiangHE JingshaXU Jing
命令的指称语义在谓词域上的一种表示
2008年
文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
丁志义李全德宋国新邵志清
关键词:指称语义
命令的操作语义在类型系统中的一种表示
2006年
类型系统建立在一个小的规则集合基础上,易于实现,可理解性好,且具有计算完全性和足够的表达能力.在类型系统中可以重述推导规则,将其形式化为一些归纳关系,从而直接表示了命令的操作语义.类型理论不仅适合于函数式程序的证明,也是刻画和证明命令式程序的合适的框架.
丁志义宋国新邵志清
关键词:操作语义
基于Java程序的功能点度量被引量:1
2009年
针对软件项目开发中维护阶段的成本和工作量难以估计的问题,提出一种基于Java程序的功能点度量方法,并介绍从目标程序中抽取数据功能点以及事务功能点的计算规则,同时以Java源代码为例说明具体的度量过程。实验结果表明,该方法是有效可行的。
顾勋梅邵志清
关键词:JAVA程序
类型系统与程序正确性问题被引量:3
2006年
类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统的能力取决于类型系统,因而类型系统可以表迭程序的性质,并自动进行验证。
丁志义宋国新邵志清
关键词:Λ演算直觉主义子类型代码
共3页<123>
聚类工具0