函子

摘要： 完全分配格结构的研究是连续格理论的热点问题.文章给出一种特殊的完全分配格—F_(1)格,构造范畴CD^(*),讨论F_(1)格范畴CD^(*)对象的结构与态射的性质,论证它与集合范畴Set^(*)等价,为研究连续格与Fuzzy拓扑学之间的联系提供一点新思路.

摘要： 在多饱和模型下研究了由度量空间诱导的*-拓扑J*和s-拓扑Js.首先,为了构造*-拓扑J*,提出了有限点集的概念.其次,在此拓扑空间中证明了每个内集是紧集,每个开集是饱和集,以及标准部分映射是连续映射.最后,在s-拓扑Js中讨论了闭包算子、内部算子和*映射.

摘要： 高等代数作为本科阶段代数领域一门最重要的基础课程,对于日后接触其它代数分支有极为重要的先导作用;如今,范畴作为一门语言以及工具在当代数学,特别是代数学的研究中表现的越来越重要;因此,将范畴的基本观点在高等代数的教学中予以渗透显得尤为迫切;本文以高等代数中的线性空间为出发点,结合线性映射、对偶空间等内容尝试讨论范畴思想在本课程中的体现;从而使学生在本科阶段初步掌握这一理论框架,对于日后相关知识的学习做一铺垫.

摘要： 在多饱和模型下研究了由度量空间诱导的*-拓扑T~*和s-拓扑T^s.首先,为了构造*-拓扑T~*,提出了有限点集的概念.其次,在此拓扑空间中证明了每个内集是紧集,每个开集是饱和集,以及标准部分映射是连续映射.最后,在s-拓扑T^s中讨论了闭包算子、内部算子和*映射.

摘要： 众所周知,经典的投射模、平坦模以及内射模可以通过函子hom与张量积函子(X)的正合性来刻画.最近,相对于w-算子的投射模、平坦模以及内射模,即w-投射模、w-平坦模与w-内射模,受到了一些学者的关注.介绍了w-模范畴上的函子hom与(X),并研究了它们的一些基本性质.作为应用,利用它们的正合性来刻画了w-投射模、w-平坦模以及w-内射模.

摘要： 状态空间爆炸问题是模型检测的最大障碍.从余归纳(特别是余代数)的角度研究了这个问题.用余归纳的方法证明:(1)对于任意给定的一类Kripke结构(记为K),在互模拟等价意义下K中最小Kripke结构(记为Ko)的存在唯一性.Ko描述了K中所有Kripke结构的行为而且没有冗余的状态;(2)对于任意的M∈ K(M可能包含无穷多个状态),在互模拟等价意义下的相对于(M且基于K0)的最小Kripke结构(记为KM)的存在唯一性.由此提出一种求解KM的算法,并用Ocaml予以简单实现.其应用之一在于可以用状态空间更小的KM代替M进行模型检测.该方法可自然地推广到基于其他类型函子的余代数结构.

摘要： 伴随是范畴论中最重要的概念之一,其定义涉及多个量且难以理解.介绍了伴随函子的几个等价定义,证明了各个定义的相互等价性,从而可以更加直观地理解伴随函子的定义,并给出了伴随函子的应用例子.

摘要： 基于密度泛函和杂化泛函计算Si的缺陷移动的方法，本发明涉及计算Si的缺陷移动的方法。本发明目的是为了解决现有采用密度泛函方法获得Si的缺陷移动能量的准确率低的问题。过程为：得到Si的晶格参数；得到Si能量最低点的晶格参数；根据晶格参数和禁带宽度得到模拟结果和实验结果一致；使用密度泛函和CLNEB方法计算双空位分离过程中能量的变化，以及得出Si原子不同带电量下的原子结构，并根据这些结构采用杂化泛函方法计算双空位分离过程中能量的变化。本发明用于计算Si的缺陷移动的领域。

摘要： 本发明涉及一种卧式热交换器用填料函密封结构及包括该结构的卧式填料函热交换器和安装方法，所述填料函密封结构包括设置在管板和壳程壳体之间的填料腔最前端的分为两瓣的挡环、设置在填料腔内挡环后方的填料、以及将填料密封在填料腔内的填料压盖。本发明采用的结构消除了填料腔宽度不均匀问题及管板与壳程壳体内壁的间隙不均问题，提高了密封效果，此种填料函密封结构不但可以通过常规的液压试验，还能较容易的通过各类泄露试验(如气密性试验，氨检漏试验)。同时此种填料函密封结构使填料更易装入填料腔，操作简单，降低工人劳动强度，填料更换频率也有效降低。

摘要： 构成如下的子信道编码装置(11)，该子信道编码装置(11)具有：概率分布整形编码部(21)，其将M×N(M为2以上的整数，N为1以上的整数)个子信道分成N个组，根据M×N个子信道的信噪比对各个组的发送调制符号的概率分布进行整形，将信息比特串转换成与各个组的发送调制符号的概率分布对应的整形后比特串；子信道信号生成部(22)，其根据整形后比特串生成M×N个子信道中的各个子信道的子信道信号；以及信号复用部(26)，其对由子信道信号生成部(22)生成的M×N个子信道信号进行复用，生成子信道复用信号。

摘要： 在具有一端为开放端的筒状的外壳11和封闭该外壳11的开放端的管座12的压电振子容器10中,管座12的外周面和外壳11的内周面分别具有略呈椭圆形状或椭圆形状。将管座12压入外壳11的开放端中时的压入余量从外壳11的长径侧向短径侧单调地增加。因此,在垂直应力小的短径部分115、125压入余量大,而在拉伸应力大的长径部分116、126压入余量小,所以,不会发生由于封闭不良或外壳11的破裂引起的气密不良。这样,便可提供使用椭圆或略呈椭圆的外壳也不发生气密不良、进而压电振动片与外壳内周也不会接触的压电振子容器、使用该压电振子容器的压电振子、装配该压电振子的电路基板和压电振子的制造方法。

摘要： 本申请涉及电子招投标技术领域，特别涉及一种生成OFD格式的电子投标邀请函及回执函的方法和系统。所述一种生成OFD格式的电子投标邀请函及回执函的方法，包括步骤：代理机构端获取第一目标信息；读取第一目标信息对应的OFD格式电子投标邀请函模板及OFD格式回执函模板；写入第一目标信息；获取第二目标信息；在写入第一目标基础上，写入第二目标；在写入第二目标后，进行加密操作，发送加密后的写入第二目标后的OFD格式电子投标邀请函及OFD格式回执函至供应商。通过以上方法可生成基于OFD格式电子邀请函和OFD格式回执函，期间包括电子签章、邀请函及回执函加解密等实现投标邀请过程的安全性、准确性及真实性。

摘要： 本申请提供了一种加速比较函式的系统和加速比较函式执行的方法，所述加速比较函式执行的方法包含输入第一数据及第二数据；将第一数据及第二数据缓存于至少一个存储器中；取得第一数据的第一位址；取得第二数据的第二位址；产生比较函式对应的代码，以将代码、第一位址及第二位址组成指令信号；将指令信号由进阶可扩展界面传送至总线电路；依据第一位址及第二位址，将第一数据及第二数据读取，以利用加速器将第一数据及该第二数据进行比较；以及产生第一数据及第二数据的比较结果，以传至进阶可扩展界面。

摘要： 本发明涉及一种多因式开环传函与系统特征辅助函数及闭环传函测算方法，特别是采用以飘频为基础的频域测算方法，属系统特性测算与建模方法。通过测量得到环节的频率特性及其对数飘频特性，确定无拐环节；由对数飘频特性得到波征特性，确定有拐环节，由此求得环节的多因式传递函数；环节并联时将多项式分子函数对应频率特性再作一次同样的处理得到通道开环传递函数。通过测量得到闭环环路的频率特性，确定环路的多因式传递函数，由此求得多项式特征函数及其特征频率特性，类似的方法求得系统的多因式特征函数、辅助函数和闭环传递函数，从而非常容易地判断系统的稳定性。本发明提供一种简单方便、物理意义清晰的工程方法，必将得到广泛地应用。

摘要： 基于密度泛函和杂化泛函计算Si的缺陷移动的方法，本发明涉及计算Si的缺陷移动的方法。本发明目的是为了解决现有采用密度泛函方法获得Si的缺陷移动能量的准确率低的问题。过程为：得到Si的晶格参数；得到Si能量最低点的晶格参数；根据晶格参数和禁带宽度得到模拟结果和实验结果一致；使用密度泛函和CLNEB方法计算双空位分离过程中能量的变化，以及得出Si原子不同带电量下的原子结构，并根据这些结构采用杂化泛函方法计算双空位分离过程中能量的变化。本发明用于计算Si的缺陷移动的领域。

摘要： 本实用新型提出一种油封函体及安装有油封函体的柱塞泵，涉及油田专用注气锅炉领域，油封函体包括油封函体本体、第一油封和第二油封，油封函体本体为竖直设置的盘状体，油封函体本体具有沿水平方向开设的贯通孔，贯通孔的横截面呈圆形，第一油封和第二油封均呈圆环形，第一油封套设在贯通孔的一端，第二油封套设在贯通孔的另一端。该油封函体及安装有油封函体的柱塞泵能够实现对柱塞泵连接杆的多层密封，减少柱塞泵油封的漏失率。

摘要： 高压柱塞泵主填料函和副填料函拆卸工具，包括固定机构和拆卸机构；固定机构由主填料函上基础板（8）、主填料函下基础板（9）和支撑架（10）组成，主填料函上基础板与主填料函下基础板上下平行，支撑架垂直于主填料函上基础板与主填料函下基础板，用于支撑主填料函上基础板与主填料函下基础板；拆卸机构包括一手柄（7），手柄上设置有顶杆（1），手柄与顶杆呈T字形连接，顶杆上设置有上拉板（3），顶杆垂直通过上拉板的中心位置，上拉板上设置有调节丝杆（2），调节丝杆上设置下拉板（4），下拉板与上拉板平行，顶杆垂直通过下拉板的中心位置。通过使用本拆卸工具，降低了检修高压往复式柱塞泵的劳动强度，有效预防了人生伤害事故的发生，保障了员工的安全和健康，提高了工作效率，缩短了检修时间，提高了工作质量。