一种不确定时段的扩展时段对序逻辑：时间Petri网模型表示和线性推理

针对点－时段时序逻辑的不足,提出了一种新的时段时序逻辑－－扩展时段时序逻辑,对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入,增强了扩展时段时序逻辑的描述直观性及分析能力,为进行线性推理提供了有利的工具。同时还提出了几种变迁间的实施推理规则。运用这些规则可以简化复杂时序关系的Petri网模型,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系,因而是一种行这有效的方法。     

浅埋暗挖车站大跨区间及重叠隧道施工技术

对重庆轨道交通六号线光电园车站大跨区间及重叠段隧道施工组织及施工方法进行了总结.在只利用2个工作通道的前提下,通过合理组织及信息化施工,安全、优质、高效地进行施工.对大跨隧道各分部工况进行了安伞性分析及各种参数的安全性评价.提出重叠段隧道先上(上部隧道上半断面)后下(下部隧道)开挖初支,后施作下部二衬,再施作上部隧道下半断面开挖初支及上部隧道二衬的施工方法,减小了爆破振动对结构的影响,确保了重叠隧道防水、二衬的整体性及耐久性.     

市（地）级土地利用规划修编中的土地利用分区及空间管制研究——以安徽省蚌埠市为例

土地利用分区是土地利用区域差异性的客观反映,是土地利用规划的关键内容,也是实行土地用途管制的重要手段,对于科学制定土地利用方向,合理确定土地利用结构,提高土地利用集约化程度,以及促进区域协调发展具有重要意义。回顾了土地利用分区的概念、内涵及尺度,详细介绍了土地利用分区的3种类型,然后以安徽省蚌埠市为例,进行了市（地）级土地利用总体规划修编中的土地利用分区研究,在研究过程中,采用了土地利用综合分区和土地利用功能分区两种分区模式。     

灰色预测在隧道工程沉降变形分析中的应用

对广州市生物岛至大学城隧道工程沉降变形监测的非等间隔观测序列进行数据处理,变成等间隔的数据序列,运用GM(1,1)模型进行变形分析与预测。并通过实例计算分析,证明预测值和实测值非常接近,表明己经建立的模型有较强可靠性和较高精度,可在类似条件下的隧道工程的信息化施工过程中应用。     

多极子阵列声波测井资料处理及应用

介绍了胜利石油管理局测井公司新研制成功的多极子阵列声波测井仪器采集的数据结构类型.研究了多极子阵列声波测井资料的处理方法.用矩阵、相位等处理方法得到地层纵波、横波、斯通利波时差,利用偶极资料进行快慢横波分离,有效计算地层横波速度各向异性.胜利油田3口井的实际应用表明多极子阵列声波测井资料与其他测井资料相结合,可进行油藏评价,如井眼稳定性分析、地层孔隙压力预测、压裂施工压力设计及缝高检测等.实际钻井资料证明多极子阵列声波测井资料在油田勘探、开发中能够发挥重要作用.     

一种具有不同功分比的同相平衡至单端式功分器北大核心CSCD

提出了一种具有同相输出和不同功分比的平衡至单端式功分器。该功分器由±90°和180°传输线以及一个电阻构成,能够实现对差模信号的不同功率分配。其电路参数通过S参数的约束条件进行求解。为了减少尺寸并增大最大功分比至11.6∶1,提出了两种耦合结构来实现-90°传输线结构。最终设计了功分比为1∶1和7∶1的两种原型,最小插入损耗为0.3~0.4 dB,并与现有设计进行了比较。实测工作带宽(S_(ddAA)<-20 dB)分别为14.3%和11.1%。在工作频带内,隔离和共模抑制均高于20 dB,两个输出端口之间的相位差为0°±5°。因此,所提出的具有不同功分比的设计具有尺寸小、共模抑制、易于同时与平衡和单端电路集成等优点。     

用于多点测试的全光纤速度干涉仪研究

基于时分复用（TDM）原理，提出了一种新型的用于多点速度测试的全光纤干涉系统，通过同一个冲击靶面的测速实验验证方案的可行性。该系统通过在原有全光纤速度干涉仪（AFVI）的探测端口引入光纤耦合器和延迟线，由于延时的存在，被测点干涉信号之间在时间上存在相同的延时，利用时分复用原理，能够实现以往需要多套速度干涉仪才能实现的对测试靶面的多点测试功能。通过对同一个测试自由面上的两点进行测试，得到了具有一定时延的相似干涉条纹，而且延迟的时间与光纤延迟线对应。实验验证了系统设计的正确性。     

脉冲激光放大器双程放大特性的理论研究

本文从建立脉冲激光器双程放大输运方程出发,理论上研究了双程放大输出脉冲特性。导出了输入脉冲持续时间t_p小于双程放大间隔时间t_o条件下双程放大过程的瞬态解和能量增益系数公式。在相同输入脉冲能量下,双程放大能量增益系数随t_p的增加或t_o的减小而下降。双程放大同单程放大比较结果表明,在小信号脉冲输入下,双程放大接近于具有两倍增益介质长度的单程放大。而在强饱和时,则相当于具有相同增益介质长度的单程放大。     

4×10Gbit/sOTDM系统中10GHz帧时钟提取技术

本文介绍了利用非等幅原理进行帧时钟分量提取的原理;阐述了40Gbit/s光时分复用(OTDM)系统中利用电时钟提取技术实现10GHz帧时钟的理论模型和实验框图;分析了OTDM光信号参数和时钟提取单元参数对系统的影响,并给出了理论分析结果;分析了应用于实际中的时钟提取单元的实现过程和实验结果;并对理论结果和实验结果进行了分析和比较.     

高光谱图像技术检测枇杷叶片三萜酸含量及叶面分布

枇杷叶富含三萜酸类化合物,具有较高的药用价值。本研究首先建立枇杷叶高光谱信号与三萜酸含量的对应关系,然后利用高光谱图像包含每个像素点的光谱信号这一独特优势,检测枇杷叶片的三萜酸分布。通过联合区间偏最小二乘法(si PLS)建立三萜酸含量分析模型,结果表明,采用si PLS将全光谱均匀划分11个子区间,选择1、5、6、7联合,主因子数为4 h,建立的si PLS谱区筛选模型预测效果最佳,其交互验证均方根误差(RMSECV)和预测均方根误差(RMSEP)分别为3.392 mg/g和3.731 mg/g,校正集和预测集相关系数分别为0.8449和0.8223。根据si PLS模型计算叶片上所有像素点处的三萜酸含量,并通过伪彩色方法描述叶片中三萜酸含量的分布。研究结果表明,利用高光谱图像技术分析枇杷叶片三萜酸含量及叶面分布是可行的。