修定初定震源参数的非线性方法的论述

计算机进行地震定位获得震源参数的快速性和精确性是地震定位的关键性指标,震源参数的最佳值往往都是通过反复修定初定震源参数而获得.非线性算法在函数优化和搜索方面表现出快速的收敛速度和高精度的目标值的优势.基于非线性算法这两点的优势,研究了遗传算法、模拟退火算法和粒子群算法等3种非线性算法在修定初定震源参数中的理论应用,以期望进一步提高获得震源参数的收敛速度和精度.     

VC~( )6.0与Fortran PowerStation 4.0混合语言编程

本文针对ｖｃ＋＋６．０与Ｆｏｒｔｒａｎ ＰｏｗｅｒＳｔａｔｉｏｎ ４．０的混合语言编程问题,实现了Ｆｏｒｔｒａｎ代码在ｖｃ６环境下的重用,并给出了用Ｆｏｒｔｒａｎ和Ｃ语言编写的程序实例。     

面向环境监测的无线传感器网络节点设计

环境监测是无线传感器网络的一个重要应用领域。本文介绍了一种基于JN5121-Z01-M01无线微处理器模块的无线传感器网络终端节点的软硬件设计方案。实验证明：节点工作状况良好,整个网络具有较高的可靠性,可以实现对环境振动信息实时、准确的监测;节点硬件具有很强的通用性,只需要适当的扩展就可以实现对温度、光强等其他信息的采集。     

基于PKI的电子公文传输系统认证与授权

本文在介绍电子公文传输系统架构的基础上,分析了当前公文传输系统中存在的身份认证和授权问题,基于PKI、UKey双因子认证、数字签名、访问控制等技术和LDAP服务,实现了电子公文传输系统在网络应用中更为安全可靠的用户身份认证和授权访问控制.     

关系代数派生算子语义表达式间等价性证明

关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。从派生算子（主要是除算子）语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式。所使用的变换方法能为关系代数表达式的正确性证明打下基础。     

RTL电路的时序优化设计

时序设计是数字系统性能的关键,在高层设计方法中对时序的控制进一步抽象,我们在介绍电路时钟和时序的基础上分析了RTL电路的时序模型,该模型讨论了RTL电路的时延路径、建立保持时间以及瞠工作的条件,并据此提出了相应的设计策略,通过实践证明这种设计方法是行之有效的。     

电子月票

提出了一种电子月票系统。用户从银行提取一笔款项后,可在有效次数范围内购买网上的服务,其付费方式不是以购买的信息量的多少进行,而是以购买的次数进行。这样既方便了用户,又方便了网上的服务提供者。     

基于灰色关联度的供应商评价体系研究*

将层次分析法与灰色关联度相结合,提出了一种新的供应商评价方法。针对供应商评价指标间关联性比较强的特点,采用层次分析法确定评价指标权值,以灰色关联度作为评价标准,对复杂多目标的供应商对象进行综合评价,其结果具有良好的性质且方法简单、利于实现。     

干旱地区施工弃渣生态修复工程探究

在西部干旱地区工程项目建设过程中,大规模的开挖、修路等施工会产生大量的弃渣,不仅加剧水土流失,而且造成一系列的生态问题。通过对弃渣状况进行研究,阐述生态修复的工程措施,为干旱地区工程建设项目的弃渣治理提供一定的借鉴意义。     

青河县阿苇灌区北干渠设计研究

阿苇灌区现状为戈壁荒漠,无水利工程。根据拟定的阿苇灌区范围,灌区位于山前倾斜平原区,多数渠段的渠基土沿渠线地层结构较单一,为含碎石细粒土砾,具有中等透水性。其中桩号7+450~9+950、、10+200~11+000段有不同程度基岩出露,岩性为凝灰岩。受渠道起点隧洞高程影响,部分渠段为深挖方渠道。在以上因素的影响下,选择合理可行的渠线,对渠道设计纵坡、衬砌断面形式及衬砌材料进行多方案设计,技术、经济效益显著,其结果可为同类水利工程提供工程实践经验。