An extension of the modified Sawada-Kotera equation and conservation laws

Based on the modified Sawad^Kotera equation, we introduce a 3 ~ 3 matrix spectral problem with two potentials and derive a hierarchy of new nonlinear evolution equations. The second member in the hierarchy is a generalization of the modified Sawad-Kotera equation, by which a Lax pair of the modified Sawada-Kotera equation is obtained. With the help of the Miura transformation, explicit solutions of the Sawad-Kotera equation, the Kaup-Kupershmidt equation, and the modified Sawad-Kotera equation are given. Moreover, infinite sequences of conserved quantities of the first two nonlinear evolution equations in the hierarchy and the modified Sawada-Kotera equation are constructed with the aid of their Lax pairs.

认真对待明确的法律--兼论定义法治及其意义

法治是由法律所定义的秩序。明确的法律是法治思维的前提,法治思维主要是对明确法律的意义认定或阐释,只有尊重明确的法律才能显现法治限权以及保障自由的本色。但是,在辩思盛行的语境下,人们对明确的法律不够尊重,而是习惯于在法律与其他社会现象的关系思辨中探寻意义,由此衍生出法律权威的失落。欲推进法治中国建设就需要充分发挥明确法律的意义,如明确的法律得不到实施,法治只能停留在修辞阶段。

挑战与路径:司法裁判如何回应新兴权利

司法裁判领域的新兴权利,不属于法定权利类型,而是当事人就自身利益诉请法院认可的要求或主张。法官裁判新兴权利案件,面临法无明文规定之难题,这与抽象普适的成文法、不断涌现的新兴事物、积极活跃的权利观念密不可分。法官不得拒绝裁判,应致力于在解决矛盾纠纷的基础上,识别、判断及保护合理正当的新兴权利,注重司法裁判说理,及时回应公民寻求公力救济新兴权利的正当期待。由此,法官裁判案件,应准确定位新兴权利,科学运用裁判方法,追求实现个案正义。

机动再入飞行器主动段再入点约束闭路制导研究

基于机动再入飞行器再入制导段控制条件苛刻和难度大 ,必须为飞行器创造最佳的再入条件。本文对具有再入点约束的主动段闭路制导律进行了研究。根据飞行器椭圆弹道的性质、飞行器再入条件、球面几何和不动点原理给出了理想弹道的计算算法。为使飞行器能在主动段很快地进入到理想弹道上 ,系统采用了非线性的推力向量控制及预测制导方法。通过对新型号再入飞行器的制导系统的设计与仿真 。

显现的法律与隐在的法律——从语言学的角度分析

当今各国的法律主要是以语言作为载体表现出来的,但法律创制者(成文法的制定者、判例法的创立者)所欲表达的信息与意义,一旦通过言语的方式固化后,其所传达给受众的信息与意义在不同程度上会发生扭曲或变异,成文法与显现的法律相当,隐在的法律必须被置于"活法"中加以考察,对真实法律判断不但要考察法律的形式,同时,也需要从互动的角度加以观察。

钻井多相流体运移特性及套压控制研究

井底发生气体溢流时,控压钻井多采用无模型自适应控压方式,浪费较多时效。初始套压调节并没有充分利用多相流模型,这主要由多相流模型计算结果的时效性及不准确性造成的。在尽可能缩短计算时间及准确计算气体滑脱产生的压降的基础上,利用节流阀工作引发的套压差来弥补气体的滑脱压降,这为井底恒压的有模型节流阀套压调节提供诸多便利。文中建立了控压钻中油、气、水及钻井液多相流体运移模型,利用半显式差分、牛顿拉夫逊迭代等方法对其编程求解,制定了一组恒压的套压控制方案,并分析了不同套压对溢流特性的影响。结果表明:地层水的侵入对井底压力及套压影响不显著,气体的侵入使井底压力大幅降低。套压对气体运移速度有较大影响,当套压从0.2MPa增至3.0MPa时,井口处的气相速度从8.1m/s降至2.6m/s;井底恒压的控制中,随溢流气柱高度增加,套压随之增大;当气体沿环空循环运移至井口时套压达到最大值;气柱沿环空循环出井口时套压逐渐减小;当溢流气相全部循环出井口时,套压保持恒定。这表明及早发现溢流,不仅可以减少节流阀工作负荷,更有利于井底恒压控制。

《海商法》英译“显化”手段的使用

"显化"是指原文本的隐含信息在翻译时得到明晰化。作为翻译普遍特征之一,目前针对显化的讨论主要集中在少数双语平行对比的文学译本比较,法律尤其是涉海法律英译领域较少论及。本文以《中华人民共和国海商法》英译为例,对海商法英译中的显化表现进行探讨,认为由于法律和文学文本的差异,目前基于文学翻译的显化分类并不能完全适用于海商法英译。海商法英译的显化体现在语言功能和法律功能两个层面。语言功能上的显化类似文学文本的显化类型;法律功能上的显化则表现在文本格式显化、文本特征显化和文本意图显化。

成层半空间出平面自由波场的一维化时域算法

提出了一种计算出平面SH波斜入射时弹性水平成层半空间中自由波场时域计算的一维化有限元方法．在进行有限元网格划分时,竖向单元取满足有限元模拟精度的任意尺寸,水平向网格尺寸由时间离散步长和水平视波速确定,并自动进行虚拟网格划分．基底设置人工边界,并将波动输入转化为等效荷载施加在边界节点上．然后将集中质量有限元法和中心差分法相结合建立节点运动方程,并将水平方向相邻节点的运动用该节点相邻时刻的运动表示,从而将求解节点运动的二维方程组转化为一维方程组．求解此方程组,即得到自由场中竖向一列节点的运动．最后根据行波传播的特点,可方便地确定全部自由波场．理论分析和数值算例表明,该方法具有较高的精度和良好的稳定性．

矩阵A的Moore-Penrose逆的显式表示及其应用

运用满足消去律的几个矩阵方程,研究矩阵A的Moore-Penrose逆的显式表示,得到若干新的计算公式,并给出一些实例。

基于响应类型的直升机悬停状态显模型跟踪控制律设计

现代战场使用环境对直升机的飞行品质要求越来越高,使用电传飞控系统可大幅改善直升机的飞行品质,本文以电传飞控系统为研究对象,进行面向特定任务的具体指标要求的控制律设计。首先,根据ADS-33E飞行品质规范要求构造出满足悬停状态下俯仰轴ACAH响应等级1要求的指令模型;其次,以该指令模型构建显模型,通过反馈补偿算法进行跟踪偏差修正的模型跟踪控制律设计,最终得到整个闭环系统俯仰姿态满足飞行品质等级1要求的控制律构型和参数。通过MATLAB仿真验证了该设计方法的合理性和有效性。

换热网络动态数学模型及其求解

以能量守恒为基础,建立了换热网络的机理动态数学模型,利用Visual Basic编程语言,运用显式差分法求解了该偏微分方程组。得到了当某流体入口温度扰动后,所有换热器出口温度的动态响应,求解结果表明所建立的动态数学模型符合实际情况,并成功应用于加氢裂化装置的高压换热网络的仿真培训。

月球着陆舱在制动减速段的控制研究

分析了月球着陆舱在制动减速段对于控制的要求。以燃耗次优为出发点,求解得到无需进行迭代计算的期望姿态角计算公式,推导出仅与着陆舱的状态变量和终端约束相关的显式制导方案。基于滑模变结构控制方法,根据实际姿态角和期望姿态角的偏差,采用指数趋近律和边界层削抖的方法,设计了姿态跟踪系统,给出了姿控发动机的控制方案。仿真结果表明,该控制系统能够实现制动减速段的飞行目标,着陆舱经过514 s飞行后,在距月面2 km处将速度减为零,将姿态调整到垂直向下,较好地完成了飞行任务。

刑法司法解释的明确性探析

现行刑法实施以来,最高司法机关制定了大量的司法解释。根据刑法性原则的基本要求,阐述我国刑法司法解释背离明确性原则要求的具体表现、刑法司法解释明确性的判断依据以及我国实现刑法司法解释明确性的相应对策。

“互联网+”背景下法学教育中隐性知识的挑战及其回应

鉴于隐性知识对于法学教育的重要作用,互联网时代的法学教育需直面隐性知识的挑战。重申法学教育的目的、把握知识转移的一般规律、创新隐性知识传承的具体方法、选择适合于隐性知识特性的网络教学技术,是"互联网+法学教育"时代认真对待隐性知识的可能路径。

一类孤立子系统的无穷守恒律及其精确解

通过一个谱问题得到了一类孤子族方程:包括广义TD(k=1),TD(k=1,α=0),广义C-KdV(k=0)与C-KdV(k=0,α=0)等,进而利用Riccati方程及相容条件得到了此类孤子方程的无穷多个守恒量及其连带流。并且针对特定的非线性发展方程,给出了其精确的孤子解及椭圆函数解。

家产制、户本位:古代中国民法之要义

家产制是中国古代民法的生成基础,户为民事法律主体。中国古代的民事权利和义务统一于户而非自然人个体,并由户主代表户执行。作为民事主体的户,它是理解中国古代民法及其特征的关键。对于法律文明史中的“身份与契约”问题,用户本位去解读,会发现古代中国民事活动中“身份与契约”共存,这种共存体现了中国古代民法中“人法”自身的特色,也否定了一个偏激的观点,即将“从身份到契约”理解为“人类社会法制发展进化的普遍规律”。户本位的中国古代“人法”蕴含着丰富的民事活动显性规则,突出表现为平等原则、自愿原则、诚信原则、情理原则。

(2+1)维Broer-Kaup-Kupershmidt方程的对称、精确解和守恒律

应用李群方法得到了(2+1)维Broer-Kaup-Kupershmidt方程的对称和相似约化,并借助于辅助函数法对约化方程进行求解,进而得到部分精确解.最后利用对称找到此方程的无穷多守恒律.

双势理论用于处理非关联材料本构

基于传统塑性力学框架下的显式积分算法和基于Simo-Taylor提出的回退映射隐式积分算法是固体力学中两大经典本构积分算法.以经典的非关联材料模型Drucker-Prager(D-P)模型和Armstrong-Frederick(A-F)模型为例分别回顾了显式积分算法和隐式积分算法.以双势理论为基础,将双势的概念运用到材料的自由能中,将材料分为显式标准材料和隐式标准材料.两种传统积分算法都能有效地处理显式标准材料的本构关系,但在处理隐式标准材料时却存在一定的问题.双势积分算法是建立在双势理论下的本构积分算法,此算法不仅能够处理显式标准材料,对于处理隐式标准材料,也存在一定的优势.通过变分原理推导了双势积分算法解的存在性,运用双势积分算法处理Drucker-Prager模型和Armstrong-Frederick模型,并与经典传统积分算法得到的结果进行对比,验证了双势本构积分算法的稳定性和准确性.

汉语立法语篇的言语行为分析

本文的研究对象是汉语法律语篇中的法律言语行为。法律言语行为指那些具有法律效力的言语行为,其主要功能是实现法律的规范调节功能。这种规范调节功能可以进一步划分成赋予权利类和规定义务两大类。本文还提出,可以根据其中施为动词的有无、施为用意的强弱把法律言语行为划分为显性、规约性和隐性三大类。文章首先简要地讨论了法律语言的一般语用原则、特点和与法律言语行为有关的理论,然后分析了法律言语行为的功能、分类,最后通过调查的方法调查和分析了法律言语行为在汉语立法语篇中的实施情况以及各类言语行为的分类和分布。

非线性四阶Schrdinger方程的半显式多辛拟谱格式

将空间方向的Fourier拟谱方法与时间方向的辛欧拉方法结合在一起,构造出了非线性四阶Schrdinger方程的一个半显式多辛拟谱格式.数值结果表明:所构造的格式在长时间计算后,能很好地保持原方程的电荷守恒性质,是有效可行的数值方法.