verification

verification

文章 0 浏览 4

希尔伯特系统 - 自动证明

我试图证明以下陈述 ~(a->~b) => a 希尔伯特风格系统。不幸的是,似乎不可能提出一个通用算法来找到证明,但我正在寻找一种强力类型的策略。欢迎任何…

一袭水袖舞倾城 2024-08-07 20:32:52 13 0

C# 和 Java 对象的共享业务规则

我有一个包含 Java 服务器端对象和 C# 客户端对象的系统。这些对象可以在系统的两侧进行修改,因此可以附加业务规则。目前的问题是业务规则仅存在于服…

高速公鹿 2024-08-06 14:12:10 6 0

验证文件摘要

假设我有“n”个文件,每个文件都有 CRC32、MD5 和 SHA1 摘要, 现在这些“n”个文件实际上是单个大文件的分割文件/存档。 当这些较小的文件重新组合/…

月寒剑心 2024-08-02 23:03:04 8 0

有没有简单的方法来验证复制文章是否正确?

在出版物(其次是订阅)上,是否有我可以运行的脚本或命令来验证当前的文章是否符合预期和/或正确? 如果手动对复制数据库进行更改(即表的“MSMerge_…

幽蝶幻影 2024-08-02 02:41:21 12 0

如何在 Silverlight 中验证主机服务器的证书?

我担心我正在编写的 Silverlight 应用程序中存在 MITM 攻击。 该网站将通过 SSL 运行。 如果我的网站是 MITM 攻击的受害者,据我所知,我现在唯一的防…

久光 2024-08-01 20:36:54 7 0

如何验证外部资源是否可用

如何在不大幅增加系统范围的情况下验证系统环境的状态? 我正在开发一个与一些远程服务器通信的系统。 例如,它连接到服务器并获取在该服务器上运行的…

就此别过 2024-07-27 15:31:01 16 0

如何获取正则表达式来检查字符串是否仅包含字母字符 [az] 或 [AZ]?

我正在尝试创建一个正则表达式来验证给定的字符串是否仅包含字母字符 az 或 AZ。 该字符串的长度最多为 25 个字母。 (我不确定正则表达式是否可以检…

想挽留 2024-07-24 04:50:06 13 0

使用 DPI 将任务导出到 'C

我有一个基于 verilog 的测试平台,使用 DPI 连接到“C 源”。 现在我计划使用 DPI 编写整个固件。 为此,我需要 3 件事: 寄存器读取 寄存器写入 中…

浪漫人生路 2024-07-16 17:34:24 16 0

如何使用同一(但更改的)IP 地址上的 2 个不同主机处理 ssh 主机密钥验证?

Closed. This question is off-topic. It is not currently accepting answers. 想要改进此问题吗?更新问题,使其关于- Stack Overflow 的主题。 12…

心碎无痕… 2024-07-16 10:39:18 12 0

如何处理大型项目中 UI 小部件的翻译?

我正在开发一个大型 Java 1.4.2 项目(~3000 个文件...),其中包含大量 GUI 小部件。 需要将 UI 小部件上的所有文本翻译成不同的语言(意大利语、法…

微凉 2024-07-15 20:46:10 13 0

指纹验证

我正在做指纹认证的最后一年项目。 我已经完成了二值化、细化、细节提取。 我是用matlab做的。 我被验证困住了。 我不知道如何进行验证。 所以请帮我…

猫九 2024-07-14 14:31:15 13 0

阻止访问者打开某些页面

我有一个 ASP.Net 2.0 网站,以 SQL Server 作为数据库,以 C# 2005 作为编程语言。 该网站已基本完成,所有链接都工作正常。 但我想阻止普通用户打开…

土豪我们做朋友吧 2024-07-14 13:45:59 15 0

使用 2 个不同的哈希函数是检查文件完整性的好方法吗?

我有一个网站,用户可以上传他们的文件; 它们存储在服务器上,其元数据记录在数据库中。 我正在实施一些简单的完整性检查,即“该文件的内容现在逐字…

遇到 2024-07-13 22:08:51 11 0

N 位数组中的 X *连续*位设置为 1 的概率是多少?

我正在尝试编写一个简单且足够准确的滤波器,用于在 RTL 模拟中验证硬件。 我们通过将设计中的所有触发器随机初始化为 0 或 1 来模拟芯片触发器固有的…

萌面超妹 2024-07-13 13:54:15 10 0

验证数据库是否如您所愿

我一直在我的机器上编写一个java应用程序,它使用我设置的数据库完美运行,但是当我在现场安装它时,它会崩溃,因为数据库略有不同。 因此,我正在编…

无语# 2024-07-13 03:22:37 8 0
更多

推荐作者

苦中寻乐

文章 0 评论 0

lueluelue

文章 0 评论 0

嗼ふ静

文章 0 评论 0

王权女流氓

文章 0 评论 0

与花如笺

文章 0 评论 0

残酷

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文