决定热传导方程源项的一个正则化策略

确定热传导方程中的线性源项是一类有重要应用背景的反问题,它在Hadamard意义是不适定的,讨论了获得其稳定数值解的计算方法,给出一种新的离散正则化策略.理论分析与数值试验结果表明给出的算法是稳定和有效的.     

连续化方法全局求解一般凸规则问题

针对一类凸规则则问题解存在的新等价性条件，给出全局收敛的连续化方法，证明了其收敛性。     

基于规格说明的面向对象软件原型开发

提出一种基于规格说明的面向对象软件原型开发方法，规格说明分为结构部分和行为部分。结果部分利用面向对象开发方法ＯＭＴ的直观可社的表示和分析设计规程；行为部分利用类ＣＣＳ的表示文和形式验证机制，使得规格说明及其求精结果由一致的语言表示，且在同一的形式框架构成的原型上进行持为分析。     

机电传感器的特征化及其特征参数的确定

本文指出用Z参数和ABCD参数分别表示机电传感器在接收状态和发生状态下的网络参数是方便且合理的。然后本文规定接收器灵敏度和发生器发射电压和电流响应作为其相应的特征化参数。进而,本文提出一个三参数模型描述传感器的行为,并发展一个复数最小二乘拟合Fortran计算方法求出数学介。这样,机电传感器的网络参数和特征化参数可从它的一组电阻抗和负载阻抗数据对确定。     

汉语语音特性对包交换通信中包化长度的影响

利用汉语语音的统计指数，从语音丢失的角度出发，分析了在语音数字综合业务网中，语音信号包化长度的变化对通信系统性能的影响，给出了包化长度所满足的数学表达式和实际计算值。     

组合夹具CAD中子组装模块参数化设计的研究

本文提出了组合夹具CAD子组装模块的概念,进行了参数化设计的探讨。文中重点叙述了参数化设计的方法及其优越性,并对设计中的具体问题,如夹具元件的确定,参数的输入、模块的生成等,做了深入的介绍。     

PSZ陶瓷磨削变质层的相变分布

提出了一种由ＮＵＲＢＳ曲面及解析曲面元素构成的组合曲面数控加工无干涉刀具路径的生成方法．该方法将组合曲面加工中的干涉分为两种：一种是构成组合曲面的各曲面元素间的干涉；另一种是曲面元素自身的干涉．对于第一种干涉，通过曲面裁剪构造组合曲面的等距面而得到消除；第二种干涉则通过消除轨迹线自身的相交部分而得到消除．     

发展方程的时间离散化惯性流形—I

讨论了一类耗散散发展方程时间离散之后惯性流形的存在性，证明了如果时间步长充分小，且主算子Ａ满足一个谱间隔条件，则所讨论的发展方程的一个简单差分格式存在一个惯性流形Ｍｈ与ＤｅｍｅｎｇｅｌＦ．的研究结果相比较，不仅简化了存在性证明，而且所建立的理论适用于更一般的非线性项，更进一步在所建立的框架下，可以构造一个惯性流形序列＜ＭｈＭ＞，在某种意义下，当Ｍ→∞时，ＭｈＭ→Ｍｈ，当ｈ趋于零时Ｍｈ的收敛性以及理     

四峰映射四倍周期分岔度量普适性的重正化群分析

 对四峰映射四倍周期分岔进行重正化群分析,获得了相应的重正化群方程组,并求出其普适函数和度量普适常数的数值解.     

科学总结党的基本经验与实现马克思主义中国化

科学总结中国革命、建设和改革的基本经验的过程,正是中国共产党不断实现马克思主义中国化的过程.认真研究我们党总结基本经验的过程,从中得出规律性的认识和结论,推进马克思主义中国化,实现中国的现代化.