问题标签 [temporal]

我在我的冠军数据库中建模和实施“时间”事件时遇到了麻烦。

我有三个实体：球员，球队，转会，冠军，我想在冠军期间跟踪球员的转会（球员可以在冠军期间转移到另一支球队）

谢谢。

例如，对于PRESENT_REF ，我需要获取“2015 年 4 月 27 日星期一 14:22 PM”</p>

我在简单的句子上尝试了 HeidelTime（下面的代码），例如“从现在开始的三个小时内，我将完成这个程序”。

对于这个特定的，HeidelTime 生成注释

虽然我需要得到类似的东西

有没有办法做到这一点？

我试图在 SMT-LIB 中表示时间约束，以检查它们的可满足性。我正在寻找有关我正在采取的方向的反馈。我对 SMT-LIB 比较陌生，我会非常感谢您的投入。

我的限制是关于事件的时间和持续时间。例如，考虑以自然语言给出的以下约束：

1. 约翰在 13:03:41 开始写一篇文章，他花了 20 分钟完成。

2. 写完后，他查看了他的电子邮件，这花了他 40 多分钟。

3. 在查看了他的电子邮件后，他给他的妻子打电话。

4. 14:00:00后，他给妻子打电话。

很容易看出，这组约束是 staisfiable 的，我正在尝试使用 SMT 求解器来推断这一点。

为了对时间和持续时间的概念进行一些封装，我定义了在数组中表示它们的新类型。一些宏被定义为用作构造：

Getter 是使用宏定义的，允许我们检索特定的度量，例如：

为时间和持续时间算术以及表达关系定义了一些实用宏。例如，使用一些辅助宏，我们定义isLongerThan、isShorterThan和isEqualDuration 如下：

其余的定义可以在这个文件中找到。

基于此，我可以通过一组断言来表达约束：

一些问题和问题：

1. 设计方面，我很想知道这是否是 SMT-LIB 中问题的合理建模。

2. 在此添加一些注释： (A) 我决定使用数组来表示时间和持续时间对象，因为它们有助于对这些概念的内部字段（小时、分钟、秒、毫微秒）进行分组。也可以使用单个整数。（B）我非常依赖宏（define-fun ...），这可能会使约束有点复杂，但我不知道还有什么可以用来达到所需的表现力和清晰度水平当前代码有。(C) 目前没有限制时间字段的约束，例如分钟字段的值可以是 78。应该添加断言，将秒限制为 59，分钟限制为 59，小时限制为 23 ，但我没有找到一种优雅的方式来做到这一点。

3. 我假设我处于 FOL 的可判定片段 - QF_LIA - 因为所有约束都是使用整数常量上的线性函数声明的。但是，我尝试通过 Z3 运行附加的代码，即使在普通计算机上本地运行 40 分钟后，它仍然没有返回分辨率（sat/unsat）。我实际上不知道它是否可以解决问题。我对 QF-LIA 的假设可能是错误的，Z3 也可能在这种类型的约束中挣扎。我可以补充一点，当我尝试更简单的约束时，Z3 设法达到了一个分辨率，但我注意到它生成的模型非常复杂，有很多内部结构。有人可以给我一些想法来在这里调查吗？Z3'. 我还没有尝试过其他 SMT 求解器。

4. 我不知道尝试在 SMT-LIB 中定义这种类型的时间约束的并行工作。我真的很感谢对现有作品的引用。

谢谢！

您能否帮助理解这种方法：

我必须做一个查询来进行一些操作，我不想使用容器，因为我读到临时表更快，至少对我来说是这样，但我不明白它是如何工作的：

我将用于在临时表中进行插入的 Web 服务将被一些人同时使用，每个用户的每个值都会不同，因为这就是我想要这样做的原因....但我不了解时态表如何管理每个用户的数据；因为它只是一个表，所以，如果一个用户执行 WS，该表将包含一些行，但是另一个用户可以同时执行 WS，这应该用另一个值填充表，如何工作？

临时表是为每个用户保存的，或者它是如何工作的，就我而言？

提前致谢

在我的 JSF 视图范围表单中，我使用 poll 标记打印表单启动后经过的分钟数，如下所示：

这就是我的支持 bean 中的内容。pollNumber 只是一个整数。它工作正常并打印经过的分钟数。

问题是我正在使用自定义日期转换器来获取格式为 MM/yyyy（java.time.YearMonth）的日期。每 5 秒（轮询间隔）调用年月日期转换器，无论日期字段是否已完全填写。所以前一分钟我很高兴填写我的日期字段，接下来我被重定向到一个令人讨厌的堆栈跟踪：

抱歉，发生错误异常：无法在索引 3 处解析文本“05/____”完整堆栈跟踪：java.time.format.DateTimeParseException：无法在 java.time 的索引 3 处解析文本“05/____”。 format.DateTimeFormatter.parseResolved0(DateTimeFormatter.java:1949) 在 java.time.format.DateTimeFormatter.parse(DateTimeFormatter.java:1851)

如果我删除 p:poll 标签，问题就会消失。这不是严重错误。这很奇怪。任何输入将不胜感激。谢谢！

[] = 总是

O = 下一个

！= 否定

<> = 最终

想知道 []<> 是否等同于 []？

也很难理解如何分配时间逻辑。

1. [][] (a OR !b)

2. !<>(!a AND b)

3. []([] a ==> <> b)

I have some table where each entry can have different time validity. entry looks like this: (Id, ValidFrom, ValidTo). There can be more such entries with the same Id but with a different validity. (Validity should not overlap). I need to do insert/delete/update operations at current time or any future time point.

All this could be handled in business logic of the application, but I would like to refer to this table from other tables using foreign key.

I found out that Temporal Tables could be the way, but there is a small problem. The SysStartTime and SysEndTime columns are determined automatically by the time of INSERT/UPDATE and cannot be set when inserting/updating.

Is there a way how to store a validity information for each entry in database table while allowing foreign key constrains? Is that demand even reasonable?

我有一个名为 的数据集carcass，其中包含过去 5 年中挪威出现的牲畜尸体（每个原始尸体对应一个尸体，其中包含、ID number以及和年份）。我还有一个名为region的 shapefile ，它是挪威不同地区的矢量文件（每个地区也有一个 ID 号，在 column 中指定）。longitudelatitudenumber_reg

我设法在 R 中绘制了区域地图，并在地图上绘制了与每个胴体相对应的点。

然后，我设法使用 over 函数计算了每个区域内有多少点：

我还设法绘制了整个国家尸体发生的时间趋势：

现在我需要绘制每个区域随时间推移的胴体发生情况，即我想要一个图表，其中 y 轴上的胴体数量和区域 1 的 x 轴上的时间（年份），区域 2 的相同图表，区域的相同图表3，以此类推。

但是，我遇到了麻烦，因为 R 中的over函数“（...）在对象 x 的空间位置从空间对象 y 中检索索引或属性”，因此在我的res对象中，我没有包含year列（因为年份在carcass数据集中，而不是在区域数据集中）。

最近我在用R做时空插值。我选择了gstat包中的函数krigeST，它在时空数据中使用了克里金法。这是我的步骤：

1. 首先，我创建了一个名为 stfdf 的 STFDF 对象：

   /li>

2. 然后我用时空数据 stfdf 计算经验变异函数：

   /li>

这是经验变异函数的图像： 经验变异函数

3. 最后我需要用理论模型拟合经验模型，这里我选择可分离模型：

   /li>

现在，我的问题是我应该如何选择vgm函数中的参数？在上面的示例中，我将其设置为 space=vgm(0.02,"Exp",8000,0) 和 time=vgm(0,"Exp",2,0.001) ，但它无法拟合经验变异函数。

有人对此有想法吗？非常感谢！

我正在尝试使用实体框架来完成一种“通用”机制来更新我的 SQL Server 数据库中的时间数据。

我所做的是创建一个名为“标记”的接口ITemporalData，它定义了两个需要存在的属性 -DateTime ValidFrom和DateTime? ValidTo.

我希望在我的DbContext.SaveChanges()覆盖中实现一种“通用”方法：

• 克隆任何ITemporalData对象，这会给我一个新对象来存储（EntityState.Added），并将其ValidFrom值设置为当前日期和时间
• 将原始的、修改后的条目重置为其数据库值（调用.Reset()实体），然后ValidTo将该“旧”记录的设置为当前日期和时间

虽然我可以像这样轻松地过滤掉覆盖ITemporalData中的修改对象：SaveChanges()

我正在为“克隆修改后的记录”方法而苦苦挣扎——我只有一个ITemporalData接口，真的——但是克隆（使用 AutoMapper 或其他方法）总是取决于实际的、底层的具体数据类型.....