原创 eclipse下erlang環境的搭建
最近實施的項目需要用到erlang，所以這裏把環境搭建一下。 Java程序員習慣了使用eclipse，所以這裏說一下在eclipse裏面搭建erlang的開發環境。 百度了一下，能看到不少在eclipse裏面搭建環境的網文，我按照他們說
2020-07-06 08:00:43
2
原创 erlang的數據類型 （1）
erlang的數據類型比較少，內容也很另類。因爲erlang的定位不同。 一，數字 erlang裏面沒有整形、浮點之類的區分。所有的數都是number. 比如我們計算5/2，一般的語音得到的是2.erlang不一樣，它得到2.5
2020-07-06 08:00:43
2
原创 OrchardCRM與Microsoft Dynamics CRM的集成
運行orchard後，登錄dashboard，然後選擇Module，再選擇Module Gallery，搜索dynamics CRM或者CRM模塊就可以安裝Dynamics CRM模塊了。 之後需要配置CRM的鏈接字符串，不是數據庫的鏈
2020-07-06 08:00:43
原创 erlang的函數
erlang的方法申明是其引以爲豪的，雖然被不用erlang的人嘲笑。 巨醜無比是吧。 erlang聲稱自己的函數調用使用的是Pattern Match模式匹配： function(Args) if X then Expression
2020-07-06 08:00:43
1
原创 Lync Server配置過程中的注意事項
說是注意事項，其實下面的完全不夠全面。只是我學習過程中積累的一點經驗，記下了，免得以後每次都去谷歌必應。 爲了體驗Lync Server2013的功能，我想要搭建一個逼真的環境。 按照文章《http://windowspbx.blogs
2020-07-06 08:00:43
原创 UCMA4中連接的建立
UCMA4初體驗中說到了用UCMASampleHelper幫助建立連接，現在來看自己如何建立。 前文說到了，過程分四步：創建終端、認證終端、會話建立、連接建立。 1.UserEndpoint的構造方法只有一個： public UserE
2020-02-22 11:08:26
原创 erlang的數據類型 （2）
繼續前面說列表。 列表裏面的元素，第一個成爲head，head之後的都叫tail。用erlang的內置方法看一下： > hd([1,2,3,4]). 1 > tl([1,2,3,4]). [2,3,4] 爲什麼要這樣呢？因爲列表的指
2020-02-22 11:08:26
原创 （翻譯）derived conversation相關概念
如果你通過UCMA程序和別人在同一個會話裏同時使用了IM和語音，說不定有時候會遇見以下異常： Microsoft.Rtc.Signaling.OperationFailureException: Application must reg
2020-02-22 11:08:26
原创 （翻譯）Conversation對象的作用
原文地址：http://blog.greenl.ee/2012/02/22/conversation-objects-for/ 爲了讓開發者盡情的擴展Lync的功能而無需瞭解SIP協議的本質，UCMA引入了很多抽象類，其中最常用的就
2020-02-22 11:08:26
原创 Win2012系統安裝特性的部分體會
之前沒有用過windows的服務器版本，第一次接觸，按照教程搞定了不少，不過問題也遇到了一些。 這裏說一下自己預計和解決的一些問題，希望對有人有用。 1. AD CA安裝後就不能修改計算機名稱和域了。 這個我初嘗服務器，還不敢隨便發
2020-02-22 11:08:26
原创 Orchard內置模塊
Orchard原生模塊就很多，這裏大概說一下。爲的是自己不用重複開發了。 核心模塊 Common通用 三大核心模塊Body、Common和Identity，還有Text，都實現了它。 Body是一個富文本區域，通過TinyMCE配
2020-02-22 11:08:26
原创 .net WebApi 開發中某些注意事項
目前在做.net開發。 需要開發一套webapi. 這裏記錄一下某些注意點。 1. 如何開啓跨域 如果webapi的用戶是域外用戶，則需要根據需要開放跨域。 首先安裝Install-Package Microsoft.AspNet.
2020-02-22 11:08:25
原创 線性時態邏輯之 實際模式規範
上一篇說了線性時態邏輯LTL。那麼LTL公式能夠檢測那些實際相關的性質呢？ 我們可以要求實際的系統具有以下一些性質： 1）在1）started成立但在ready不成立時，不可能到達狀態： G ┐（ started
2020-02-22 11:08:25
原创 數理邏輯之 時態邏輯
前面說了謂詞邏輯。實際上謂詞邏輯還需要了解的有謂詞邏輯的語義推導和謂詞邏輯的完備性。不過這一塊的概念和思想都很複雜和繁冗，本系列略去。 基於模型是和基於證明相對的。前面我們一直在使用證明，好像看起來還不錯。不過在基於證明的處理中
2020-02-22 11:08:25
原创 LOG4J日誌性能建議
原文地址：http://fredpuls.com/site/softwaredevelopment/java/log4j/log4j_performance_tips.htm 使用日誌可能會讓你的應用性能下降20% —— 很難相
2018-09-17 03:13:22