方法 问答列表

如何解决 Dafny 中 let-such-that 表达式中的未确定问题?

作者:ZihaoZhang 提问时间:11/4/2023

下面是一个示例: function intsetmax(s:set<int>):int requires |s| > 0 ensures var m := intsetmax(s); m in...

使用反应扩散方程的有限差分生成图灵模式

作者:cosmic_crafter 提问时间:11/6/2023

对于一个学校项目,我正在 Python 中实现一种有限差分方法,以数值求解以下反应扩散偏微分方程组: 到目前为止,我已经实现了以下目标: import numpy as np import mat...

我需要帮助创建一个具有私有实例变量的 Rectangle 类,但公共方法和构造函数

作者:Sheebs 提问时间:11/2/2023

我是使用 java 的新手,我需要创建一个名为 Rectangle 的类,但我使用的代码似乎不起作用,并且类的注释没有帮助。我觉得这与我的方法有关,因为我不太了解这些方法。 该类需要遵循以下要求: ...

accounts 类的登录方法

作者:user22866828 提问时间:11/6/2023

我有一个帐户类,它使用用户名和登录创建一个帐户,并将每个用户保存在列表account_list中。我在此类中有一个方法可以登录,将logged_in值从 false 更改为 true。目前,由于对非静...

Runge-Kutta 与 Taylor 算法

作者:Pablo Borrego 提问时间:11/5/2023

我正在为我的数值方法科目做一项任务,他们要求使用 Runge-Kutta 和 Taylor 方法来估计微分系统(Chua 电路)的解,其场由下式确定: F(x,y,z)=\[2\*(y-0.5\*x...

在 Java 中编辑 BufferedImage 的边框

作者:KajSech 提问时间:11/7/2023

我正在尝试创建一个方法,该方法将向 BufferedImage 添加边框,其中边框粗细和边框颜色都可以通过该方法的参数进行配置。 边框粗细将是一个非负整数(0、1、2 等),对应于图像周长内所有四个...

Java 编码马尔可夫矩阵

作者:Comp.Sci.Anon 提问时间:10/21/2023

日安! 我当前的代码有问题。我正在尝试编写一个带有标头的方法 公共静态布尔值 isMarkovMatrix(double[][] m) 这应该检查矩阵是否为正马尔可夫矩阵。 然后在 main 方法中...

构造函数调用必须是构造函数错误替代项中的第一个语句

作者:val didar singh 提问时间:11/7/2023

我已经开始学习Java,并试图编写一些代码。在调用此构造函数之前,我想在调用 box(negative) 时抛出错误,但它向我显示此错误。 构造函数调用必须是构造函数错误中的第一个语句 溶液 我知...

如何在 Kotlin 上的单元测试中访问受保护的方法

作者:Xuai 提问时间:9/13/2023

有没有办法进入受保护的值并在 Kotlin 单元测试中访问它,下面是我的 doPost 保护方法,我尝试过反射,但它不起作用,遵循此示例 https://stackoverflow.com/a/416...

如何在 IntellijIDEA 中知道是否从方法的局部范围调用特定方法?

作者:work-in-progress 提问时间:11/8/2023

想象一下,我们得到了这两个类 @Service public class Service1 { @Autowired Service2 service2; public String ge...


共617条 当前第57页