Clik here to view.
宿主机ubuntu20系统中的ros2 foxy和docker容器ubuntu22系统中的ros2 humble通信
在宿主机 (Ubuntu 20.04, ROS2 Foxy) 上安装 CycloneDDS：sudo apt updatesudo apt install ros-foxy-rmw-cyclonedds-cpp在宿主机 ~/.bashrc 中设置环境变量：echo "export RMW_IMPLEMENTATION=rmw_cyclonedds_cpp" >>...
View ArticleClik here to view.
一些标识密钥交换协议的安全性分析
安全性定义 KSK：已知会话密钥安全。指每次协议的执行都会产生不同的会话密钥，且一个会话密钥的泄露不会危及其它会话密钥（包括并行的、以前的、将来的会话密钥）的安全性 FS、PFS：前向安全。指如果一方或多方的长期密钥泄露后，以前使用它们执行协议生成的会话密钥的安全性不会受到影响。...
View ArticleClik here to view.
PlantAssistant-免费查看RVM/VUE
引言 依托主流工厂设计软件数字化交付数据文件，AVEVA公司PDMS/E3D的RVM和Intergraph公司SP3D的VUE： 我们想把工厂数字化助手PlantAssistant做成大家设计工作中的一个好帮手。这是我们构想的PlantAssistant的一些功能，主要是对工厂模型进行审查、模型的转换和复用及自动出图功能。...
View ArticleClik here to view.
武汉图核科技
新的名字 以前的名字是英语单词音译过来的，没有什么具体含义，也不容易看出是做什么的。中国人还是取个中文名好一些，于是想换个名字，要言简意赅，简单好记。不擅长取名，找AI来帮忙：...
View ArticleClik here to view.
Unreal5 5.6.1生成VS工程文件报错：Visual Studio C++ 2022 installation not found -...
之前明明安装过VS2022，为什么识别不到呢检查环境变量中的Path变量：添加VS2022的安装目录C:\Program Files\Microsoft Visual Studio\2022\Enterprise\VC\Tools\MSVC\版本号\bin\Hostx64\x64小王 2025-10-03 16:21 发表评论
View ArticleClik here to view.
关于LLL算法的补充证明
先摘录文献[1]中的LLL算法描述流程，及LLL约化基的定义 LLL约化基的定义如下（文献[1]定义13.12） 再证明上图红色方框三行伪代码的正确性（其它部分文献[1]已讲得比较具体） 参考文献 [1] 算法数论 裴定一 祝跃飞 [2] 高等代数 丘维声 春秋十二月 2025-09-28 17:43 发表评论
View ArticleClik here to view.
Clik here to view.
Clik here to view.
Clik here to view.
有限域上的特征与指数和之扩展
符号含义 关于特征的结论 关于指数和的结论 参考文献 [1] 代数学基础与有限域 林东岱 [2] 代数与数论 李超 周悦 [3] 关于群的一些结论及应用 本人 春秋十二月 2025-06-05 09:30 发表评论
View ArticleClik here to view.
ROS2开发环境搭建
1、更新软件源cp /etc/apt/sources.list /etc/apt/sources.list.bakvim /etc/apt/sources.list将文件中的内容替换为：deb http://mirrors.tuna.tsinghua.edu.cn/ubuntu/ jammy main multiverse universe restricteddeb...
View ArticleClik here to view.
二元二次型的相似变换与正定性
本文主要阐述用两种方法判断给定两个二元二次型是否相似，相似情况下的具体变换。 相似变换如果确定了，也利于判断正定性，因为相似二次型的正定性相同 基本定义 下述定义来自文献[1] 12.1节，有所扩展 变换求解 先来看运用解方程的方法 再来看用矩阵的观点方法，求解变换。这种方法更适合求解到对角型的变换 参考文献 [1] 华罗庚文集数论卷2...
View ArticleClik here to view.
关于群的一些结论及应用
【命题1】 所有群同态的原像个数相同，即为核的大小 下面看下这个结论在文献[1]中3.2节的应用 【命题2】所有元素阶小于等于2 的群为交换群，且其阶为2的整数幂 该结论在https://zhuanlan.zhihu.com/p/644888274中的推论2.2证明中用到 【命题3】群中任一元的相对于正规子群的指数次幂属于正规子群，2阶正规子群必 属于群的中心...
View ArticleClik here to view.
android 上的家用机模拟器
xxx.emu系列 https://github.com/Rakashazi/emu-ex-plus-alpha 中规中矩 没有分辨率提升特性, 但兼容性还不错 sony psp ppsspp https://github.com/hrydgard/ppsspp sony ps1 duckstation...
View ArticleClik here to view.
不定方程的代数数论解法
符号含义与适用前提 二次域的基本结论 x2-dy2=±1 x2 + d = y3 x2 + y2 = n 参考文献 [1] 代数与数论 李超 周悦 春秋十二月 2024-12-23 11:33 发表评论
View ArticleClik here to view.
Clik here to view.
关于椭圆曲线的验证计算
符号含义 E 表示满足椭圆曲线Weierstrass方程上的点群 K 域，用来限制Weierstrass方程的系数与E中的点 E(K) 定义在K上的点群E E/K 定义在K上的椭圆曲线E End(E) E上的自同态环 End(E)模与Z代数 极点首项系数...
View ArticleClik here to view.
RK3588设备中运行可执行程序报错：error while loading shared libraries: librknnrt.so: cannot...
在RK3588设备中编译生成了测试程序。运行，报错：error while loading shared libraries: librknnrt.so: cannot open shared object...
View ArticleClik here to view.
不可约多项式判别算法的改正
原本算法 摘抄参考文献1中附录的算法流程如下 例子测验 改正后的算法 改正之前，先理清原本算法判别不可约多项式所用的原理。其原理是若f(x)可约，当且仅当存在次数i<=d=[deg(f(x))/2]的不可约因子g(x)，而此时gcd(xq^i-x, f(x))≠1。...
View ArticleClik here to view.
论证有限域上平方根的求解
通用算法 先摘抄参考文献[1]中的算法流程如下 正确性分析 下面证明以上算法用到的事实结论，提炼为如下几个引理 算法构造思想 用到二次剩余知识，即一个待求平方元ɑ可以且只能表示为两个平方因子的乘积，其中一因子为任意随机选取的非平方因子β的偶数幂，...
View Article
![【喵萌奶茶屋】★剧场版★[绽放于巴黎之星 / 绽放的巴黎之星 / パリに咲くエトワール / Paris ni Saku Etoile][1080p][简日双语]](http://nekomoe.pages.dev/images/mainVisual/char.jpg)
![[JMAX] [2026.09.22] 学園アイドルマスター - 修楽旅行 (倉本千奈・紫雲清夏・十王星南・秦谷美鈴 ver.) [FLAC...](http://i.ibb.co/PGSV37gg/Cover.jpg)
