动态逻辑AUL中的秘密宣告

AUL(Arrow Update Logic)是一个刻画多主体的信念变化的动态逻辑。AUL通过更新模型中的可及关系来刻画行为对主体信念造成的影响。但是,在AUL中信息对所有主体都是公开的,因此AUL无法刻画在秘密宣告的情况下主体信念状态的变化。本论文在AUL的基础上进行扩充,得到一个新的动态逻辑系统PAUL(Private Arrow Update Logic)。所有基于事实的宣告都可以被PAUL刻画,无论该宣告是公开的还是秘密的。同时,本论文还给出了PAUL的语义图,并证明了PAUL是可判定的。

MMVAULT:2020年亚太地区行业趋势预测

#1:云中数据策略现已成为企业战略的关键组成部分2020年,企业需要采取更加成熟的云中数据策略。过去,许多企业将大量的应用程序和数据迁移到了云中,直到现在,他们开始逐步转变策略,以更缓慢并更具战略性的方式进行适当地迁移,甚至将部分工作负载从云上迁移回本地数据中心。不同行业的企业纷纷认识到其应该在保持灵活性和成本价值的前提下进行选择性上云,因此他们也开始重新评估哪种环境能够实现业务目标和工作负载需求的有效平衡。

急性未分化细胞白血病伴嗜酸性粒细胞增多一例

急性未分化细胞白血病（AUL）是一类免疫分型既不表达髓系标志，也不表达淋系标志，与早期干／祖细胞相似，在形态学不易分辨的急性白血病，细胞化学染色特征，POX（-），PAS（-），NSE（-），常误诊为急性淋巴细胞白血病，其形态学特征：胞浆较丰富，浆呈灰蓝色或蓝色，无颗粒，胞核多呈圆形或椭圆形，有明显的核仁，核染色质较细致疏松。本文报道1例伴嗜酸性粒细胞增多的急性未分化细胞白血病。

液压系统气穴现象的成因分析及预防措施

根据相关流体动力学理论,对经过阀孔的液流和泵的吸油管路进行了计算。结合液压系统气穴现象的发生机理,分析了多种情况下气穴现象的成因,对液压系统在生产实践中的使用提出了预防措施,并对广大从业人员提出了一些建议。

News

WPS叫板微软Office 就在微软Office2003正式的发布时间悬而未决的时候,金山公司内部传来消息:最新版本的WPS Office将在8月份发布。据悉,最新的WPS Office的技术路线仍然坚持格式上和操作习惯的全面兼容,“0时间上手”,把用户的转化成本降到最低。当然最值得注意的还是WPS有意识的增强了服务器端的控制和支持能力。WPS Office在服务器端的功能包括用于企业内部的即时通讯工具金山即时通;局域网内智能检测自动升级等。

享受完美影音——升技SILURO GF2 MX显卡和AU10声卡

作为知名主板厂商的升技公司日前推出了其板卡产品——SILURO GF2 MX显卡以及AU10声卡，PC Computing易用性实验室对它们进行了评测。

急性未分化白血病体外诱导分化后免疫表型变化及其临床意义

急性未分化白血病体外诱导分化后免疫表型变化及其临床意义韩泽广，何徐彭，敖忠芳，陈玉心，潘秀英随着单克隆抗体（ＭｃＡｂ）应用于白血病研究，现已能确定大部分急性白血病的细胞起源，但仍有部分过氧化物酶（ＰＯＸ）染色阴性的急性白血病表达原始细胞标记ＨＬＡ－Ｄ...

肾错构瘤8例诊治体会

肾错构瘤又称肾血管平滑肌脂肪瘤(AUL)是肾脏常见的良性肿瘤,随着诊治技术水平的提高,疗效满意,我院自1988年9月至1999年6月,共收治8例患者,现报告如下。 1 资料与方法 1.1 临床资料:本组8例中,男3例,女5例;年龄26～58岁,平均42岁;肿瘤位于右侧4例。