theory

0热度

1回答

我陷入了一个问题，并希望对解决方案有一点指导。我需要证明的是，接下来的问题是不可判定：输入 - 一种程序问题 - 是否为其程序暂停可能输入的数量比那些该节目赢得了”大停止？我试图建立一个减少（如果输入是偶数）每个偶数停止，对每个奇数进行无限循环，并用输入运行程序。或者，如果输入是奇数，则相反 - 但它只在我能够证明实际奇数的数量等于实数偶数时才有效。

-1热度

2回答

关系代数中允许乘法吗？

我有一个关系 R ------- cid sid gradepoint credits CS425 001 4.0 3 我需要计算GPA。有更多的行，但我相信如果我只是得到这个答案，我应该与其余的。我需要做gradepoint * credits。我如何用关系代数表达式来表达这一点？我最好的猜测是：，但我不知道如果我可以和任何其他不是常数乘属性。

0热度

1回答

数据库理论：有一个可应用于许多实体的“标志”表的最佳方式？

我正在为我正在开发的一个新项目构建数据模型。这个数据模型的一部分涉及具有“标志”的实体。一个标志只是一个布尔值 - 实体有标志或没有标志。为此，我有一个名为“标志”的表，它具有一个ID，一个字符串名称和一个描述。（标志示例可能是“正在激活”或“应该显示”或“属于组”）因此，例如，我的用户表中的任何用户都可能没有任何用户，一个或多个标志。所以我创建了一个带有用户ID和标志ID的userFlag

0热度

2回答

事件循环和Promise之间的关系

我很好奇Event Loop和Promise之间的关系。该演示揭示了这个问题。我期望p1 fulfilled出现在中间，，因为他们排列任务到相同的任务队列，并逐一执行。 var p1 = new Promise(function(resolve, reject){ resolve(1) }) setTimeout(function(){ console.log("wil

0热度

1回答

作物和调整大小的理论

我需要一些关于使用边框在焦点周围裁剪和调整图像大小的理论指导。在我的情况下，我对不同的定义（1x，2x，3x等）有各种不同的图像尺寸要求（例如100x100,500x200,1200x50）。这些定义有效地将50x50裁剪图像转换为100x100裁剪图像，从而为更高的屏幕定义设备提供了2倍分辨率。我为用户上传的图像提供了一个x，y焦点和一个带有两个x，y坐标（topLeft [x，y]，bo

-1热度

1回答

当软件变得太可配置时

我听说最近使用的术语（或理论），我不记得了。什么是术语，用于描述一个软件或程序变得如此可配置的最终用户发生的情况，它变得几乎一样复杂的程序或工具用于建立它在第一位？我听到另一位开发人员提到它一次 - 这是一个短期或短语。它只是不会回来给我。

1热度

1回答

鉴于使用的SoundFont，是否可以尽可能准确地将音频分解为MIDI？

如果我知道MIDI到音频轨道使用的SoundFont，理论上可以将音频转换回它的（最有可能的）MIDI组件吗？如果是这样，那么做什么是最好的方法之一？最终目标是尝试将音频（甚至是声音样本）编码到MIDI中，这样我就可以比使用BearFileConverter更好地再现MIDI格式的原始音频。希望有更好的结果，而不仅仅是带通滤波器或FFT。不，这不适用于任何有损音频压缩或表单转录，这主要是为了我

0热度

5回答

什么是替代使用多种布尔开关

我有一个旧的代码需要被带回生活，它采用约10-15布尔值，围绕整个班级跳舞吧，像这样： if (condition) { bool1 = true } if (condition) { bool2 = true } ... 然后 if (bool1 == true && bool2 == true && bool3 == false) { do so

1热度

1回答

理论：怎么能是这是从计算书的理论采取机M1

识别的语言：如果下面的图表示机器M1，怎么能A，语言机器M1识别，描述为： A = {w |当字符串011被机器M1接受时，w包含至少一个1和偶数个0，后面跟着最后一个} 。 011实际上包含至少一个1，但偶数个0不跟随最后1. 然后，说“和偶数个0跟随最后1”是不是不正确？

4热度

2回答

是否有一个术语来描述仅应使用最后一个值的表格？

在我的数据库中有一些表格，其中每一行代表一个实体，并且还有其他表格，其中同一个实体可以出现多次，但只有最新的条目是有效的。例如，我有一个表customer其中每一行代表一个客户与另一个表customer_membership_status在同一客户可以多次引用，但仅限于每个客户的最后一个记录是suppost使用。数据永远不会更新customer_membership_status，只能插入。有