不变量

Effective Java(3rd)-Item50 在需要的时候制作防御性的副本

在一种安全的语言中，可以编写类并确定它们的不变量将保持不变，不管在系统的任何其他部分发生了什么。在将所有内存视为一个巨大数组的语言中，这是不可能的。  
难以置信的优雅·2019-11-02 11:20

SIFT特征点提取

它用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量，此算法由DavidLowe在1999年所发表，2004年完善总结。
微光少年·2019-10-16 11:00

[Bilingual]魔术农庄里的不变量 Invariants in Magic Farm

目录Contents魔术农庄1MagicFarm1不变量计算Thecalculationofinvariants魔术农庄2MagicFarm2不变量计算Thecomputationofinvariants
XiongRui·2019-08-12 02:00

几何拓扑不变量——欧拉示性数

这就是为什么欧拉示性数叫做不变量；对于一个平面三角形：可以计算是3+1-3=1；欧拉示性数越大，亏格越小；如果
FrankDura·2019-07-08 21:47

关于表示不变量（Rep invariant）和抽象函数（Abstraction function）

关于表示不变量（Repinvariant）和抽象函数（Abstractionfunction）（1）表示空间R：实际实现中内部表示的值一般情况下ADT的表示比较简单，有些时候需要复杂表示，抽象空间A：client
L_0322·2019-06-18 15:09

qt listView识别U盘过滤文件

到目前，所分享的程序还是以功能为主，还没有点动成线的境界，更没有线动成面了~心得：昨天晚上又温习了互斥量(锁)，又看了一遍临界区、不变量和谓词，结合三个程序员舀水的故事，那个水桶就是互斥量，而舀水的动作则是临界区
Pou光明·2019-06-15 11:42

以太坊2.0设计原则

然而有关以太坊2.0内部运行背后的设计原则和不变量的文章却不多。
Unitimes_独角时代·2019-06-11 17:48

以太坊2.0设计原则

然而有关以太坊2.0内部运行背后的设计原则和不变量的文章却不多。
Unitimes·2019-06-10 20:45

Object-Oriented Programming Summary Ⅲ

1.形式2.作用域3.前置条件(requires)4.后置条件(ensures)5.模型域(model)模型域的取值(represents)6.不变量(invariant)7.约束(constrain)
CookieLau·2019-05-22 21:00

OO 2019 第三单元博客作业

1.JML语言的理论基础&应用工具链情况JML概述Java建模语言（JML）是Java程序的规范语言，它使用Hoare风格的前后条件和不变量，遵循契约范式的设计。
Michael_张金源·2019-05-22 16:00

SIFT算法实现特征匹配与地理标识(python)

它用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量。
-Dghly·2019-03-17 23:32

Transferable Attention for Domain Adaptation阅读笔记

背景介绍：域自适应的最新研究是通过反向学习一种域不变量表示来连接不同的域。现存的方法主要用于联合适配源域与目标域的全局图像。
lwpyh·2019-02-23 16:00

《计算机视觉与多视几何》读书笔记（持续更新）

“各种几何的本质是描述几何元素在不同变换群下的不变量。”使用几何方法，不仅可以由二维进行三维重建，还可以描述他们在摄像机变换下的不变量从而达到是别的目的。几何方法的贯穿作用。
釗呀釗·2019-01-30 12:05

计算机视觉中的多视图几何——第一章:2D摄影几何（2.相似变换、仿射变换、射影变换）

计算机视觉中的多视图几何——第一章:2D摄影几何（2.相似变换、仿射变换、射影变换）1.3射影变换1.4变换的层次1.等距变换2.相似变换3.仿射变换4.射影变换5.射影变换和仿射变换的区别6.不变量的数目参考文献
易码码的祎次元·2019-01-21 15:33

黎曼不变量——特征法的学习

特征线：沿一阶偏微分方程的特征线将方程华为常微分方程，便是特征线的基本思想一、特征法参考这个网络讲义1.苏剑林.(2017,Dec07).《一阶偏微分方程的特征线法》[Blogpost].Retrievedfromhttps://kexue.fm/archives/47182.知乎解答：https://www.zhihu.com/question/405183743.百度学术ppt：3.a西安交大
不知所云的CHDer·2018-12-06 11:26

图像特征检测中的SIFT等算子

它用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量。
帅的被人砍1996·2018-12-04 22:07

OpenCV—python 图像相似度算法（dHash,方差）

综述尺度不变特征转换(Scale-invariantfeaturetransform或SIFT)是一种电脑视觉的算法用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
SongpingWang·2018-12-03 20:02

二分查找法

注意：对于有序数列，才能使用二分查找法（排序的作用）循环不变量（Loopinvariant）：所谓循环不变量是指一种在整个循环过程中保持不变的性质，必须在以下3种情况下均保持不变，且该
KAIKAI_ING·2018-10-05 11:23

Zeta函数与超越不变量

我今天的题目是Zeta函数与超越不变量,就涉及了一些这样的问题。我们先从数开始。所谓的数,在数学里是指自然数、整数、有理数,然后是实数。
算法与数学之美·2018-08-02 19:57

SIFT

综述尺度不变特征转换(Scale-invariantfeaturetransform或SIFT)是一种电脑视觉的算法用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
Sev6plus1·2018-07-23 20:32

Clojure 学习笔记 :4 以不变应万变

Clojure零基础学习笔记不可变集合一个抽象的过程就是寻找变化中的不变量在之前的学习中我们学习了如何定义我们的集合，一个很自然的想法就是修改这个集合。
BlindingDark·2018-05-30 16:25

深入理解Solidity——Assert, Require, Revert 和 Exceptions

assert函数只能用于测试内部错误，并检查不变量。应该使用require函数来确认input或合约状态变量满足条件
黄嘉成·2018-05-19 20:51

图像处理---SIFT特征详解

综述尺度不变特征转换(Scale-invariantfeaturetransform或SIFT)是一种电脑视觉的算法用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
Dean0Winchester·2018-04-16 15:52

麻省理工18年春软件构造课程阅读11“抽象函数与表示不变量”

本文内容来自MIT_6.031_sp18:SoftwareConstruction课程的Readings部分，采用CCBY-SA4.0协议。由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有的练习题没有标准答案，所给出的“正确答案”为译者所写，有错误的地方还请指出。（更新：
李秋豪·2018-04-01 22:00

SIFT算法

综述尺度不变特征转换(Scale-invariantfeaturetransform或SIFT)是一种电脑视觉的算法用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
月亮是蓝色·2018-03-24 10:30

猫头鹰的深夜翻译：在JVM上根据合约编程

它规定了软件设计师应该为软件组件定义正式，精确和可验证的接口规范，将常规的抽象数据类型扩展为前置条件，后置条件和不变量。这些规则被称为合约，可以比拟为商业合同中的条件和义务。
raledong·2018-03-10 00:00

函数式编程哲学：变化中的不变

数学科普作家张远南先生有一本数学科普书叫做《变量中的常量：函数的故事》，事实上点出了函数分析中的关键，即研究变化中的不变量。对于函数式编程来说，其核心思想也是抓住变化的程序中的不变结构。
DarkBubble·2018-03-02 18:44

文献《基于SIFT的遥感图像配准技术综述》阅读笔记

原理：用于描述与检测图像中的局部性特征，它在空间尺度中寻找极值点，并提取其位置、尺度和旋转不变量。
笨小白学python的日子·2018-01-11 21:23

特征工程--特征变换

1、特征尺度变换1.1什么是特征尺度变换是一种电脑视觉的算法用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量；其应用范围包含物体识别、机器人地图感知与导航、影像缝合
阿立063·2017-12-06 05:03

go语言初始化

1.常量：顾名思义，就是不变量，常量只能是数字、字符（符文）、字符串或布尔值。
JackieZhang·2017-12-04 06:21

嫌疑人X的献身

最终还是没有按照石神的剧本走，他的努力和付出最后只能化为一声嘶吼...石神很聪明，很会利用他的数学逻辑来设计故事并论证故事，可是他算到的是在论证过程中除了不变量，还有变量存在，这个变量就是他的老同学物理天才的出现以及他对她的感情
遗失的美好1003·2017-12-04 05:41

Swift中的值类型和引用类型(let和var使用注意)

转自:http://www.jianshu.com/p/2e4041edd054Swift编程模式思考let被用于声明不变量，var被用于声明变量。
fscyj1·2017-10-19 10:29

基于旋转不变量的网格变形

基于旋转不变量的网格变形-Siggraph2007基于旋转不变量的网格变形原文地址：http://blog.csdn.net/hjimce/article/details/46415435作者：hjimce
YRred_rock·2017-08-19 11:48

迹，最大平均差异，核函数等基本概念理解

我们生活的世界是变化的，研究问题就要抓住这些变化中的不变量进行研究。
SusanZhang1231·2017-06-20 11:11

迹，最大平均差异，核函数等基本概念理解

我们生活的世界是变化的，研究问题就要抓住这些变化中的不变量进行研究。
SusanZhang1231·2017-06-20 11:11

二分查找变形记：从循环不变量说起

二分查找二分查找二分查找循环不变量首选我们介绍标题中提到的两个名词：二分查找二分查找的搜索过程从数组的中间元素开始，如果中间元素正好是要查找的元素，则查找成功；如果某一特定元素大于或者小于中间元素，则在数组大于或小于中间元素的那一半中查找
细嗅·2017-06-15 18:04

循环不变量的优化

转自：http://blog.csdn.net/mathe/article/details/1175620在九十年代末时，我一个同学在写一个处理医学图像的程序，里面用了不少三角函数，所以程序运行很慢（那时机器也慢，可能主频都在100M左右吧），处理一个图片都要20多秒。然后他向我询问，有没有什么办法可以提高运行速度。我看了一下他的代码，做了下简单的修改，速度一下子就提高了3倍多。原因在于，他的代码
CYP_2015·2017-05-05 13:25

循环不变量的优化

转自：http://blog.csdn.net/mathe/article/details/1175620在九十年代末时，我一个同学在写一个处理医学图像的程序，里面用了不少三角函数，所以程序运行很慢（那时机器也慢，可能主频都在100M左右吧），处理一个图片都要20多秒。然后他向我询问，有没有什么办法可以提高运行速度。我看了一下他的代码，做了下简单的修改，速度一下子就提高了3倍多。原因在于，他的代码
CYP_2015·2017-05-05 13:25

shell脚本三步走以及shell编程中常用语法

命令touchfile.shb、赋予执行权限chmod777file.shc、执行shell程序shfile.sh下面是我自己写的创建shell脚本的脚本文件，感兴趣的可以尝试一下：1、shell脚本中不变量不需要定义
egbert果·2017-03-26 10:35

SIFT

综述尺度不变特征转换(Scale-invariantfeaturetransform或SIFT)是一种电脑视觉的算法用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
chezhai·2017-03-25 23:42

《暗时间》10个建议让你升级思维方式

应对这个问题的办法只能是：抓住不变量。分析问题和解决问题的能力永远都不过时。强大的学习能力和旺盛的求知欲永远都不过时。你大脑的思维方式永远都不过时。
双重职业·2016-10-03 09:07

图像特征— —SIFT特征

概念尺度不变特征转换(Scale-invariantfeaturetransform或SIFT)是一种计算机视觉算法，用来侦测与描述影像中的局部性特征，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
Sin_Geek·2016-09-25 13:34

Swift中的let和var背后的编程模式

let被用于声明不变量，var被用于声明变量。不变量的值一旦被定义就不能再改变，变量则可以在声明之后被随意赋值。在其它一些如Java，C这样的命令式编程语言中也有不变量的概念。
Bobby0322·2016-09-02 23:01

HBase数据查询之常规查询

简述订单常规查询用到的字段可能有：店铺id、订单创建时间（不变量）、订单id、订单状态等等。
空中的鱼1987·2016-07-13 17:25

前端性能优化：循环内部优化

其实在操作系统中介绍了系统会优化的一个方法，就是循环不变量外提。其实在for循环中把长度定义在循环外就是循环不变量外提。
xuexiaodong2009·2016-07-03 10:00

【图像处理入门】之图像的特征检测1：SIFT算法(未完待续)

简介及相关特点SIFT全称：尺度不变特征转换(Scale-invariant feature transform)是一种用来侦测与描述影像中的局部性特征的算法：它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
·2016-06-16 09:00

[置顶] clojure的一个计数器——a counter in clojure

有时候稍微一点认知的错误，都容易导致“失之毫厘，差之千里”，这篇文章就是一个clojure变量counter（其实是不变量~immutable）引发的血案：(—佚名阅读本文的内容可能要求你有的clojure
yin_wuzhe·2016-05-04 21:00

leetcode 290 Word Pattern

循环不变量：当I=k时，并进行迭代时，pattern[0..i-1]与strings[0..i-1]之间满足双射关系循环不变量证明：1>初始化：当I=0时，I–1=-1，则pattern[0..i-
ACM日记·2016-03-24 00:00

特征提取算法--Sift

SIFT（Scale-invariantfeaturetransform）是一种检测局部特征的算法，它在空间尺度中对一副图寻找极值点，并提取出其位置、尺度、旋转不变量等描述子得到特征并进行图像特征点匹配
chuhang_zhqr·2016-03-14 22:19

java学习笔记-多线程

多进程和多线程的区别：每个进程都有自己的一整套不变量（独立代码和数据空间），进程切换开销大含多个线程；而线程共享数据，每一个线程都有自己独立的运行栈和程序计数器，线程切换开销小多线程是为了提高CPU的利用率
SoundSlow·2016-03-14 16:00
上一页 3 4 5 6 7 8 9 10 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他