半线性二阶微分方程周期边值问题

本文利用整体反函数理论,研究了半线性二阶微分方程周期边值问题,给出了周期解存在唯一性的充分条件.     

消耗公共资源的谋利行为博弈的过度行为均衡点问题研究

在建立了弱再生资源的再生速度模型和谋利行为对资源的消耗模型的基础上,得出了在谋利行为下的弱再生公共资源的均衡曲线与均衡模型.利用此模型分析了个人非理性、个人理性的不同均衡点,研究了这些均衡点之间的关系.     

深部采矿岩体移动ANSYS分析

针对深部矿体开挖岩体移动变形的特点,分别运用ANSYS软件和随机介质方法对开挖引起的地表下沉进行二维模拟分析.通过将理论计算结果与实测值进行对比,结果表明,运用随机介质方法算出的理论值与实测值比较吻合,而ANSYS软件只能预测最大下沉值.本研究结果可供今后进一步探索ANSYS软件在岩土工程中应用提供参考.     

HrpNEcc蛋白农药的中试生产条件和药效研究

将自行分离得到的HarpinEcc基因在大肠杆菌BL21中进行了表达,通过基因工程菌培养基配方的筛选实验,得到国产LB＋M9培养基为最适培养基;进行了7、80、250 L发酵罐的逐级放大实验,均得到1 g/L以上稳定的HrpNEcc蛋白表达量,为该蛋白质国产化、工业化发酵生产提供了坚实的中试依据;使用HrpNEcc干粉制剂处理6～8叶的大白菜幼苗、大白菜、紫甘蓝、马铃薯、胡萝卜、冬瓜、菊花和马蹄莲等蔬菜和花卉,观察了综合防病效果,均获得了较好的防治软腐病的效果.     

中国载人交会对接技术的设计与实现

中国在载人航天工程第二步第一阶段任务中,自主研制了天宫一号目标飞行器和神舟八号、神舟九号、神舟十号载人飞船,通过3次在轨飞行任务完成了8次交会、6次对接,覆盖了自动和手动等多种交会对接模式,突破并掌握了交会对接技术.从交会对接系统、交会轨道、交会测量和控制、信息传输、对接与分离、飞行方案,以及试验验证等方面对中国载人交会对接设计的技术特点、所采用的创新技术方法和解决的技术难题进行了介绍,在飞行验证的基础上分析了工程任务取得的成果,与国际水平进行了综合比较,对中国载人交会对接技术的设计和研制情况进行了总结.     

基于三次B样条逆向细分的自由曲线的多分辨率表示

目前国内外关于逆向细分的研究主要集中于曲面逆向细分,对大量的特定曲线细分法的逆向细分算法研究较少,对于基于逆向细分的曲线的多分辨率构造及简化也鲜有研究.针对三次B样条细分法具有几何意义明显、规则简单等特征.本文从几何角度出发,推导并给出了基于三次B样条细分的逆向细分规则,在此基础上提出了自由曲线的一种新的多分辨率表示方法,通过在对自由曲线进行逆向细分时保留细节信息,最终可以实现自由曲线的多分辨率表示,并可应用于自由曲线的简化与精确重构中.文中给出了曲线的多分辨率表示、简化和重构的例子.该方法几何意义明显,易于编程实现.实验表明应用该逆向细分法得到的简化曲线能够更明显地反映原曲线的变化趋势.本文方法在构造分解矩阵和重构矩阵方面较以往的某些方法简单,并且在分解和重构曲线时的计算量相较于以往的方法较少.     

科技创新型中小企业的资本市场融资策略研究

资本市场融资是提高我国科技创新型中小企业直接融资比例的重要途径,是目前缓解我国科技创新型中小企业融资难的重要手段。通过分析和比较境内外适合科技创新型中小企业融资的不同资本市场及上市方式,探讨处于初创期和成长期的科技创新型中小企业资本市场融资策略。主要结论为,科技创新型企业应综合考虑自身发展战略、融资需求、融资成本、再融资难易等各方面因素,选择最适合的市场和上市方式以促进自身快速成长和发展。     

液压支架的自动控制及其发展前景

液压支架自动控制,对于提高综合机械化采煤工作面的自动化程度有着重要意义,是液压支架控制系统的发展方向。本文对液压支架自动控制原理和控制方式进行了论述,对在我国发展该项技术的必要性和发展前景也提出了看法。     

一致连续函数的判定

函数的一致连续性是数学分析所讨论的函数的一个重要性质.本文总结了各种区间上一元函数一致连续性的若干个判别方法,帮助读者系统的掌握区间上函数一致连续性的基本知识.为进一步利用函数的一致连续性去解决问题提供强大的理论基础。     

基于工作流模型的访问控制策略

基于角色的访问控制(RBAC)是目前应用较多的访问控制策略,针对基于角色的访问控制缺乏对工作流程的表达且不能够保证角色互斥原则的不足,结合我国企事业单位管理模式和工作流程的特点,改进了工作流模型中过程分解方法,将原子任务和原子任务间的相互关系加入基于角色的访问控制中.