Whitham-Broer-Kaup-Like方程的新的行波解(英文)

提出了一种求解发展方程行波解的新辅助方程方法.方法中使用了较广泛的解表示式和一个变系数常微形辅助方程,并用该辅助方程方法通过求解Whitham-Broer-Kaup-Like方程统一构造了Whitham-Broer-Kaup方程,长水波近似方程,Broer-Kaup方程和变形Boussineq方程的许多新的精确行波解.     

Simultaneous iterative methods of asymptotically quasi‐nonexpansive semigroups for split equality common fixed point problem in Banach spaces

In this paper, we present iteration methods to find a solution of asymptotically quasi‐nonexpansive semigroups for a split equality common fixed point in Banach spaces. The results show weak and strong convergence theorem of iteration that improve and extend some recent results.     

Fractional quasi AKNS‐technique for nonlinear space–time fractional evolution equations

This paper aims to formulate the fractional quasi‐inverse scattering method. Also, we give a positive answer to the following question: can the Ablowitz‐Kaup‐Newell‐Segur (AKNS) method be applied to the space–time fractional nonlinear differential equations? Besides, we derive the Bäcklund transformations for the fractional systems under study. Also, we construct the fractional quasi‐conservation laws for the considered fractional equations from the defined fractional quasi AKNS‐like system. The nonlinear fractional differential equations to be studied are the space–time fractional versions of the Kortweg‐de Vries equation, modified Kortweg‐de Vries equation, the sine‐Gordon equation, the sinh‐Gordon equation, the Liouville equation, the cosh‐Gordon equation, the short pulse equation, and the nonlinear Schrödinger equation.     

A computational method for large‐scale differential symmetric Stein equation

We propose a numerical method for solving large‐scale differential symmetric Stein equations having low‐rank right constant term. Our approach is based on projection the given problem onto a Krylov subspace then solving the low dimensional matrix problem by using an integration method, and the original problem solution is built by using obtained low‐rank approximate solution. Using the extended block Arnoldi process and backward differentiation formula (BDF), we give statements of the approximate solution and corresponding residual. Some numerical results are given to show the efficiency of the proposed method.     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．     

强化工程审计确保工程投资的合理控制

阐述了对扩初设计概算费用、施工图预算、竣工决算进行审计的重要性及其审计步骤与审计内容。     

REMARKS ON QUASI-PERFECT RINGS AND FC-RINGS

设Ｒ是有单位元的环，Ｓ是Ｒ的几乎优越扩张，Ｇ是有限群且｜Ｇ｜－１∈Ｒ．证明了Ｒ是ＦＣ－环（拟完备环，凝聚环）当且仅当Ｓ是ＦＣ－环（拟完备环，凝聚环），也当且仅当Ｓｍａｃｈ积Ｒ＃Ｇ＊是ＦＣ－环（拟完备环，凝聚环）．     

T样条函数空间的局部支集基

Ｓｃｈｕｍａｋｅｒ，Ｌ．Ｌ．在其名著《ＳｐｌｉｎｅＦｕｎｃｔｉｏｎ：ＢａｓｉｃＴｈｅｏｒｙ》中第九章给出了Ｔｃｈｅｂｙｓｈ－ｅｆ样条函数空间的局部支集基定理，可惜其证明却是错的，本文给出了上述定理的正确证明．     

关于单形空间角的准正弦概念及应用

建立了欧氏空间Ｅ^ｎ中ｎ维单形空间角的准正弦概念，并应用于高维正弦定理的改进、Ｓｔｅｉｎｅｒ定理的高维推广及切点不等式的简化证明；又推出了有关单形的一些新不等式．     

若干图的广义Mycielski图的边色数

设图G(V,E)为简单图,V(Mn(G))={v01,v02,…,v0p;v11,v12,…,v1p;…,vn1,vn2,…,vnp}EMn(G))=E(G)∪vijv(i+1)kv0 jv0k∈E(G),1 j,k p,i=0,1,…,n-1称Mn(G)为G的n串广义M ycielsk i图,其中n为自然数,V(G)={v01,v02,…,v0p}.本文得到了路、圈、扇、轮、星图的广义M ycielsk i图的边色数.