简介：本文研究了无完美服务无等待的M/G/1排队系统的指数稳定性.首先运用预解正算子理论,证得该系统主算子和系统算子均为预解正算子.然后对主算子的谱界进行估值,并得到主算子的谱界与各修复率平均值的最小值互为相反数这一结论.进而利用共尾理论证明主算子谱界等于其增长界.最后,通过分析系统算子的谱分布,得到了系统的指数稳定性.

简介：在计算科学和逼近理论的许多领域，无网格法是近期研究的一个重要课题。国际上已提出了十余种无网格方法。无网格方法首先需要布置合理的粒子点，才能建立格式模拟实际问题。

简介：本文对指数分布的无失效数据，在引进失效信息后，在先验分布为Gamma分布时，给出了失效率的多层Bayes估计和综合Bayes估计，并给出了无失效数据情形可靠度的综合估计，还结合实际问题进行了计算。

简介：Twins《一时无两》作为年度开篇的粤语专辑，《一时无两》以“日与夜”为主题，为的是追寻遗失的美好，设计师以黑夜代表个性沉静的阿娇，以日间代表较活泼开朗的阿Sa，碟内分别收录了多首好歌，包括Twins2006演唱会主题曲第一主打歌歌曲《一时无两》、《幼签证园》、《寻找莫扎特》、《作词人的错》及《海底深》等等。

简介：本文讨论了无约束最优化问题的无记忆拟牛顿方法的收敛性，给出了对于非凸目标函数，在非精确线搜索条件下，无记忆拟牛顿方法收敛性的几个充分性条件。

简介：若图G的一个匹配M也是G的点导出子图，则称M是图G的一个导出匹配．我们称图G是导出匹配可扩的，若它的任何一个导出匹配可以扩充成一个完美匹配．本文我们讨论无爪图的导出匹配可扩性，得出如下结论，并同时指出这些结果是最好可能的．设图G是有2n个顶点的无爪图，1．若图G是最小度大于或等于2[n/2]+1，则图G是导出匹配可扩的．2．若图G是局部2连通的，则图G是导出匹配可扩的．3．若图G是k正则的k≥n，则图G是导出匹配可扩的．

简介：针对传统惯性开关阈值散布大、万向性差等缺点,设计了一种环形无源万向微机电惯性开关。环形的可动质量框作为可动电极,由内部的四根折叠悬臂梁支撑,和外部的环状固定电极有一定间隙,构成xy平面内的万向开关。对设计开关进行有限元动态接触仿真,结果表明开关在1000g加速度作用下的响应时间和接触时间分别约为0.142ms和5s,表现出较高的触发灵敏度和良好的接触效果。研究悬臂梁线宽与开关阈值加速度的关系,结果表示悬臂梁线宽的微小变化会引起阈值加速度的较大变化。利用冲击台试验对封装后的开关进行阈值试验,试验结果表明实际阈值分布在900g-1300g范围内,80%的开关阈值比设计值大。用微电镜对悬臂梁线宽进行静态测量,悬臂梁线宽加工误差大多分布于0-＋2m,加工误差直接导致开关的阈值加速度增加,设计阶段应充分考虑加工误差对阈值加速度的影响。

简介：H_1,H_2,H_3是实希尔伯特空间,CH_1,QH_2是两个非空闭凸子集,AH_1→H_3,B：H_2→H_3是两个有界线性算子.我们的兴趣是解决下面的问题：找x∈C,y∈Q使得Ax=By.Moudafi提出了同步迭代算法（SIM）来解决分裂等式问题.为了利用同步迭代算法（SIM）,在计算步长时需要知道有界线性算子的范数,这个范数的数值计算中难以实现.本文的主要目的是介绍一种选择步长的方式使得同步迭代算法的完成不需要任何算子的范数.同时,松弛的同步迭代算法也被提出.最后,论文通过数值试验得出这种步长的选择方法使得并行迭代算法收敛更快.

简介：Kühn和Osthus证明了对每个正整数l,都存在一个整数k(l)≤216l2,使得每个k(l)-连通图G的顶点集都可以划分成两个子集S,T满足G[S],G[T]都是l-连通的,且S中的每个点在T中都有l个邻点.本文主要考虑无三圈图的划分问题,主要关注连通度k(l)的上界.通过证明每个平均度至少为8l/3的无三圈图都存在一个l-连图子图,我们证明了对无三圈图,k(l)≤216·3-3l2.

简介：近年来，采用直线电机驱动超精密加工机床定位轴的直线运动方案，由于无中间环节的弹性变形、间隙、磨损和发热等因素带来的运动误差，具有定位精度高、响应速度快、低速性能好等特点，已成为国内外数控机床产品新的技术发展方向。为了正确利用直线电机，本文在扼要介绍永磁无刷直线直流电机工作原理的基础上，阐述了正确选择永磁无刷直线直流电机的方法，并给出了实例。

简介：社会是企业的依托,企业是社会的细胞,企业在社会经济发展中的地位和作用日益增强。能否有效地履行社会责任,是现代社会对公司治理提出的新挑战,关系到企业和社会的可持续发展,已成为每个企业都必须深思的一个重大问题。根据企业社会责任和社会可持续发展的战略要求,企业理财目标也必须与履行社会责任、实现可持续发展相一致。

简介：在机动车保险中，仅仅基于索赔次数的奖惩系统对那些有着小索赔的保单持有人不公平。在本文，我们考虑索赔额的大小及责任归属，建立一个基于索赔额与应负责任的奖惩系统。

简介：2005年,我国通讯设备、计算机及其他电子设备制造业销售收入达26452．1亿元,同比增长22．9%；其中,计算机制造业和通讯设备制造业销售收入分别为10041亿元和5786亿元,同比增长达21．5%、29．1%。而在发展目

简介：一个图G的无圈边染色是一个止常的边染色使得其不产生双色圈．Alon，Sudakov和Zaks（2001）猜想：每一个简单图G是无到（△（G）＋2）-边可染的，其中△（G）是G的最大度．本文对2-外平面图族证明了该猜想成立．

简介：广义有限差分法是一种新型的无网格数值离散方法.该方法基于多元函数泰勒级数展开和加权最小二乘拟合,将控制方程中未知参量的各阶偏导数表示为相邻节点函数值的线性组合,克服了传统有限元等基于网格的方法对网格的依赖性.本文以三维位势问题为例,引入一种新的优化选点技术,克服了传统广义有限差分法在模拟三维复杂几何域问题时遇到的＂病态选点问题＂,极大地提高了该方法的计算精度与数值稳定性.

简介：地形辅助导航是一种利用地形高度信息定位的导航技术,由于地形高度起伏是非线性的,因此地形辅助导航本质是非线性、非高斯贝叶斯后验概率估计问题。粒子滤波因为适合非线性、非高斯估计问题,被引入地形辅助导航领域得到广泛研究和应用,但粒子滤波算法存在粒子匮乏的问题,会影响定位精度。针对此问题,将高斯混合无迹粒子滤波（GMUPF）用于地形辅助导航,该算法用高斯混合模型（GMM）近似粒子分布,用无迹卡尔曼滤波（UKF）估计重要密度函数,不需要做重采样。通过用实际地形数据做飞行仿真实验,结果显示相比粒子滤波,不仅没有粒子匮乏问题,而且所用粒子数更少时估计精度略好。

简介：针对无陀螺或陀螺失效等情况下的飞行器姿态确定问题，基于无冗余姿态描述形式修正Rodrigues参数，提出了仅利用星敏感器矢量观测信息来确定飞行器姿态的UPF（UnscentedParticleFilter）算法。UPF利用UKF（UnscentedKalmanFilter）得到粒子滤波的重要性密度函数，从而克服了标准的粒子滤波没有考虑最新量测信息和UKF只能应用于噪声为高斯分布的不足。修正Rodrigues参数描述飞行器姿态具有简洁高效的特点，通过切换方法避免了奇异性现象。仿真结果表明，该姿态确定算法可以取得比UKF更快的滤波收敛性和更高的滤波精度，并且比四元数算法计算效率提高近10％。

简介：本文研究了单个承运商和两个货运代理在双向港口间提供往返货运服务的航运服务链。由于港口间货运需求的内在不平衡，货运公司在多港口间的空箱调运会产生巨大的空箱调运费用。分别构建了承运商承担和承运商与货运代理共同承担空箱调运的数学模型，通过数学模型和数值算例分析了不同市场条件下的空箱调运责任和运力定价策略。研究发现承运商和货运代理是否采用定价策略来平衡需求取决于双向港口间货运市场的潜在需求差异。同时，承运商与货运代理的空箱调运分摊为非此即彼策略，当空箱调运成本大于某阈值时，承运商独自承担空箱调运责任；反之，货运代理承担空箱调运责任。而且货运代理承担模式增加整个海运链的利润，但进一步加剧空箱的不平衡状况。

简介：基于一种六加速度计配置方案，给出了载体加速度和角速度的解算公式，并分析了无陀螺捷联惯导系统粗对准原理。在静基座下，针对系统初始对准前得不到载体角速度初始值而导致地球自转角速度在载体坐标系上的分量无法获得的情况，提出了一种可行的，具有实用价值的非完全自主式粗对准方案。依靠外部航向设备得到初始方位姿态，通过加速度计敏感的重力矢量输出获得初始水平姿态，进而解算出载体初始捷联矩阵。误差分析表明，方位粗对准精度不超过2°，水平粗调精度在0．3°以内。

简介：根据公开资料分析，韩国政府曾在20世纪70年代组织开发过核武器，后迫于美国的压力而宣布终止。韩国在2004年被揭露出一系列核问题：（1）激光浓缩铀试验。韩国科学家在2000年实验采用原子气体激光同位素分离（AVLIS）技术，耗费3．5kg金属铀，最后共获得了0．2g平均浓度为10．2％的铀-235。试验生成的铀-235的最高浓缩度已达到77％，接近武器级水平。（2）钚分离试验。1982年4月至5月，几名韩国科学家从钚和铀裂变产物的溶液中提取了少量（毫克级）的钚。（3）化学铀浓缩试验。1979年至1981年，韩国科学家将0．7埏天然铀粉末浓缩为0．72％的铀-235。（4）金属铀提炼试验。1982年，韩国在一座未公开的设施上将UO2转换成UF4，而后在1982年5月至1984年11月，用UF4生产了大约150kg金属铀。这些核问题韩国都未按《全面保障监督协定》规定及时向IAEA申报。