成渝中同轴1800增音系统干线均衡方式的探讨

大容量同轴电缆载波系统的干线均衡一般采用分段均衡方式,这种方式将导致各种电平脱节,而且沿线路逐段积累,文中提出的改进均衡方法能够避免这些缺点,并为不停机进行干线均衡创造了条件.最后对不停机均衡方法作了简要介绍.     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

ASP的Web数据库访问技术及其应用

介绍了ASP访问Web数据库的基本原理及其通过ADO对象访问数据库的方法，并通过笔者完成的一个实例进行了说明。     

通信站阀控式铅酸免维护蓄电池的维护

直流系统是电力通信站不可或缺的,它直接向SDH光传输设备、数字微波、程控交换机、PCM接入设备提供电力,系统中的蓄电池是备用电源。20世纪80年代以前,通信站使用的蓄电池必须定期进行加酸、加水和测量溶液比重的工作,维护工作量较大。90年代初,阀控式铅酸免维护蓄电池研制成功     

基于物联网的蔬菜流通追溯系统设计与应用

为了解决蔬菜流通来源追溯难和去向查证难等问题,提升蔬菜在流通领域的食品质量安全保障水平,根据商务部《全国肉类蔬菜流通追溯系统建设规范(试行)》要求,给出了将终端采集、无线射频识别和无线通信技术应用到蔬菜流通追溯系统中的设计方案,同时给出了整体系统结构、硬件设计和软件设计方法。通过该系统可实现蔬菜在流通领域的追溯数据自动采集、自动传送,从而满足了通过追溯码进行反向溯源与正向批次码跟踪的需要。     

基于全文索引与余弦公式医学文本相似性分析

医学文本相似性问题是医学文本挖掘中的重要内容,如何能够快速计算出大数据量下的医学文本的相似性情况是医学文本相似性计算的重点.针对基于传统余弦公式医学文本相似性分析算法在性能上的缺陷,提出了一种基于全文索引技术与余弦公式医学文本相似性分析算法,对医学文本相似性进行分析.采用全文索引技术对医学文本数据相关关键词进行索引,并根据若干关键词在索引中检索出部分数据,从而减少计算复杂度,提高效率.实验表明,该方法比基于传统余弦公式医学文本相似性分析算法具有更优的性能.     

循环水加热汽化器的设计分析

介绍一种利用循环热水加热低温液体的汽化器设计理念.阐述该设备的设计可行性,设计基本思路及理论计算模式,并探讨在实际运行中需要控制的运行参数和注意的问题.     

SID-2H准同期装置的原理以及在水电站上的应用探讨

以SID-2H分体式多对象、发电机、线路复用微机同期控制器(以下均称控制器)为例介绍了水轮发电机组自动准同期的控制方法,它采用频差控制和相角控制的复合控制方案,可使机组与电网的频差和相差信号在同期点附近同期摆动时,提供精确的数学模型确保装置能绝不遗漏地捕捉到第一次出现的并网时机,并精确地在相角差为零度时完成无冲击并网,把并网速度及精度提高到极值.同时就水电站中控制器的配置及控制器与快切装置、自动重合闸的合理配合提出一些个人观点.     

不同立地沙柳生长特性的研究

[目的]通过研究不同立地类型沙柳生长特性与地上生物量,指出鄂尔多斯鄂托克前旗东南部沙柳最适合的生存立地类型.[方法]对鄂尔多斯市鄂前旗昂素镇不同立地类型沙柳生长特征--枝高、基径、冠幅进行实测,并分析各立地类型沙柳生长特性、灌丛枝生物量、叶生物量和单枝总生物量的差异以及各项指标间的关系.[结果]沙柳枝高、基径、冠幅及平均枝生物量的变化趋势均为固定沙地>半固定沙地背风坡>半固定沙地丘间低地>半固定沙地迎风坡;沙柳单枝平均叶生物量和单枝总生物量排序为固定沙地>半固定沙地丘问地>半固定沙地背风坡>半固定沙地迎风坡;沙柳单枝枝生物量在单枝总生物量中所占比例大小为半固定沙地背风坡>半固定[分割符]沙地丘问低地>固定沙地>半固定沙地迎风坡,而单枝叶生物量占单枝总生物量的比例大小顺序正好相反;沙柳生长因子间的关系和生长因子与生物量的关系都可用一元线性回归模型Y=a+bX表示.[结论]研究区固定沙地是最理想的沙柳培育立地类型,半固定沙地背风坡和丘间低地也比较适合沙柳生长,而半固定沙地迎风坡不宜推广沙柳.