所有问题

试图找到输出匹配条件。遍历while循环，增加变量，但是当num = 239时程序似乎停止并且不知道为什么。当我手动尝试每个功能时，程序运行良好。

预期的结果是以 239 之后的下一个素数的形式继续迭代输出。

我对 Frama-C 18.0 版（Argon）的行为有点困惑。

给定以下程序：

我希望使用任何跟踪相等性的抽象域都可以很容易地证明该断言。但是，调用

frama-c -eva -eva-equality-domain -eva-polka-equalities foo.c

给出：

我错过了什么吗？

我正在通过开发一个简单的项目来学习 SilverStripe。现在我在模板文件中显示图像时遇到问题。

这是我的 BlogPage.php

我可以在管理面板中上传横幅图片。我正在尝试像这样在 BlogPage.ss 中显示图像。

但它没有显示任何东西。当我在控制台中检查 URL 时，它是（未知的）。怎么了？如何显示图像？

编辑

我根据下面罗比的回答编辑了问题。

这是我的 BlogPage.php

这是我的 BlogPage.ss

所以我现在有三个文件，1. 带有评估者的模板文件，它执行计算，以及两个包含被复制到评估者的数据的文件。

我编写了一个循环遍历文件的代码，将它们分配给工作簿，将工作簿中的数据复制到评估者，运行宏来执行计算，并将输出列复制回工作簿/保存/关闭。

如果我单独运行它，例如不在循环中运行它，它工作正常，但是当我尝试在循环中运行它时，它会给我一个 com_error。

下面是代码。

感谢任何输入/建议谢谢

目前，我正在生成一个列表，其中每个元素的值等于前一个元素的平方加上 Z 的值。使用 generate_list 生成列表后，我想检查它是否是有序列表。我已经实现了ordered，然后在控制台中，我试图做一些类似ordered(generate_list(A, B, Z,[]). 的事情，它总是返回false，即使我确定它必须是真的。我知道这种方法在 Prolog 中不好，但我不知道该怎么做......

我正在为平台游戏进行寻路。我在 unity3d 中使用 A* 并遵循本教程，尽管有一种方法我不明白。

它似乎获得了该点在网格中位置的百分比值。但我不知道怎么做。

我正在尝试为我的一个模块编写单元测试用例，该模块使用 aiomysql 池与 MariaDB 交互。我正在尝试模拟单元测试的数据库调用。我正在使用 asynctest python 模块来模拟。

我试图模拟 aiomysql.pool 模块中的连接方法。结果是它为 Connection 返回了一个 NoneType 对象。

我希望连接对象是 MagicMock 的一个实例，可以通过添加必要的属性进行扩展。

对于每种产品，我需要知道在一段时间内哪个客户的库存量最大。我只希望每种产品有 1 个客户返回我的结果。我知道我应该在 QtyShip 上使用 MAX，但我不知道在哪里。在子查询中？

我从下面的代码开始。有人可以告诉我我在哪里投入最大值吗？

我正在尝试从 c# 代码访问命令提示符，并想做 FTP 从 ftp 服务器获取和放置文件。通过使用以下代码，我可以连接到 FTP 服务器。但是，put 命令不起作用。请协助。

我现在有一个问题，我正在用 Java 编写一个程序，它给了我一个带有正值和负值的字节数组。我必须反转负值并使它们为正，并保持正值为正。希望你们能帮助我。

我有一个带有风险数字的投资组合数据框。我想通过下面数据框中的“端口”列进行分组，然后用该投资组合组的中位数替换“风险”列中大于其组的 95% 分位数的值

df =

我尝试了在stackoverflow上找到的以下代码，但它不起作用。

也试过

预期结果是将端口“a”的第三条记录替换为组“a”的中位数为 22.2，端口“b”的第四条记录替换为组“b”的中位数为 41.6

df =

我正在用启动器 gatsby-material-starter 编写我的第一个 gatsby PWA。该应用程序应在本地存储一些数据，例如日常笔记和约会。数据将仅保留在客户端。我知道我可以使用 localStorage。pouchDB 呢？或者什么最适合 gatsby PWA 世界？

将字符串转换为字符串数组的最快方法是什么（除以 2 个字符）：
String input="127856";
字符串[] 输出={"12" , "78" , "56"};
目前我正在使用for但非常慢：

我正在尝试让应用程序脚本在表中设置一个值，然后在成功时转到BOMOnSuccess它将重新加载已修改表的值的函数。

我遇到的问题是代码在实际设置值之前似乎继续运行，因此检索到的表不是最新的，并且我的 HTML 页面中显示的内容不准确。

当我“刷新” HTML 页面时，它又是正确的。我需要做的是在提示符中输入新值，以便设置单元格值并且该新值反映在列表框中。

Utilities.sleep我在 .gs ( ) 和 javascript中都尝试过各种不同的暂停。这些似乎都没有什么不同。

有时它实际上会暂停服务器设置值，即使我在设置它的行之后睡眠也是如此。其他时候，如果我让它正确暂停，它仍然有旧数据。

SpreadsheetApp.flush之后我也尝试过setValue，但没有任何区别。

.gs：

js：

预期的是editProductQty在单击按钮时运行。这将导致用户输入新值。然后updateMaterialQuantity会运行。

这将转到 .gs 并找到范围并设置新值。然后refreshBOM运行它将获得新更新的范围，新值将显示在 HTML 页面上。

实际发生的是当getBOM被调用时，它以某种方式获取了旧的未更新版本的表。我认为问题在于，由于某种原因，js代码完成后会发生值的实际设置，但我不确定。

假设，我有两个字符串：

我想使用正则表达式来查找它们是否匹配。if (A == B)工作正常，但是，我想使用正则表达式。

由于字符串中的小括号，这不起作用。最好的方法是什么？我不习惯使用正则表达式；我在学习。

我在谷歌驱动器中有几个电子表格，每个都有几个工作表，我想遍历它们并复制我之前在命名范围内指定的工作表内的特定范围。我可以遍历文件，但我可以对照我的工作表列表检查工作表名称。我将所需工作表的列表存储在valid变量中，该变量从我的电子表格的命名范围中读取。我检查了小写/大写，工作表名称有些是字符串，有些是数字。但我的 if 条件没有抓住任何东西。我都试过了indexOf，includes知道有什么问题吗？

谢谢，米

我有三个实体：凭据、用户和管理员。User 和 Admin 实体都有一个字段 credentials，它与使用 OneToOne 注释的 Credentials 实体相关。

通过 entityManager.merge 更新现有的用户或管理员条目时，我在具有唯一约束的 Credentials.login 列上获得了重复的键。

我希望在调用 entityManager.merge(user) 后在各自的数据库表中更新 user 和 user.credentials，但我收到错误“重复条目 'loginname' for key 'login_UNIQUE。管理实体也会发生同样的情况。

预先感谢您的任何帮助。

假设我有下一个：

我知道'a'和'c'，但我需要得到'b'，比如：

这是我的服务器响应的简单部分：

如您所见feeds，这是一个没有键的 json 数组，我正在尝试创建feeds类来处理这些数据，但我做不到

例如：

Feeds这里的课程不正确

我正在尝试动态创建一个嵌入组件。基本上，当用户单击工具栏按钮时，我希望它在光标位置插入嵌入组件的 HTML。一切都很好，除了实际获取 HTML 本身。

这是我在文档中遵循的指南

https://angular.io/guide/elements

在小节角度元素下，也许我在这里使用了错误的东西。但如果有人有其他建议，我很想听听。

这是负责生成嵌入的代码

这是嵌入组件本身

以及此处嵌入的随附 HTML

是的，我确实在运行服务器，因此肯定会收到嵌入元数据。

当我运行它时，innerHTML 为空。embed-card 对象如下图所示

https://snag.gy/FjNDct.jpg

更新：

这看起来确实像是我应该能够在谷歌上找到的东西，但我已经进行了大量搜索，但没有找到任何关于我的问题的信息。也许我只是搜索不正确，但请如果有人可以给我一个指导手，这将有所帮助，已经 5 天了。

如何编写 linux 的 grep 正则表达式来匹配这样的多行注释

因此 grep 在上述情况下匹配 4 行。请注意，注释的任何单行都可以以白色字符开头（例如制表符或空格）

我不介意正则表达式模式是否也匹配单行注释

但这不是必需的，因为我已经有一个解决该需求的模式。

如果使用 grep 匹配多行命令不可行，那么我可以使用 sed、awk 等。但首选带有正则表达式的 grep。

如何在多个引用上使用 sumif 函数。

我想计算每种颜色的总数（来自总列），但是，也对组进行计数。

我创建了一个新表，它删除了重复的颜色 & 在此旁边我想包括每个组的每种颜色的总数。所以结果看起来像......

希望这是有道理的。任何帮助将不胜感激。

谢谢

有没有办法画一个有洞的填充区域？一个实际的例子是用透明背景绘制南非的边界。下面是一个简单的复制粘贴示例。单独绘制index 0和index 1绘制或以背景颜色绘制没有帮助。有任何想法吗？

代码：

在 wxt 终端上查看：

“pngcairo终端”上的输出（透明背景）：

编辑：

为了说明我基本上想从边界的 x,y 坐标中实现的目标：

我遇到了一个问题，我试图在我的 Cucumber 项目中创建空手道测试。

这是我的 Pom 文件的外观：

空手道选手档案：

黄瓜转轮文件：

当我尝试运行 StoryRunner 类时的堆栈跟踪：

空手道课程按预期工作。我已经尝试过各种方法，例如删除 Junit 依赖项和使用 Karate.class 运行 Cucumbers 测试，但没有任何效果。请建议我是否缺少某些东西。

我可以实现与我的 oracle 数据库的连接。使用查询从基础获取表没有问题：

但是当我写：

SELECT * , COLUMN1 FROM TABLE1

它显示错误：

in .verify.JDBC.result(r, "Unable to retrieve JDBC result set for ", : Unable to retrieve JDBC result set for select *; column1 FROM Table1 (ORA-00911: carácter no válido)

有什么建议么？