如何建立R函数的个数等价关系？

文章/答案/技术大牛

发布

2回答

r、function、nested-loops

我正在尝试在r中创建countif函数。我有一些关于地震级的数据，并且我已经创建了数据bin (按.1增量从2到8的序列)，我想看看有多少地震大于或等于我的bin值。这是我的数据，它是震级。我在我的函数中调用这个qdta$mag，因为它是一个来自更大数据帧的变量。我只是做了这个片段给你们所有人测试。qdta = sample(seq(0,8,.05),500, replace = T) 这是我的“数据仓”，我<em

浏览 44提问于2021-02-24得票数 1

回答已采纳

1回答

是否可以创建基于函数的唯一索引，以防止范围内的重叠

sql、oracle

Oracle11g数据库我有一个具有4个值复合键的表，该表还有3个数值范围和1个日期范围(8个字段)，复合键必须是唯一的，但如果4个范围中的一个或多个区域中的一个或多个区域没有重叠，但如果所有4个范围都有重叠这能用基于函数的唯一索引来完成吗？

浏览 0提问于2015-02-27得票数 1

回答已采纳

1回答

如何理解Setoid的范畴定义？

coq、category-theory

我不明白为什么需要Setoid，也不明白它在这里扮演的角色。 `{!z) ; id_l :> ∀ x y, LeftIdentity (comp x y y) cat_id (* note: no equality on obj

浏览 0提问于2016-11-06得票数 3

1回答

R中histc函数的等价关系？

r、histogram、indices、bins

在R中有没有一个与matlab函数histc等价的函数？向量和箱都是数字的。

浏览 0提问于2015-03-23得票数 2

2回答

std：：没有等价关系的唯一示例(删除连续空格)

c++、std

在上有一个关于如何使用std::unique从字符串中删除连续空格的示例：auto end = std::unique(s.begin(), s.end(), [](char l, char r){}); // s now ho

浏览 0提问于2017-10-12得票数 7

回答已采纳

1回答

Agda的标准库Data.AVL.Sets包含Data.String作为值

agda

我试图弄清楚如何使用Agda的标准库实现基于AVL树的有限集在Data.AVL.Sets模块中。通过下面的代码，我能够成功地使用ℕ作为值。Data.AVL.Sets (StrictTotalOrder.isStrictTotalOrder ℕ.strictTotalOrder) 现在，我想实现同样的目标似乎没有相应的Data.String.Properties模块，但Data.String导出了我认为合适的strictTotalOrder : St

浏览 0提问于2016-03-28得票数 8

回答已采纳

1回答

MATLAB spones的numpy等效

numpy、python-3.x、scipy

下面是MATLAB内置函数spones(S)的docstring用非零稀疏矩阵元素代替非零稀疏矩阵元素。R= spones( S )生成的矩阵与S具有相同的稀疏结构，但具有非零位置的矩阵。我希望使用numpy/scipy数据结构(例如，来自scipy.sparse的稀疏矩阵)与此函数具有紧密的等价关系。我怎样才能有效地做到这一点？

浏览 4提问于2012-05-14得票数 3

回答已采纳

1回答

如何规范`scala.reflect.api.Types.Type`

scala、reflection、scala-macros

如何实现函数normalize(type: Type): Type，以便：在我的特殊情况下，我只需要规范表示类或特征(tpe.typeSymbol.isClass == true)的类型。编辑1:第一个评论指出，这样的函数一般是不可能实现的。但是，如

浏览 2提问于2020-11-10得票数 1

回答已采纳

1回答

与Active Record has_one_through等效的SQLAlchemy

sqlalchemy

SQLAlchemy的文档很棒，但对于来自Rails和Active Record的人来说，有时有点不堪重负。给定此活动记录关系集，通过中间表建立关系的SQLAlchemy等价物是什么？具体地说，给定下面的基本活动记录示例，我将尝试理解如何在SQLAlchemy中定义一个等价关系，以便将一个帐户SQLAlchemy模型绑定到一个AccountHistory模型。我不清楚我是否应该使用映射器函数，我觉得我在SQLAlchemy中遗漏了一些简单的东西。

浏览 3提问于2013-09-25得票数 2

1回答

什么是等价的类？

discrete-mathematics、equivalence-classes

设A= {a，b，c，d，e，f，g，h，i}和R是A上的如下关系：我知道它是对称的、传递的和自反的等价关系，但我对等价类感到困惑。如何找到关系的

浏览 9提问于2017-02-21得票数 2

1回答

在Isabelle/HOL中创建具有工作集多态和等价关系的商提升类型

set、higher-order-functions、isabelle、theorem-proving、isar

我想在伊莎贝尔/霍尔中用quotient_type创建一个商类型，在这个类型中，我会留下“非构造”的非空集S和等价关系≡。我的目标是导出泛型属性w.r.t。S和≡对商提升的设定S/≡.这样的话，伊莎贝尔/霍尔接受会很有趣.但我被告知那是不可能的。(* 1.，因为我不能将它指定为非空的.我不能定义equiv与definition或fun命令的任意等价关系，因为它们只允许我定义“建设性-强

浏览 6提问于2015-02-26得票数 0

回答已采纳

2回答

Perl中不区分大小写的唯一数组元素

perl、uniq

我使用模块List::MoreUtils导出的uniq函数来查找数组中的uniq元素。但是，我希望它以不区分大小写的方式找到uniq元素。我该怎么做呢？我已经使用Data：：Dumper转储了Array的输出： 'JoHn', ];只有2个元素，其余的都应该被过滤掉，因为它们是同一个

浏览 2提问于2012-10-26得票数 6

回答已采纳

1回答

针对等价关系在lambda中重写

coq、coq-tactic

问题是，如果我知道forall x, f x ≡ g x (其中≡是一些等价关系，而f，g，是函数)，那么正确的Proper实例是什么，它将允许我用更大的条件用g重写通过等价关系联系起来的f？假设功能扩展是可用的，如果需要的话--我猜这是必需的吗？如果我们可以用f替换g，那么这个证据就可以了，但我不知道如何做到这一点。要使我的等价关系成功，我还需要什么额外的力量呢？

浏览 0提问于2018-06-20得票数 2

回答已采纳

2回答

在C语言中可以给出一个数学表达式作为参数吗？

c、math、mathematical-expressions

我正在尝试建立一个函数，我可以给出一个数学表达式作为参数，比如"x**3+bx-c“，然后通过牛顿方法返回给定函数的根。我在下面的例子中思考，其中'r0‘是一个非零的初始随机数，dfunc是函数的导数。我不知道如何计算导数，但我想知道，如果可能的话，我想把表达式作为参数来做什么。double * roots (double r0, <type> func) {

浏览 13提问于2021-11-16得票数 0

9回答

这是一种等价关系吗？

code-golf、decision-problem

给定一个关系和一个域，输出该关系是否为等价关系。对于这个问题，关系被定义为一组有序对，它是一个域本身的笛卡儿积的子集。就是，R \subset X \times X。若要使关系R成为域X上的等价关系，则需要: a)自反关系，b)对称关系，c)传递关系。 \forall a \in X : (a, a) \in R</

浏览 0提问于2022-09-04得票数 20

1回答

R中协方差矩阵的建立

我用两个for循环在R中建立一个协方差矩阵。我有两个数据向量，每两个数据点之间有一个协方差函数f(x)。我的代码是这样的： ra12= matrix(0,length(x1),length(x2)) { }

浏览 2提问于2016-02-24得票数 2

回答已采纳

2回答

用纸张之间的关系求和函数

google-sheets

NAME FEAT1 FEAT22 Meowth S 04 Nanan R126 Bobz R 08 Ughtht L 1NAME FEAT1 COUNTUghtht L

浏览 0提问于2014-11-25得票数 2

1回答

R中广义模型的拟合

r、model

/data.dat' , header=F)attach(data)plot(data) 我不知道如何在R中建立一个合适的模型，因为函数只有一个变量。我现在要问的问题是:如何在R中为这个数据集建立一个合适的模型？

浏览 5提问于2013-11-01得票数 0

回答已采纳

1回答

定义渐近函数导数的数值计算

python、scipy、sympy、spline

如何定义一个函数的导数的数值计算？我有一些函数，我可以用样条来描述这个函数，它的导数使用scipy.interpolate。我想用这个函数操作一些表达式，然后用样条来计算表达式。我可以用lambdify建立一个数值计算为样条的渐近函数。但是，如何定义一个渐近函数的导数来作为样条函数进行数值计算呢？例如。B_s

浏览 2提问于2014-07-12得票数 2

回答已采纳

1回答

R中方程的建立函数

r、function、for-loop、matrix

在尝试了几种我想要做的函数的编码变体之后，我仍然没有成功。下面的方程式是，我想在R中做一个函数，编辑：的在这里当然小于 T。另外，这是两个矩阵，它显示了wij、zj(t)和zi(t+s)的位置。因此，wij = w12等于w矩阵中的w1,2。同样，zj(t) = z2(1)在datamat中等于2，1。但是，当我使用我的函数时，它的输出是numeric(0)。st.acf(D

浏览 2提问于2012-10-18得票数 1

回答已采纳

点击加载更多