问题标签 [quantify]

这是基于这个问题。提出了许多产生不均匀分布的答案，我开始想知道如何量化输出的不均匀性。我不是在寻找模式问题，只是在寻找单值方面。

接受的程序是什么？

我目前的想法是通过计算每个值的熵并取加权平均值来计算每次调用的平均香农熵。然后可以将其计算为预期值。

我的担忧是

1. 这个对吗？
2. 如何在不损失精度的情况下计算这些值？

对于＃1，我想知道我是否正确。

对于#2，我担心的是我会处理大小为 1/7 +/- 1e-18 的数字，我担心浮点错误会因为除最小问题之外的任何问题而杀死我。计算的确切形式在这里可能会导致一些重大差异，我似乎记得对于一些特殊的日志案例有一些 ASM 选项，但我似乎找不到关于此的文档。

在这种情况下，使用为 range 获取一个“好”的 PRNG 并为 range[1,n]生成一个 SRNG [1,m]。问题是结果比输入差多少？

我所拥有的是每个输出值的预期发生率。

天，

我正在阅读“每个软件架构师都应该知道的 97 件事”（净化亚马逊链接）一书中的Quantify项目，它让我想知道如何量化可扩展性。

我为一家主要的英国广播公司设计了两个系统，用于：

1. 检测传入 HTTP 请求的来源国，或
2. 确定适合手机屏幕几何形状和当前连接类型的视频格式。

这两种设计都需要提供可扩展性。

我对这两个系统的设计都是在缓存负载平衡层之后水平扩展的，这些层用于处理这两个服务的传入请求，并将它们分布在多个实际提供服务本身的服务器上。服务容量的初始增加是通过在负载平衡层后面添加更多服务器来实现的，因此称为水平可扩展性。

但是，如果负载平衡层开始难以应对传入的请求流量，则此架构的可扩展性会受到限制。

那么，是否可以量化可扩展性？是否可以估计您可以添加多少额外的服务器来水平扩展解决方案？

我正在开发一个 PHP 应用程序，它将向用户收取他们观看的视频费用。商业模式是“每个人都为她看多少买单”。为此，我需要；

1. 实施安全视频 (FLV) 访问。（授权会话将获得访问权限）

2. 计算从服务器发送了多少视频 (FLV) 数据。

   一个简单的解决方案是使用 PHP（“fread”）读取 FLV 并将其逐块发送到客户端（只是“echo”）。但是我对这种方法有真正的性能问题，因为应用程序服务器有 1.7GB 的 RAM 并且只有一个内核。

   短期来看，我们希望获得大量展示，但我们希望尽可能晚地升级硬件。这就是为什么，我想以最小的开销，以最有效的方式实现需求。

   我没有绑定到网络服务器。我更喜欢 Apache 2.2，但是如果 lighttpd 提供了实现的功能，也可以部署它。

任何想法都值得赞赏。

谢谢！

为公式字段传递数据以指定量词的常用方法是什么。我目前会这样做：

其中 q_12 是通用的。

但是这种方法存在一些固有的问题：

• 如果出于某种 js/css 原因我想给它一个 id 怎么办？
• q_12 用js不容易看懂： var quant = parseInt(element.id.split('_').pop())
• id 不是用来传递值的

我该如何处理？有没有通用的方法？w3c有没有建议的方法？

像这样的 Purify/Quantify 函数：quantify_stop_recording_data()

背景：我研究使用 z3 进行有界 Java 程序验证。我想得到一个关于线性化问题的优化模型。一种标准方法可以是逐步搜索模型，直到找到未满足的情况。但是性能似乎是个问题，它通过引入 JNI 破坏了代码的可移植性，它将 z3 c/c++ api 集成到我的工具中。

现在我想对 java 方法的所有输入添加约束。我使用数量数组（我使用数组理论来模拟堆）。但是，z3 总是在可满足的问题上立即返回“未知”。似乎不可能生成模型。我注意到z3有一个选项，INST_GEN，然后我试图理解它。我将以下公式提供给 z3。

在第一种和第二种情况下，z3 在 Linux 中返回“分段错误”，而在 Windows 7 中崩溃。z3 都是版本 4.0，x64。

第三种情况，免量化，Z3成功生成模型

我的第一个问题是这个选项是如何工作的？它是否枚举数组？

第二个问题是，我注意到 z3 可以在量化数组的不满意问题上成功返回“unsat”。z3 是否支持某些选项或方法来在量化数组、有界索引和元素的满意问题中生成模型？例如使用 if-then-else 子句。

感谢您的阅读和考虑！任何建议都非常感谢！

理性工具是否遵循 _NT_SYMBOL_PATH 来查找 .pdb 文件？从我的经验看来，它们不是，并且 .pdb 文件需要与我试图插入的 .dll 和 .exe 并置。

所以这是我的问题，我正在为在线商店设置 CsCart V3.0，并且在产品页面“最小数量”字段上显示整个产品名称，然后显示最小数量，示例如下。

“Edimax EW-7811Un 网络适配器 - 高速 USB”的最小数量为 1。

我不需要在最小数量中显示产品名称，因为客户已经在产品页面上。有谁知道如何解决这个问题？

我们在 Windows XP 上使用 VC 6.0、Purify、PC-Lint 和 Quantify 开发了一个控制台应用程序。VC6 无法在 Windows 7 和 8 上运行。如果我们要升级到 Windows 8，我已经查看了我们的开发环境选项。我们的应用程序是标准 C++ 控制台应用程序。几乎我们所有的用户都在 Linux 上。有没有人有使用 VC++ Pro 2013 或 2012 进行跨平台 C++ 开发的经验？具体来说，它是否可以做内存边界检查、内存泄漏检查和代码性能分析（每个函数需要多少时间）？

我正在寻找脚本中的文件路径。所以我要写一个脚本，找出文件然后寻找“/”。

我宁愿使用 perl 正则表达式，只想 grep 出文件路径。

如果我整理出文件并将其放入 perl one 衬里，我只会得到根目录。

我理解正则表达式中的量词，但如果我使用 'print /(/\w+/){1,9}/' 那不会给我 "/w+/.. 1 或 9 次。我要找对于距离根路径 1 次或多次的路径。如何量化整个捕获的正则表达式，而不仅仅是最后一个字符？