共有文档914 打包下载
  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:吕爱华 上传时间:2016-06-16

    摘要:现代企业计算的业务过程越来越复杂,有很多分散且相对独立的组织机构,为了协同来自不同组织的业务过程,文中提出一种IOPN模型(面向交互的Petri网)用于描述跨组织的工作流协同,该模型包含组织内的过程模型和组织间的交互...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:何冰 上传时间:2016-06-15

    摘要:为了解决当前工作流语言粒度过细和引擎对过程动态演化支撑不足的问题,通过在原有工作流模型上建立一层抽象的业务过程模型,建立了一种新的分层过程模型,从而增强了过程的描述能力。同时扩展原有的过程演化技术,使其适用于分层模型...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:何瑞芳 上传时间:2016-06-15

    摘要:信息技术的快速发展带来了"大数据"时代的到来,改变了城市的空间组织和居民行为,并使得城市时空间行为研究方法面临变革。本文在总结传统城市时空间行为研究方法存在问题的基础上,对影响其变革的数据获取与处理技术进行梳理,重点...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:李文钢 上传时间:2016-06-15

    摘要:基于条件赋值转换和自适应模板生成技术,提出一种自适应的的循环不变式生成方法。该方法在生成过程中综合考虑函数规范、循环本身、循环后操作等信息,有针对性地发现潜在的循环不变式,并在Frama-C平台上实现一个插件loop...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:郑剑委 上传时间:2016-06-15

    摘要:覆盖表生成是组合测试研究的关键问题之一,其中,贪心算法因为速度快、生成的覆盖表规模小而得到人们的青睐.人们提出了很多基于不同策略的贪心算法,其中,多数算法可以归结到一个统一的算法框架,即形成一个可配置贪心算法,从该框...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:丁玲 上传时间:2016-06-15

    摘要:云计算是一种新兴的互联网计算方式。本文以国际web of science数据库为文献来源,构造检索式采集截止2012年的云计算领域文献作为样本,运用文献计量学相关定律展开定量分析,从而得出云计算领域目前的理论研究和应...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:武保剑 上传时间:2016-06-15

    摘要:采用共词分析法,以9本国际MIS权威期刊12年载文信息(2000-2011年)为数据源,对MIS研究领域、热点主题及趋势进行了研究。结果表明:2000-2011年间,MIS研究集中在12个主题领域中;MIS研究的核心...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:曾敏 上传时间:2016-06-15

    摘要:操作系统的正确性和安全性很难用定量的方法进行描述。形式化方法是操作系统设计和验证领域公认的标准方法。以操作系统对象语义模型(OSOSM)为基础,采用形式化方法对微内核架构的中断机制进行了设计和验证,在自行开发的安全可...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:曲昇霞 上传时间:2016-06-15

    摘要:微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方...

  • 分类:工业技术 格式:PDF 积分:0 机构:南京大学 上传者:胡泊 上传时间:2016-06-15

    摘要:操作系统的复杂性使得其安全性问题日益突出.有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证,这些工作主要是采用程序形式逻辑验证代码级的功能实现性.从系统设计的角度,以高阶逻辑和类型论为基础,提出了操...

上一页 1 2 3 4 5 6 7 8 9 10 下一页 跳转