国家自然科学基金(60373075)
- 作品数:27 被引量:48H指数:4
- 相关作者:邵志清宋国新丁志义陈丽琼张欢欢更多>>
- 相关机构:华东理工大学华东政法学院上海应用技术学院更多>>
- 发文基金:国家自然科学基金教育部科学技术研究重点项目上海市科学技术发展基金更多>>
- 相关领域:自动化与计算机技术理学语言文字更多>>
- 基于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服务的最优选取。电子购物的实例展示了该方法的可行性。
- 刘冬梅邵志清虞才珠陈丽琼
- 关键词:面向服务架构服务质量用户期望模糊集
- A New Anti-Spam Model Based on E-mail Address Concealment Technique
- 2018年
- 为了处理垃圾电子邮件问题,为因特网用户,的一个多数由电子邮件地址漏引起了这篇论文论述用户的电子邮件地址在被当作隐藏的一个隐私信息的一个新隐私保护模型。通过包含三个聚会并且在一个电子邮件地址的地方使用电子邮件地址代码的一个相互作用模式,建议模型能阻止电子邮件地址被漏,有效地因此解决垃圾电子邮件问题。我们基于机器学习把建议反罐头猪肉方法与过滤技术作比较。结果证明 100% 垃圾能在我们的计划被滤出,显示建议反罐头猪肉方法的有效性。
- ZHANG YuqiangHE JingshaXU Jing
- 关键词:电子邮件地址
- 命令的指称语义在谓词域上的一种表示
- 2008年
- 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。
- 丁志义李全德宋国新邵志清
- 关键词:指称语义
- 命令的操作语义在类型系统中的一种表示
- 2006年
- 类型系统建立在一个小的规则集合基础上,易于实现,可理解性好,且具有计算完全性和足够的表达能力.在类型系统中可以重述推导规则,将其形式化为一些归纳关系,从而直接表示了命令的操作语义.类型理论不仅适合于函数式程序的证明,也是刻画和证明命令式程序的合适的框架.
- 丁志义宋国新邵志清
- 关键词:操作语义
- 基于Java程序的功能点度量被引量:1
- 2009年
- 针对软件项目开发中维护阶段的成本和工作量难以估计的问题,提出一种基于Java程序的功能点度量方法,并介绍从目标程序中抽取数据功能点以及事务功能点的计算规则,同时以Java源代码为例说明具体的度量过程。实验结果表明,该方法是有效可行的。
- 顾勋梅邵志清
- 关键词:JAVA程序
- 类型系统与程序正确性问题被引量:3
- 2006年
- 类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统的能力取决于类型系统,因而类型系统可以表迭程序的性质,并自动进行验证。
- 丁志义宋国新邵志清
- 关键词:Λ演算直觉主义子类型代码
- 一种改进的功能点分析方法被引量:8
- 2007年
- 功能点分析是一种广泛使用的软件功能规模度量方法,它不依赖于实现语言,度量结果也可以在不同的开发过程之间进行比较。该文针对功能点分析方法中功能要素复杂度等级划分的缺点和不足,提出了模糊功能点分析方法。该方法能更准确地估算出功能点数量,具有很强的实际可操作性。
- 顾勋梅宋国新邵志清
- 对数无限可分级串框架下的异常网络流量分析被引量:1
- 2006年
- 湍流尺度分析中的对数无限可分级串方法具有描述数据流全范围下的多尺度行为的优点,可用于对网络流量的多尺度行为的分析。在对几组正常流量和含蠕虫的异常流量分析讨论的基础上,发现受数据流内含协议数据的成分变化的影响,正常流量的多尺度分段点具有不确定性;而受W32/Blaster蠕虫影响的数据流的尺度特性符合幂律关系,即尺度不变性;W32/Nachi蠕虫不影响TCP数据流的尺度特性。
- 程华邵志清房一泉