简介：容错技术已成为提高计算机系统可靠性的必要手段。通过对冗余模式及级别进行选择，本文提出了一种面向任务的双机并联体系结构，运用双机数据比较实现容错。文中给出了此系统的功能、结构及原理，并给出了部分实现方案

简介：集团公司是以一个或若干个大型企业或大型公司为核心,通过投资、兼并等方式,把具有生产、技术、经济联系的各个独立的法人单位,以股权联结和契约合同为纽带而建立起来的一种大规模、多种形式、多层次结

简介：聚苯硫醚（PPS）以其高温稳定性、阻燃性、耐化学腐蚀性及良好的机械和电学性能受到关注，但PPS存在脆性大，韧性差的缺点。聚醚醚酮（PEEK）的耐热性是热塑性树脂中最优异的，还具有优异的综合力学性能、电性能等，但由于PEEK熔融温度（Tm=334℃）高，熔融黏度较大，给其成型加工带来困难。

简介：装卸工问题是从现代物流技术中提出的一个实际问题,这个问题的雏形早在上个世纪60年代中国科学院数学研究所就提出和研究过.现代物流业的迅速发展,促成和推动装卸工问题的提出和研究.装卸工问题是一个新的NP困难的组合优化问题,本文研究限制情形下的装卸工问题,并证明是拟多项式时间可解的.

简介：

简介：论述了面向文史，经济，美术各学院文科专业开设“现代科学技术概论”课程，进而向全校辐射的必要性，初步讨论了“教师讲授”与“CAI课件学球”的功能和关系，阐述了教材，CAI课件和师资队伍建设的措施，以及课程的开设成效和展望。

简介：分析研究了《分子物理学与热力学》课程结构体系，教学内容的特点，将《热学》和《热力学．统计物理》中的热力学部分有机地结合在一起，整合成一门结构合理，体系完整的《分子物理学与热力学》，经过几年的教改实践，取到了好的教学效果。

简介：我们习惯在漂移中行进，虚拟着生存……时尚者的创意正日新月异这虚拟帝国的三大奢华日志

简介：文中概述了日本的核设施、机构、核技术能力，从政治上、物质上、技术上等方面，分析日本核武化的潜力。重点分析了日本核武化政治基础问题；历史上发展核武器经历；燃料循环利用后的钚储量；制造核武器的综合实力；核武器投掷／发射工具能力等。

简介：对算子T的Bishop性质(β)进行“局部化”，得到T的新的集值函数A（T），E1（T），E2（T），C1（T），C2（T），并讨论它们之间的相互关系以及它们与T的谱结构的关系．借助这些新概念我们得到算子的可分解性与次可分解性的新的充要条件和谱特征．

简介：在讨论多项式Pn（x）=a0+a1x+…+anxn当x→x0时的极限由ε求δ时,常用到放大不等式的技巧,方法难以掌握。本文给出了对任给ε>0求δ的一般公式,并在计算机上进行了检验。

简介：

简介：一个线性无关的向量组,总有一个正交化的向量组与之等价。为寻求这个等价的正交化向量组,一般都是应用Schmjdt正交化方法。Schmidt正交化方法:设α1,α2,…,αn是一组线性无关的向量,令

简介：

简介：对算子T的Bishop性质（β）进行“局部化”，得到T的新的集值函数A（T），E1（T），E2（T），C1（T），Cx（T），并讨论它们之间的相互关系以及它们与T的谱结构的关系．借助这些新概念我们得到算子的可分解性与次可分解性的新的充要条件和谱特征．

简介：

简介：以Ｐｄ／Ｃ为催化剂，以ＮａＩ为助催剂，以无水乙醇为溶剂，进行了苯胺氧化羰基化反应。研究了苯胺氧化羰基化的最佳工艺条件，解释了碘化钠在本反应中所起的助催作用。在１７０℃，反应两小时后，Ｐｄ／Ｃ显示了高活性（９７.４９％）和高选择性（８５．２６％）。最后，提出了苯胺氧化羰基化反应的机理。

简介：综述了国内外在甲烷直接脱氢芳构化热力学、催化剂和反应机理方面的最新近展。更多还原

简介：利用对称内积的Schmidt正交化方法证明了各阶主子式不为零对称阵的LDLT分解.引入两个向量组关于弱内积广义正交的概念,并构造了将两组含相同个数向量的线性无关组化为广义正交组的广义Schmidt正交化方法.最后应用这一方法证明了各阶主子式不为零矩阵的LDU分解及一些相关的结果.

简介：氚以金属氚化物贮存形式过程中，会衰变生成氦-3，从而影响金属氚化物的使用性能。文中采用热解析方法研究了不同贮存周期氦在金属氚化物中的能量状态的变化情况。