None - 站长助手_第92页

Lync Server配置过程中的注意事项

说是注意事项，其实下面的完全不够全面。只是我学习过程中积累的一点经验，记下了，免得以后每次都去谷歌必应。为了体验Lync Server2013的功能，我想要搭建一个逼真的环境。按照文章《http://windowspbx.blogspot.hk/2012/07/step-by-step-installing-lync-serv...
作者：小编日期：2026.06.09 分类：手册 241
Win2012系统安装特性的部分体会

之前没有用过windows的服务器版本，第一次接触，按照教程搞定了不少，不过问题也遇到了一些。这里说一下自己预计和解决的一些问题，希望对有人有用。 1. AD CA安装后就不能修改计算机名称和域了。这个我初尝服务器，还不敢随便发言。反正我只好把AD CS移除后才修改了域名称，然后又添加的。 2. 2012不能安装.net 3....
作者：小编日期：2026.06.09 分类：系统 1864
UCMA4中连接的建立

UCMA4初体验中说到了用UCMASampleHelper帮助建立连接，现在来看自己如何建立。前文说到了，过程分四步：创建终端、认证终端、会话建立、连接建立。1.UserEndpoint的构造方法只有一个：public UserEndpoint(CollaborationPlatform platform, UserEndpo...
作者：小编日期：2026.06.09 分类：工具 882
UCMA4初体验

进入新公司需要新技能。以前从来没用过C#，但是现在的项目是Lync API开发，只能抓紧从头开始了。网络上关于UCMA4的文章并不多，微软的网站上可能有不少，还有一些视频，不过并不适合入门。有一个视频除外，我也是从这个视频开始学的：http://channel9.msdn.com/posts/UCMA-Hello-World-...
作者：小编日期：2026.06.09 分类：类库 1950
合取范式的可满足性判定算法和谓词逻辑不可判定性

作为本系列的最后一篇文章，我们来看被广为研究的SAT问题。SAT问题是第一个被证明为NP问题的判定问题。更多信息可以去百度或者维基一下。前面我们看到了Horn公式可满足性的判定算法，现在把它推广到任意公式Φ。首先将公式变换成具有下面语法的等值公式：φ ::= p | (¬φ) | (φ ∧ φ)。变换方法如下（已被证明变换后...
作者：小编日期：2026.06.09 分类：系统 1028
线性时态逻辑之实际模式规范

上一篇说了线性时态逻辑LTL。那么LTL公式能够检测那些实际相关的性质呢？我们可以要求实际的系统具有以下一些性质：1）在1）started成立但在ready不成立时，不可能到达状态： G ┐（ started ∧┐ ready ） 2）对任何状态，如果一个（对某些资源）请求（request）发生，那么它将...
作者：小编日期：2026.06.09 分类：语言 1767
数理逻辑之时态逻辑

前面说了谓词逻辑。实际上谓词逻辑还需要了解的有谓词逻辑的语义推导和谓词逻辑的完备性。不过这一块的概念和思想都很复杂和繁冗，本系列略去。基于模型是和基于证明相对的。前面我们一直在使用证明，好像看起来还不错。不过在基于证明的处理中，系统描述是一组（适当的逻辑中的）公式Γ，而规范是另一个公式φ。验证方法是试图找到Γ├φ的证明。这...
作者：小编日期：2026.06.09 分类：教程 265
谓词逻辑之等价关系证明

前面说到了谓词逻辑的一些等价关系：1.(a) ┐∀xΦ⇔∃x┐Φ (b) ┐∃xΦ⇔∀x┐Φ2.假设x在Ψ中不是自由的，那么：(a)∀xΦ∧Ψ⇔∀x(Φ∧Ψ)(b)∀xΦ∨Ψ⇔∀x(Φ∨Ψ)(c)∃xΦ∧Ψ⇔∃x(Φ∧Ψ)(d)∃xΦ∨Ψ⇔∃x(Φ∨Ψ)(e)∀x(Ψ→Φ)⇔Ψ→∀xΦ(f) ∃x(Φ→Ψ)⇔∀xΦ→Ψ(g...
作者：小编日期：2026.06.09 分类：手册 331
谓词逻辑之量词等价

前面我们说过 “不是所有的鸟都会飞”用谓词逻辑表示有两种方式：B（x）：x是一只鸟F（x）：x可以飞翔这个语句就可以编码为：﹁(∀xB(x)→ F(x))换而言之“只要是鸟就会飞，这种情况是不成立的”，上句话也可以编码为：∃ x(B(x) ∧﹁F(x) )所以可知，在某些量词形式之间存在着语义的等价。本节就对其中的一些最常见和...
作者：小编日期：2026.06.09 分类：类库 1393
谓词逻辑之语法规则

谓词逻辑公式涉及两种事物：⑴是我们谈及的对象，如a和p这样的个体，以及x和u这样的变量和函数符号。在谓词逻辑中，用来表示对象的表达式称为项(terms)；⑵是表示真值，即公式，例如Y(x,m(x))是公式。谓词公式由三个集合构成：⑴谓词符号集P；⑵函数符号集F；⑶常值符号集C。其中常值符号视为没有任何变量的函数符号，因此常值...
作者：小编日期：2026.06.09 分类：语言 1515