基于知识域依赖的系统集成知识扩散路径优化

将产品设计结构矩阵引入信息系统集成知识扩散中,构建了知识域依赖矩阵模型,提出以依赖关系知识扩散路径替代全领域知识扩散路径的优化策略,并结合知识域的静态特征(共享程度)与动态特征(变动幅度)对依赖关系进行修正,以实现扩散路径的进一步取舍优化。

区域教育变革的场域依赖

教育改革成功与否、顺畅与否、代价几何,从根本上讲,不仅依靠革新,而且也依靠其对当下社会现实的适应性。区域教育变革的成功推进依赖于经济社会制度、区域文化、教育领导等复杂性场域,需要从提防普遍主义危险、坚守本土主义路向、立足教育自身变革等理念适用性和实践有效性维度超越场域依赖,寻求区域教育变革成功推进的实践智慧。

论域依赖的认知翻译教学模式——以应用型本科翻译专业实验教学设计为示例

在新的历史时期,我国经济、社会和文化的发展对翻译专业人才培养提出了新的要求,翻译专业的发展面临着新的机遇和挑战。在课程设置、学时分配、教材研发、教学实施等方面存在的诸多问题,成为阻碍本科翻译专业发展和人才培养的桎梏。课程体系建设是解决人才培养问题的核心。文章从认知心理学和认知翻译学角度提出了域依赖的认知翻译教学模式的构想,主张基于专业问题域、兴趣域、职场需求域、翻译工作知识域的划分重置教学主线,建设域依赖的课程体系,融入新型的翻转课堂模式和机器翻译/机辅翻译技术,为改变翻译课程各自为政、理论实践脱节等问题,为培养符合职场需求、具有跨域变通能力和创造性思维能力的翻译专业人才提供新思路。文章以一所应用型本科院校的翻译专业教学实验设计为例,说明了域依赖认知翻译教学模式实施的策略和方法。

基于域间依赖模型的多域故障诊断算法

在多域环境下,组合服务所调用的子服务跨越多个管理域,对域间故障传播产生的跨域症状进行诊断时需要管理域之间相互协作。针对这一问题,文中提出了域间依赖模型,阐明了症状与管理域的依赖关系,并基于该模型提出多域故障诊断算法,并从时间性能方面对算法进行了改进。文中首先通过症状簇划分算法对症状集合进行划分,对同一症状簇协同诊断;然后通过对跨域症状与关联域依赖关系的概率评估,选择最可能的关联域集合进行诊断;最后,仿真结果表明该算法可以较为准确地诊断多域环境下的服务故障。

基于信赖域内点法的最优潮流算法

在电力市场环境下 ,诸多问题 (例如实时电价、网络阻塞管理和可用传输能力的计算等 )都需要最优潮流 ( OPF)作为理想的工具。文中基于信赖域的思想提出了求解 OPF的新算法。该算法连续求解线性规划 ( LP)子问题 ,通过信赖域决定线性化步长的选取 ,由多步中心校正原—对偶内点法求解信赖域 LP子问题 ,并采用了一个物理策略以改善 OPF算法的稳定性。对国外一个 662节点实际电力系统进行了数值计算 ,结果表明该算法是快速、鲁棒的 。

关于不等式约束的信赖域算法(英文)

对于具有不等式约束的非线性优化问题,本文给出一个信赖域算法.由于算 法中信赖区域约束采用向量的∞范数约束的形式,从而使子问题变为二次规划,同时使 算法变得更实用.在通常假设条件下,证明了算法的整体收敛性和超线性收敛性.

锥模型的拟牛顿型信赖域方法中的水平向量的选取

对于无约束优化问题的锥模型的拟牛顿型信赖域方法的求解，主要讨论了 水平向量的选取，并给出了数值试验结果．结果表明该取法一般比二次模型及文献［２］中的 取法有效．

退化约束条件下的信赖域算法及其收敛性

本文建立带退化线性等式与不等式约束最优化向题的一种信赖域算法,方法用一系列以原点为内点的一般紧集为信赖域.讨论了方法的收敛性,证明了迭代点列必有一聚点为原问题的 Kuhn-Tucker 点.最后,在一定的假设下,讨论了算法的超线性收敛性.

半无限极大极小问题的信赖域方法

对半无限极大极小问题给出了一个信赖域方法，并且在较弱的条件下证明了其全局收敛性．

信赖域型拟Newton法的全局收敛性

对一般无约束最优化问题从理论上证明了由信赖域型的Ｐｏｗｅｌ－对称－Ｂｒｏｙｄｅｎ拟Ｎｅｗｔｏｎ法与对称秩１拟Ｎｅｗｔｏｎ法产生的点列至少有一极限点是函数的稳定点．对于非线性最小二乘问题，Ｂｒｏｙｄｅｎ－Ｄｅｎｎｉｓ方法。

非线性规划信赖域子问题的摄动梯度投影算法

应用摄动梯度投影的技巧 ,给出一种非线性规划信赖域子问题的新算法 。

一个无约束最优化信赖域算法的全局收敛性

一个无约束最优化信赖域算法的全局收敛性柯小伍（北京师范大学数学系，１００８７５，北京；２９岁，男，博士后）关键词信赖域算法；全局收敛性；无约束最优化分类号Ｏ２２４对于无约束最优化问题，Ｒｎ→Ｒ是Ｒｎ上的连续可微函数，已经有许多信赖域算法以及它们的收敛...

求解非线性方程组的新的信赖域方法

通过将信赖域技巧与Levenberg-Marquardt算法有效结合到一起,进而提出新的信赖域方法,进而证明了新方法的全局收敛性,并且在局部误差界等条件下得到该算法的收敛阶为2δ2+δ,其中δ∈(1/2,1)并且给出了数值结果,在证明新方法的相关收敛性结果时,同时进行了数值实验,并验证了新的信赖域方法的可行性.

非线性约束优化问题的组合信赖域与线搜索算法

对非线性等式约束优化问题提出了一个组合信赖域与线搜索求解算法 .与传统的信赖域方法比较 ,该算法的特点是当试探步不被信赖域方法接受时 ,无需重新求解信赖域子问题 .通过计算实例 ,比较了纯信赖域算法与组合算法的计算工作量 .

等式约束优化的投影拟牛顿法的非单调信赖域算法(英文)

提供了分解投影拟牛顿法结合非单调信赖域算法求解非线性等式约束优化问题 .在合理的条件下 ,证明了算法的整体收敛性 .通过引进二阶矫正步克服了 MARATOS效应 。

一个新的求解等式约束优化问题的信赖域算法的超线性收敛分析

对文[1]提出的一个求解等式约束优化问题的信赖域算法进行超线性收敛分析.

斯蒂芬·图尔敏的论辩理论研究

斯蒂芬·图尔敏的论辩理论区分了分析性论辩与实质性论辩,阐释了"域依赖"与"域独立"这两个概念。在此基础上,提出了动态、辨证的论辩模式,强调论辩理论应关注语境、领域等因素的影响。然而,国内学界对其理论的介绍与研究主要集中在逻辑学与语言学的范畴,未重视其对论辩研究所产生的深远影响。因此,本文从论辩角度对其理论展开论述,以期为国内论辩研究提供一种新的理论模式。

GST-TAT-P53c融合蛋白的表达及对p53基因突变型肿瘤细胞的促凋亡作用

目的研究P53蛋白C端(P53c)对p53基因突变型肿瘤细胞SW480的促凋亡作用。方法用人类免疫缺陷病毒TAT蛋白的蛋白转导域(TAT)将P53c运载进入肿瘤细胞,用氧依赖性降解区域(ODD)控制P53c在组织中的稳定性。通过PCR方法制备TAT-ODD-p53c(TOPc),TAT-p53c(TPc)及p53c基因,与pGEX4T载体连接后在大肠杆菌中表达谷胱甘肽-S-转移酶(GST)-TAT-ODD-P53c(GST-TOPc),GST-TAT-P53c(GST-TPc)及GST-P53c等融合蛋白。免疫组化方法检测TAT蛋白运载融合蛋白穿过SW480细胞膜的作用,MTT法检测融合蛋白对SW480细胞活力的影响,流式细胞仪检测致SW480细胞凋亡作用。结果成功构建pGEX系列表达载体,并在大肠杆菌中可溶性表达。Western印迹结果表明,重组蛋白可以和GST单克隆抗体特异性结合。免疫组化显示GST-TPc,GST-TOPcm及GST-TOPc均能进入SW480细胞,GST-TPc能明显降低SW480细胞活性,导致SW480细胞凋亡。含ODD的融合蛋白在常氧环境中对肿瘤细胞有轻度促凋亡作用。结论TAT可以介导其融合蛋白跨越细胞膜。GST-TPc可引起p53突变型肿瘤细胞凋亡。

关于偏微分方程数值稳定性的一些问题

本文阐述了稳定性条件与微分方程依赖区域的关系,并纠正了[1]中的某些说法。

无约束非光滑优化问题的信赖域算法及收敛性

1．引言考虑下列无约束非光滑优化问题：其中f为R”上的局部LIPSChitZ函数．本文将11·112简记为11·l．信赖域算法是通过求解一系列子问题3＊B（二，凸）：来求解问题（1）的，其中拉x，·）为j在x点的一阶近似，B为nxn阶对称阵．下面给出信赖域的基本算法TRA：步1·给定...