不变量

Scala基础

值你可以给一个表达式的结果起个名字赋成一个不变量（val）。scala>valtwo=1+1 two:Int=2 你不能改变这个不变量的值.变量如果你需要修改这个名称和结果的绑定，可以选择使用var。
feierxiaoyezi·2016-03-02 21:00

OpenMP基础----以图像处理中的问题为例

OpenMP3.0中取消了这个约束2.循环语句中的比较操作必须是这样的样式：loop_variable,>=loop_invariant_interger3.循环语句中必须是整数加，整数减，加减的数值必须是循环不变量
wangyaninglm·2016-02-28 11:00

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

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

Scala-01:函数定义、流程控制、异常处理

一、字段/变量的定义：Scala中使用var/val变量/不变量名称:类型的方式进行定义，例如：objectScalaBasics{  defmain(args:Array[String]):Unit=
zisheng_wang_DATA·2016-01-17 22:00

Unity3D关于刚体（RigidBody）与碰撞体（Collider）的探索（二）

上一章一直把碰撞体作为不变量来研究的，这一章对碰撞体进行研究：方案一：A：碰撞体/连碰撞体都不是B：碰撞体/连碰撞体都不是以上组合共四组实验，如：1.A是碰撞体，B是碰撞体；2.A连碰撞体都不是，B是碰撞体
narutojzm1·2015-11-21 17:00

【线性代数】 05 - 线性变换

变换本身没有什么，我们更关注的其实是变中的不变，不变量则又是变换的核心。1.线性映射1.1定义和基本性质在抽象代数中，同态映射是深入理解代数结构的重要方法，它可以对其进行纵向分解，从更宏观的角
卞爱华·2015-11-17 23:00

【线性代数】 05 - 线性变换

变换本身没有什么，我们更关注的其实是变中的不变，不变量则又是变换的核心。1.线性映射1.1定义和基本性质在抽象代数中，同态映射是深入理解代数结构的重要方法，它可以对其进行纵向分解，从更宏观的角
卞爱华·2015-11-17 23:00

契约式编程

契约由先验条件、后验条件、错误和不变量等概念组成。契约可以而加到C++中而无需对语言加以改造，但是却十分笨拙且不一致。
CNHK1225·2015-11-17 16:00

关于多线程并发：每个开发人员都应了解的内容

What Every Dev Must Know About Multithreaded Apps 本文讨论:   多线程和共享内存线程模型 争用及并发访问如何能够打破不变量
·2015-11-13 23:07

DDD：在基于关系数据库的领域，聚合的边界等于并发管理的边界。

背景 领域驱动中关于聚合设计的原则一直存在一个模糊的定义，比如：不变量、一致性和一个边界。
·2015-11-13 22:11

一般拓扑学--From百度（看了这个，终于明白什么是拓扑了）

用点集的方法研究拓扑不变量的拓扑分支。它的前身是点集拓扑学。点集拓扑学产生于19世纪。G.康托尔建立了集合论，定义了欧几里得空间中的开集、闭集、导集等概念，获得了欧几里得空间拓扑结构的重要结果。
·2015-11-13 18:54

HNOI 2008 玩具装箱toy（DP + 斜率优化）

网上推导的代码啰里啰嗦的，完全没有理解清楚不变量 i 的真谛，从而对于平方的展开添加了很多不必要的麻烦。 2. dp[i] 表示拿到第 i 件玩具时，所需要的最小费用。
·2015-11-12 13:16

[多线程学习笔记]互斥量

在学习《POSIX多线程程序设计》的时候看到了不变量，临界区和谓词的概念才有所感悟。 所谓临界区代码，就是那些影响了共享数据的代码。
·2015-11-11 15:55

Spec Sharp Overview [10-13] supersandpro翻译 [原稿]

这些规范被称为对象不变量，并且清楚的说明了每个对象的数据域在对象的稳定状态时应该保持什么。例如，类片断     clas
·2015-11-11 11:40

关于多线程并发：每个开发人员都应了解的内容 .

本文讨论:多线程和共享内存线程模型争用及并发访问如何能够打破不变量作为争用标准解决方案的锁定何时需要锁定如何使用锁定；理解开销锁定如何能够各行其道十年前，只有核心系统程序员会担心在多个执行线程的情况下编写正确代码的复杂性
聂炳玉·2015-11-09 19:31

低阶有限环的分类（2014-04-25 10:23、2014-05-23 21:39）

整合了《F_8,F_256,C++多项式类与有限域、有限环的构造》、《5种8阶群、4种6阶环、11种4阶环、52种8阶环的C++程序实现(20140424-20140523)》、《有限环不变量的C++程序计算
u010401391·2015-11-07 19:00

可计算代数数论（2012-12-09 20:56、2013-03-23 21:39、2013-06-23 20:27、2013-06-23 20:32、2014-05-16 17:49）

本文合并了《欧拉φ函数（1736-1760）的程序计算》、《高斯整数环Z[i]、整数环Z等UFD的算术基本定理的C++程序实现》、《一元三次方程的实根、椭圆曲线j不变量的C++程序计算》、《C++解代数题
u010401391·2015-11-06 23:00

仿射不变性

仿射不变性 仿射不变性与不变量      若一个图形具有某种性质或者某个量，在平行射影下，如果不变，称这个性质为 仿射不变性质，这个量称为 仿射不变量
·2015-11-03 21:26

关于多线程并发：每个开发人员都应了解的内容

本文讨论:   多线程和共享内存线程模型 争用及并发访问如何能够打破不变量 作为争用标准解决方案的锁定 何时需要锁定 如何使用锁定；理解开销 锁定如何能够各行其道
·2015-10-30 17:41

泛型的协变和逆变

如果不能将一个类型替换为另一个类型，那么这个类型就称之为：不变量。
·2015-10-27 14:36

java代码的优化

将循环不变量的计算移出循环  我写了一个测试例子如下：importutil.StopWatch; /** *循环优化： *除了本例中将循环不变量移出循环外，还有将忙循环放在外层
see_you_again·2015-10-21 14:00

C语言数据的表现形式

常变量是有名字的不变量，而常量是没有名字的不变
zhang31jian·2015-10-13 18:00

scala 基础语法

http://twitter.github.io/scala_school/zh_cn/index.html 表达式scala>1+1 res0:Int=2 值你可以给一个表达式的结果起个名字赋成一个不变量
悟寰轩-叶秋·2015-10-13 12:00

时间序列模型之相空间重构

一般的时间序列主要是在时间域中进行模型的研究，而对于混沌时间序列，无论是混沌不变量的计算，混沌模型的建立和预测都是在所谓的相空间中进行，因此相空间重构就是混沌时间序列处理中非常重要的一个步骤。
cainiaozr·2015-10-10 13:21

循环不变量

要证明循环正确，必须在以下三个环节中，考虑循环不变量的真假。循环初始状态：在所有循环体执行前，循环不变量成立。
羽溪夜·2015-09-14 20:44

【SICP练习】10 练习1.16

练习1.16这道题题目特别长，说的无非就是要用一个不变量记录中间结果，然后写出对数步数内的通过迭代来计算幂的函数，当然了还要用到题目中括号内的那个关系。
NoMasp·2015-09-08 21:00

转载-二分查找(附感悟)

网上有许多人利用循环不变量条件来写二分查找及其变体。并且证明了代码的正确性。下面来说说循环不变量。循环不变量循环不变量包括三个部分——初始、保持、终止。
zjx409·2015-08-11 16:00

[转载] 尺度不变特征变换匹配算法详解

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

（剑指Offer）面试题8：旋转数组的最小数字

思路： 1、遍历数组，找到数组的最小值，时间复杂度O(n)； 2、二分查找，时间复杂度O(logn) 注意旋转数组的循环不变量，A[left]>=A[righ
·2015-07-07 17:00

SIFT的思路整理笔记

Scale-invariantfeaturetransform或SIFT)是一种计算机视觉的算法用来detect与describelocalfeatures，它在空间尺度中寻找极值点，并提取出其位置、尺度、旋转不变量
zddhub·2015-06-24 14:00

图形处理（五）基于旋转不变量的网格变形-Siggraph 2007

基于旋转不变量的网格变形原文地址：http://blog.csdn.net/hjimce/article/details/46415435作者：hjimce一、相关理论本篇博文主要讲解2007年Siggraph
hjimce·2015-06-08 17:43

图形处理（五）基于旋转不变量的网格变形-Siggraph 2007

基于旋转不变量的网格变形原文地址：http://blog.csdn.net/hjimce/article/details/46415435作者：hjimce一、相关理论本篇博文主要讲解2007年Siggraph
hjimce·2015-06-08 17:00

java的10大设计原则

如果超过一次使用硬编码，那么就要考虑将其公开为final修饰的不变量；如果你在两个以上地方有相同的代码块，那么就要考虑使其成为一个单独的方法。SOLID设计原理的好处是在维护。
HTCKF·2015-05-05 15:00

C# 泛型的协变和逆变

如果不能将一个类型替换为另一个类型，那么这个类型就称之为：不变量。
·2015-05-01 20:00

Python实现返回数组第i小的元素

classRandomSelect(object): defPartition(self,a,p,r): x=a[r] i=p-1 forjinrange(p,r): '''如果a[j]>x,则只需将j的值加1即可使循环不变量继续保持
will130·2015-04-24 11:00

算法合集之《信息学中守恒法的应用》

守恒的本质是寻找变化中的不变量。守恒法能帮助我们跳过、避开纷繁复杂的细节，直接看透问题的本质。【关键字】守恒法不变量【正文】 一、引言现实生活和实际问题是纷繁复杂的。问题1两个质量相等的小球，速度
u012349696·2015-04-17 09:00

Python实现快速排序

/usr/bin/envpython #coding=utf-8 importrandom #快排的普通版本 defQuickSort(a,p,r): ifpx,则只需将j的值加1即可使循环不变量继续保持
will130·2015-03-27 17:00

《一直以来伴随我的一些学习习惯》的记录

时间管理：1、重视知识的本质：抓住不变量。2、重视积累的强大力量，万事提前准备：
bedrock32·2015-03-14 19:00

算法合集之《信息学中守恒法的应用》（不错的文章保存一下）

守恒的本质是寻找变化中的不变量。守恒法能帮助我们跳过、避开纷繁复杂的细节，直接看透问题的本质。【关键字】守恒法不变量【正文】 一、引言现实生活和实际问题是纷繁复杂的。
u013050857·2015-02-22 09:00

Java程序性能优化Tip

1.时间优化1.1标准代码优化a.将循环不变量的计算移出循环我写了一个测试例子如下：importutil.StopWatch; /** *循环优化： *除了本例中将循环不变量移出循环外，还
newboy2004·2015-02-02 14:00

性能评估思路总体

在小4中列出的变量分为在性能分析中可变和不变量，我们把这些可变量叫做因素，还有
fengjingge·2015-01-14 16:00

SIFT(尺度不变特征变换匹配)算法详解

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

算法小论——第二章 人间大炮一级准备

循环不变量，这是西方人写书的一大特点，就是不但写下了为什么要这么做，还要严密的论证这么做的正确性。这点的确是我在以往思考过程中缺乏的，往往用一种模糊的，大而化之的想法来做事。没有事后把土压实了
难易·2014-07-04 15:00

教你如何迭代地遍历二叉树

但是相对来说迭代的方法难度就高不少，而且除此之外，迭代地遍历树至少有两个现实意义的优点：1.比递归节省空间，递归是用栈实现的，因此如果树的高度h很大的话，递归很有可能会造成栈溢出2.迭代的代码利用循环，而循环可以用循环不变量来证明代码的正确性我们现在就分别详解这几个迭代地遍历树的方法
Leo-Yang·2014-06-04 15:00

【Detector】【Descriptor】尺度不变特征转换(Scale-invariant feature transform 或 SIFT)

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

笔记之SCala

函数式编程概念；不变量：使用val来声明定
TianXueWu·2014-05-26 20:00

从双曲几何到Gauss-Bonnet-Chern定理

根据SCIBird老师的说法："高斯曲率K是局部概念，而欧拉示性数χ( Γ)（拓扑不变量）是一个整体性概念，Gauss-Bonnet公式将局部性与整体性联系起来了，是一个深刻的结果！"
kadingxiaodi·2014-05-11 20:00

lua指针学习

按照书上的例子，运行了下，lua指针关键就是3个值，指针函数，不变量，控制变量functioniter(a,i)--指针函数i=i+1localv=a[i]ifvthenreturni,vendendfunctionisp
hjun169·2014-05-04 13:06

lua指针学习

按照书上的例子，运行了下，lua指针关键就是3个值，指针函数，不变量，控制变量functioniter(a,i)--指针函数  i=i+1  localv=a[i]  ifvthen    returni
hjun169·2014-05-04 13:06

EJB3.0之事务

这个时候就需要事务了，正是引入了事务的概念，我们平时对数据资源进行操作的时候才不会破坏数据资源的完整性或者说是不变量约束。
aboy123·2014-04-28 11:00
上一页 3 4 5 6 7 8 9 10 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他