问题标签 [unify]

I'm studying for my final exam and I'm having trouble understanding this FC algorithm:

I understand it up to the part where you standardize each rule. Then I think the next line is saying for each theta that satisfied the Generalized Modus Ponens (p'_iTheta = p_iTheta), do... something. What is that something? I don't really understand what is happening after that part.

Any help is appreciated. Thanks for reading.

我想将一个向量划分为两个新向量。

我们无法知道各个向量的长度是多少，但结果向量的总和必须等于参数。我试图捕获这个属性如下：

但是 Idris 报告（指向“分区 p []”）在详细说明 Main.partition 的左侧时：

为什么会这样？

对我来说，如果 "0 = m + n" 比 m = n = 0 似乎很明显。如果让 Idris 相信这一点，该怎么办？

有谁知道为什么我的革命滑块不工作？我上传到服务器时找不到我的图像。但它在离线时运行良好。这是我的链接： http ://cloudsblack.info/

谢谢 ！

我遇到了引导 PHP 联系表单的问题。我使用统一主题引导框架，UI 已完成，但我不知道如何制作联系表单功能。谁能帮我改正。这是我的网站。http://cloudsblack.info/

HTML 部分。

这里是 PHP 部分。

谢谢 ！！！

我想使用多组导航按钮按钮来控制单个选项卡窗格。目前，当在另一个导航组中激活新导航时，之前的导航不会被停用。因此，在任何给定时间都会激活两个导航按钮。

第一个导航菜单：

第二个导航菜单：

和标签面板：

同样，这些按钮可以正确控制选项卡面板，但是当单击另一个 Nav div 中的一个时，前一个 Nav 按钮不会被停用。

我是 Purescript（以及 Haskell）的新手，我遇到了无法统一的错误。最初我有：

这给了我错误

我认为这是因为它期望 x 和 y 是 Maybe Record 类型。因此，明确地说，我将代码更改为按类型进行模式匹配。

现在我得到了错误

这指的是本节

在第二种情况下

我正在进一步研究

我正在使用可折叠的“foldl”。我不确定如何对空列表进行模式匹配。如果可以，我会将类型签名更改为

我现在得到错误

这是可以理解的，因为在

结果是类型列表结果 is_min_pos 期望可能结果

什么是解决这个问题的干净方法？

我的表单中有四个日期选择器输入，它们位于统一模板http://htmlstream.com/preview/unify-v1.7/shortcode_form_advanced.html的引导模式视图中

只有第一个输入有日期选择器，其余的不起作用。该网站的链接在这里

http://www.ztraty.8u.cz/pridat-novy-nalez.php

我正在尝试从 Rails 4 中的 Unify 重新创建砌体博客视图。 http://htmlstream.com/preview/unify-v1.8/blog_masonry_3col.html

我购买了主题并在我的应用程序中包含了最新的 imagesLoaded 和 Masonry 文件（使用 bower-rails）。

• 砌体包装 v3.3.2
• imagesLoaded PACKAGED v3.2.0

当使用主题提供的 js 文件时，所有图像都堆叠在一起。

截图 1

看到这个 js 小提琴：http: //jsfiddle.net/sdynfq83/

我注意到以下几点：

• 调整窗口大小或刷新并不能解决问题，所以我发现这不是图像加载错误。我花了很长时间才弄清楚这一点。
• 我的 html 代码似乎没问题，因为如果我从主题本身复制 HTML 代码并包含相同的 JS 和 CSS 文件，我也会遇到同样的问题。
• “.grid-boxes-quote”框的宽度与其他网格框的宽度不同。这很奇怪，因为它们都应该是相同的，因为所有盒子都有“.grid-boxes-in”类。https://jsfiddle.net/sdynfq83/embedded/result/

当删除 columnWidth 代码并将其替换为固定数字 (300) + 向 grid-boxes-in 添加宽度时，它似乎可以工作。这不是我想要的，因为图像尺寸不再正确。

css

js

js小提琴：http: //jsfiddle.net/8c0r06a6/2/

主题本身提供了旧版本的砖石。代码似乎在其中工作。图像确实保持重叠（这可以通过调整窗口大小或刷新窗口来解决）。

截图2 截图3

但是，我想更新到最新版本的砖石和加载的图像，以便我可以继续使用 bower 轻松更新这些文件。我还希望使用最新版本的所有内容修复屏幕截图 2 中的重叠图像。我在下面有一个使用旧代码的工作 JS fiddle。

http://jsfiddle.net/ytLf3bue/1/

总结一下我有以下问题，请记住我是一个初学者，我没有很多 JS 经验：

1. 始终使用最新版本的 Masonry 和 ImagesLoaded 代码是一个聪明的主意，还是应该坚持使用提供的文件？
2. 如果 1. 是 => 我如何修复代码以使图像不再堆叠在一起？
3. 如果 1. 不是 => 如何修复代码，以便屏幕截图 2 和 3 中的重叠图像和背景出血消失？

我正在尝试连接到 Unify OpenScape Business 并监控来电。从我目前的发现看来，最好的办法是使用 CSTA 协议。

在以下页面 http://wiki.unify.com/wiki/Developer_Program__-_OpenScape_Voice我找到 了 openscape-csta-sdk-1.5.2.zip：http://wiki.unify.com/images/4/47/openscape -csta-sdk-1.5.2.zip

现在我正在尝试根据 SDK 中的示例建立连接。我的 OpenScape 监听 8800 端口。但是，当我在该端口上 telnet 或在大约 20 秒后通过随附的示例应用程序连接时，我得到了一些垃圾。

当基于 SDK 的监控代码启动时，它会在日志中显示类似的内容：

我收到的垃圾是（十六进制转储）

这使我得出结论，端口 8800 上的连接不一定是我正在寻找的，但是我找不到其他任何东西。

我收到的“垃圾”可能是 ASN.1 编码的消息，但我无法正确解码。

下面附上要监控的代码，

我还在 sourceforge 上找到了 CSTA 客户端，但它也无法监控设备。

我也尝试在 Unify 论坛上发布问题，但遗憾的是，这是我遇到过的最糟糕的编程论坛，总之我不能在那里发布我的问题，这就是我试图在这里寻求帮助的方式。

我正在寻找有关通过 CSTA 访问 OpenScape 业务 V5 的一些提示。如果有人已经为我指出了正确的方向，我将不胜感激，谢谢。

进展，第 1 步

也许有人像我一样有类似的问题......然后我发布第一个更新。

我取得了一些进展，但还没有完全成功，但有一个亮点 :-) 我通过 SDK 解决这个问题的主要方法是错误的。没有 SDK。我终于在这里找到了一些文档http://wiki.unify.com/wiki/Developer_Program_-_OpenScape_4000。正确对话的描述显示在该页面上的 CSTA3_ADG1.pdf 中，http: //wiki.unify.com/images/1/11/Application_Guide_%28part_I%29.zip

我还设法获得了 CSTA 浏览器工具，这对于理解 asn.1 与 PBX 的通信非常有帮助。我认为值得记下通信应该是什么样子，下面是在 CSTA 浏览器中完成的“对话模拟”的转储，来自 Unify (Siemens) 的工具

在模拟之后，我可以向 CSTA PBX 发送一个 CSE.aarq 消息。现在我将它存储在这样的简单数组中：

在 PBX 中发送数据时，计算其长度并将其作为前两个字节传递是很重要的。

如果我这样做，我会立即收到答案。所以我的简单java中的对话转储看起来像这样：

这与 CSTA 浏览器模拟非常相似。

现在我试图找出如何编码/解码消息。我想我必须为此使用 asn.1 编译器，但还不知道如何正确执行它以及我应该从哪里获取 asn1 源文件。当谈到编译器时，我更愿意坚持免费的解决方案。

我有 10 个具有相同参数的 AJAX 查询。

由于我有 76 个参数，我如何统一这些参数而不是写 10 次？