类康托序列的k-Abelian复杂度（英文）

本文研究类康托序列c的k-abelian复杂度问题,其中序列c为代换σ:1→10^l1,0→0^l+2的以1开始的不动点.对任意的k=l,…,l,我们证明若u,v是c的两个因子且它们的长为k的前后缀分别相同,则u,v是(k+1)-abelian等价当且仅当u,v是k-abelian等价的.进一步,我们证明类康托序列c的abelian复杂度和2-abelian复杂度均为(l+2)-正则的.     

随机振动的一种加权等价线性化方法

加权等价线性化方法是研究非线性随机振动的一种有效近似方法。关健在于找到一个合适的权函数使之对多数非线性问题都有比较满意的结果。本文提出一种类似峰值概率密度函数的权函数,由此构成一种加权等价线性化方法,借几个各具特点的非线性振动系统进行了可行性验证,表明与一般的等价线性化方法相比,本法所得的均方响应精度有相当程度的改善。     

平面Poisson外边值问题

证明平面调和函数的Dirichlet外问题解存在唯一的充要条件；在此基础上，建立Laplace和Poisson外问题的等价边界积分方程；通过实例对传统的边界积分方程进行了讨论，表明它们不具有普遍适用性。     

虚功的等价性及其在固体力学中的应用

本文根据变分学原理提出一组与固体力学中基本微分方程、边界条件(等式或不等式)等价的虚功表达式(等式或不等式),并由此建立放松连续性条件的方程,导出了放松应力边界连续性条件的Saint—Venant原理的表达式、放松位移边界连续性条件下悬臂梁位移的新解答、放松所有约束条件的广义变分原理以及求解摩擦接触问题的变分不等式。     

代数$\Omega$-范畴的等价范畴

本文基于$\Omega$-范畴研究了(连续) $\mathcal{I}$-余万备$\Omega$-范畴的一些性质. 我们给出了双完备$\Omega$-范畴和逼近双模的概念并讨论了它们的性质, 证明了任何$\mathcal{I}$-余万备$\Omega$-范畴都是双完备$\Omega$-范畴. 得到了代数$\Omega$-范畴范畴等价于双完备$\Omega$-范畴.     

线段被任意折成三段能构成三角形的概率分析

线段被任意折成三段能构成三角形的概率有多种解法,本文分析了不同解法对"任意折"的样本空间及相应均匀分布的理解,证明了三种折法的等价性.     

电子安全与解除保险装置安全性测试方法

通过分析电子安全与解除保险装置的原理,得出了实现安全与解除保险逻辑的两片独立IC器件对保证全电子安全系统的安全性至关重要。针对使用FPGA实现的独立IC器件,引进嵌入式软件黑盒测试技术来对其进行测试。结合相关国军标给出了对安全与解除保险逻辑电路测试的要求,并以解除保险逻辑形式中的一种为例,说明了对安全与解除保险逻辑电路进行测试的测试用例的生成方法。     

模范畴与余模范畴之间的等价

本文研究了环上模范畴与余环上余模范畴.运用可裂叉与余可分余环的性质,得到了以上两个范畴等价的一些充分条件,从而推广了文献[6]中的一些结果.

Abstract：

In this article,we consider the categories of modules over rings and categories of comodules over corings.By properties of split forks and coseparable corings,we get some sufficient conditions for the equivalence between above two categories.As a consequence,we generalize some results in[6].     

M(G,x)≤2的图匹配等价的充要条件

对一个图G,设μ(G,x)表示它的匹配多项式,M(G,x)表示μ(G,x)的最大实数根.令Г_1={G|M(G,x)<2}和Г2={G|M(G,x)≤2}.给出了Г_i(i=1,2)中的两个图G和H匹配等价的充要条件.     

分布式数据库分片关系变换查询优化

基于分布式查询的概念和优化要求,结合实际的信息管理系统分片查询的实践,描述分布式数据库分片查询时建立、查询对关系表达式的等价变换实现查询的优化方法.通过建立查询优化树,研究典型教务管理系统数据库分片查询优化的关系变换方法,验证分片条件与查询选择条件优化查询树的片段,获得减少操作以达到查询优化效果,导出分片查询优化的一种...