国家重点基础研究发展计划(2007CB310803)
- 作品数：32 被引量：241H指数：7
- 相关作者：张莉吴尽昭李涓子曲武仲茜更多>>
- 相关机构：北京航空航天大学清华大学中国科学院成都计算机应用研究所更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学自然科学总论天文地球更多>>
- 基于通信顺序进程的OWL-S语义分析与建模被引量：2
- 2010年
- 为了实现OWL-S过程模型正确性的自动化验证,提出了基于进程代数CSP的OWL-S过程模型的语义建模方法,建立了CSP的形式化语义模型,并利用该模型为OWL-S过程定义了形式化语义。最后以机票预订为例说明了采用CSP模型为OWL-S过程添加形式化语义的完整流程。由于该方法具备良好的数学基础,所以可以基于该方法开发出自动化验证OWL-S过程模型的工具,提高系统的安全性。
- 杨建书吴尽昭周瑾
- 关键词：自动化验证通信顺序进程形式化语义
- 软件系统网络模体及显著性趋势分析被引量：2
- 2010年
- 借鉴网络模体的研究方法,对软件网络的局部特性进行了研究.通过对138个开源JAVA软件系统的实验比较,找出了软件系统中3种典型的网络模体,并发现软件系统因规模和交互的不同,分别与语言网、蛋白质交互网以及信号传输网的局部特性有相似的显著性趋势.阐述了与实验相关的概念、原理和步骤,对实验结果进行了分析和讨论,并给出了进一步的研究方向.
- 张林钱冠群张莉
- 关键词：软件网络超家族
- 基于Groebner基的模型检测技术及其工具实现
- 2009年
- 为了减少运算复杂度和运算时间,优化检测的性能,使得计算过程更加快速高效,在符号化模型检测的过程中,利用G roebner基进行多项式约化,设计出新的模型检测算法。并且基于该算法开发出新的符号模型检测工具。该工具能更快速地验证各软件及硬件系统的性质,具有较高的实用价值。
- 廖紫骅谭红艳吴尽昭
- 关键词：符号模型检测GROEBNER基多项式环不动点模型检测工具
- 云环境下基于LSH的分布式数据流聚类算法被引量：3
- 2014年
- 近年来,随着计算机技术、信息处理技术在工业生产、信息处理等领域的广泛应用,会连续不断地产生大量随时间演变的序列型数据,构成时间序列数据流,如互联网新闻语料分析、网络入侵检测、股市行情分析和传感器网络数据分析等。实时数据流聚类分析是当前数据流挖掘研究的热点问题。单遍扫描算法虽然满足数据流高速、数据规模较大和实时分析的需求,但因缺乏有效的聚类算法来识别和区分模式而限制了其有效性和可扩展性。为了解决以上问题,提出云环境下基于LSH的分布式数据流聚类算法DLCStream,通过引入Map-Reduce框架和位置敏感哈希机制,DLCStream算法能够快速找到数据流中的聚类模式。通过详细的理论分析和实验验证表明,与传统的数据流聚类框架CluStream算法相比,DLCStream算法在高效并行处理、可扩展性和聚类结果质量方面更有优势。
- 曲武王莉军韩晓光
- 关键词：数据流聚类
- 基于SVG的专用公式编辑工具的设计与实现被引量：2
- 2009年
- 提出了一种基于SVG技术的专业领域公式编辑工具解决方案。使用自定义的公式输入规则、Java图形编程技术和Batik软件包设计并实现了一个应用于交互式马尔可夫链(IMC)的并发系统性能评价系统的公式编辑器。该方案设计完善、操作简单、编辑方便、公式显示效果出色、通用性强,能方便地进行转化以适应于多种专业领域。
- 唐勇吴尽昭陈剑锋
- 关键词：可伸缩矢量图形BATIK
- LDA模型参数有偏估计方法
- 2010年
- LDA(Latent Dirichlet Allocation)等基于隐含topic的模型在离散数据处理中的应用逐渐增多.然而LDA使用Dirichlet分布作为隐含topic的分布函数,未能很好表示各topic之间相互关系.目前常见改进方法是通过DAG(Directed Acyclic Graph)图或对数正态分布等其他分布函数表达topic之间的关系.本文通过参数有偏估计的方法,考虑topic混合过程中词项上的重叠关系,改变topic内部词项分布,最终改进LDA模型性能.在回顾一些基础内容后,重点介绍参数有偏估计及简化计算方法.最后通过LDA模型在信息检索中的实验验证这种改进的有效性,并初步分析模型参数选用规律.
- 袁伯秋周一民李林
- 关键词：LDAWORDNET
- 基于子图显著性剖面的软件超家族被引量：1
- 2011年
- 研究了开源软件的网络结构中3节点子图的显著性,发现软件规模越大局部结构的网络化趋势越显著.树型的3节点子图呈现下降趋势,在封闭的3节点子图中,除部分趋势不显著外,大都呈现上升趋势.根据3节点子图的显著性剖面,软件网络大致可以分为3类,与已发现的4个有向复杂网络超级族中的3个基本一致,大部分软件网络的局部结构与生物网络相似.网络的规模可能是影响子图显著性差异的原因之一,随着软件规模的增加,3节点子图的显著性趋于一致.
- 张林张莉
- 关键词：软件网络复杂网络超家族
- 网络式软件非功能需求冲突消解被引量：1
- 2012年
- 在构建非功能需求冲突管理元模型的基础上,给出相关建模元素的形式化描述,将需求冲突的语义定义作为检测依据。根据不同的需求冲突类型和程度,提出一种排除冲突和降低冲突的网络式软件非功能需求冲突消解方法。以旅游出行领域中计算行程费用服务的非功能需求为例,验证了该方法的有效性。
- 赵新辉袁开银吴尽昭
- 关键词：非功能需求形式化建模冲突消解
- 缓冲区溢出漏洞精确检测方法研究被引量：7
- 2008年
- 缓冲区溢出漏洞是影响系统安全性的严重问题之一,本文提出了一种利用模型检测技术对代码中潜在的缓冲区溢出漏洞进行精确检测的方法.该方法通过静态分析,先将对缓冲区漏洞的检测转化为对程序某个位置可达性的判定.然后,利用模型检测技术对可达性进行验证.基于GCC和Blast,我们使用这一方法构造了一个精确检测缓冲区溢出漏洞的原型系统.最后,使用该原型系统对wu-ftpd,minicom和CoreHTTP等三个实际应用程序进行了检测,结果不仅检测出了已知的漏洞,而且发现了一些新漏洞.
- 王雷李吉李博洋
- 关键词：缓冲区溢出安全漏洞
- 软件适应性度量方法研究被引量：1
- 2009年
- 为了能够通过软件的源代码度量面向对象软件的适应性,提出了一个包含七个具体度量指标的软件适应性度量模型,并开发了在Java软件中提取各度量指标的支持工具FlexTool;为了避免通过手动调整大量软件源代码的方式度量软件适应性,使研究人员能够在不太了解软件实现细节的情况下对适应性进行度量,提出了将该适应性模型应用于软件版本的演化从而度量软件适应性的方法,并通过著名开源软件Ant的版本演化对该方法的合理性进行了验证。
- 柳顺政李琳张莉
