本文研究了不确定型模糊Kripke结构的计算树逻辑的模型检测问题,并说明了该问题可以在对数多形式时间内解决.首先给出了不确定型模糊Kripke结构的定义,引入了模糊计算树逻辑
全双工（FD）通信方式能够将双向中继（TWR）系统的频谱效率提高一倍,但是解码可靠性受到残留自干扰的恶化.本文研究非正交FD-TWR系统的差错性能.在中继节点自干扰消除性能强于用户节
用ＸＲＤ，ＸＰＳ研究了Ｖ２Ｏ５在γ－Ａｌ２Ｏ３，ＳｉＯ２，ＴｉＯ２等载体上的分散状态，测定了最大分散容量。结果表明，Ｖ２Ｏ５在γ－Ａｌ２Ｏ３和ＳｉＯ２上能形成亚单层分散，分散容量分别为理论单层量的６０％和４５％；Ｖ２Ｏ５在ＴｉＯ２上优先形成单层，然后形成多层结构。Ｖ２Ｏ５在γ－Ａｌ２Ｏ３上分散可使表
强者恒强，越弱越吃亏，这似乎是个商业定律。但从近期健身业航母—青鸟健身的停复业事件来看，健身行业似乎是个例外——“航母”非但没有胜出，反而率先倒下了!这是为什么呢? 企业竞争到一定阶段，比拼的就是实力。谁的资金雄厚，谁的规模大，谁最终胜出的把握就大，这就是所谓的“航母定律”。但从近期健身航母——青鸟健身的停复业事件来看，健身行业似乎是个例外——“航母”非但没有胜出，反而率先倒下了! 而这绝不
针对多功能雷达（Multi-Function Radar,MFR）状态预测方法存在的鲁棒性、预测正确率不佳的问题,提出一种基于机动特征辅助的MFR状态预测方法.该方法将载机机动信息与常规侦收参
NTS高缓为直接映象高缓扩充了一个小的全相联高缓,其中保存被预测为具有非时间局部性的数据块.与牺牲高缓的区别在于NTS高缓在两个高缓之间没有直接的数据通路,因此结构设计
当走过20年市场经济这个节点的时候,我们的企业有没有勇气遥望百年？在讨论过太多做大做强之后,更多的企业开始考虑如何从做大变成做久。百年企业何以百年？主持人：钱大群总裁和马
杂多酸对于二甘醇和乙醇的醚化反应的催化作用戚蕴石，刘俊峰，吴海霞，粟小（华东理工大学工业催化研究所，上海２００２３７）关键词醚化反应，杂多酸，二甘醇二甘醇单（双）醚是一种具有广泛用途的重要溶剂
基于合数阶双线性群上的静态假设,通过在公开参数及密文中添加一个新的子群中的随机元素实现匿名性,构造了一个匿名的身份基哈希证明系统,利用对偶系统加密技术证明其满足所
在沪杭高速公路的杭州出口处,常能看到路边站着一些人,招手吆喝司机:“要不要带路?”有的惟恐司机听不见,则干脆手持字牌,赫然标明“带路”二字。这种情景,在国内其他一些地方也偶有所遇。 市场经济之所以优于计划经济,在很大程度上是承认需求,并尽可能让供给去满足需求并扩大需求。不认路的司机显然有带路需求。这在计划经济体制下通常会被漠视;而在市场经济体制下,就会催生相应的供给者(比如“带路人”),从而形成