学科分类
/ 25
500 个结果
  • 简介:摘要 在软件测试中,经常会遇到预期输出难以构造的程序,同时,随着输入参数的增多,为了达到尽量充分的测试,构建的测试用例会随着充分性的增加以指数级增长,并且导致效率降低,成本增加。为了解决如上问题,本文提出一种结合蜕变测试理论和全对偶测试理论的测试方法,在测试针对预期输出难于构造的程序时,降低测试用例数量的基础,并尽量达到测试的充分性的测试方法----全对偶蜕变测试方法。本文在介绍全对偶和蜕变测试理论的同时,并给出了全对偶蜕变测试方法的测试步骤,同时说明了该测试方法的局限性。

  • 标签: 软件测试 全对偶测试 蜕变测试 蜕变关系 oracle问题
  • 简介:摘 要:企业作为经济社会中最重要的微观主体,是经济活动的主要参与者,具有独立自主的决策和管理能力。企业投资水平以及企业的投资效率对于我国经济发展起着重要作用,本文梳理了企业投资理论的发展脉络和衡量投资效率的相关模型,并且对未来我国企业投资理论发展进行了展望。

  • 标签: 企业投资 投资效率 企业价值
  • 简介:摘要:松动爆破是广泛应用的一种爆破方式,分普通松动及加强松动爆破,常用于采矿、土方开挖等工程。它的装药量只有标准抛掷爆破的40%—50%。松动爆破的爆堆比较集中,对爆区周围未爆部分的破坏范围较小。

  • 标签: 松动爆破 抛掷爆破
  • 简介:摘要:电子技术与日常生活密切相关,其理论应用已经渗透到生产和生活的方方面面。然而,在应用电子技术时,首先需要解决其中存在的一些问题,以更好地将其应用于生产和生活中。

  • 标签: 电子技术,近似计算,纳米电子技术,技术应用
  • 简介:为提高软土地基的承载能力,本文分析了复合地基的极限承载能力,论述了复合地基的加固机理、破坏模式、性状的影响因素。

  • 标签: 复合地基 承载能力 软土
  • 简介:摘要:煤炭作为一种常见的化石能源,其已经成为社会的经济命脉。长期以来,在我国的煤炭开采技术发展中,其在火力发电与炼钢等过程中扮演着重要角色。除此之外,我国每一年的煤炭使用量比较丰富。因此,为满足煤炭开采的基本需求,我国一直在寻找高效率的煤炭开采技术,而在多年的技术探索中,我国煤炭开采技术已经取得重大进步与突破。但因为在开采过程中出现过于粗放的问题,而导致对周围生态环境带来重大影响。所以,对煤炭开采来说,为不断改善其开采困境,需全方位贯彻绿色开采思维,并将绿色开采技术应用于具体的开采实践中。在本文研究中对绿色理论下的煤炭开采技术进行分析,不断总结相应的要点。

  • 标签: 绿色理论 煤炭开采 绿色开采 开采技术
  • 简介:摘要:模糊控制理论是一种处理模糊和不确定性的系统控制方法,已广泛应用于各个领域。首先,文章介绍了模糊控制理论的基本原理和方法,包括模糊集合、模糊逻辑和模糊推理等。模糊控制理论的核心思想是将模糊概念引入控制系统中,通过定义模糊规则和模糊化、解模糊化过程,实现对系统的控制。然后,文章系统地介绍了模糊控制理论在不同领域的应用研究,包括工业自动化、机器人控制、智能交通、电力系统和医学工程等。在工业自动化方面,模糊控制广泛应用于温度、压力、流量等工业过程的控制中,具有较好的性能和鲁棒性。在机器人控制领域,模糊控制被应用于路径规划、避障和任务执行等方面,可以提高机器人的智能性和适应性。最后,文章总结了模糊控制理论的优点和局限性。模糊控制理论可以处理问题的模糊性和不确定性,在一些复杂和非线性系统中具有较好的性能。然而,由于模糊规则和模糊集合的设计需要专业知识和经验,模糊控制的建模和设计可能较为复杂。

  • 标签: 模糊控制理论 工业自动化 较好的性能
  • 简介:摘要:本文旨在对笔迹分析的哲学、心理学、生理学理论基础进行剖析, 梳理笔迹分析的理论体系,论证笔迹分析的科学性。

  • 标签:
  • 简介:摘要:事故树分析法FTA表明:人的不安全行为和物的不安全状态一旦发生时间、空间的运动轨迹交叉,就会造成事故,二者相互作用,又相互统一,经过布尔代数法化解后计算出最小割集事件,就出顶端事件概率,并确定了各事件的影响大小程度,实现事故定量。

  • 标签: 事故树 轨迹交叉 最小割集 概率 可靠性
  • 简介:摘要:地震是有生命活动的组合体,它 们有着完整的、化学式生命活动周期,从生到死。地震都是群伴生,不光 从物理规律去观察,还要从化学环境, 去观察地震。

  • 标签:
  • 简介:摘要:建立Morita代数表示的单态射范畴和满态射范畴之间关系,相对AR序列;利用Morita context 代数构造奇点等价;建立Gorenstein投射模的态射范畴上的代数K-理论

  • 标签: 单态射范畴 Morita context代数 Gorenstein 投射模
  • 简介:摘要:伴随着改革开放四十多年来我国经济的发展腾飞,居民家庭的收入水平、生活水平和福祉也在不断提高,家庭日益增长的财富积累提出了更高质量的资产配置要求;加上外部经济环境始终处于一种稳定通胀状态,过去以储蓄为主的理财方式已逐渐不能适应家庭保值增值的需求。2012 年互联网金融概念被首次提出以来,我国金融科技步入了高速发展阶段,现正朝着智能化的方向发展。金融科技的兴起为金融市场发展创新、家庭金融资产配置需求提供了良好的契机。

  • 标签: 金融科技 理论 研究
  • 简介:摘要:随着信息、传播这样的概念出现在19世纪下半叶,尤其是在信息论、控制论、系统论提出之后,新闻学获得了一种全新的解释框架。数字化(digitization)同时作为一个“进程”和一套“逻辑”,深刻影响着全球新闻业与人类的新闻经验,并对新闻学发展提出一系列新的要求。在此基础上催生的新新闻业态转型,也对经典新闻生产理念形成冲击,促使数字新闻生产在变革中生成一整套全新的规范性话语,引领着新闻生产实践的创新方向。

  • 标签: 数字新闻 理论 创新 突破
  • 简介:摘要:随着科技的不断进步,经济社会飞快发展背景下,国内建设行业发展空间进一步加大,呈现良好的发展前景。如何打造高质量、高品质的建设工程项目,应重点关注工程项目质量问题,扩大质量创优覆盖面,增强工程项目全过程质量管理力度。伴随着工程创优发展进程逐步加快,创优策划和质量管理至关重要,在合理施工策划下,促使施工活动按照工艺规范和标准要求进行操作,在提升技术创新水平和质量管理水平同时,建造符合市场所需要的建设工程项目。

  • 标签: 质量工程 技术理论 实践
  • 简介:摘要现代工程建设中,施工及运输机械受到地形地域交通限制,或在施工过程中,造成工区附近居民出入不便,产生了钢便桥的需求。钢便桥有钢结构形式的框架桥和桁架形式的贝雷桥,具备临时架设所需要的效率以及足够的承载力,在工程中被广泛使用,本人结合实际建设工程中的案例对重载钢便桥设计、计算进行探讨。

  • 标签: 钢便桥 设计 重载 计算
  • 简介:摘要:奥利弗 ·哈特和本特 ·霍尔姆斯特伦凭借在契约理论研究方面所做出的卓越贡献,分享了 2016年度诺贝尔经济学奖,同时也引发了学术界对于契约理论的更加广泛的关注。作为现代微观经济学最为重要的分支之一,契约理论给出了人们在理性条件下如何设计更加合理的契约以保障当事方的利益分配的科学分析逻辑。契约理论经历了古典契约理论、新古典契约理论和现代契约理论三个主要的发展阶段,本文主要介绍的是 20世纪 70年代后期发展起来的现代企业理论这一阶段。并对科斯、张五常、威廉姆森等具有代表性的人物的主要观点给予说明。

  • 标签: 契约理论 不完全契约