基于来自ares的原始聊天室的服务器。 用脚本引擎（pascal脚本），涂鸦，头像的掩码和更多功能进行了修改。

石油行业地震资料处理软件Omega2014的安装教程。教程是本人编写，从系统安装、系统配置以及omega安装前的准备工作、安装Oracle、安装Omega、JSS配置、软件测试、配置TAG、常见问题8个方面进行了详细描述，亲测可用

资源为合成孔径雷达成像（SAR成像）Omega-K算法（wK算法）matlab仿真，本人亲自编写的matlab代码，亲测可用，效果良好，参考书为《合成孔径雷达成像——算法与实现》

omega-void.github.io:关于我的信息安全之旅，有关事物的文章和一般性博客的博客

并发加权mu－演算(concurrent weighted mu－calculus， CWC)是对 Kim． G． Larsen 所提出的并发加权逻辑的强有力的扩 充，通过加入不动点算子，增强表达能力，实现对复杂模块化系统的有效建模。本文对 CWC 进行了研究，给出了 CWC 的语法 并阐述了 CWC 的标记加权转移语义。 μ －演算与自动机理论密不可分，引入了轮替树自动机用于处理CWC，阐述了轮替树 自动机与 CWC 之间的联系，构建了一种特定的用于 CWC 的轮替树自动机模型。一致性内插定理是 Craig 内插定理的加 强和扩展，为了探究 CWC 上的一致性内插定理，根据 Andrew M． Pitts 提出的方法，利用互模拟量词寻找一致性插值。给出 了互模拟量词在标记加权转移系统上的语义，并研究了互模拟量词和 CWC 上一致性内插定理之间的关系。在此过程中 利用 ω 展开(unravelling)，由 ω 展开树的一系列特性，结合轮替树自动机，证明了一致性内插定理在 CWC 上成立。

专业油气勘探开发的Omega学习手册，包括各个模块的使用方法与例子