分布函数充要条件的另一种证明

对函数F(x)为分布函数的充要条件进行了证明:必要性的证明直接采用概率论中传统的证法;而充分性的证明则从随机变量特征函数φ(t)出发,利用特征函数的充要条件来证明分布函数F(x)的充分条件,从而避开了用实变函数中的测度理论证明充分性的传统证法。为分布函数充分条件的证明提供了一种比较简单和实用的证明方法。     

京100850,北京100850,北京100850PTE

、中性单细胞凝胶电泳技术,分别比较Pten / MEFs与Pten-/-MEFs细胞中ROS、8-羟基脱氧鸟苷(8-OH-dG)水平、DNA双链断裂(DSBs)以及抗氧化能力的差异。结果:Pten-/-MEFs细胞中ROS、8-OH-dG水平明显增高,DSBs增加,抗氧化能力减弱。结论:PTEN可能通过调控细胞内ROS水平拮抗DNA氧化损伤。PTEN Deletion Leads to Increased Oxidative DNA Damage in Mouse Embryonic FibroblastsGOU Qiao     

一种差分空时分组码及其性能分析

文中介绍了一种差分空时分组码的编译方法及其性能分析,与之对比,先导入单天线时差分调制的概念及其方法,理论分析表明,采用无需信道估值的差分空时分组码与相干检测空时分组码相比其性能差3 dB,但与单天线相比仍有接近于10 dB的分集增益。     

ai Jiao Tong University,Sh

manifes tation in both hands and feet.This condition is inherited as an autosomal domina nt trait with reduced penetrance.Clinical presentation,in general,is complete or partial webbing between 3rd     

军体课程密度与运动负荷初探

对军事体育课中运动负荷与课的密度进行研究,阐述了军事体育课合理运用课的密度与运动负荷的重要性,为进一步深化军事体育训练提供借鉴。     

船舶固定灭火系统的应用探讨

针对近些年在世界范围接连发生的船舶火灾事故 ,强调船舶设置固定灭火系统的重要性 ,同时简要介绍船舶固定灭火系统的类型和设置范围 ,着重探讨利用固定灭火系统施救船舶火灾时应注意的问题 ,并对做好船舶固定灭火系统的消防安全管理进行了阐述。     

一种面向关键属性更新的优化数据一致性算法

规模巨大且分布性强的P2P系统可能导致部分数据副本发布的更新被长时间地延迟,从而降低Internet上资源定位的效率。针对关键属性更新的特点,提出一种解决关键属性更新冲突的优化数据一致性算法。算法中分离出用户提交的更新请求中关于关键属性的更新,在对关键更新冲突分类的基础上,采用更新缓冲预处理和关键更新表两层机制并结合最新写胜出和分而治之规则,优化关键更新冲突的发现和解决。关键属性更新的优化处理使得不会产生因为关键属性更新的延迟而降低系统基于关键属性的资源定位效率,满足面向Internet的P2P系统的要求。模拟测试结果表明该算法在一致性维护开销、资源定位开销与资源访问开销以及鲁棒性方面均具有较好的性能。     

基于卫星云图历史资料反演云团非线性预测模型

针对线性预测方法难以有效描述云团的非线性、非平稳变化的困难,基于经验正交函数分解(EOF)和遗传算法参数优化结合的思想,提出了一条云团非线性预测模型反演的方法途径。首先将卫星云图序列作EOF的时、空分解;在此基础上,引入遗传算法对EOF的时间系数序列进行了动力模型重构和模型参数反演,建立了EOF时间系数的非线性微分方程组;再通过时、空函数合成,构造了云团演变的动力预报模型。试验结果表明,反演的云团预报模型能较为合理地描述特定季节区域内云团演变的基本趋势,预测结果与实际云图的主要特征基本相符,尤其是实现了云图3h以上的中、长时效的客观预测。     

基于演化网络的体系对抗效能模型

在对Lanchester假设的扩展和网络化基础上,构造了体系对抗战场的图论表示FR,B=红军网络IR∪蓝军网络IB∪交战空间fR,B,利用生成fR,B的随机子网和对参战网络"去点"的方法,提出一种统一表示体系对抗中交战行为与网络行为的模型新范例——体系对抗演化网络模型,模型中网络部队作战效能不但依赖兵力规模和武器性能,而且受网络结构及其战场环境的影响。试验对比了拥有同等作战资源网络体系的作战效能,得到在一个对抗系统中无标度网络对随机网络的胜率高但并非总赢的结论,初步分析了在对抗系统中无标度网有效、鲁棒但脆弱的原因。     

Optimal empty vehicle redistribution for hub‐and‐spoke transportation systems

This article considers the empty vehicle redistribution problem in a hub‐and‐spoke transportation system, with random demands and stochastic transportation times. An event‐driven model is formulated, which yields the implicit optimal control policy. Based on the analytical results for two‐depot systems, a dynamic decomposition procedure is presented which produces a near‐optimal policy with linear computational complexity in terms of the number of spokes. The resulting policy has the same asymptotic behavior as that of the optimal policy. It is found that the threshold‐type control policy is not usually optimal in such systems. The results are illustrated through small‐scale numerical examples. Through simulation the robustness of the dynamic decomposition policy is tested using a variety of scenarios: more spokes, more vehicles, different combinations of distribution types for the empty vehicle travel times and loaded vehicle arrivals. This shows that the dynamic decomposition policy is significantly better than a heuristics policy in all scenarios and appears to be robust to the assumptions of the distribution types. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008