Constraint-Based Verification

云计算中融入贪心策略的调度算法研究，周舟，胡志刚，鉴于Min-Min算法优先调度小任务而Max-Min算法优先调度大任务而导致云系统资源不平衡的问题，提出了一种新的算法叫Min-Max. Min-Max算法对时

mk matlab代码基于人工神经网络的前向建模 这是 Moghadas JAG 2020 论文的配套 MATLAB 代码（请参阅下面的参考资料）。 此代码包含以下脚本： MK_ANN_Data：读取训练模型和拆分数据用于 ANN 训练的程序。 ANN_Training：训练 ANN 以创建代理正向建模的程序。 模拟：从基于 ANN 的前向模型计算 EMI 前向响应的程序。 参考 Moghadas, D., Behroozmand, AA, Christiansen, AV, 2020，使用基于神经网络的正向求解器进行土壤电导率成像：应用于大规模贝叶斯电磁反演，应用地球物理学杂志，DOI：10.1016/j.jappgeo。 2020.104012 接触 Davood Moghadas () 艾哈迈德。 A. 贝鲁兹曼 ()

LOAM SLAM中用于非线性优化的方法《On Degeneracy of Optimization-based State Estimation Problems》，大家可以详细阅读，有需要的可以下载。同时可以参照博客https://blog.csdn.net/i_robots/article/details/108724606

基于全同态加密的安全人脸识别系统 本人个人主页： 指导老师：陈智罡(Zhigang Chen), 个人网站： 本项目获得第十二届全国大学生信息安全竞赛国家级二等奖。 特点说明： 随着人脸识别技术广泛使用，人脸数据安全问题的严重性也日益增长。 我们采用了全同态加密的方法来保证数据的安全性。 全同态加密：全同态加密支持加密域中密文的计算。那么全同态加密的提出就能够很好的解决计算隐私的问题。我们都知道人脸识别或者说机器学习甚至是整个人工智能，归根到底都是统计数学方法，那么就避不开计算，如此一来，我们就可以先用公钥将数据进行加密，加密后的密文进行数据传输和数值计算，计算结果还是为密文，用户收到密文结果后用私钥进行解密。这样就很好的保证了数据的隐私安全性。 项目难点： 1、Python和C++的跨平台开发，密码学的全同态加密算法采用C++语言编写，人工智能中的人脸识别算法采用Python编写； 2、

Morgan.Kaufmann.Point.Based.Graphics.Jul.2007.pdf

英文版 是计算机图形学领域中一本专门讲“点云，网格”方面的基础书籍，由于比较大，分两个部分分别上传

该模型利用滤波器​​的状态空间模型对基于空间矢量的三相逆变器进行仿真。 模型参数如频率、开关频率、负载参数、电压、调制指数和滤波器A、B、C、D参数。

be based on oracle resore commvualt

matlab代码粒子群算法基于运动的校准 Matlab方法结合运动结构和Levinson方法校准Velodyne相机系统 除了我们自己的方法外，这些脚本还使用以下代码： ICP- 另一个粒子群工具箱- Kabsch算法的实现-