全脐点曲面当且仅当平面或者球面的一部分
S 是全脐点曲面当且仅当 S 是平面或者球面的一部分。 S_\text{ 是全脐点曲面当且仅当 }{S_\text{ 是平面或者球面的一部分。}} S 是全脐点曲面当且仅当 S 是平面或者球面的一部分。
证:
充分性显然,下证必要性。
若 r ( u , v ) r(u,v) r(u,v)是全脐点曲面,设其在 ( u , v ) (u,v) (u,v)处的主曲率为 k ( u , v ) k(u,v) k(u,v),则有 L = k E , M = k F , N = k G L=kE,M=kF,N=kG L=kE,M=kF,N=kG。
则 k = L / E k=L/E k=L/E是光滑的,并且
⟨ n u + k r u , r u ⟩ = − L + k E = 0 \langle n_u+kr_u,r_u\rangle=-L+kE=0 ⟨nu+kru,ru⟩=−L+kE=0
⟨ n u + k r u , r v ⟩ = − M + k F = 0 ⟨ n u + k r u , n ⟩ = 0 \begin{aligned}&\langle n_u+kr_u,r_v\rangle=-M+kF=0\\&\langle n_u+kr_u,n\rangle=0\end{aligned} ⟨nu+kru,rv⟩=−M+kF=0⟨nu+kru,n⟩=0
从而 n u + k r u = 0 n_u+kr_u=0 nu+kru=0,同理 n v + k r v = 0 n_v+kr_v=0 nv+krv=0。
两式求偏导数再相减,得到 k v r u − k u r v = 0 k_vr_u-k_ur_v=0 kvru−kurv=0,从而 k u = k v = 0 k_u=k_v=0 ku=kv=0,从而 k k k是常值函数。
分两种情况讨论
1. k = 0 k=0 k=0,则带入上式看出 n n n是常向量,从而 S S S是平面;
2. k ≠ 0 k\neq0 k=0,则 a : = n + k r a:=n+kr a:=n+kr是常向量,则 ∣ r − a k ∣ = ∣ k n ∣ = 1 ∣ k ∣ |r-\frac ak|=|\frac kn|=\frac1{|k|} ∣r−ka∣=∣nk∣=∣k∣1。从而 S S S是半径为 1 ∣ k ∣ \frac1{|k|} ∣k∣1的球面的一部分。
相关文章:
全脐点曲面当且仅当平面或者球面的一部分
S 是全脐点曲面当且仅当 S 是平面或者球面的一部分。 S_\text{ 是全脐点曲面当且仅当 }{S_\text{ 是平面或者球面的一部分。}} S 是全脐点曲面当且仅当 S 是平面或者球面的一部分。 证: 充分性显然,下证必要性。 若 r ( u , v ) r(u,v) r(u,v)是…...
CSS学习记录18
CSS渐变 CSS渐变您可以显示两种或多种指定颜色之间的平滑过渡。 CSS定义了两种渐变类型: 线性渐变(向下/向上/向左/向右/对角线)径向渐变(由其中心定义) CSS线性渐变 如需创建线性渐变,您必须至少两个色…...
实验13 C语言连接和操作MySQL数据库
一、安装MySQL 1、使用包管理器安装MySQL sudo apt update sudo apt install mysql-server2、启动MySQL服务: sudo systemctl start mysql3、检查MySQL服务状态: sudo systemctl status mysql二、安装MySQL开发库 sudo apt-get install libmysqlcli…...
90度Floating B to B 高速连接器信号完整性仿真
在180度 B to B Connector 信号完整性仿真时,不会碰到端口设置不方便问题,但在做90度B to B Connector信号完整性仿真时就会碰到端口设置问题。如下面的90度B to B Connector。 公座 母座 公母对插后如下: 客户要求改Connector需符合PCI-E3.…...
【踩坑】Pytorch与CUDA版本的关系及安装
Pytorch、CUDA和CUDA Toolkit区分 查看当前环境常用shell命令python脚本 Driver API CUDA(nvidia-smi)Runtime API CUDA(nvcc --version)pytorch选择CUDA版本的顺序安装需要的CUDA,多版本共存和自由切换 本文参考 http…...
信息隐藏 数字图像空域隐写与分析技术的实现
数字图像隐写与分析 摘要 随着信息技术的发展,隐写术作为一种信息隐藏技术,越来越受到关注。本文介绍了一种基于最低有效位(LSB)方法的数字图像隐写技术,并实现了隐写数据的嵌入与提取。通过卡方检验分析隐写图像的统计特性,评估隐写数据对图像的影响。实验结果表明,该…...
halcon单相机+机器人*眼在手外标定心得
目的 得到相机坐标系下的点与机器人底座base的转换关系,camera_in_base 两个不确定的定量 1,相机与机器人底座base之间的相对位置是固定的,既camera_in_base 2,机械手末端与标定物 tool_in_obj是固定的 辅助确定量 工作台与相…...
pytest入门十:配置文件
pytest.ini:pytest的主配置文件,可以改变pytest的默认行为conftest.py:测试用例的一些fixture配置 pytest.ini marks mark 打标的执行 pytest.mark.add add需要些marks配置否则报warning [pytest] markersadd:测试打标 测试用例中添加了 p…...
基于Clinical BERT的医疗知识图谱自动化构建方法,双层对比框架
基于Clinical BERT的医疗知识图谱自动化构建方法,双层对比框架 论文大纲理解1. 确认目标2. 目标-手段分析3. 实现步骤4. 金手指分析 全流程核心模式核心模式提取压缩后的系统描述核心创新点 数据分析第一步:数据收集第二步:规律挖掘第三步&am…...
介绍 Html 和 Html 5 的关系与区别
HTML(HyperText Markup Language)是构建网页的标准标记语言,而 HTML5 是 HTML 的最新版本,包含了一些新的功能、元素、API 和属性。HTML5 相对于早期版本的 HTML(比如 HTML4)有许多重要的改进和变化。以下是…...
C05S13-MySQL数据库备份与恢复
一、MySQL数据备份 1. 数据备份概述 数据备份的主要目的是灾难恢复,也就是当数据库等出现故障导致数据丢失,能够通过备份恢复数据。 数据备份可以分为物理备份和逻辑备份。物理备份,又称为冷备份,需要关闭数据库进行备份&#…...
【MySQL — 数据库基础】深入理解数据库服务与数据库关系、MySQL连接创建、客户端工具及架构解析
目录 1. 数据库服务&数据库&表之间的关系 1.1 复习 my.ini 1.2 MYSQL服务基于mysqld启动而启动 1.3 数据库服务的具体含义 1.4 数据库服务&数据库&表之间的关系 2. 客户端工具 2.1 客户端连接MySQL服务器 2.2 客…...
Three.js相机Camera控件知识梳理
原文:https://juejin.cn/post/7231089453695238204?searchId20241217193043D32C9115C2057FE3AD64 1. 相机类型 Three.js 主要提供了两种类型的相机:正交相机(OrthographicCamera)和透视相机(PerspectiveCamera&…...
Unity 开发Apple Vision Pro空间锚点应用Spatial Anchor
空间锚点具有多方面的作用 虚拟物体定位与固定: 位置保持:可以把虚拟物体固定在现实世界中的特定区域或位置。即使使用者退出程序后再次打开,之前锚定过的虚拟物体仍然能够出现在之前所锚定的位置,为用户提供连贯的体验。比如在一…...
BGP的六种状态分别是什么?
此文章主要简单介绍下BGP的六种状态 1.Idle BGP会话的初始状态,路由器在此状态下不与任何BGP邻居通信,通常标识会话还没有开始或由于错误而未能启动,一般来说,缺乏去往BGP对等体的路由是导致BGP路由器其状态一直处于idle状态的常…...
IDEA搭建SpringBoot,MyBatis,Mysql工程项目
目录 一、前言 二、项目结构 三、初始化项目 四、SpringBoot项目集成Mybatis编写接口 五、代码仓库 一、前言 构建一个基于Spring Boot框架的现代化Web应用程序,以满足[公司/组织名称]对于[业务需求描述]的需求。通过利用Spring Boot简化企业级应用开发的优势&…...
Reactor
文章目录 正确的理解发送double free问题 1.把我们的reactor进行拆分2.链接管理3.Reactor的理论 listensock只需要设置_recv_cb,而其他sock,读,写,异常 所以今天写nullptr其实就不太对,添加为空就没办法去响应事件 获…...
在ESP32使用AT指令集与服务器进行TCP/IP通信时,<link ID> 解释
在ESP32使用AT指令集与服务器进行TCP/IP通信时,<link ID> 是一个非常重要的参数。它用于标识不同的连接实例,特别是在多连接场景下(如同时建立多个TCP或UDP连接)。每个连接都有唯一的<link ID>,通过这个ID…...
[SZ901] JTAG合并功能(类似FPGA菊花链)
SZ901 JTAG支持将JTAG端口组合,最多将四个JTAG变成一个 设置如下 Vivado 识别结果如下 两块板子,变成一组,,可以同时抓取信号,调试! SZ901 已上架淘宝,搜素“SZ901”哦...
paimon中的Tag
TAG 在传统数仓场景中,从传统数据库中导入的事实表数据一般是全量导入,按天分区每天都存储一份全量数据,paimon对此提供了Tag机制,创建TAG时,会对当前数据做一份全量快照,在之后对表的数据进行更新也不会影…...
国密算法在SSH协议中的集成与实践:GMSSH/GMClaw深度解析
1. 项目概述:当SSH遇上国密算法如果你是一名运维工程师、安全研究员,或者任何需要远程管理服务器、进行安全通信的开发者,那么“SSH”这个词对你来说一定不陌生。它是我们日常工作中连接远程服务器的“瑞士军刀”,是数据安全传输的…...
12钛丝驱动技术(NiTiDrivetech)-加工生产的影响
钛丝驱动技术(NiTiDrivetech)的可靠性设计【前言】形状记忆合金(Shape memory alloy, SMA),也叫形态记忆合金、肌肉丝、镍钛记忆合金,它是由Ni(镍)- Ti(钛)材…...
使用pretty-log美化终端日志:提升开发调试效率的实践指南
1. 项目概述:告别混乱,拥抱优雅的日志输出如果你是一名后端开发者,或者经常和服务器、命令行工具打交道,那么对下面这种日志格式一定不会陌生:[2024-05-27 14:30:22] [ERROR] [main] com.example.service.UserService …...
京东自动抢购终极指南:Python脚本帮你告别“手慢无“的烦恼
京东自动抢购终极指南:Python脚本帮你告别"手慢无"的烦恼 【免费下载链接】autobuy-jd 使用python语言的京东平台抢购脚本 项目地址: https://gitcode.com/gh_mirrors/au/autobuy-jd 还在为心仪的商品总是抢不到而烦恼吗?当你看到"…...
Nginx静态网站托管终极指南:5分钟极速部署HTML/CSS/JS网站
Nginx静态网站托管终极指南:5分钟极速部署HTML/CSS/JS网站 【免费下载链接】server-configs-nginx Nginx HTTP server boilerplate configs 项目地址: https://gitcode.com/gh_mirrors/se/server-configs-nginx 想要快速部署静态网站吗?Nginx服务…...
设备树和api 关系
// 包含头文件(定义宏和常量) #include <dt-bindings/interrupt-controller/arm-gic.h> #include <dt-bindings/gpio/gpio.h> #include <dt-bindings/clock/stm32mp1-clks.h> #include <dt-bindings/reset/stm32mp1-resets.h>/ …...
3分钟快速解决Windows与iPhone网络共享的终极方案
3分钟快速解决Windows与iPhone网络共享的终极方案 【免费下载链接】Apple-Mobile-Drivers-Installer Powershell script to easily install Apple USB and Mobile Device Ethernet (USB Tethering) drivers on Windows! 项目地址: https://gitcode.com/gh_mirrors/ap/Apple-M…...
glm-switch:ChatGLM多版本模型一键切换与环境管理工具详解
1. 项目概述与核心价值 最近在折腾大语言模型本地部署和推理时,遇到了一个挺实际的问题:手头有几个不同版本的 ChatGLM 模型权重文件,比如 GLM-6B、GLM-10B,还有社区微调过的各种版本。每次想切换模型做测试或者对比效果…...
基于NLP与知识图谱的业务文档智能管理:从静态文档到动态知识网络
1. 项目概述:一套面向业务文档的“瑞士军刀”最近在整理团队的知识库和项目文档时,我反复被一个问题困扰:我们花大量时间写的需求文档、设计稿、会议纪要,最后都变成了一个个孤立的文件,躺在云盘或协作工具的角落里。当…...
Cadence Allegro 17.4 新手避坑指南:从原理图库到网表输出的完整流程
Cadence Allegro 17.4 新手避坑指南:从原理图库到网表输出的完整流程 第一次打开Allegro 17.4时,那个漆黑的界面就像工程师职业生涯的暗黑副本——你以为只是画个电路图,系统却用各种报错教你重新做人。我见过太多新手在中文路径报错面前崩溃…...
