摘要：我对11.11有话说如果说互联网是个江湖,那么双十一就是电商界的武林大会。寒来暑往、秋收冬藏,今年已是双十一的第八个年头。从光棍节到狂欢节,双十一见证了中国互联网的成长,也见证了阿里的成功。时至今日双十一已变成一只不断膨胀的气球,阿里已是进退维谷,在＂狂欢＂中创造新的双十一交易额成了阿里不能停下的脚步。虽然网上对阿里的争议不断,但阿里仍是武林大会的东道主,如何让京东在武林大会中受到消费者青睐？

摘要：在电磁散射测量中 ,目标支撑结构的性能非常重要 ,不仅要求其本身的 RCS要小 ,而且支架与目标的相互作用也要小 .根据对一些参考文献的分析 ,提出了一个新的金属支架方案 ,较好地满足散射测量的要求 .并根据等效电流的概念 ,计算出了其 RCS.

摘要：介绍了一种新型的形式说明语言 PD_ Cal,该语言具有良好的表达能力以及丰富的类型 .通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 .在该思想的基础上 ,设计并实现了PD_ Cal定理证明检查器 .