依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

S关于f的交矩阵

设(U,p)是偏序为p的偏序集,U是格,f是定义在U上的正实函数,矩阵[S]f=(sij)n×n,sij=f((xi,xj)p),而(xi,xj)p是xi,xj在格U中的交,xi,xj∈S,1≤i,j≤n.ΨS,f是定义在S上的一个广义欧拉函数,这里主要是得到det[S]f与ΨS,f之间的一些关系。     

浅谈独立主格结构

独立主格结构简称独立结构(Absolute Construction)，没有主语和谓语，属于一种特殊的复合结构，所以在语法上不是句子，它由两部分组成，前半部分多用名词或代词表示逻辑主语，后半部分多用分词或不定式表示逻辑谓语，有时还有其他成分修饰，他是独立于句子之外，并通常在句子中起方式、时间、务件、原因等状语或状语从句作用主要用于书面语，是高中课本中的一个重点也是一个难点。     

格值Fuzzifying连续映射的若干性质

本文讨论了L—fuzzifying连续映射，L—fuzzifying基连续映射和L—fuzzifying子基连续映射的若干性质及等价刻划．     

Banach格上对偶C0-半群

给出Banach空间E上一个C0-半群{T(t)}t≥0的生成元A与其对偶半群{T^*(t)}t≥0的生成元A^#之间的关系，证明了A^#=A^*；讨论了E^⊙是Banach格E^*的子格条件和带的条件，证明了当T^*(t)保分离性时E^⊙是E^*的子格；当E^*的任意有界递减序列按范数收敛时E^⊙是E^*的带；当E^*有分解E^⊙ E^⊙^d时，对每个ψ∈E^⊙^d，T^*(t)ψ与ψ是分离的．     

Quantale中的理想

给出了Quantale中(左，右)理想的概念，讨论了Quantale中任意子集生成的(左，右)理想的具体结构，研究了Quantale中的理想与它的格意义下理想之间的关系，得到了当Q是可换Quantale时，Id(Q)中元是幂等的充要条件。     

一类钴基化合物的分子场理论分析

根据两格点分子场理论，在考虑重稀土与钴的磁矩偏离反平行倾角的基础上，分析了钴基化合物RCo5(R=Y，Pr，Nd，Gd，Tb，Dy)的磁化与温度的关系，采用数值拟合的方法得到了描述3种磁作用的分子场系数n(CoCo)，n(RCo)和n(RR)，计算出了Tc，结果表明，RCo5中的磁作用主要由钴3d电子问的交换所决定。     

完备Brouwer格上的T-型正则L-关系

利用完备的Brouwer格L上的无穷V-分配t-模T定义格L上的T-型正则L-关系，建立这些L-关系的基本性质，并给出T-型正则L-关系的最大T-型广义逆L-关系的两个计算公式．     

东大别超高压变质带构造研究进展

大别山造山带的形成和演化主要经过南北板块碰撞、碰撞后超高压变质岩折返和燕山早期穹隆构造形成3个构造阶段,其主体构造格架由碰撞后超高压变质岩折返过程中的伸展作用和燕山早期穹隆构造所形成.文中根据不同岩石单元在超高压变质岩折返和穹隆构造形成中的构造表现,以主期构造特征及其后构造演化的一致性为原则,将东大别造山带的变质岩系分为南大别岩片构造带、中大别穹隆构造带和北大别隆滑-逆冲构造带3个构造单元,系统论述了各构造单元构造变形的几何学和运动学特征,从造山带整体构造演化的角度厘定出3个阶段的5期变形,探讨了它们在大别山构造演化和超高压变质岩形成和折返中的动力学意义.     

关于半连续格范畴

构造了一类新的保持半连续格结构的映射，进而得到了意义更广泛的连续格格范畴。