重写系统和的合流性

在实际应用中,常常使用多个重写系统。本文主要讨论重写系统和的合流性,并给出了一个重写系统和具有合流性的充分条件。     

基于Eclipse RCP平台开发GIS系统中的地图配置工具

自从Eclipse3.0解决了RCP（Rich client Program）问题,越来越多的开发者使用Eclipse RCP（以下简称RCP）平台开发桌面应用程序。RCP的出现使基于Java开发桌面程序的笨重局面得以改善,它带给用户良好的本地观感。本文首先简要介绍RCP的特点以及RCP在开发GIS系统中的应用,然后结合作者开发的GaeaMap desktop项目来浅析RCP开发桌面应用程序时的一些关键技术,最后提出建议。     

关于极限的几个定理

给出了极限的几个定理及其推论，可以解决或简化某类极限问题。推论2修正了数学通报11（1963）《关于极限的一个定理》。     

证据、证明与诉讼活动的关系

本用辩证唯物主义哲学的观点，解析了证据、证明和诉讼活动三之间的关系。章认为：证据属于客现的物质范畴，证明属于主观的意识范畴，两既有区别又有联系。证据和证明，只有在诉讼活动中才得以结合，实现主客观的统一，也才能实现揭露事实真相、准确结案的目的。     

深井巷道支护方法数值模拟及分析

随着煤炭工业的发展,矿井开采正经历着一个由浅到深、由简单到复杂的过程,深部矿井逐渐增多。影响巷道稳定性的因素也随着增加,深部巷道支护问题越来越引起人们的重视。本文以数值模拟研究为基础,通过RFPA软件分析了在不同条件下巷道支护的特点,得出了深部巷道支护的有效方法,提出了深井巷道矿压的控制应该着重考虑巷道的优化布置和改善巷道的支护形式,充分发挥以锚杆为主体的新型支护以及锚喷、锚索、锚网等联合支护形式。     

嵌套病例对照研究中的两步估计方法（英）

本文讨论嵌套病例对照研究中相对危险率的估计问题，引入了相对危险率的两步估计，并在一般嵌套病例对照抽样的假设下讨论了相对危险率的两步估计的相合性问题，最后给出了几个例子。     

有源结构声辐射自适应控制系统的一种新算法

提出了一种适用于有源结构声辐射自适应控制系统的新算法,它直接利用传感器拾取的干扰信号和误差信号实时地建立系统模型和误差通道模型,通过解Ｄｉｏｐｈａｎｔｉｎｅ方程得到自适应控制模型,仿真表明新算法较传统的Ｆｉｌｔｅ－ＸＬＭＳ等算法具有更好的收敛性。     

五种药剂对美洲斑潜蝇Liriomyza sativae的毒力测定

美洲斑潜蝇是近年来传入我国的一种检疫性害虫,给疏菜、花卉生产造成了很大损失。本文采用液浸法对豇豆上的美洲斑潜蝇室内子一代幼虫进行了毒力测定.结果表明,毒死蜱、杀虫双、氯氰菊酯、毒杀土、制潜灵对美洲斑潜蝇的LC_(50)分别为:272.02、254.46、109.16、85.76、32.42ppm。制潜灵的毒性最强、毒杀土、氯氰菊酯次之,毒死蜱、杀虫双较差。     

模糊灰关联模式识别方法及其应用

首先建立了灰关联分析的新的理论模型,然后将其与模糊集理论结合起来,提出了一种模糊灰关联模式识别方法．通过应用于场地土类别的评定,从而说明了本文方法的有效性     

Synthesis and Electrospray Ionization Mass Spectra of N-（1,3, 2-Dioxaphosphorinan-2-ylmethyl）thiophosphoramidates

N-（1,3,2-Dioxaphosphorinan-2-ylmethyl）thiophosphoramidates were synthesized and determined by NMR spectra and positive ion electrospray ionization mass spectrometry （ESI-MS） in conjunction with tandem mass spectrometry （MS/MS）. The fragmentation pathways were investigated. The results show that these characteristic ions in ESI mass spectra are useful in the structural determination of N-（1,3,2-dioxaphosphorinan-2-ylmethyl）- thiophosphoramidates.