本文提出了一种三值重力搜索算法（TGSA），以解决图形的平面化问题。
问题（GPP）。
GPP是图论中最重要的任务之一，被证明是一个NP难题。
为了解决这个问题，TGSA使用三值编码方案，并根据众所周知的单行路由表示方法将搜索空间定量建模为三角超立方体。
TGSA中的相互作用由引力定律驱动，它们逐渐向全局最佳位置移动。
每个代理的位置更新规则基于两个指标：一个是速度指标，它是代理当前速度的函数，另一个是基于整个人口中的累积信息的人口指标。
为了验证算法的性能，测试了21个基准实例。
实验结果表明，TGSA可以通过找到最大平面子图并将生成的边同时嵌入到平面中来求解GPP。
与传统算法相比，TGSA的新颖之处在于它可以为GPP找到多个最佳解决方案。
比较结果还表明，在合理的计算时间内，TGSA在解决方案质量方面优于传统的元启发式方法。
问题（GPP）。
GPP是图论中最重要的任务之一，被证明是一个NP难题。
为了解决这个问题，TGSA使用三值编码方案，并根据众所周知的单行路由表示方法将搜索空间定量建模为三角超立方体。
TGSA中的相互作用由引力定律驱动，它们逐渐向全局最佳位置移动。
每个代理的位置更新规则基于两个指标：一个是速度指标，它是代理当前速度的函数，另一个是基于整个人口中的累积信息的人口指标。
为了验证算法的性能，测试了21个基准实例。
实验结果表明，TGSA可以通过找到最大平面子图并将生成的边同时嵌入到平面中来求解GPP。
与传统算法相比，TGSA的新颖之处在于它可以为GPP找到多个最佳解决方案。
比较结果还表明，在合理的计算时间内，TGSA在解决方案质量方面优于传统的元启发式方法。
2024/2/27 0:35:27
402KB
1
DigitalIntegratedCircuitsADesignPerspectiveSecondEdition（数字集成电路——电路、系统与设计）2ndedited.pdf英文版全文+练习题+答案本书由美国加州大学伯克利分校JanM.Rabaey教授撰写。
全书共12章，分为三个部分：基本单元、电路设计和系统设计。
本书在对MOS器件和连线的特性做了简要介绍之后，深入分析了数字设计的核心——invertor,combinationalcircuitdesign,sequentialcircuitdesign,..控制器、运算电路以及存储器这些复杂数字电路与系统的设计中。
为了反映数字集成电路设计进入深亚微米领域后正在发生的深刻变化，第二版增加了许多新的内容，并以0.25微米CMOS工艺的实际电路为例，讨论了深亚微米器件效应、电路最优化、互连线建模和优化、信号完整性、时序分析、时钟分配、高性能和低功耗设计、设计验证、芯片测试和可测性设计等主题，着重探讨了深亚微米数字集成电路设计面临的挑战和启示。
全书共12章，分为三个部分：基本单元、电路设计和系统设计。
本书在对MOS器件和连线的特性做了简要介绍之后，深入分析了数字设计的核心——invertor,combinationalcircuitdesign,sequentialcircuitdesign,..控制器、运算电路以及存储器这些复杂数字电路与系统的设计中。
为了反映数字集成电路设计进入深亚微米领域后正在发生的深刻变化，第二版增加了许多新的内容，并以0.25微米CMOS工艺的实际电路为例，讨论了深亚微米器件效应、电路最优化、互连线建模和优化、信号完整性、时序分析、时钟分配、高性能和低功耗设计、设计验证、芯片测试和可测性设计等主题，着重探讨了深亚微米数字集成电路设计面临的挑战和启示。
2024/2/26 12:35:52
9.93MB
1
企业供应链建模与管理中的运筹学方法是一篇关于物流采购的参考，能让你全面了解与感悟企业供应链建模与管...该文档为企业供应链建模与管理中的运筹学方法，是一份很不错的参考资料，具有较高参考价值，感兴趣的可以下载看看
2024/2/24 18:43:47
23KB
1
2016研究生数学建模优秀论文全部优秀论文，数学建模优秀论文选集，其中有的论文的排版很漂亮，非常值得学习。
密码：asdfghjkl
密码：asdfghjkl
2024/2/24 13:52:44
56.28MB
1
基于视频的移动目标检测是一个重要且有挑战性的任务，在许多应用中都起到相当关键的作用。
本次论文研读围绕该主题展开，深入阅读了十余篇论文，在本文总结了视频中移动目标检测的一些主要方法及各自的优劣。
本次论文研读围绕该主题展开，深入阅读了十余篇论文，在本文总结了视频中移动目标检测的一些主要方法及各自的优劣。
2024/2/23 8:50:56
1.15MB
1
包含了GA-BP算法、K-NN分类器、Q学算法、RLS算法、非线性动态权重系数w优化的基于罚函数的粒子群算法的函数寻优、分形盒算法、Dijkstra算法、基于GA算法的函数拟合、prim最小树生成算法、蚁群aco优化算法、引力搜索优化算法、细菌觅食优化算法。
全部为本人手敲，现在分享给大家。
全部为本人手敲，现在分享给大家。
2024/2/23 7:56:20
199KB
1
Python作为一种高效简洁的直译式语言非常适合我们用来解决日常工作的问题。
而且它简单易学，初学者几个小时就可以基本入门。
再加上Numpy和matplotlib这两个翅膀，Python对数据分析的能力不逊于Matlab。
Python还被称为是胶水语言，有很多软件都提供了Python接口。
尤其是在linux下，可以使用Python将不同的软件组成一个工作流，发挥每一个软件自己最大的优势从而完成一个复杂的任务。
比如我们可以使用Mysql存储数据，使用R分析数据，使用matplotlib展示数据，使用OpenGL进行3D建模，使用Qt构建漂亮的GUI。
而Python可以将他们联合在一起构建一个强大的工作流。
而且它简单易学，初学者几个小时就可以基本入门。
再加上Numpy和matplotlib这两个翅膀，Python对数据分析的能力不逊于Matlab。
Python还被称为是胶水语言，有很多软件都提供了Python接口。
尤其是在linux下，可以使用Python将不同的软件组成一个工作流，发挥每一个软件自己最大的优势从而完成一个复杂的任务。
比如我们可以使用Mysql存储数据，使用R分析数据，使用matplotlib展示数据，使用OpenGL进行3D建模，使用Qt构建漂亮的GUI。
而Python可以将他们联合在一起构建一个强大的工作流。
2024/2/22 23:17:53
9.38MB
1
并发加权mu－演算(concurrentweightedmu－calculus，CWC)是对Kim．G．Larsen所提出的并发加权逻辑的强有力的扩充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。
本文对CWC进行了研究，给出了CWC的语法并阐述了CWC的标记加权转移语义。
μ－演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树自动机与CWC之间的联系，构建了一种特定的用于CWC的轮替树自动机模型。
一致性内插定理是Craig内插定理的加强和扩展，为了探究CWC上的一致性内插定理，根据AndrewM．Pitts提出的方法，利用互模拟量词寻找一致性插值。
给出了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和CWC上一致性内插定理之间的关系。
在此过程中利用ω展开(unravelling)，由ω展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在CWC上成立。
本文对CWC进行了研究，给出了CWC的语法并阐述了CWC的标记加权转移语义。
μ－演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树自动机与CWC之间的联系，构建了一种特定的用于CWC的轮替树自动机模型。
一致性内插定理是Craig内插定理的加强和扩展，为了探究CWC上的一致性内插定理，根据AndrewM．Pitts提出的方法，利用互模拟量词寻找一致性插值。
给出了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和CWC上一致性内插定理之间的关系。
在此过程中利用ω展开(unravelling)，由ω展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在CWC上成立。
2024/2/22 3:52:31
516KB
1
在日常工作中，钉钉打卡成了我生活中不可或缺的一部分。然而，有时候这个看似简单的任务却给我带来了不少烦恼。
每天早晚，我总是得牢记打开钉钉应用，点击"工作台"，再找到"考勤打卡"进行签到。有时候因为工作忙碌，会忘记打卡，导致考勤异常，影响当月的工作评价。而且，由于我使用的是苹果手机，有时候系统更新后，钉钉的某些功能会出现异常，使得打卡变得更加麻烦。
另外，我的家人使用的是安卓手机，他们也经常抱怨钉钉打卡的繁琐。尤其是对于那些不太熟悉手机操作的长辈来说，每次打卡都是一次挑战。他们总是担心自己会操作失误，导致打卡失败。
为了解决这些烦恼，我开始思考是否可以通过编写一个全自动化脚本来实现钉钉打卡。经过一段时间的摸索和学习，我终于成功编写出了一个适用于苹果和安卓系统的钉钉打卡脚本。
2024-04-09 15:03
15KB