运用Bayes方法讨论多个正态总体均值与标准差比在简单半序约束下的估计问题及如下等值检验问题: H0: μ1=…=μk v.s. H1: μ1≤…≤μk, μ1<μk, 并用Gibbs抽样和Metropolis-Hastings方法给出了上述问题的数值模拟.
先在纵向分解子问题对应的约束不等式组有解的条件下, 通过证明对应的达成向量为零进而证明了子问题的最优解构成大系统问题的最优解; 再针对一般情况, 提出一种求解具有梯形结构大系统目标规划模型的“顺次解耦算法”, 并结合实例说明了算法的迭代过程及其有效性.
考虑行(列)反对称矩阵的极分解和广义逆, 给出了行(列)反对称矩阵的极分解和广义逆计算公式, 并对行(列)反对称矩阵的极分解作了扰动分析. 结果表明, 所给方法既减少了计算量与存储量, 又保证了数值精度.
根据WBR0-代数的无序特征, 通过将WBR0-代数的正则性弱化, 建立了SWBR0-代数, 提出了SWBR0-代数蕴涵理想的概念, 讨论了蕴涵理想与同余关系之间的联系, 并通过蕴涵理想定义了SWBR0-代数上的商代数, 得到了SWBR0-代数的同态基本定理.
讨论一类具年龄和加权的半线性种群系统的最优控制问题. 运用Mazur’s定理证明了最优边界控制的存在性, 利用Gteax微分和Lions的变分不等式理论得到了控制为最优的一阶必要条件, 从而得到了由积分偏微分方程和变分不等式构成的最优性组, 该最优性组能确定最优控制.
对无约束优化问题提出两类新的充分下降共轭梯度法. 在每次迭代过程中, 算法均可得到充分下降方向. 在适当条件下, 证明了算法的全局收敛性. 数值结果表明算法可行、 有效.
利用变形凝聚函数构造同伦方程, 给出了同伦路径的存在性、 有界性及收敛性的构造性证明, 并利用数值算例验证了变形凝聚同伦算法求解互补问题可行、 有效.
在度量空间中利用不动点定理, 研究一类带有分数阶边界条件的分数阶差分方程递增正解的存在性. 借助Green函数的性质, 分别建立了该方程存在唯一递增非负解的充分条件及存在唯一严格递增正解的充分条件.
研究一类非线性扰动薛定谔耦合系统. 利用泛函映射方法及精确解与近似解相关联的技巧, 讨论对应典型的耦合系统. 利用变分迭代原理和近似方法得到了扰动薛定谔耦合系统的冲击波渐近解, 并得到相关物理量的近似式.
利用临界点理论研究一类非自治二阶Hamilton系统周期解的存在性. 在非线性项F=F1+F2分别满足一定有界性条件的情况下, 根据最小作用原理和极小极大化方法, 得到了若干新的周期解存在定理.
利用延拓定理, 考虑具有多时滞和离散时间的非自治互惠系统正周期解的存在性. 先用分析技巧得到一个有界开集, 再由重合度理论得到系统至少存在一个周期正解的充分条件. 结果表明, 具有多时滞和离散时间的非自治互惠系统会产生生物性周期振荡现象, 并且时滞是无害的.
设DOn是有限链[n]上的保反序奇异变换半群. 对任意的r(1≤r≤n-1), 考虑半群LD(n,r)={α∈DOn: |Im α|≤r}的秩, 证明了: LD(n,r)是由秩为r的元素生成的, 且它的秩为Crn; 当1≤l<r时, 半群LD(n,r)关于其理想LD(n,l)的相关秩为Crn.
运用待定系数法确定了复数域上的二维和三维Leibniz代数的自同态, 进而对相关非李代数的Hom-Leibniz代数进行了分类.
利用牛顿谐波平衡法构造相对论谐波振子的解析逼近周期和周期解. 先引入新变量, 重写关于新变量的控制方程, 再用牛顿谐波平衡法求解. 结果表明: 该方法具有较快的收敛速度; 得到的解析逼近解在振幅全部取值范围内均有效; 构造的解析逼近周期和周期解具有较高的精度.
提出一种解声波散射问题的优化完全匹配层(PML)方法, 该方法通过选取一类特殊的吸收函数构造散射问题的PML. 结果表明, 只要适当选取足够小的参数ε0, 计算精度不依赖于PML的厚度δ; 对于给定的厚度δ, 通过选择参数ε0可提高计算精度. 数值计算结果表明了该方法的有效性和准确性.
考虑一类偏微分包含边值问题: -Δ u∈ext G(x,u). 当集值函数G(x,u)为有界紧凸值的、 关于变量x是可测的、 关于变量u是连续的时, 利用Tolstonogov端点连续选择定理, 证明了其端点解的存在性.
针对错误原因提取效率低的问题, 提出一种利用克雷格插值对模型检测器产生的反例进行自动理解的方法. 该方法首先从反例失效状态出发推导出其最弱前置条件, 然后对初始状态与反例最弱前置条件进行不一致分析, 能在线性时间内提取克雷格插值作为反例失效原因, 产生的插值能直接用于定位错误事件. 实验结果表明, 基于克雷格插值的反例理解方法能显著提高反例理解速度, 提高软件的调试效率, 从而提升软件的可靠性和质量.
针对Delay算法的不合理等待问题, 提出一种基于资源预测的Delay调度算法(RFD), 该算法基于对资源可用性的预测方法合理地调度作业. 实验结果表明, 在Hadoop机群一般应用场景下, 该调度算法与已有算法相比, 在保证作业本地化计算Map任务比例相近的同时, 将作业平均运行效率提高28.8%, 明显提高了Mapreduce作业的执行效率.
提出一种基于支持向量机的运动目标分类方法. 先将支持向量机引入分析视频运动目标中, 再在视频中筛选出简单有效的组合特征对目标进行分类. 该方法先使用混合Gauss背景模型提取前景运动目标, 获取目标的形状特征和运动特征, 再利用支持向量机对样本数据进行训练, 得到最优决策函数. 实验结果表明, 利用支持向量机和运动目标特征组合的方法进行运动目标分析实用、 有效.
针对风电系统平衡点的Hopf分岔, 计算了含静止无功补偿器风电系统的Hopf分岔点, 并通过解析算法判断Hopf分岔类型, 分析了无功功率及静止无功补偿器对风电系统电压稳定性的影响. 为了消除Hopf分岔, 提出采用线性反馈控制方法控制风电系统的Hopf分岔. 实验结果表明, 风电系统无功功率增加导致系统出现Hopf分岔, 静止无功补偿器通过补偿无功功率延迟Hopf分岔, 提高系统的电压稳定域, 线性反馈控制方法有效地消除了风电系统的Hopf分岔.
针对卫星介质深层充电诱发地球同步轨道卫星运行故障, 提出一种Monte Carlo方法模拟介质深层充电过程. 将航天器介质平板充电过程简化为电子穿过屏蔽层进入介质环氧树脂. 通过MCNP软件, 模拟不同屏蔽层铝的厚度及不同能量电子对卫星介质内最大电场的影响.
采用熔盐法用Li+ 取代NiO中Ni2+制备了Li0.29Ni0.71O材料, 研究Li+取代Ni2+对材料电化学性能的影响, 并利用电化学阻抗谱(EIS)研究材料的电化学动力学性能. 结果表明: Li0.29Ni0.71O比NiO的电化学容量稍小; 首次充放电循环后, 在材料中形成Li2O; 表面膜(SEI)阻抗的降低和电化学扩散率的增加与材料由晶体转变为非晶态有关.
基于金刚石对顶砧(DAC)上的原位电阻率测量技术, 测量Fe3O4粉末在高压下的电阻率及磁阻率, 得到了样品电阻率随压力的变化关系. 当压力大于或小于6 GPa时, 电阻率随压力的增加均呈下降趋势, 但减小的速率不同; 当压力小于6 GPa时, 样品呈正的磁阻效应; [JP2]当压力大于6 GPa时, 样品呈负的磁阻效应. 结果表明Fe3O4的微观结构在6 GPa发生变化.
结合故障攻击与Guessdetermine攻击的思想, 提出A5/1在另一种模型下的故障分析. 结果表明: 通过引入故障, 可成功过滤占总猜测数99.9%的错误猜测, 最终可完全恢复A5/1的内部状态, 攻击的复杂度约为240, 成功的概率大于99%.
通过测量不同样品的磁导率, 研究Al2O3掺杂对高磁导率MnZn铁氧体材料的影响. 结果表明, 添加Al2O3可抑制ZnO的挥发, 从而提高材料的起始磁导率, 降低比温度系数, 增加磁导率的频率范围.
采用Alder法合成了3种在苯环对位连接性质不同取代基的卟啉单体和3种桥联基团性质各异的卟啉二聚体, 并研究卟啉单体和卟啉二聚体的Z-扫描 曲线和光限幅性质. Z-扫描研究结果表明, 卟啉测试样品的Z-扫描曲线相似, 均出现反饱和吸收和光限幅性质, 其中卟啉化合物4的光限幅效果明显, 入射光的透过率约为7%.
应用胺化还原法在树舌灵芝液体深层发酵浸膏水提多糖(GAP)的还原性末端连接荧光基团(FITC), 制备荧光标记GAP(FITCGAP), 并测定其荧光取代率为090%. 利用xCELLigence RTCA DP全自动实时细胞分析仪检测GAP荧光标记, 其前后的细胞毒活性不变. 流式细胞仪和荧光显微镜对GAP在人大肠癌细胞SWWC1116定位结果表明, GAP可与人大肠癌细胞SWWC1116的细胞膜结合, 并可转运至细胞核内.
采用水蒸汽蒸馏法提取毛樱桃核壳及核仁中的挥发油, 利用气相色谱/质谱(GCMS)鉴定其化学成分. 结果表明: 毛樱桃核壳中有48个色谱 峰, 24种成分, 占总挥发油质量分数的97.45%; 核仁中有20个色谱峰, 12种成分, 占总挥发油质量分数的99.40%; 其中质量分数最高的均为苯甲醛; 二者所含成分的种类和相对质量分数相差较大.
从东北某油区石油污染的地下水中分离、 纯化出苯降解优势菌B6, 研究其降解效率和代谢特征. 结果表明: 当模拟石油污染地下水中苯的质量浓度 为394.36 mg/L时, 3 d后的降解率为82.82%; 相关酶活及代谢产物在双加氧酶的作用下, B6菌降解苯的途径为儿茶酚正位裂解; B6菌在代谢过程中产生色氨酸酶、 脂肪酶、 淀粉酶、 明胶酶、 乳糖酶和氧化酶等, 葡萄糖、 乳糖、 蛋白质、 色氨酸、 脂肪、 淀粉、 明胶、 多肽、 纤维素、 含硫有机物和细胞色素C等为其营养物质, 以亚硝酸盐和硝酸盐为电子受体; B6菌为革兰氏阳性红平红球菌.
根据沼气发电的现状与特点, 运用整数规划和区间线性规划方法, 以温室气体最大减排量为目标函数, 构建一种基于不确定性方法的温室气体(GHG)减排优化模型. 案例分析表明: 在满足预投资、 运行利润和技术要求等约束条件下, 案例温室气体最大减排量为每年211 821.8~247 410.1 t二氧化碳当量, 比推荐方案提高了11.46%~30.19%.