偶然正确性概率的估算及其在软件测试中的应用

来源 :南京大学 | 被引量 : 0次 | 上传用户:helen_shen
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
企业并购是企业实现外延式成长和扩张的重要方式,同时也是我国优化资源配置、促进产业结构升级的重要途径。自2014年以来,我国颁布了《关于进一步优化企业兼并重组市场环境的意见》、《上市公司重大资产重组管理办法》等一系列与并购有关的政策,以引导企业并购行为,实现行业整合和产业升级战略。然而,在实践中,并购帮助企业实现跨越式成长,促进产业结构升级的同时,却伴随出现了大量的损害公司价值以及违背政策初衷的并购
The growing concern of public through print and electronic media have forced the business organizations to become green.However,the decision to become green is very challenging because it is associate
学位
随机场,作为随机过程的更一般化形式,由于能更好刻画现实中不确定现象,所以被广泛应用于各科学领域.同时随机场研究也是现代概率论研究热点,其样本轨道性质作为随机场理论的重要内容得到了广泛关注和研究.然而对某些具有良好性质和结构的随机场的样本轨道性质研究还不完善,有些十分重要的问题尚未得到解决,还需进一步研究,因此深入研究和发展随机场理论是十分必要的.本学位论文主要研究了某些高斯随机场的样本轨道性质,具
投资决策是公司财务的核心议题之一。从微观经济角度来看,企业投资是企业实现合理资源配置的重要途径,是企业有序运营和健康发展的根基,承担着实现企业未来价值最大化的重任;从宏观经济角度来看,企业投资反映了社会的供给需求,推动国家经济长期增长,是社会总投资体量的重要组成部分。因此,对于如何提升企业投资决策有效性的探讨,在微观企业和宏观市场等多个层面均具有重要的理论意义和现实意义。同行竞争者是公司重要的利益
本文系统介绍了国网新源控股有限公司抽水蓄能电站建设期设计管理体系和主要管理措施,分招标设计阶段和施工图设计阶段两部分进行说明,介绍了对设计计划、工程变更、强制性条文执行、工程验收等工程管理工作中对设计管理的要求和规定。
埃及现代统治精英依据其出身及获取政治地位所利用的资源可以分为多种类别。其中,军人派政治精英、法律派政治精英和经济精英是最主要的三种类型。军人派政治精英是埃及现代史上最具影响力的统治精英。1952年的“7·23”革命后,军人派政治精英登上埃及的政治舞台。此后,军人派政治精英的发展基本一直处于繁荣与扩张的状态。首先,军人派政治精英通过土地改革扩大了自身的统治基础,通过禁止政党活动使自身成为政治舞台上唯
本文探讨了抽水蓄能建设中业主环保管理工作的要点,按照筹备阶段、招标设计阶段、施工阶段、验收阶段进行分析总结,并指出了存在的问题。
近年来,在缓解中国食用油对外依存度过高的问题上,中国政府已把目光放在通过发展木本食用油料来改变食用油结构和缓解食用油安全的威胁上。主要木本食用油品种—油茶受到各界广泛的关注和政策支持。油茶栽培具有不占用耕地等优势,且由其压榨所获取油脂的品质可与橄榄油媲美。发展油茶产业已上升到我国粮食安全战略层面重要部署。发展油茶产业已上升到我国粮食安全战略层面重要部署。按《全国优势特色经济林发展布局规划(2013
学位
多元主义作为思想史上的一个重要论题,其当代研究主要集中于“价值多元主义”与“文化多元主义”的讨论。本文分别指出以哈贝马斯学说为代表的自由主义思想对这两种论述以及多元性问题的抽象化误读,进而将多元主义的核心聚焦于主体的多元性问题,全面梳理多元主义的思想史,最终确立复调多元主义的思想理论。笔者会借助以赛亚·伯林的多元主义思想史研究,在此基础上进行更为清晰且深入的探讨,同时结合伊曼努尔·列维纳斯与米哈伊