关于求解非线性耦合Schrdinger方程的Sonnier-Christov格式

该文对求解非线性耦合Schrdinger方程的Sonnier-Christov格式进行了数值分析,证明了格式关于L_2范数的稳定性和二阶收敛性,运用Brouwer不动点定理证明了差分解的存在唯一性,给出一个求解非线性差分方程组的迭代算法并证明了算法的收敛性,最后对双孤立波的碰撞进行了模拟.

合同格式条款效力的法律控制——以《民法典》合同编及其司法解释为中心

有关格式条款的法律规定是现代市场交易中不可或缺的一项重要法律制度,《民法典》和《合同编通则解释》都对格式条款进行了专门规定,但是在起草中对一些问题均存在激烈的观点交锋,导致草案前后出现较大变化。在民法典编纂中,合同编草案将格式条款定义的“3要素”改为“2要素”,舍去“重复使用”,但最终在民法典中又重回“3要素”;《合同编通则解释》则将之修改为“2.5要素”,对从事经营活动的格式条款提供方的“为了重复使用”实行举证责任倒置。《民法典》规定了格式条款绝对无效的情形;《合同编通则解释》细化规定了格式条款的相对无效情形,提出了“异常条款”的概念,并对异常条款提供方提示和说明义务的履行标准做出了细化规定,且对电子合同异常条款提供者提示与说明义务的履行做出了具体的反面规定。为保护条款相对方的利益,《合同编通则解释》还规定了“合同示范文本”和“预先约定排除”这两类排除格式条款效力控制的抗辩为无效抗辩事由。

一维平流方程迎风格式的最优时空步长

在考虑舍入误差影响的情况下,研究一维平流方程迎风格式最优时空步长的选取.首先,分析每一时间层产生的离散误差和舍入误差,以及2种误差向高时间层传播的累积,得到数值解总误差的理论上界;然后推导出最优时间步长和最优空间步长的理论公式,进而得到2种不同机器精度下最优时间步长之比满足的一个仅与机器精度有关的普适关系;最后通过数值算例验证了结论的可靠性.

高新技术格式数字电影摄影机性能测试及研究

为对高新技术电影格式进行创新探索和技术革新,中国电影行业提出自有数字电影高新技术格式标准,确保中国电影在画质清晰度、色彩表现力、视觉效果等方面能够达到甚至超越国际标准,为中国电影艺术的视觉表达开辟了新的维度,增强观众的沉浸感和情感共鸣。基于此,中影电影数字制作基地有限公司开展了高新技术格式数字摄影机选型测试工作,本次测试围绕不同画幅数字摄影机在拍摄高新技术格式时的画面分辨率、宽容度、亮暗部色彩还原与噪波表现,以及不同机型在完整拍摄流程上的表现进行了测试。本文为测试的前后期工作做了较为详尽的总结,同时也为中国自有数字电影高新技术格式标准在实拍器材部分标准的确定方面进行先期实践与科研。

城市中压配电网雪花格式网架结构初探

为适应新型电力系统建设需求,提出一种适合国情的雪花格式网架结构。首先,总结国内外典型城市中压配电网结构的特征与优缺点;然后,结合天津已有网架结构,提出雪花格式网架结构及其构建方法;其次,分析测算雪花网结构的负荷转移能力、可靠性与效率效益水平;最后,从结构形式、适合场景等方面给出雪花网结构与花瓣结构等的综合对比情况。结果表明,雪花格式网架结构具有一定综合比较优势,可为中压配电网远景目标网架规划提供指导。

“还”与引述性否定:句子格式和话语格式

本文讨论引语X重读的引述性否定“什么还X”和“什么,还X”,着重分析“什么还X”的形成动因、语义特点及两种格式的关系。研究发现,“什么还X”是衍生于“什么X”的句子格式,“还”是明示X与说话人预期背反的语用标记,“什么,还X”是由单说的“什么”和“还X”组合而成的话语格式,与“什么还X”的语义性质、话语功能等有细微差别。

Dubuc-Deslauriers细分格式生成函数递推公式

细分格式是一种在初始控制网格基础上,通过迭代局部加细并应用特定拓扑规则,逐步形成光滑曲线或曲面的迭代方法.m重2N点Dubuc-Deslauriers细分格式是一种广泛应用的插值型格式.当重数m或N较大时,由于涉及多个控制顶点,Dubuc-Deslauriers细分格式面临计算效率和稳定性的挑战.通过将一次加细操作分解为多次小范围操作,Dubuc-Deslauriers细分格式的递推公式形式有效提高了计算稳定性.给出了m重2N点Dubuc-Deslauriers细分格式递推公式的生成函数的表达式,并探讨了2重和3重情况的特殊形式.

五格式净粪池与三格式化粪池处理农村生活污水效果及成本对比

针对三格式化粪池(TcST)出水COD及氮、磷浓度高,直排或溢流造成当地局部水体污染或黑臭的问题,构建了等容积五格式净粪池(FcPTR),并以实际生活污水为处理对象,对比研究2种反应器的运行特性和单位污染物去除成本。结果表明:FcPTR连续运行120 d,出水COD平均值为74 mg/L,TN、NH_(4)^(+)-N、TP平均浓度分别为26、20、1.6 mg/L,在我国进水水质相似的农村地区使用时,可满足11个省(区、市)发布的农村生活污水处理设施水污染排放地方标准二级水质要求。厌氧折流区、好氧区填料与污泥上变形菌门(Proteobacteria)的生长代谢促进了含氮和含磷物质的去除。相比于TcST,FcPTR明显增强了系统对有机物的降解和脱氮除磷效果,提高了系统的抗冲击负荷能力。经成本核算,在设计容积和运行场景相同时运行10年,FcPTR削减1 kg COD、1 kgNH_(4)^(+)-N的成本均比TcST降低19.8%。

TEB:GPU上矩阵分解重构的高效SpMV存储格式

稀疏矩阵向量乘法(SpMV)是科学与工程领域中一个至关重要的计算过程,CSR(compressed sparse row)格式是最常用的稀疏矩阵存储格式之一,在图形处理器(GPU)平台上实现并行SpMV的过程中,其只存储稀疏矩阵的非零元,避免零元素填充所带来的计算冗余,节约存储空间,但存在着负载不均衡的问题,浪费了计算资源。针对上述问题,对近年来效果良好的存储格式进行了研究,提出了一种逐行分解重组存储格式——TEB(threshold-exchangeorder block)格式。该格式采用启发式阈值选择算法确定合适分割阈值,并结合基于重排序的行归并算法,对稀疏矩阵进行重构分解,使得块与块之间非零元个数尽可能得相近,其次结合CUDA(computer unified device architecture)线程技术,提出了基于TEB存储格式的子块间并行SpMV算法,能够合理分配计算资源,解决负载不均衡问题,从而提高SpMV并行计算效率。为了验证TEB存储格式的有效性,在NVIDIA Tesla V100平台上进行实验,结果表明TEB相较于PBC(partition-block-CSR)、AMF-CSR(adaptive multi-row folding of CSR)、CSR-Scalar(compressed sparse row-scalar)和CSR5(compressed sparse row 5)存储格式,在SpMV的时间性能方面平均可提升3.23、5.83、2.33和2.21倍;在浮点计算性能方面,平均可提高3.36、5.95、2.29和2.13倍。

标准文献CNMARC格式分类标引的探讨

随着行业标准化、规范化要求的提高,图书馆收藏的标准文献不断增加。国际标准分类号和中国标准分类号是标准文献检索的重要途径。CALIS联合编目中心和国家图书馆对标准文献分类标引没有明确的规则。在CALIS和国家图书馆联合目录数据库中,标准文献都只标引中国图书馆分类法分类号,缺少标准文献专业分类号。编目人员应结合标准文献特点,依据CNMARC格式的686字段属性更规范、更完整地标引标准文献分类。

格式塔理论视域下的寓言母题研究

叙事文学的隐喻功能在寓言体裁中得到充分体现,寓言叙事的核心结构将读者迅速地从虚构故事引向对诸多关于人与社会问题的反思上。以寓言核心结构为基础构建的寓言母题是基于对寓言文本的整体认知而形成的意义共识,它是一种脑文本形式,具有伦理价值与教诲性。寓言母题来源于寓言,但非寓言所独有。从格式塔心理学理论的角度观察,当我们将不同体裁的叙事文本作为整体去理解与感悟时,就必然去关注叙事作为整体的寓言性特征。对复杂叙事不论有多少研究角度和解读方式,个体心理场在接纳文本时总会导向与心理预期相符合的意义解读,这种解读结果就是形成一种以思维结构、社会伦理观、实践经验为共同基础的具有寓言母题属性的价值判断性结论。在文本间的共性研究中我们发现,那些经典寓言故事中传承性好的寓言母题也自然会在其他复杂叙事文本中不断复现、传播。在格式塔异质同构原则下,这一现象的发生具有必然性。寓言母题是对叙事寓言性特征的审美结果,它为叙事文学的共性研究提供了新的规尺。

一种Birkhoff形式下结构动响应问题的保辛中点格式

结构动响应预测是结构设计的基础,是结构振动控制、载荷识别的前提。本文在辛体系下针对结构动响应问题,提出了一种Birkhoff形式下的保辛中点格式。首先引入状态变量,并基于摄动方法将结构动响应方程转化为线性自治Birkhoff方程的形式,进一步利用中心差分推导出线性自治Birkhoff方程的中点格式,其证明是保辛的。该格式不要求Birkhoff方程系数矩阵非奇异,因此适用于奇数维系统。两个不同数值算例的结果充分验证了本文方法的卓越性,也凸显了相对于传统算法在计算精确度和稳定性方面的明显优势。

智能合约格式条款的法律规制

在日新月异的数字化时代,智能合约正如火如荼地发展。智能合约是一种由数字代码形式组成的电子协议,其符合民事合同成立的基本要件。然而,智能合约的缔约方式却不同于一般民商事合同。它并不遵循传统民法中当事人经由个别磋商、讨价还价而议定合同条款之要约与承诺的缔约规则,而是采用一种非常态缔约规则,这使得智能合约具有格式合同的品性。对智能合约格式条款进行法律监管,应立足于现行民事法律法规中关于格式条款的既有规范,再结合智能合约自身独特性,对其予以精准规制。就此而言,对智能合约格式条款的规制应当围绕程序控制、内容控制与行政控制三个方面展开,建构起一个符合智能合约格式条款监管的规范体系。

《文心雕龙》格式塔意象翻译研究——以施友忠英译本为例

《文心雕龙》格式塔意象在构建和传达文学理论方面发挥着重要作用,它们来源于作者认知世界中的意义载体或心理映射,与英文格式塔意象存在着巨大差异。如何再造译文格式塔意象是译者无法推卸的责任。施友忠分别采用等效移用、变异增益、融通新创的翻译策略建构译文格式塔意象,而支撑这些翻译策略的是译者认知、读者认知和混合认知三种翻译路径。三种翻译路径作为文论逻辑建构的网络节点,充当了认知开关的按钮,激发了读者关于意象的语义联想,疏通了读者关于文论思想的解读通道,拓展了译文可理解和接受的空间,也为《文心雕龙》在异域文化语境的传播与接受打下了坚实的基础。

大数据背景下点击合同不正当格式条款的规制路径探析

以我国15个网络平台的用户协议和隐私政策为例进行实证分析,归纳出点击合同不正当格式条款包括单方变更权条款、自动化决策条款、无限制用户内容授权条款等,现有的显失公平、提示说明义务、自动化决策规范等手段虽然能够提供救济,但都因其自身缺憾而无法充分解决问题,使点击合同不正当格式条款的规制仍存有疏缺。因此,有必要通过设置格式条款负面清单、加强动态化监管、优化平台提示说明义务、设置脱离自动化决策权选项、明确告知义务范围、提高用户注意意识等手段为网络环境下用户的各项权益保驾护航。

高阶精度非线性加权格式权函数研究综述

在简述用于捕捉间断的非线性格式发展历程的基础上,依托五阶精度WENO格式,介绍了非线性加权格式在候选模板集选取、光滑度指标计算方法及其与非线性权的函数关系等方面做出的努力。对于非等宽候选模板集的情况,给出了保证非线性加权格式精度的非线性权的量阶关系,强调了光滑度指标计算方法对格式精度和效率的重要性,提出了进一步开展多宽度模板集非线性加权格式研究的建议。

网络平台用户服务协议格式条款的类型化研究

网络平台用户服务协议缔约方式不同于传统纸介质合同的订立,在网络缔约环境下其遵循的是非常态缔约规则,呈现出格式合同的品性。司法实践中,用户服务协议格式条款较为典型的有仲裁、管辖协议条款、不合理隐私政策条款、单方变更权条款以及其他不公平条款等类型。伴随互联网科技的发展,法院对格式条款法律规制愈加采用更严格的审查标准。在程序规制方面,传统格式条款之提示说明方式不再完全适合用户服务协议,提供方应积极履行提示说明义务,并为用户提供合理退出机制。在内容规制方面,宜采用“概括规范+具体列举”模式,即以公平原则为主兼诚实信用原则为辅作为概括审查规范,并构建用户服务协议格式条款之“黑名单”与“灰名单”制度。

带变系数时间分数阶扩散方程一个新的非协调高阶逼近格式高精度分析新模式

基于时间高阶L2-1_(σ)格式和空间EQ_(1)^(rot)非协调有限元方法,对带有变系数的一类时间分数阶扩散方程进行了高效数值分析.首先,证明全离散逼近格式的解在能量模意义下的无条件稳定性.然后,利用该元的特殊性质,并将插值算子和投影算子相结合,导出了采用传统估计无法导出的超逼近结果.此外,利用插值后处理技术,呈现了整体超收敛估计.最后,借助数值实验,验证了理论分析的正确性.

宁夏理工学院本科学位论文格式检测系统的设计与开发

构建一个提供学位论文格式检测服务的Web系统,在保证准确性的同时方便用户的使用。依据对系统的需求分析和现有技术,将系统分为检测程序、检测网站两部分。检测程序部分是基于OpenXML SDK技术开发的单机程序,检测完成后生成格式规范的txt文件类型的检测报告;检测网站部分采用SSH框架技术,提供用户管理、论文格式检测、检测历史查询等多项功能。测试阶段,对检测网站进行了严格的测试。

米友仁山水画风格格式塔分析——以《潇湘奇观图》为例

米友仁的《潇湘奇观图》是中国传统山水画的代表之一,而格式塔心理学在心理学领域占据着重要的地位。以格式塔心理学为理论基础,从审美心理学的角度出发,采用文献研究和图像分析等方法,深入探究米友仁《潇湘奇观图》的意义与价值,并试图揭示艺术作品中形式与意义之间的联系,为解读古代艺术作品提供新的视角和思考方式。