增广Krylov子空间上的精化Lanczos方法

精化Lanczos方法用于计算大规模对称矩阵特征对,与传统的Lanczos方法不同,主要是利用精化向量的优越性,用精化向量替代Ritz向量,介绍了用精化Lanczos重启方法和精化Lanczos压缩重启求近似特征对,理论上分析它们与传统方法的差别及优劣性。     

基于B方法的内存管理模型的设计

内存管理是操作系统的重要组成部分,一个安全可靠的内存管理程序,对于操作系统的运行十分关键.采用传统软件开发方法开发的内存管理系统,安全性和可靠性得不到很好的保证.为此提出用形式化的B方法开发内存管理系统.首先使用B方法建立了内存管理的形式化模型,利用B工具对该阶段生成的证明义务进行证明,保证系统在初始规范说明层次上的内在一致性和设计的正确性.然后根据B方法分层构造的思想对上一阶段得到的抽象规范模型进行精化.最终得到一个可实现的内存管理模型,该模型更好地保证了系统的一致性和可靠性.     

UML顺序图的鲁棒性分析

鲁棒性分析技术可以帮助开发人员精确地弥合分析与设计之间的鸿沟。统一建模语言(unified modeling language, UML)顺序图模型被广泛用于面向对象软件系统的分析与设计，它的鲁棒性至关重要。首先，引入形式化模型——统一结构。其次，给出了基于统一结构的描述顺序图的方法和鲁棒性的形式定义，随后讨论顺序图在组合与精化条件下的保存问题。最后，在原型工具支持下进行实例研究。实验结果表明，设计阶段的顺序图能保持分析阶段顺序图的鲁棒性，从而可以给予从事面向对象的开发人员相关帮助及支持。     

基于UML的软件结构规范与精化(英文)

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

半精化双正交Lanczos方法

根据精化投影方法的思想及双正交Lanczos过程提出一种近似精化方法－－半精化及正交Lanczos方法，并给出了半精化近似特征对与精化近似特征对对应的残量范数之间的关系，数值实验表明了新算法的优越性。     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

精化直接刚度法及九参数三角形薄板单元

提出一种可直接用于精化不协调元的精化直接刚度法．其列式与直接刚度法类同，单元间的协调条件平均满足；既能保证收敛又能提高精度．精化直接刚度法的变分根据是广义变分原理．用精化直接刚度法对著名的九参数三角形Ｚｉｅｎｋｉｅｗｉｃｚ薄板单元进行了精化，建立了新的九参数三角形板元ＲＴ9和ＲＴ１０．数值结果表明本文建立的单元收敛且精度高．     

置入Winkler弹性地基内梁的精化理论

将Cheng精化理论推广到置入Winkler弹性地基内梁的研究当中，对Winlder弹性地基内的梁进行了精确的分析，给出其精化理论。将梁内的位移利用中线上位移及其沿梁厚方向的梯度表示出来，并获得梁内应力张量。再利用Winkler弹性地基条件和Lur’e算子方法，获得弹性地基内梁的控制方程，该控制方程比其他理论更精确。     

线性回归模型精化方法

为了解决由试验观测数据建立的回归拟合模型存在的模型误差,用基于回归残差的神经网络方法精化模型.采用给定方程获得模拟数据,通过数据结构散点图建立回归模型趋势项,利用经典最小二乘法估计趋势项参数,由趋势项参数计算回归残差,借助误差分级迭代的改进BP算法对趋势项进行精化,将两部分叠加获得精化模型.试验结果验证了基于回归残差的神经网络方法精化模型的有效性:神经网络方法精化后的模型能提高回归模型的拟合及预测精度5倍以上,优于最小二乘配置法和半参数法精化结果.神经网络方法精化模型既克服了单一神经网络模型的不可解释性,使模型具有物理意义,又具有较高的预测精度.     

解反对称矩阵特征问题的精化广义Lanczos方法

利用广义Lanczos算法,提出了一种计算反对称矩阵特征问题的广义Lanczos方法,并根据精化策略给出了求解大规模反对称矩阵部分特征对的精化广义Lanczos算法,数值实验表明精化变形需要的迭代次数更少.     

基于安全级的策略求精方法及决策机制

在策略分层思想的基础上,综合考虑策略的纵向求精和横向决策两方面因素,将策略安全级引入策略的求精操作中,作为某一策略层次上多种求精方案的横向决策依据,在系统可允许的安全级别范围内,提供准确而灵活的策略求精和决策机制,为基于策略的安全防护中安全策略的自动化执行和实施提供有力的支持.     

羧甲基纤维素酸及其钠盐的转化净化研究

通过工业品羧甲基纤维素酸及钠盐的相互转化进行除杂精制，以达到食品级标准。筛选了转化工艺条件，为生产作业提供参数。     

AlTiC和AlTiB中间合金细化效果比较

详细论述TiAl3形态对细化效果响应时间的影响以及AlTiC中间合金比AlTiB中间合金具有更好的细化效果和抗衰退性能。试验表明:AlTiC中间合金可以克服AlTiB中间合金的有关缺陷,含块状TiAl3粒子的AlTiC中间合金细化效果最佳。     

S-次仿紧空间

针对一些广义仿紧空间以及拓扑空间中半开集和半闭集的性质,本文将次仿紧空间的一些结论推广到半闭集的条件下,新定义并研究S-次仿紧空间的基本性质.首先给出一些基本的定义和定理,然后在此基础上定义S-次仿紧空间,最后得出一些主要结果:(1)空间X是S-次仿紧空间,则X的每一开覆盖U,存在半开加细覆盖序列{Vn}n∈N使对每一x∈X,存在n∈N,使ord(x,Vn)=1,这里(ord(x,Vn)=|{V:V∈Vn,x∈V}|);(2)空间X是S-次仿紧空间,则X的每一开覆盖具有σ垫状加细覆盖;(3)如果(X,Fa)是S-次仿紧空间,则(X,F)也是S-次仿紧空间,并给出相应的证明.     

M进制细分方程解的正则性

如果M进制细分方程Φ(x)=∑Nk=0PkΦ(Mx-k)的细分面具P有逼近阶m，则此面具是可以因子化的。利用细分面具P的因子分解性质及其谱特性研究细分方程解的光滑性，得到了解的光滑性的若干充分条件。     

完全正则空间的一个刻画

给出了集合X上的弱一致结构的定义，通过弱一致结构给出了刻画完全正则空间的一个等介刻画，即拓扑空间(X，J）是完全正则空间的充分必要条件为X上存在一个弱一致结构，其中J是该弱一致结构所诱导的拓扑．     

胆红素提取方法的新探索

胆红素是制工业的贵重原料，可人工合成牛黄。合成牛黄的胆红素要求质量较高，因此探索胆红素的提取方法，具有重要的科学价值和经济利益。改进制备胆红素钙盐、酸化、精制等阶段，使胆红素产率和纯度都有明显提高。     

空位掺杂La2/3Ba1/3MnO3/ZnO复合材料的制备和微结构研究

采用传统的固相反应法在La空位的La2/3Ba1/3MnO3粉末中掺入第二相ZnO,制备了一系列La空位的La2/3(1-x)Ba1/3MnO3/0.33ZnO(LBMO/ZnO)和La空位掺Dy的(La(0.6-x)Dy0.4)2/3Ba1/3MnO3/0.33ZnO(LBDMO/ZnO)复合体系.Rietveld方法拟合X射线衍射(XRD)测量结果表明,LBMO/ZnO复合体系中的LBMO为单相的钙钛矿结构,LBMO的结构参数(包括晶格参数,晶胞体积)以及Mn-O键长,Mn-O-Mn键角随空位浓度的增加呈单调变化的趋势;LBDMO/ZnO复合体系中除了形成LBMO相外,还存在DyMnO3杂相,LBDMO的结构参数以及Mn-O键长,Mn-O-Mn键角随空位浓度x的增加几乎没有发生变化.XRD和扫描电子显微镜(SEM)都表明ZnO和锰氧化物没有发生反应,ZnO可能以非晶态的形式存在于复合体系中,这将影响复合体系的电磁输运性质.     

面向探索式搜索过程的查询推荐

查询推荐是一种提高用户搜索效率的重要工具,但是传统的推荐方法对于探索式搜索的推荐效果不好.针对此问题提出了一种新的面向探索式搜索过程的查询推荐方法,即根据用户搜索的行为模式,通过试探性查询重构和确认性查询重构两个过程,对探索式搜索过程进行建模,并根据影响探索式搜索过程的三种因素提出了一种排序算法,将确认性子查询中的查询推荐给用户.通过与传统推荐方法的对比实验验证了本模型及其推荐方法的有效性.     

铝合金的晶粒微细化研究

针对3种典型铝合金研究了采用ECAP法细化晶粒的效果,用TEM观察了经ECAP变形的合金在退火过程中的微观组织形态的演变。结果表明:采用ECAP方法与适当的热处理工艺相匹配,可以将铝合金晶粒细化到1μm以下,细化效果与合金成分有一定的关系,合金化程度高的合金,可达到的细化效果更好。随退火温度的提高,采用ECAP方法变形的合金晶粒尺寸增大,强度下降,延伸率增加。图5,参12。