为控制巨厚坚硬覆岩导致的采场矿压灾害,采用物理模拟、理论分析与数值模拟方法,研究采场上方厚约100 m岩浆岩的变形破坏特征及对采场围岩应力分布的影响,并分析其引发采场矿压事故的力学机理与显现形式。研究表明:巨厚岩浆岩与煤层间距较小时,可采用两端固支梁模型计算岩浆岩的破断垮距,间距较大时,采用薄板理论计算岩浆岩的极限挠度,并根据自由下沉空间确定其是否破断与破断步距;岩浆岩处于弯曲下沉带时,给工作面带来冲击矿压隐患,处于断裂带时,给工作面带来冲击矿压和大面积来压双重隐患。实践证明,巨厚坚硬岩浆岩下开采,可采取加强支护质量监测与提高工作面推进速度的方法,辅以坚硬顶板强度弱化手段消除冲击矿压和顶板强来压显现事故。

块体理论在某水电站地下厂房纵轴向比选中的应用，张顺，刘高，黄河某电站处于预可研究性阶段，地下厂房位置基本确定。厂房区位于厚层状或块体状的脆性岩体中，多组结构面发育，岩体质量以II级�

我们研究自发CP违规，以解决左右对称理论中的强CP问题。 离散的CP对称性由右手希格斯双峰的复数真空期望值破坏。 类似矢量的沉重夸克夸克与标准模型夸克混合，引入了已知的CP违规，从而实现了Nelson-Barr机制的一种变体。 QCD真空角在回路水平上消失。 讨论了紫外完全理论中小规模三阶化的实现。 我们进一步评论该模型的现象学和未来可测试性。

多体系统动力学基本理论 多体系统动力学是机械系统动力学分析的一个重要分支，旨在研究由多个物体通过运动副连接的复杂机械系统的动力学行为。多体系统动力学的核心问题是建模和求解问题，通过对多体系统的研究，可以对其进行精准的动力学分析和仿真，为机械系统设计、优化和控制提供了强有力的理论基础。 多体系统动力学的研究始于20世纪60年代，初期主要集中在多刚体系统的研究上，后来逐渐扩展到多柔体系统的研究领域。多体系统动力学的研究内容包括多刚体系统的自动建模、数值求解和刚性问题解决等几个方面。多体系统动力学的发展离不开计算机技术的支持，计算机辅助工程（CAE）技术的应用是多体系统动力学研究的重要内容之一。 多体系统是指由多个物体通过运动副连接的复杂机械系统，研究多体系统动力学的目的是应用计算机技术进行复杂机械系统的动力学分析和仿真。多体系统动力学是基于经典力学理论的，经历了多刚体系统动力学和计算多体系统动力学两个发展阶段，目前已趋于成熟。 多刚体系统动力学是基于经典力学理论的，研究的对象是多个刚体组成的复杂系统的运动学和动力学分析。多刚体系统动力学建立适宜于计算机程序求解的数学模型，并寻求高效、稳定的数值求解方法。多刚体系统动力学的发展经历了牛顿、欧拉、拉格朗日、达朗贝尔等科学家的贡献，形成了经典力学中的牛顿-欧拉方程、拉格朗日方程和虚功原理等重要概念。 在20世纪60年代初期，罗伯森和维滕堡提出了罗伯森-维滕堡（R/W）方法，这种方法的主要特点是利用图论的概念及数学工具描述多刚体系统的结构，以邻接刚体之间的相对位移作为广义坐标，导出适合于任意多刚体系统的普遍形式动力学方程。凯恩（Kane）方法、旋量方法和变分方法等也是多刚体系统动力学研究中的重要方法。 通过学习多体系统动力学的基本理论，可以对多体系统动力学的基本理论有较深入的了解，为具体软件的学习打下良好的理论基础。同时，多体系统动力学的研究也为机械系统设计、优化和控制提供了强有力的理论基础。

2.3 图灵机和计算复杂性理论 上一节的NP完全理论虽然直观，但是不严密。我们没有给出Cook定理的证明， 因为在证明这个定理之前需要给“问题”下一个严格定义，否则是没有办法说明什么 是“NP问题”，更别提证明任何一个NP问题都可以多项式归约到它了。此外，对“算 法”也需要进行严格证明，否则没有办法定义归约。如果说上一节是从感性上认识问题 复杂性和NP完全理论，那么从这一节开始正式介绍相关理论。 2.3.1 问题和语言 在深入讨论之前，需要先对“问题”做一个严格定义。抽象问题(abstract prob- lem) 是一个I和S的二元关系，其中I是实例(instance) 集合，S是解(solution) 集 合。NP完全理论只考虑判定问题(decision problem) ，即S={0, 1}。对于优化问题，

LHC的ATLAS和CMS实验发现，在750 GeV附近，双光子不变质量分布明显过量。 我们在具有单重标量和轻伴生费米子的预测性非超对称SU（5）统一框架中解释这种过量现象。 750 GeV共振被确定为标准单重态标量。 SU（5）内预测的24维伴随费米子都诱导了它的产生和衰变。 假定在Z2对称下，伴随的费米子是奇数，这禁止它们直接耦合到标准模型费米子。 我们表明，观察到的双光子过量可以用亚TeV伴随费米子和摄动Yukawa耦合来解释。 当同时解释观察到的横截面和较大的总衰变宽度时，最好使用较窄的宽度方案，这需要一些比375 GeV更轻的伴随费米子。 该模型还提供了单重态费米子作为冷暗物质的候选物。 量规耦合统一是在框架中通过引入色六重标量同时与质子衰减约束一致来实现的。

在F理论中，U（1）规范的对称性被编码在有理截面中，这产生了压实空间的椭圆形纤维的Mordell-Weil群。 最近，对具有光滑有理截面的全局SU（5）F理论GUT的可能的U（1）费用进行了分类[1]。 在本文中，我们利用这种分类来探究其现象学生存能力的整体F理论模型。 施加无奇异的MSSM谱后，异常消除（与在U（1）规范对称性存在下的高电荷通量GUT断开），不存在尺寸4和5的质子衰减算子以及其他违反R平价的耦合，以及存在 在至少第三代顶级Yukawa耦合中，我们通过Froggatt-Nielsen机制生成了其余的夸克和轻子Yukawa纹理。 在此过程中，我们要求按照领先顺序禁止危险的联轴器，并且当单重态vev重新生成时，该联轴器应位于实验范围之内。 我们扫描了所有可能的配置，并显示只有一小类U（1）电荷分配和物质分布满足所有要求。 这些解决方案产生了具有逼真的夸克和轻子Yukawa纹理的精确MSSM光谱，这与CKM和PMNS混合矩阵一致。 我们还将讨论这些模型的几何实现，并提供指向具有良好现象学特性的椭圆形纤维的指针。

《软件工程——理论与实践》是一本深入探讨软件开发过程及其相关原理的中文教材，旨在为读者提供全面、系统的软件工程知识。这本书涵盖了软件工程的各个核心领域，包括需求分析、设计、编码、测试以及项目管理等，是学习和理解软件开发流程的重要资源。 在需求分析阶段，本书会讲解如何有效地收集和分析用户需求，建立完整的需求规格说明书，以及如何使用用例图、数据流图等工具来可视化和表达需求。这个阶段强调的是与客户的沟通和合作，以确保软件产品的功能符合预期。 设计阶段则会介绍软件架构设计的基本原则和模式，如模块化、分层结构和面向对象设计。书中可能还会涉及统一建模语言（UML）的应用，如类图、序列图和状态图，用于描绘软件的静态和动态行为。 编码环节，会涵盖良好的编程实践，如代码规范、错误处理、版本控制以及单元测试。此外，可能会探讨一些流行的编程语言特性和设计模式，帮助开发者写出高效、可读性强的代码。 测试部分，将讨论软件质量保证的重要性，包括白盒测试、黑盒测试和集成测试等不同测试策略。书中会介绍测试计划的制定、测试用例的设计以及缺陷管理的方法。 项目管理方面，会涉及敏捷开发方法，如Scrum和Kanban，以及传统的瀑布模型。此外，还会讲解如何进行进度跟踪、风险管理以及团队协作，以确保项目的顺利进行。 文档编写也是软件工程中的重要一环，书中可能会指导读者如何编写详细的设计文档、用户手册和维护文档，以确保软件的可维护性和可理解性。 《软件工程——理论与实践》中文版的阅读，对于软件开发人员、项目经理、系统分析师以及对软件开发感兴趣的读者来说，都是一份宝贵的参考资料。它不仅提供了理论知识，还结合了大量的实例和案例研究，帮助读者将理论知识应用到实际工作中，提升软件开发的专业水平。通过深入学习，读者能够掌握一套完整的软件开发方法论，从而提高工作效率，降低项目风险，提升软件质量。

在本说明中，我们分析了参考文献中讨论的F理论模型中GUT和孪生扇区的相对尺度。 [1]。 模型中有许多体积模量。 可见扇区（1）中的GUT表面体积（威尔逊线GUT断开）将GUT比例尺MG〜2×1016 GeV定义为统一比例尺，并具有精确的SU（3）×SU（2）量规耦合 ×U（1）Y。 我们选择GUT耦合常数αG − 1 $$ {\ alpha} _G ^ {-1} $$〜24。然后我们可以自由选择比率αG（2）/αG（1）= m 1 / m 2，其中m 1和m 2独立的体积模量与垂直于两个渐近GUT曲面的方向相关。 然后，我们分析了孪生扇形区（2）的有效场论，这可能导致SUSY打破高吉诺凝结水。 当然，所有这些结果均受模量自洽稳定的影响。

ATLAS和CMS实验发现，近750 GeV的双光子事件过剩，这可能暗示着TeV尺度周围存在与单线态耦合的新的类似矢量的带电物质。 当GUT对称性扩展为U（1）对称性（MSSM的希格斯场不像矢量一样）时，在某些类别的具有超荷通量的F理论GUT中不可避免地会出现这样的外来光谱。 在U（1）对称下，外来物体不是矢量状的，因此其质量自然与其断裂尺度有关。 以前，该比例尺被认为接近GUT比例尺，这导致了质子衰减，μ项幅值和太大的R奇偶性违规而引起的张力。 750 GeV的剩余量为考虑打破TeV规模附近的U（1）提供了新的动力，从而进一步减轻了先前的问题。 我们研究了这样的SU（5）GUT场景中可能的TeV规模频谱，并表明它是受约束的和可预测的。 即使通常频谱不能形成完整的GUT表示，也可以在一次循环中以MSSM的精度保持量规耦合统一。 例如，外来词不能形成完整的10多重峰，但是碰巧在beta函数中表现得像一个。 我们对外来光谱的双光子生产率进行了初步分析，发现它们与数据兼容。