具有完整性的大型柔性空间结构分散自适应控制

研究了大型柔性空间结构主动振动分散自适应控制，将离散化系统自由度ｎ大于执行机构／传感器组ｍ的情形作为ｎ＝ｍ的控制完整性来考虑，即ｎ〉ｍ时的控制问题可认为是ｎ＝ｍ个部件失效时的控制问题。     

项目法管理在宣东二矿主井施工中的应用

在下花园煤矿宣东二矿主井工程施工过程中, 实行项目法管理, 取得了宣东二矿主井井筒冻结段月均成井６６ ．９ ｍ 、基岩段月均成井１０８ ．９ ｍ 、全井筒月均成井１０３ ．６ ｍ 的好成绩, 尤其是１９９７ 年９ ～１２ 月分别创基岩段月成井９６ ．０ ｍ 、１４１ ．０ ｍ 、１３３ ．１ ｍ 、１１０ ．０ ｍ ,４ 个月平均月成井１２０ ．０ ｍ , 两次打破中国煤炭建设总公司第一建设公司立井基岩段月成井１１７ ．８ ｍ 的记录, 工程质量优良．     

两类联图的全着色

一个图Ｇ＝（Ｖ，Ｅ）的一个ｋ－全着色是从Ｖ∪Ｅ到Ｉｋ＝｛１，２…ｋ｝上的一个映射ψ；如果对Ｖ∪Ｅ中任意两个相邻或相关联的元素ｅ１，ｅ２，都有ψ（ｅ１）≠ψ（ｅ２）时，则称ψ为Ｇ的一个正规全着色。图Ｇ的全色数定义为ｘＴ（Ｇ）＝ｍｉｎ｛ｋ｜存在Ｇ的一个正规ｋ－全着色｝。令Ｃｎ为ｎ个点的图，Ｋ↑－ｍ为ｍ个点的独立集，Δ为图的最大度。本文证明了在ｍ≠ｎ时联图Ｃｍ＋Ｃｎ的全色数为Δ＋１；在ｍ＋２〈ｎ或ｍ〉ｎ     

n.C2p的优美性

→Ｃｍ是一个有向ｍ回路，ｎ个→Ｃｍ恰有一个公共点组成的图，记作ｎ．→Ｃｍ。证明了ｎ．→Ｃ２ｐ是优美图，给出了ｎ．→Ｃｍ是优美图的必要条件，并猜想：当ｎ＝０（ｍｏｄ ２）时，ｎ．→Ｃ２ｐ＋１是优美图。 ?     

非齐次超双曲型方程的中量定量的逆定理

讨论了２ｍ个变元非齐次超双曲型方程的中量性质。利用基本公式及适当的不等式估计，得到了中量定理的逆定理。证明了函数ｕ（ｘ，ｙ）在＾ｍΣｉ＝１（ｘｉ－ｘｉ＾０）＾２和＾ｍΣｉ＝１（ｙｉ－ｙｉ＾０）＾３＝ｓ＾２，上的中量满足某一恒等式时，ｕ（ｘ，ｙ）是２ｍ个变元非齐次超双曲型方程的解。     

关于C4n,2m,2n的K——优美性

把由ｍ 个ｎ 回路Ｃｎ 恰有ｐ 条相邻的公共边构成的图记为Ｃｎ ,ｍ ,ｐ ,证明了图Ｃ４ｎ ,２ ｍ ,２ｎ 是Ｋ—优美图,从而推广了文献［１ ,２ ,３］ 中的结果。     

一类协调图的必要条件

本文研究由ｍ个完全图Ｋｎ恰有一个公共Ｋｒ组成的图Ｂ（ｎ,ｒ,ｍ）的协调性,给出了图Ｂ（ｎ．ｒ,ｍ）是协调图的一个必要条件,并证明了对许多整数ｎ,Ｂ（ｎ,２,２）均不是协调图．     

L-Fuzzy拓扑中关于特征的两个公开问题

目的在于解决Ｌ－Ｆｕｚｚｙ拓扑中的如下两个公开问题：（１）Ｌ－Ｆｕｚｚｙ拓扑空间的特征小于、等于ｍ是否被连续的开序同态保持；（２）如果乘积空间的特征小于、等于ｍ，那么是否每个因子空间的特征也小于、等于ｍ．     

一般双线性比例—微分变结构系统的控制及其稳定性

研究了一般多输入双线性系统的比例－微分变结构控制，引入排序截尾算子Ωｒｒ使控制与状态变量中前ｍ个绝对值较大的分量及其导数成比例，实现用ｍ个控制量对ｎ个被控量的控制。得出了这类系统的稳定性条件。给出了这种控制策略的结构图。     

L－Fuzzy拓扑中关于特征的两个公开问题

目的在于解决Ｌ－Ｆｕｚｚｙ拓扑中的如下两个公开问题：（１）Ｌ－Ｆｕｚｚｙ拓扑空间的特征小于、等于ｍ是否被连续的开序同态保持；（２）如果乘积空间的特征小于、等于ｍ，那么是否每个因子空间的特征也小于、等于ｍ．     

关于线性算子方程近似解法的一点注记

讨论线性算子方程Tx=f的两种近似方程何时有解及解的误差估计问题。并给出一种迭代程序,由此可以得到原方程任意精确的解     

劲性支撑穹顶结构找形分析

针对索垂度在施工成形过程中不可忽略的问题,采用悬链线单元模拟索,依据胡克定律、小应变假设和变形协调方程等条件,推导了索原长的计算公式,给出了一种已知任意一个正值求解索原长度的二分法。在正交索网结构中,采用该二分法求得的索原长与已知条件给出的索原长进行对比,其误差均不超过0.16%,且不同初始值计算得到的索原长差别不大。针对劲性支撑穹顶结构的找形分析问题,给出了一种FEDR法,即有限元动力松弛法,以期提高动力松弛法的计算精度和可靠性。给出了找形分析的求解策略,并通过FORTRAN语言和ANSYS的APDL语言编制找形分析程序。对正交索网和跨度为71.2m设两道环杆的肋环型劲性支撑穹顶结构进行找形分析,ANSYS有限元分析与FORTRAN语言找形程序求得的杆件内力进行对比,其误差均不超过0.42%。     

关于含参变量积分方程的求解问题

对含参变量积分方程的求解问题进行了讨论,给出了将这类方程化为微分方程的理论依据,指出了求解此类问题的一般方法,并明确提出在原方程中寻找初始条件的问题,这对于学生进一步理解微分与积分的关系,求解此类方程很有帮助.     

解析UCP600第十七条关于正本单据的规定——从法国工商信贷银行诉中国招商银行跟单信用证争议案入手

由于UCP500对正本单据的规定非常含糊,导致银行间对于“何为正本单据”争论频繁。UCP600意识到此问题,大幅度修改了关于正本单据的规定,并且对界定正本单据规定了明确的标准。从法国工商信贷银行诉招商银行信用证争议案入手,分析法官对跟单信用证统一惯例的理解,解析UCP600第十七条关于正本单据的准确含义。     

Application of Coherence Inversion Method to Shallow Reflection

Because of the disturbance of some regular waves, the deformity of reflective wave occurs,making the coherence inversion method unreliable. By using the event time from multi-fold reflective stack the range of model parameters obtained by coherence inversion is limited in coherence inversion.Then by adjusting the initial values of the model parameters to make the waveform from the coherence inversion method be consistent with that from the original reflective gathers, the result of the inversion becomes more reliable. The application of this method in processing the reflective gathers in Songzikou by the Jingjiang River of Hubei demonstrates the efficiency of the method.     

改进GM(1,1)模型对地铁开挖沉降的预测

为了提高GM(1,1)模型在地铁施工过程中地表沉降量预测的精度,预防较大沉降或其他危险出现,提出了改进GM(1,1)模型预测方法.通过对比不同原始序列个数建立起来的预测值并确定最佳原始序列个数后,对GM (1,1)模型进行优化,并对构造背景值进行优化.通过缓冲算子对原始序列进行优化,之后再构造背景值进行优化.结果表明,背景值对模型的预测影响较小,缓冲算子在原始序列变化较大、变化不平顺时优化较好.     

快速曲线拟合的方法

针对某些情况下进行曲线拟合时要求保留原样本点且对实时性的要求较高,本文介绍了几种通过插值的方法快速拟合曲线的方法,并对这几种算法进行了有效性和实时性的对比.     

一种基于小波的脆弱水印算法

针对数字产品的安全问题,根据离散小波变换(DWT)多分辨率性质,结合人类视觉系统(HVS)特征,提出了一种基于小波的脆弱水印算法.检测器从接收到的水印图像中提取出水印信号,并与原始水印进行比较,从而证明宿主图像是否有篡改发生.实验结果证明,该算法具有防篡改和准确识别篡改区域的能力.     

论英汉翻译中的"直译"与"意译"现象

"直译"与"意译"两种翻译方法在实际应用时所表明的各自独特的特点,两种翻译方法之间的相互关系与差异;两种翻译方法所使用的语义场与语域;两种翻译方法所使用的不同的背景及常出现的误区以及现状.讨论了如何用这两种不同的翻译方法准确地传达篇章作者创作时的最初意图.     

试题库基于Word标签定义试题的策略

介绍了试题库建设过程中试题定义技术方面所取得的研究成果．基于word标签定义试题所建立的试题库,单个文档中可包含任意多道试题,且能轻易地被外部题库管理系统识别、分析和调用．