一类两相Stefan问题的弱解的局部存在性

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