简介：研究了一种Gnedenko系统,即由3个串联部件,一个温储备部件及一个修理工组成的系统,其中修理工可以单重休假.运用C0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.

简介：在n维欧氏空间En中,应用向量方法,给出了关于n维单形的两个优美的轨迹定理.

简介：采用膜乳化法结合液中干燥法制备了克拉霉素乙基纤维素微球,当膜孔径为2.8及5.4μm、乙基纤维素浓度为5%～6%及投药量为1∶2时,制得的克拉霉素乙基纤维素微球的载药量、包封率及收率均最高.考察了克拉霉素乙基纤维素微球的缓控释性能,结果表明：膜乳化法制得的克拉霉素乙基纤维素微球的缓控释效果明显优于溶剂挥发法,且膜孔径为5.4μm时制备的克拉霉素乙基纤维素微球的缓控释性能优于2.8μm.

简介：针对目前我国急需开展质子单粒子效应辐照实验的需求，研制了适用于质子束流注量率监测的次级电子发射监督器（secondary—electronemissionmonitor，SEEM）。测试结果表明，SEEM在监测注量率为109～1010cm-2·s-1的质子束流时，其电流与注量率间的线性相关性很好，可应用于质子单粒子效应实验束流诊断。同时，测量了不同质子能量下铝的次级电子发射系数，测量值与理论计算结果吻合较好。

简介：给出了n维欧氏空间中关于单形的n-1维体积与单形内部任意一点到所对界面的距离的两个不等式.

简介：研究具有反馈控制的单种群对数模型．通过构造适当的Lyapunov函数．我们让得系统的正平衡点是无条件全局稳定的．所得结果补充和完善了已有的结果．

简介：利用拟生灭过程和矩阵几何解的方法研究了只允许部分服务台异步单重休假的M/M/c排队系统,给出了系统的稳态指标的计算方法和条件随机分解结果,最后指出一些较简单的排队模型是本文的特例.

简介：给出了完全单半群的相窖组和同余结的定义，并利用它们刻画了完全单半群上的同余．

简介：本文基于现实情况中航空公司调整航班的一些原则,提出单架飞机受短时间干扰后的航班调整问题,把最大航班延误时间最小化作为问题的目标,以航班在时间和空间上的衔接作为约束,建立数学模型,并根据问题的一些特点,分析出在受干扰飞机所在机场进行调整就能得到最优解,然后设计了二分搜索匹配算法,并证明该算法能够找到最优解,最后通过案例验证了算法的有效性。

简介：图G的广义Randic指标定义为Rα=Rα（G）=∑uv∈E（G）（d（u）d（v））^α，其中d（u）是G的顶点u的度，α是任意实数．本文确定了单圈共轭图的广义Randic指标R-1的严格下界，并刻划了达到最小R-1的极图，这类极图还是化学图．

简介：近年来,随着半导体工艺技术的迅速发展,质子单粒子效应研究的重要性上升到了一个新的高度。综述了国际上纳米集成电路质子单粒子效应研究的主要进展,如低能质子成为纳米集成电路单粒子效应和软错误率的主要贡献因素,中高能质子与新型器件材料（如钨）核反应研究成为质子单粒子效应新的热点问题,介绍了中国原子能科学研究院在纳米集成电路低能质子实验方面开展的相关工作。

简介：本文以2012年'深圳杯'全国大学生数学建模夏令营D题为背景,对打孔机钻孔线路问题的数学模型及算法进行了分析,根据问题的具体情况,分别就单钻头作业与双钻头作业进行了简化和分解,对常用的几种启发式算法的适用性进行了探讨。

简介：研究了GPS软件接收机捕获算法；针对常规时域串行搜索算法速度慢和并行码相位频域搜索算法FFT计算量大等缺点，采用常规串行捕获算法牙口频域并行码空间捕获算法相结合的混合搜捕算法来实现对空中可见卫星的捕获；针对信号较弱情况下的卫星捕获，采用了非相关积分捕获算法；设计了中频信号仿真器，并使用其产生的仿真信号对捕获算法进行了验证。测试结果表明，混合搜捕算法能够为软件接收机提供较快的捕获能力，非相关积分捕获算法能够有效地实现微弱信号的捕获。

简介：设∑A,∑B,∑C是n维欧氏空间En（n≥3）中三个n维单形,它们的棱长分别是ai,bi,ci(i=1,2,…,c2n+1),体积分别是VA,VB,VC。本文证明了下列定理。设实数α≥0,β≤an（n≥3）且α,β不全为零。（1）如果θ1,θ2,θ3∈[0,1],那末（1）并且（1）中等号成立当且仅当ΣA,ΣB,ΣC都是正则单形,（2）当θ1∈(1,2],θ2,θ3∈(0,1]且ΣA的的每一个三角形侧面都是锐角三角形时,不等式（1）仍成立。

简介：根据统计规律,用刚性弹性球模型,讨论单原子分子气体分子碰撞的动量、动能交换问题,结果表明平均交换率均为三分之一。

简介：针对单轴旋转调制惯性导航系统结构动刚度低的问题,以模态仿真分析为基础对系统结构进行优化改进。基于无质量弹性单元等效滚动轴承的方法,利用经验公式计算轴承等效刚度,并引入转子动力学合理表征系统的旋转行为,利用有限元分析软件ANSYS实现了系统模态的高可信度仿真分析。以提高系统一阶模态频率为设计目标,通过结构性能缺陷识别的方法确定优化方向,对结构薄弱点进行改进设计,将系统结构基频从36Hz提高到74Hz。最后,开展模态试验验证。试验结果表明,仿真与试验的符合度优于90%,优化后的系统在0-60Hz的扫频范围内无明显振动响应。

简介：用量子化学B3LYP/6-311＋G（d,p）方法优化了H2ClCS单分子分解反应驻点物种的几何构型,并在相同水平上通过频率计算和内禀反应坐标（IRC）分析对过渡态结构及连接性进行了验证.用QCISD（T）/6-311＋＋G（d,p）方法计算各物种的单点能,并对总能量进行了零点能校正.利用经典过渡态理论（TST）与变分过渡态理论（CVT）并结合小曲率隧道效应模型（SCT）,计算了主反应通道在200K～2000K温度范围内的速率常数kTST,kCVT和kCVT/SCT.结果表明,H2ClCS存在8条可能的裂解通道,可生成产物P1（HCS＋HCl）,P2（CSH＋HCl）,P3（H2S＋CCl）和P4（ClHCS＋H）.所有反应均为吸热反应.相对于H2ClCS,各产物能量分别为60.9,222.9,275.7和156.9kJ.mol-1.通道H2ClCS→TS3→P1的反应势垒为81.5kJ.mol-1,是标题反应的主反应通道,其余通道为次反应通道.在200K～2000K温度区间内得到主反应通道的表观反应速率常数三参数表达式为.kCVT/SCT=8.7610T0.79exp（-4053.6/T）s-1.

简介：利用单频GPS载波相位差分技术进行动态精密测量时，由于观测历元少，经典LAMBDA算法会出现法矩阵病态导致整周模糊度无法求解。针对这一问题研究了基于TIKHONOV正则化原理的改进LAMBDA算法。通过对双差观测方程系数矩阵进行奇异值分解选取正则化矩阵，改善了法矩阵的病态性，获得了更高精度的浮点解。利用均方误差矩阵替代协方差阵进行LAMBDA求解，提高了模糊度求解的速度和成功率。对连续100组5个历元实测数据计算表明：与原算法相比，改进LAMBDA算法求得的浮点模糊度偏差从36.48周减小到4.08周，搜索效率和成功率分别改进97.74%和100%。

简介：本文依据光杠杆原理设计实验,对金属轴单向受热伸长量与温度进行了定量的测量,并通过数据分析处理,得到温度与金属轴加热形变长度的量化关系。目的是在实际生产中,减少风机轴承磨损,能够优化风机结构,从而避免企业遭受更大的损失。

简介：考虑了带拒绝费用的在线同类机排序模型.工件一个一个的到达,到达后或被接受,或以一定的费用被拒绝,目标是最小化最大完工时间与总的拒绝费用之和.我们提供了一个在线算法和分析了算法的竞赛比.