问题标签 [intervals]

我有一个小问题。我需要做一个从自然数到其他自然数的谓词。我也必须进行检查，第二个间隔大于第一个。然而，我在路上被卡住了。

这是我的代码（SWI-PROLOG）

它工作得很好，C=1, C=2, C=3, C=4如果我输入，我可以得到结果count(1, 4, C).但是我最后卡住了，它会导致堆栈溢出错误。

问题是如何让它停止？我几乎尝试了一切。=(

感谢您的答复！

我正在寻找一些 python 代码来有效地计算间隔重叠。我之前使用过 bx-python 包的区间树，但现在需要从树中删除区间（或者更好的是，修改它们）。看来 bx-python 树不支持这一点。

任何指针？

我已经搜索了一段时间，似乎找不到与此相关的任何内容。

我需要验证 ISO 8601 时间间隔。有很多关于 ISO 8601 日期时间的东西，但我特别需要间隔。我正在使用正则表达式，这就是我到目前为止所拥有的；

正则表达式 regEx = new Regex(@"^P((\d+)Y)((\d+)M)((\d+)D)(T)((\d+)H)((\d+)M)(( \d+((.)?(\d)?(\d)?))S)$");

所以基本上这会检查输入字符串是否完全形成，例如 P0Y0M1DT1H2M2.01S 将被验证，但标准规定也应接受较小的字符串，如 PT4S。

如果有人可以帮助我，我将不胜感激。我一直在阅读条件正则表达式，但不太确定如何使用它。

非常感谢。

我正在使用 NSURLConnection 接收一些数据（在 JSON 中）并在 connectionDidFinishLoading 方法中做一些工作（例如将数据写入标签）。我想要的是，这应该例如每两秒发生一次。即 ReceiveData > WriteDataToLabel > Wait 2 seconds > ReceiveData ... 换句话说，我想每两秒更新一次我的数据。当然，这应该在后台完成，而不是阻止应用程序。

应该做什么？我是否需要 runloop、nstimer 或 NSOperation 以及我应该如何使用它们？

我有一个日期，我想打印该日期的偏移量。我可以做这个：

它工作正常。问题是间隔是可变的。当我尝试这个时：

我得到一个编译器错误。

我想这可能是因为g_dateOffsetAmt是一个integer所以我尝试了这个：

虽然我仍然收到编译器错误说：

还有其他方法可以做到这一点吗？

我需要以"Ymd"格式声明两个日期：$toDate和$fromDate.

$toDate表示今天的日期，$fromDate需要比今天早 4 个月。

我如何创建$fromDate？

在 SQL (postgresql 8.4.x) 中，如何有效地计算可能包含网络块的最小COUNT网络块内的 IP 记录数？例如，我不想同时计算and 。10.0.0.110/80/0

更具体地说，给定：

如何有效地生成结果集：

我有一个导航，当单击其中一个导航项时，将使用 jQuery 将其 z-index 更改为 0。然后，2 秒后，我希望 z-index 更改为 2。

我尝试使用 delay() 但显然在更改 CSS 时这不起作用。

如何在js中使用间隔？例如，我想每 5 秒调用一次函数？

这个脚本不起作用，有人知道为什么吗？

我有一个线程从网络或串行端口获取一些数据。如果 5 秒内没有收到数据，线程必须终止（或返回 false）。

换句话说，如果线程运行时间超过 5 秒，它必须停止。

我用 C# 编写，但任何 .NET 语言都可以。