somefuture
- 浏览: 1089765 次
- 性别:
- 来自: 上海
-
最新评论
-
halomax：
插件可用，特别感谢楼主
Lombok不支持Idea2018的解决方案 -
tzq668766：
刚找到一个中文版springboot banner在线生成工具 ...
SpringBoot启动时的Banner设置 -
somefuture：
吕檀溪 写道我一直编译不成功，不知道能不能帮忙弄一个2018. ...
Lombok不支持Idea2018的解决方案 -
吕檀溪：
我一直编译不成功，不知道能不能帮忙弄一个2018.2 eap的 ...
Lombok不支持Idea2018的解决方案 -
lkjust08：
mac下的确是可以用了。
Lombok不支持Idea2018的解决方案
文章列表
Orchard原生模块就很多，这里大概说一下。为的是自己不用重复开发了。
核心模块
Common通用
三大核心模块Body、Common和Identity，还有Text，都实现了它。
Body是一个富文本区域，通过TinyMCE配置HTML实现。用户根据取向可以选择纯文本、Markdown或者其他风格。
Common用来创建、编辑和发布数据的。
Identity是给那些自身没有验证机制的提供候选的。它会提供一个GUID来标识身份。
Text和Body类似，不过它只是一个框而不是一个块。可以是多行或者单行的。
Containers容器
这个模块引入四部分来层级化内容。它 ...
继续前面说列表。
列表里面的元素，第一个成为head，head之后的都叫tail。用erlang的内置方法看一下：
> hd([1,2,3,4]).
1
> tl([1,2,3,4]).
[2,3,4]
为什么要这样呢？因为列表的指针是在头部的，对头部进行操作是最快捷和高效的。
使用竖线| 能快速区分头部和尾部：
> [H|T]=[1,2,3,4].
[1,2,3,4]
> H.
1
竖线运算符还能把两个列表连在一起：
> L = [3,3,4].
[3,3,4]
> LL = [1,1,1|L].
[1,1,1, ...
erlang的数据类型比较少，内容也很另类。因为erlang的定位不同。
一，数字
erlang里面没有整形、浮点之类的区分。所有的数都是number.
比如我们计算5/2，一般的语音得到的是2.erlang不一样，它得到2.5
> 5 / 2.
2.5
注意表达式的后面有一个点，erlang使用点来表示完结。
这里例子同时说明 / 在erlang里面不表达整除，那整除怎么办呢？
erlang的运算附也个别，用div表示整除，rem表示取余：
> 5 div 2.
2
> 5 rem 2.
1
其他没有什么特殊的，也是用 ...
最近实施的项目需要用到erlang，所以这里把环境搭建一下。
Java程序员习惯了使用eclipse，所以这里说一下在eclipse里面搭建erlang的开发环境。
百度了一下，能看到不少在eclipse里面搭建环境的网文，我按照他们说的不成功。下面会提到。
首先需要按照erlang的runtime，到官网www.erlang.org中点击download进入列表页。
我的系统是64位的win7，所以选择了OTP 17.4 Windows 64-bit Binary File (91.1 MB)
安装好以后，增加bin目录到环境变量（这个貌似是多余的步骤，除非想手动编译）。
...
.net WebApi 开发中某些注意事项
- 博客分类：
- .NET
目前在做.net开发。
需要开发一套webapi.
这里记录一下某些注意点。
1. 如何开启跨域
如果webapi的用户是域外用户，则需要根据需要开放跨域。
首先安装Install-Package Microsoft.AspNet.WebApi.Cors
在WebApiConfig.cs里开启config.EnableCors();
可以控制开放的范围，例如只开放某些controller，还是全局都开发等到。
参考：http://www.asp.net/web-api/overview/security/enabling-cross-origin-requests-in ...
如果你通过UCMA程序和别人在同一个会话里同时使用了IM和语音，说不定有时候会遇见以下异常：
Microsoft.Rtc.Signaling.OperationFailureException: Application must register for ConversationChanged event when a call is moved to a derived conversation.
尤其是当你想要在只有IM或者应用共享的会话里增加语音选项时异常总会发生，远端会重定向语音给一个PSTN通话。也许是因为对方没有耳麦设备，或者是使用了无线设备导致通话质量太差，也可能他根本不能进 ...
原文地址：http://blog.greenl.ee/2012/02/22/conversation-objects-for/
为了让开发者尽情的扩展Lync的功能而无需了解SIP协议的本质，UCMA引入了很多抽象类，其中最常用的就是Conversation类。但是对于刚接触UCMA的开发者还有写迷惑，部分原因可能是当你要发送IM或者应答语音呼叫时它的目的不是显而易见的。
下面的代码对于UCMA开发者应该很熟悉：
Conversation conversation = new Conversation(_endpoint);
AudioVideoCall avCall = new ...
说是注意事项，其实下面的完全不够全面。只是我学习过程中积累的一点经验，记下了，免得以后每次都去谷歌必应。
为了体验Lync Server2013的功能，我想要搭建一个逼真的环境。
按照文章《http://windowspbx.blogspot.hk/2012/07/step-by-step-installing-lync-server.html》的教导，我新建了几台虚拟机，每个分配内存2G，硬盘25G（我的机器一共内存12G，硬盘500G，立即就捉襟见肘了）。AD和DNS在同一台机器，使用的win2012的系统；lyncserver是独立的机器，也是win2012的系统。终端用户分别都是 ...
之前没有用过windows的服务器版本，第一次接触，按照教程搞定了不少，不过问题也遇到了一些。
这里说一下自己预计和解决的一些问题，希望对有人有用。
1. AD CA安装后就不能修改计算机名称和域了。
这个我初尝服务器，还不敢随便发言。
反正我只好把AD CS移除后才修改了域名称，然后又添加的。
2. 2012不能安装.net 3.5。
因为我要安装sql server 2014，需要这个。不知道为啥，我有4.5的。。。
这个网上有解决方案，但是在我系统里没解决问题。
http://blog.csdn.net/burgess_liu/article/details ...
UCMA4初体验中说到了用UCMASampleHelper帮助建立连接，现在来看自己如何建立。
前文说到了，过程分四步：创建终端、认证终端、会话建立、连接建立。
1.UserEndpoint的构造方法只有一个：
public UserEndpoint(CollaborationPlatform platform, UserEndpointSettings settings);
第一个参数是平台，第二个是配置。还记得UCMA对象基本都需要配置信息吗？而且一般都是第二个（最后一个）参数。我们先创建UserEndpointSettings的实例，UserEndpointSettings有 ...
进入新公司需要新技能。以前从来没用过C#，但是现在的项目是Lync API开发，只能抓紧从头开始了。
网络上关于UCMA4的文章并不多，微软的网站上可能有不少，还有一些视频，不过并不适合入门。有一个视频除外，我也是从这个 ...
合取范式的可满足性判定算法和谓词逻辑不可判定性
- 博客分类：
- 数理逻辑
作为本系列的最后一篇文章，我们来看被广为研究的SAT问题。
SAT问题是第一个被证明为NP问题的判定问题。更多信息可以去百度或者维基一下。
前面我们看到了Horn公式可满足性的判定算法，现在把它推广到任意公式Φ。首先将公式变换成具有下面语法的等值公式：φ ::= p | (¬φ) | (φ ∧ φ)。变换方法如下（已被证明变换后是等价的）： 在结果T(φ)的语法树中要公共子公式共享，这样将语法树变成一个有向无回路(环)图(DAG)。
例如，φ = p∧ ¬(q ∨¬p)，变换后T(φ)=p ∧¬¬(¬q ∧¬¬p)。它们语法树分别是： 看明白怎么就是“分享子公式”了吧。
对于变换 ...
线性时态逻辑之 实际模式规范
- 博客分类：
- 数理逻辑
上一篇说了线性时态逻辑LTL。那么LTL公式能够检测那些实际相关的性质呢？
我们可以要求实际的系统具有以下一些性质：
1）在1）started成立但在ready不成立时，不可能到达状态：
G ┐（ started ∧┐ ready ）
2）对任何状态，如果一个（对某些资源）请求（request）发生，那么它将最终被确认（acknowledged)：
G（requested→F acknowledged ）
3）在每一条计算路径上，一个特定过程常“使能” （enabled）无限多次：
G F enabled
4）不 ...
数理逻辑之 时态逻辑
- 博客分类：
- 数理逻辑
前面说了谓词逻辑。实际上谓词逻辑还需要了解的有谓词逻辑的语义推导和谓词逻辑的完备性。不过这一块的概念和思想都很复杂和繁冗，本系列略去。
基于模型是和基于证明相对的。前面我们一直在使用证明，好像看 ...
谓词逻辑之 等价关系证明
- 博客分类：
- 数理逻辑
前面说到了谓词逻辑的一些等价关系：
1.(a) ┐∀xΦ⇔∃x┐Φ
(b) ┐∃xΦ⇔∀x┐Φ
2.假设x在Ψ中不是自由的，那么：
(a)∀xΦ∧Ψ⇔∀x(Φ∧Ψ)
(b)∀xΦ∨Ψ⇔∀x(Φ∨Ψ)
(c)∃xΦ∧Ψ⇔∃x(Φ∧Ψ)
(d)∃xΦ∨Ψ⇔∃x(Φ∨Ψ)
(e)∀x(Ψ ...