态射

摘要： In order to address the problem that existing user interface (UI) pattern languages are unable to provide effective structuralized support for the pattern-based UI development caused by the lack of accurate descriptions of relationships between UI patterns on a high level of abstraction, a UI pattern language is presented based on category theory in line with the hierarchical structural features of UI pattern collections. Firstly, UI patterns and their relationships were defined by objects and morphisms to obtain a UI pattern category; then hierarchies of UI pattern collections and their relationships were defined by subcategories and functors; and finally, relationships between the hierarchical relationships of UI pattern collections were de-fined by natural transformations to describe the relationships of UI pattern collections on a higher level of abstraction. Experimental results show that the proposed UI pattern language can be closely integrated into the development process to effectively support the developers for their understanding, querying and reusing of the UI patterns.%针对现有用户界面模式语言无法在高级抽象层次上准确描述用户界面模式之间关系,导致不能为基于模式的用户界面开发提供有效的结构化支持的问题,根据用户界面模式集合所具有的层次结构特点,提出一种基于范畴论的用户界面模式语言.首先利用对象和态射定义用户界面模式以及用户界面模式之间的关系,得到用户界面模式范畴;然后使用子范畴和函子定义用户界面模式集合的层次以及层次之间的关系;最后使用自然变换定义用户界面模式集合层次关系之间的关系,对用户界面模式集合中的关系进行更高抽象层次的描述.实例结果表明,文中提出的用户界面模式语言能够与开发过程紧密结合,为开发人员理解、查找和重用用户界面模式提供了有效的支持.

摘要： This paper introduces the concept of very true operator on a pseudo effect algebra and defines a partial in the way that is in accordance with traditional definitions in residuated lattices or basic algebras,obtaining some basic properties of very true operator.Furthermore the relationship between morphism and identity mapping is studied.%本文研究了伪效应代数的极真算子的问题.利用在与剩余格和基本代数中定义偏序概念相同的传统方式的方法,获得了极真算子的一些基本性质,研究了态射与恒等映射之间的关系.

摘要： 本文在一般双模范畴的基础上引入双模范畴R(C∶7)的定义,给出了R(C∶T)中对象的一个等价命题及对象新的构造方法和详细的证明过程,最后在双模范畴cMcM和cMM之间构造一个函子,为后续的研究作了准备.

摘要： 本文研究了同余格范畴中的态射,并得到了相应的结论.

摘要： 皮亚杰晚年的＂态射与范畴＂思想在早年的经典运算结构论的立场上有了重大的转变和发展。这一理论的进步使得皮亚杰有效地解释了儿童思维发展中不同运算阶段是如何形成、发生和转换的。皮亚杰一直认为科学知识的建构和儿童思维的发展具有连续性和同构性。而化学作为自然科学的一个组成部分也遵循这一规律。高中化学教学内容中的元素知识具有明显的系统结构性,皮亚杰的＂态射与范畴＂思想对学习者高中阶段化学元素知识的建构发展能作出有效的解释,同时也对一线教师的化学教学实践活动的组织提出了具有建设性的建议和指导。

摘要： 本体对齐可解决本体间的异构,而范畴论可屏蔽本体间的异构性并为本体集成提供统一的方法框架.将范畴论引入本体对齐研究领域中,在范畴论的基础上,结合地理本体特征,对态射进行了重新定义,构造了一个更复杂的范畴.其中范畴中的对象为地理本体,而态射不仅能表达相等关系,也可以描述地理本体间的多种语义关系.在态射定义的基础上,根据态射的特性定义了本体对齐和本体对齐的复合,最后对本体集成进行了阐述.%Ontology alignment can solve the heterogeneity between ontology, while category theory can shield the heterogeneity between ontologies and provide uniform methodological framework for ontology integration. This paper applied category theory into the field of ontology alignment. Based on the features of geo-ontology it redefined morphism and intended to construct a more complex category, where objects are geo-ontologies,but morphism can not only express equal relationship but also describe multiple semantic relationships between geo-ontologies. Based on the definition and the features of morphism,this paper also defined ontology alignment and composing alignment,and elaborated ontology integration.

摘要： 设G是群,end(G)表示g的自同态组成的集合.在这篇注记中,我们证明了:若G是有限群,则α∈end(G)是态射当且仅当G=Gα×Ker(α)；并讨论了G为无限群时的一个结论.进一步,给出了α∈end(G)为态射的一些性质.%Let G be a group, end(G) be written for the monoid of endomorphisms a : G→G. Suppose that G is a finite group, a is morphic if and only if G=GaXKer(a). This result is generalized to the case of G being an infinite group. Furthermore, some results of morhpic a can be obtained.

摘要： 论文探讨从集合与双射、结构与态射、范畴与函子到λ演算与相等映射的共同思想与规律.

摘要： 本文研究了范畴￡中具有泛分解态射f=pgq关于对称态射β,γ的加权Moore-Penrose逆,并给出了其存在的充要条件及其表达式.

摘要： 该文给出半群的Ｌ－ｆｕｚｚｙ子半群的等价刻划，证明了半群的Ｌ－ｆｕｚｚｙ子半群族构成一个完备格。引入了Ｌ－ｆｕｚｚｙ子半群范畴的概念，并对其态射的特征进行了研究，给出了等价结果。该结果说明所引入态射概念即Ｌ－ｆｕｚｚｙ子半群同态概念的合理性。

摘要： 本发明公开了一种出射激光偏振态可调的腔耦合型DFB激光器，该激光器包括光刻胶光栅、有机半导体材料涂覆层；所述光刻胶光栅是由相同周期的两套夹角为θ的光栅组成；所述光刻胶光栅周期为335nm，所述有机半导体材料为F8BT，是涂覆在光栅层表面；当外界光泵浦时，这种出射激光偏振态可调的腔耦合型DFB激光器上的有机半导体F8BT吸收泵浦光能量，发射出的荧光，在光刻胶光栅作用下实现增益放大辐射，获得DFB激光输出，但由于不同方向的腔之间的耦合作用使两光栅出射激光的偏振矢量方向发生改变，影响了出射激光偏振特性和阈值特性，最终得到角向偏振出射光。

摘要： 本发明公开了一种用于引射器的喷管、引射单元及空气引射器，喷管呈喇叭状，包括大径端和小径端；在喷管的管壁中，沿喷管的周向设有环形气流驻室，环形气流驻室的朝向小径端的一侧设有开口，开口延伸至小径端的端面上；在喷管的大径端，沿喷管的周向设有多个进气口，每个进气口通过一个设置于喷管管壁中的进气通道连接于环形气流驻室。本发明能够提高引射气流与被引射气流的接触面积，减少压力损失，提高混合效率及增压比。

摘要： 本发明描述了一种射芯机(1)，所述射芯机用于通过将芯砂混合物(21)喷射到与所述射芯机(1)相关联的芯盒(18)中的至少一个空腔(19)中的过程来生产芯。所述射芯机(1)包括：处于可调整的初始机器压力(P0)的压缩空气源(10)，所述可调整的初始机器压力(P0)是所述过程的一个可调整的过程条件；以及喷射头(13)，所述喷射头通过包含有电子控制的喷射阀(11)的至少一个管道(12)而流体地耦合到所述压缩空气源(10)，所述喷射头(13)被配置成容纳一定量的所述芯砂混合物(21)，从而产生所述喷射头(13)的一定的填充度，所述填充度是所述过程的一个可调整的过程条件；计算装置(50、60)，所述计算装置与所述射芯机(1)相关联，所述计算装置(50、60)被配置成执行所述过程的模拟，所述模拟使用所述过程的模型，所述计算装置(50、60)被配置成被告知若干过程条件，包括所述可调整的过程条件。

摘要： 本发明公开了一种出射激光偏振态可调的腔耦合型DFB激光器，该激光器包括光刻胶光栅、有机半导体材料涂覆层；所述光刻胶光栅是由相同周期的两套夹角为θ的光栅组成；所述光刻胶光栅周期为335nm，所述有机半导体材料为F8BT，是涂覆在光栅层表面；当外界光泵浦时，这种出射激光偏振态可调的腔耦合型DFB激光器上的有机半导体F8BT吸收泵浦光能量，发射出的荧光，在光刻胶光栅作用下实现增益放大辐射，获得DFB激光输出，但由于不同方向的腔之间的耦合作用使两光栅出射激光的偏振矢量方向发生改变，影响了出射激光偏振特性和阈值特性，最终得到角向偏振出射光。

摘要： 本发明涉及硬态切削加工技术领域，具体涉及一种氮气流射硬态切削加工装置，采用超硬刀具对淬硬工件进行切削加工，并在加工过程中将从制氮机从空气中分离出的常温氮气由氮气控制器经高压氮气喷射头高速喷射到淬硬工件加工表面，一方面通过气体介质起到强气清洗、润滑、适度冷却作用，另一方面利用氮气来隔离保护工件表面不被氧化，促进加工表面与氮气进行摩擦化学反应，使工件表面产生有利于增强表面质量的富氮层，是一种无需切削液的节水、节材、节能的“以车代粗磨”加工淬硬工件的绿色加工新方法。

摘要： 提供了一种用于监控工件的射束处理的装置和方法。该装置包括：至少一个照射装置(12)，所述至少一个照射装置用于在第一时间间隔期间照射工件的处理区域；检测装置(15)，该检测装置用于检测从处理区域发出的电磁辐射；以及处理装置(19)，该处理装置用于对在第一时间间隔内和第二时间间隔内检测到的电磁辐射进行单独的处理。此外，提供了一种用于工件的激光射束处理的装置和方法。

摘要： 本发明公开了一种用于引射器的喷管、引射单元及空气引射器，喷管呈喇叭状，包括大径端和小径端；在喷管的管壁中，沿喷管的周向设有环形气流驻室，环形气流驻室的朝向小径端的一侧设有开口，开口延伸至小径端的端面上；在喷管的大径端，沿喷管的周向设有多个进气口，每个进气口通过一个设置于喷管管壁中的进气通道连接于环形气流驻室。本发明能够提高引射气流与被引射气流的接触面积，减少压力损失，提高混合效率及增压比。

摘要： 本实用新型属铸造制芯技术领域，为解决制备砂芯过程中，挡砂杆容易位移，变形导致射嘴漏啥的问题，提供一种干态覆膜砂射嘴防漏砂结构。包括上芯盒、下芯盒，上芯盒与下芯盒对合，上芯盒与下芯盒间设模腔，上芯盒上部设射砂板，射砂板上设挡砂杆定位装置，穿过上芯盒设射嘴，射嘴与模腔连通，射嘴内设挡砂杆，挡砂杆下端为挡砂头，挡砂头下端面为挡砂面，挡砂面位于射嘴的射口上方，挡砂杆上端连挡砂杆定位装置，挡砂杆下部挡砂头上部设定位块。定位块结构通过射嘴的内壁对挡砂杆进行限位,保证挡砂杆始终正对射嘴射口中心，控制了挡砂杆的挡砂面与射嘴内壁间的间隙尺寸，提高了射嘴内部结构稳定，避免漏砂现象发生。

摘要： 目前铸造行业使用的热芯盒制芯机只能用湿态砂(呋喃树脂砂)，而不能用干态砂(酚醛树脂砂制芯)。为扩大热芯盒制芯机的使用范围，设计了一种干、湿态芯砂两用射砂装置。该装置由射筒、射头和射嘴组成；射筒由内筒和外筒构成，射筒的下端设有法兰盘；用干态砂制芯时，射头内安有分流板，射嘴上安有阻流盖。此装置制作简单、成本低、使用寿命长、制芯质量高，适于目前铸造行业的各种热芯盒制芯机，使原有制芯机实现两种功能。

摘要： 本实用新型实施例公开了一种中空回射镜基座、中空回射镜和中空回射镜加工装置，中空回射镜基座包括三个互相垂直的平面，每个平面开有通孔，所述三个互相垂直的平面相交处设有螺纹孔。本实用新型提供中空回射镜基座制作工艺简单，可以用于快速配合镜片制成中空回射镜，大大缩短了中空回射镜的制作流程，更方便快捷。