云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60373075)

国家自然科学基金(60373075): 作品数：27被引量：41H指数：4; 导出分析报告; 相关作者：邵志清宋国新丁志义陈丽琼张欢欢更多>>; 相关机构：华东理工大学华东政法学院上海应用技术学院中国科学院软件研究所更多>>; 相关期刊：《Wuhan University Journal of Natural Sciences》《计算机工程与应用》《计算机技术与发展》《小型微型计算机系统》更多>>; 相关主题：重写PETRI网WEB_SERVER指称语义形式化更多>>; 相关领域：自动化与计算机技术理学语言文字更多>>

Context-Aware Change Pattern for Code Transformation: 《Wuhan University Journal of Natural Sciences》2018年第4期355-361,共7页LIU Zhiping; Supported by the National Natural Science Foundation of China(60373075,61640221,61562026,61672470); When source code is over-specific to some concrete contexts, developers have to manually change the source code retrieved from the Internet. To solve this problem, we propose the context-aware change pattern（CACP）. ...; 关键词：code transformation context-aware change pattern code change

A New Anti-Spam Model Based on E-mail Address Concealment Technique: 《Wuhan University Journal of Natural Sciences》2018年第1期79-83,共5页ZHANG Yuqiang HE Jingsha XU Jing; Supported by National Natural Science Foundation of China(U1736116,61272500,60373075);the National High-Tech R&D Program(863 Program)(2015AA017204); 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 pi...; 关键词：spare e-mail address protection model e-mail address code

用户期望质量驱动的Web服务优化选取被引量：5: 《华东理工大学学报（自然科学版）》2009年第3期416-421,共6页刘冬梅邵志清虞才珠陈丽琼; 上海市科技发展基金(06dz15004-1);国家自然科学基金(60373075); 提出了一种基于用户期望的服务质量评价方法。该评价方法仅考虑具有相似期望的用户,允许期望相似的评价影响服务的信誉度评价,以利于得到客观、准确的服务质量评估。在此基础上,提出一种基于用户期望的QoS驱动的服务选取算法。该算法实...; 关键词：面向服务架构服务质量服务选取用户期望模糊集

基于Java程序的功能点度量被引量：1: 《计算机工程》2009年第4期28-30,34,共4页顾勋梅邵志清; 国家自然科学基金资助项目(60373075); 针对软件项目开发中维护阶段的成本和工作量难以估计的问题,提出一种基于Java程序的功能点度量方法,并介绍从目标程序中抽取数据功能点以及事务功能点的计算规则,同时以Java源代码为例说明具体的度量过程。实验结果表明,该方法是有效可...; 关键词：功能点分析度量 JAVA程序

分布式实时嵌入式系统的能耗建模与分析被引量：4: 《华东理工大学学报（自然科学版）》2009年第2期250-255,共6页陈丽琼邵志清范贵生; 国家自然科学基金(60373075);上海市科技发展基金(06dz15004-1); 为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能...; 关键词：分布式实时嵌入式系统 PETRI网可行调度能耗通信协议

基于Petri的分布式实时嵌入式软件合理性分析被引量：1: 《计算机科学》2008年第8期277-280,299,共5页陈丽琼邵志清王秀英范贵生; 国家自然科学基金(60373075);上海市科技发展基金(06dz15004-1)的资助; 合理的模型是保证分布式实时嵌入式(DRE)软件可靠性的关键。提出了分析DRE软件模型的合理性方法。该方法基于带抑制弧的时间Petri网(ITPN),采用自顶向下的策略对功能模块及其通信过程分别建模,并利用Petri网的合成运算形成整个应用的ITP...; 关键词：分布式实时嵌入式软件 PETRI网建模合理性验证

命令的指称语义在谓词域上的一种表示: 《计算机科学》2008年第7期157-160,共4页丁志义李全德宋国新邵志清; 国家自然科学基金资助项目(60373075);教育部科学技术研究重点基金资助项目(01077);中科院计算机科学重点实验室基金资助项目(SYSKF0305);上海市科学技术委员会科研计划项目资助(045115006);宁夏自然科学基金项目(NZ0725); 文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的。; 关键词：谓词转换器状态转换器指称语义

使递归算法泛型化被引量：1: 《计算机技术与发展》2008年第7期96-99,共4页缪伟宇邵志清; 国家自然科学基金资助项目(60373075); 对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象。然而对于现行的泛型算法,无论是C++标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函...; 关键词：泛型编程泛型算法原始递归函数式程序设计

基于分形插值函数重构的网络流量多尺度结构研究: 《华东理工大学学报（自然科学版）》2008年第3期383-386,437,共5页程华房一泉邵志清; 国家自然科学基金资助项目(60373075);上海市科技发展基金项目(06dz15004-1); 根据网络流量的非线性特征,及分块分形插值函数能模拟分形信号的优点,对震荡类型不同的两类流量重构,发现其对不同尺度流量拟合误差都很小,提出将该方法用于在很大尺度范围内的网络流量多尺度结构研究。进一步研究采用分块FIF重构的信...; 关键词：分块分形插值函数多尺度结构多分形

一种改进的功能点分析方法被引量：7: 《计算机工程》2007年第22期12-14,38,共4页顾勋梅宋国新邵志清; 国家自然科学基金资助项目(60373075); 功能点分析是一种广泛使用的软件功能规模度量方法,它不依赖于实现语言,度量结果也可以在不同的开发过程之间进行比较。该文针对功能点分析方法中功能要素复杂度等级划分的缺点和不足,提出了模糊功能点分析方法。该方法能更准确地估算...; 关键词：功能点分析复杂度等级模糊功能点分析

国家自然科学基金(60373075)