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

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

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

高龙金矿区高分辨率遥感线性构造定量分析

采用QuickBrid-2高分辨率卫星遥感数据，通过分形几何学的盒计维数法，定量研究广西高龙金矿区遥感线性构造。结果显示，在2.000～0．125km标度范围内高龙金矿区的分维值D=1．660，回归直线的相关系数R=0.999，鸡公岩、金龙山和龙爱矿段均落在分维高值区。在子区分维的5次和6次趋势图上，分维的高值带与该矿区南部深大断裂相吻合。可以尝试将高分辨率遥感线性构造作为成矿区预测和深部构造解译的重要参数。     

四阶龙格-库塔法在捷联惯导系统姿态解算中的应用

捷联式惯导系统相对于平台式惯导系统姿态解算要复杂得多,捷联系统通过提取陀螺仪和加速度计的测量值实时进行姿态矩阵更新,从而获得载体的姿态信息。介绍了利用四阶龙格—库塔法解捷联姿态微分方程的方法,并以典型圆锥运动作为输入进行仿真分析,适当地改变圆锥运动参数,检验该姿态算法的准确性及精度.仿真结果表明,在圆锥运动环境下四阶龙格—库塔法的姿态解算的精度随着计算周期τ的减小而增大,随着锥运动参数α和ω的增大而减小。     

关于优化改造采区系统的实践

一、地质说明 西一区地质构造简单，为单斜构造。倾角10-17度，其走向为304度，倾向为124度，断层、裂隙构造不发育。 本工作面所采煤层为十一层煤，煤质较硬、以暗煤为主，为沥青光泽，煤层较一干燥，为单一煤层，具有条带结构。煤层厚度在1．1米-1．55米之间，倾角在10-15度之间，其顶板为砂岩，底板为页岩，均为伤顶和伪底，局部顶底板较破碎，煤层涌水量一般在12立方米每小时，最大涌水量在25立方米每小时。     

基于提升格式的双正交小波构造

介绍了提升格式的基本原理，采用插值细分方法设计了提升格式的预测算子，根据信号变换前后消失矩保持不变的要求设计更新算子，构造了一组不同消失矩的双正交小波的尺度函数和等消失矩的小波函数。通过设计不同的预测算子和更新算子，可以得到具有不同的正则性、光滑性、消失矩等特性的小波函数，这为根据被处理信号的特征灵活地构造相应的小波函数及提高信号处理的质量和效率提供了一种简单实用的方法。     

柴达木盆地东部"走廊域"中新生代构造特征及构造演化

通过横穿柴达木盆地东部的“走廊域”剖面地表地质、航磁、重力、大地电磁测深和地震资料的综合分析，认为在东昆仑构造带与南祁连构造带之间，包括巴颜喀拉地块北缘，柴达木地块和祁连地块南缘等3个一级构造单元，柴达木地块内则包括了昆中构造带、昆北构造带和柴达木盆地3个二级构造单元。受东昆仑构造带和南祁连构造带相向挤压作用，柴达木盆地东部持续沉降，但由于具有稳定的花岗质基底，盆地坳陷幅度较小，且断裂及褶皱构造不发育。由此造就了柴达木盆地东部中新生代地层厚度小，烃源岩不发育，构造圈闭缺乏，除第四系天然气外，中生界、古近系和新近系油气资源前景受到极大限制。     

格值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)ψ与ψ是分离的．