可修排队系统备件灰色生灭预测模型

可修部件的失效率和修复率在服役周期内呈现不确定性,基于确定型失效率和修复率建模的生灭过程在解决可修部件备件预测问题时存在一定局限.传统可修备件需求预测模型忽视了排队维修情况下的讨论,这与工程实际不符.以服从一般分布的区间灰数表征可修部件的失效率与修复率,构建了灰色状态转移矩阵,建立了一类排队维修系统的可修部件备件灰色生灭预测模型,研究了该过程的无记忆性和稳态解的存在条件,讨论了失效修复比、修理能力、备件数量与保障率的性质.一定程度上揭示了修理能力受限、失效修复比不确定背景下的可修系统备件需求规律.实际案例验证了模型的有效性和实用性.     

具有Mp-可补子群的有限群的局部化定理

已知H是群G的子群,如果存在G的子群B,使得G=B且对于H的满足|H:T|=p~α的任意极大子群T,有TB G,则称子群H在G中是M_p-可补的.结合局部化思想,利用子群的M_p-可补性质研究有限群的构造,得到了p-幂零群和p-超可解群的若干充分条件.     

可兴奋神经元的非线性动力学性质

以H-H模型为研究对象,通过改变方程中表征神经元可兴奋性的参数,用数值分析的方法考察可兴奋神经元的动力学性质.结果表明,可兴奋性控制参数越高的神经元,动作电位发生的阈值越大,所能承受的刺激范围也越大.每种神经元都有一个特定的参数域,当参数在其中变化时,神经元对于恒定刺激的反应是混沌的.     

一个李代数及其相应的可积哈密顿系统

在理论上如何构造更好的可积模型,特别是无穷维哈密顿系统是可积系统研究工作的主要内容之一。本文构造了一个李代数并由此生成相应的圈代数,从而建立了一个适当的等谱问题,利用屠格式得到了一族拉克斯意义下的可积系统,根据迹恒等式得到了这个非线性可积系统的哈密顿结构。     

一种结合CCgscore算法的SMT求解技术

提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.     

自然崩落法矿山井下大规模开采综合评价及模拟技术

为降低矿山采用自然崩落法存在的风险,为后续井下安全大规模开采提供保障,对自然崩落法矿岩可崩性和崩落后的块度分布规律进行综合评价及模拟,提出一种矿岩可崩性三维数字化评价方法和矿岩崩落块度预测算法。通过对评价区域的三维建模,基于地质统计学理论将矿岩岩体参数推估反演到离散化后的矿岩工程模型中,根据三维节理面Monte Carlo模拟原理对矿岩崩落块度进行三维重现。将上述方法用于云南省普朗铜矿进行验证。研究结果表明:普朗铜矿III级和IV级矿岩质量分数之和为99.1%,矿岩可崩性级别为III至IV,适合应用自然崩落法开采;原始崩落块度等效尺寸大于1.65 m的块体筛上累积百分比为40%,建议普朗铜矿放矿口长×宽为5.00 m×5.00 m,此时放矿堵塞概率较小。     

双分数跳-扩散环境下的可转换债券定价

可转换债券是一种兼具债券和期权特性的混合型高级金融衍生产品,其合理定价对发行人和投资者都具有重要的现实意义。在考虑企业市场价值波动和利率波动的基础上,假定股票价格遵循双分数Brown运动及跳过程驱动的随机微分方程,利率满足Vasicek模型,建立了双分数跳-扩散环境下的金融市场数学模型,利用双分数布朗运动的随机分析理论和保险精算方法,讨论了可转换债券定价问题,得到了双分数跳-扩散环境下的可转换债券定价公式,在现有研究的基础上对可转换债券定价公式进行了进一步的研究和推广,使模型更加贴近实际金融市场。     

社区日常服务设施可步行性评价系统开发与应用

在步行城市目标指引下,着眼于社区日常服务设施,探讨其布局对步行出行可能性的影响,即可步行性.以日常服务设施的步行使用特征为基础,指出使用频率、使用多样性、使用的距离衰减规律是影响步行可能性的主要因素并进一步构建了可步行性的评价方法,同时借助计算机辅助系统开发了可步行性评价系统软件WES1.0.以上海市新江湾城街道为例展示了该软件在社区可步行性规划中的应用过程,并给出了可步行性的日常服务设施布局方案.     

图Kn3的若干染色

利用穷举法和组合分析法讨论了图Kn3的邻强边染色和邻点可区别的全染色,通过构造具体染色得到了图Kn3的邻强边色数和邻点可区别的全色数。     

服从延迟几何过程退化系统的订货-更换策略优化

建立了以可用度为约束的可修退化系统的订货更换模型,以系统故障次数N为订货更换策略,在第N-1次故障维修后发出订单、第N次故障后进行更换.利用延迟的几何过程刻画系统退化特征,给出了系统经维修后寿命分布的通项表达式.借助更新过程理论求得系统长期运行的平均可用度与费用率.在系统满足预期可用度的前提下,得出最优的策略使得平均费用率最低.最后,通过数值算例演示了本模型的有效性.