论文部分内容阅读
本文讨论一维情形下一类两相Ｓｔｅｆａｎ问题，证明了弱解的局部存在性。
一类两相Stefan问题的弱解的局部存在性
【摘 要】
：
本文讨论一维情形下一类两相Ｓｔｅｆａｎ问题，证明了弱解的局部存在性。
【机 构】
：
武汉大学数学科学学院
【出 处】
：
数学杂志
【发表日期】
：
2000年3期
【基金项目】
：
华成数学基金
其他文献
在深入研究自适应DBF（数字波束形成）算法的基础上，针对由TigerSHARC201处理器构成的多DSP并行处理系统，提出了一种基于自适应数字多波束形成的并行处理算法。笔者给出了该算法在
2012年5月1日新修订的《饲料和饲料添加剂管理条例》实施以来，随着饲料生产企业集中换证工作的开展，经过升级改造的中小型饲料生产企业，投入了少则几十万、多则数百万的技改资金
介绍了一个实时语音识别系统的设计与实现。该系统硬件以TI生产的TMS320C5409 DSP为核心,配置编解码器、外部存储器和逻辑控制电路等。软件算法采用了由能量和过零率相结合的
通过对随机环境分枝过程灭绝概率的讨论,应用条件概率和条件期望的性质得到了关于存活概率的界,此结论可以确定该过程是否灭绝,对研究该过程的灭绝时是有帮助的。
利用K-L变换首先对人脸图像进行特征参数提取,再利用支持向量机进行识别。由于支持向量机的推广性取决于核函数参数与误差惩罚因子的选择,为此采用思维进化算法对其参数进行优化选择,提出支持向量机与思维进化算法相结合的新型算法进行分类识别,算法解决了支持向量机参数选取的难题,利用ORL人脸库进行仿真实验,结果表明,基于改进的支持向量机的人脸识别技术识别效率高、方法有效。
本文讨论半直线上随机环境中的随机游动的常返性.在独立环境下,主要通过强大数定律,找到非常返和正常返的一个充分条件,并将这一结果推广到一些特殊情情形.在一般的随机环境
本文研究了线性规划的求解问题.利用对偶转化的方法,获得了一个计算效率高的新的无人工变量通用算法.该新算法比最近提出的无人工变量算法push-to-pull算法效率更高.
利用ANSYS/LS-DYNA对冲击破煤过程进行仿真,给定不同的冲击参数方案,经计算得到刀具冲劈煤壁时应力的变化结果.依据计算结果研究各冲击参数对冲击破煤的影响,确定最佳的冲击
共产党员的先进性应当具体地表现为政治上的坚定性、思想上的开拓性、工作上的务实性、作风上的民主性、情操上的高尚性。高等学校是培养高级专门人才、发展科学文化、促进社