水土保持监测系统信息平台实现方法(I)——信息平台结构设计与实现

文章以密云水库上游水土保持监测系统工程为背景,说明了监测系统信息平台的设计过程和实现方式。信息平台采用数据库技术,基于Oracle和ArcSDE构建了三层服务结构的数据库体系;采用数据库、参数库与模型库分开管理的方式,实现了海量多元数据的集成存储与管理。数据库中数据类型包括矢量、栅格、影像等空间数据及多媒体、文本、数值等非空间数据。其中重点就数据库逻辑结构、数据物理存储和数据组织管理方案,以及数据库物理结构设计等内容进行了说明,同时也说明了信息平台在实际业务中的应用。     

电子政务软件可靠性评测方法初探

电子政务已经成为政府工作自动化和智能化的重要手段。近年来,中国电子政务软件市场获得了前所未有的发展机遇。随着电子政务软件的飞速发展,软件可靠性成为了建设电子政务的重要指标。软件可靠性测试是保证软件可靠性的有效方法。目前,国内对于电子政务的可靠性研究才刚刚起步,其可靠性测试一般都交给第三方机构。分析当前电子政务软件的可靠性测试特点,基于Musa和Nelson两种可靠性模型提出了一种电子政务软件的可靠性评测方法,从可靠性的评估测试和验证测试两方面具体分析阐述了方法的流程,并使用工具实现。最后用具体案例对方法进行了分析说明。     

基于符号化执行的Fuzzing测试方法

设计并实现一种基于符号化执行的Fuzzing测试方法。通过代码插装,在程序执行过程中收集路径约束条件,依据一定的路径遍历算法生成新路径约束条件并进行求解,构造可以引导程序向新路径执行的输入测试数据。提出一种改进的污点分析机制,对路径约束条件进行简化,提高了代码覆盖率和漏洞检测的效率。     

通用科目网络在线训练与考试系统的设计与实现

随着网络技术的发展,在线训练与考试已成为各行业、各机构人才培养与评价的重要途径.通过分析在线训练与考试任务的功能需求,设计在线训练与考试系统采用B/S架构,结合.NET开发技术和SQL Server数据库.系统功能涵盖用户授权与登录管理、试题库管理、组卷管理、考生管理、考场管理、阅卷管理、成绩管理等.作为系统设计的重点,组卷管理采用遗传算法实现作为组卷策略之一;数据库安全设计采用动态密钥分配方式确保题库认证安全,采用XML文档对称加密方式防止试题失控.     

基于STM32的智能水肥一体化控制系统的设计

为达到灌溉系统中水资源与肥液的最高利用率,设计了一种水肥一体化自动控制控系统,可实现灌溉与施肥的一体化自动控制。基于STM32微控制器,设计了核心控制器,集灌溉算法和施肥算法于一体;同时设计了DO、AI接口,实现对外设的控制与肥液参数的采集;增加SD存储卡,实现对灌区历史数据、概貌历史数据的存储;增加迪文工业串口屏人机交互部分,实现系统数据的显示、设置参数的输入。实验结果表明,基于定时策略与周时钟策略的灌溉控制算法实现了对灌区精确、稳定的灌溉控制,基于增量式PID的施肥控制算法实现了对肥液EC值的精确、快速控制。     

UML状态图在回归测试中的应用

基于UML状态图的测试是一种系统测试技术,也是基于需求的回归测试方法的扩展。该文通过依赖性分析,生成基于依赖性分析的UML状态图和依赖图,将修改前和修改后的UML状态图进行比较,为回归测试中待测试的程序的理解、发现和修改错误提供一种方法,并运用SATM实例讨论该技术在回归测试中的应用。     

一种基于图像的水位自动测量新方法

河流的水位是非常重要的水文数据。提出了一种新的基于图像的水位自动测量算法,能够精确的检测和定位出水位线。该算法合理运用了形状校正、边缘检测、轮廓跟踪与分析、数字形态学、图像投影等图像处理技术,具有抗噪、抗光照不均、稳定可靠,实时性强、实现简单等优点。该算法实现的水位自动检测系统已经在工程上应用,长期实践表明它是稳定可靠的。     

水文井孔抽水试验微机多功能监测系统

介绍了微机多功能监测系统的主要功能和技术参数,系统的组成,参数检测原理及试验应用情况。     

Optimal decision fusion given sensor rules

When all the rules of sensor decision are known,the optimal distributed decision fusion,which relies only on the joint conditional probability densities, can be derived for very general decision systems. They include those systems with interdependent sensor observations and any network structure. It is also valid for m-ary Bayesian decision problems and binary problems under the Neyman-Pearson criterion. Local decision rules of a sensor withfrom other sensors that are optimal for the sensor itself are also presented, which take the form of a generalized likelihood ratio test. Numerical examples are given to reveal some interesting phenomem that communication between sensors can improve performance of a senor decision,but cannot guarantee to improve the global fusion performance when sensor rules were given before fusing.     

基于数字调节方法的MEMS陀螺零位补偿技术研究

针对环境温度影响导致MEMS陀螺零位输出变化较大的问题,设计了一种基于数字调节方法的零位补偿电路并提出了一种陀螺零位漂移特性的测试方法。该补偿电路依据陀螺内部温度传感器输出,实时调节补偿电路输出,实现零位补偿。采用全温(-40℃～+60℃)测试方法,研究得到陀螺零位漂移模型,再经过研究零漂值与补偿电路值之间的对应关系,求解出温度与补偿电路之间的数学模型。实验表明,采用该方法使陀螺零位在全温范围内稳定精度提高了一个数量级,证明了提出方法的可行性和有效性。