自发地理信息研究综述*

为了解当前自发地理信息的发展现状、存在问题和发展前景,对自发地理信息展开了研究。首先,介绍了自发地理信息的概念及其研究背景。然后,归纳统计了目前相关的研究文献,分析了自发地理信息的研究现状及其研究中亟待解决的难题。接着,根据研究侧重点的不同,将当前的自发地理信息研究领域总结为数据获取、数据处理和数据应用三个方面,并分别探讨各方面的研究现状、研究成果以及不足。最后,结合大数据研究背景,展望了自发地理信息的未来研究方向。研究表明,自发地理信息已成为地理信息的一个重要发展方向,但其数据处理、应用的理论和方法仍有待完善。     

基于ARMA模型的工业电容退化状态研究方法

随着中国制造2025计划的推广,工业电源正处于高速发展期,大型铝电解电容的需求越来越大.电容的故障会令工业流水线中断,产生极大的损失,因此工业电容的寿命预测（RUL）具有重要意义.本文通过对铝电解电容充电状态EIS频谱分析,建立电容的状态的量化模型.根据电容状态量化数据,建立ARMA电容退化预测模型.最后通过美国航天航空局的等效串联电阻EIS频谱数据集进行验证.结果表明ARMA电容退化模型对铝电解电容的状态预测有很大的准确性.     

浙江省数字化航道系统架构探讨

本文从对浙江省航道信息化发展现状出发,详细分析了数字化航道的业务需求和发展趋势,对浙江省数字化航道系统发展和系统构架做系统性的叙述,并对未来发展做进一步展望。     

嵌入式微处理器保护方式下高特权级系统调用的研究

设计拥有我国自主版权的微处理器有着重大意义。高特权级系统调用算法及高特权级系统调用测试单元ＰＣＵ是拥有保护机制微处理器的重要组成部分,文中探讨了保护方式下高特权级系统调用的数据结构、定义,给出了高特权级系统调用算法,提出了高特权级系统调用测试单元ＰＣＵ的细胞群结构,并指出细胞是高特权级系统调用测试单元ＰＣＵ的基本测试单位。细胞群结构概念的提出解决了微处理器保护测试单元结构设计的难题,使设计拥有自主     

用VIS验证微处理器PIC

近年来,二叉判定图ＢＤＤ和符号模型检验在形式验证数字电路设计中取得了突破性进展,文中介绍了符号模型检验的基本原理和方法,重点介绍了如何用ＶＩＳ系统验证微处理器ＰＩＣ设计的正确性。利用ＶＩＳ证明了ＰＩＣ设计部分电路的等价性。发现了一个设计错误并证明了ＰＩＣ中一些重要模块的特性。     

让Flash4为您服务 “闪”的艺术

没听说过？不可能吧！ ？只要是个网页制作爱好者,现在几乎没有不知道Ｆｌａｓｈ大名的。也许有点夸张,但我想,只要您见过用Ｆｌａｓｈ制作的网页,就不会没有印象吧。     

浙江省大气降水水质对地表水水质的影响

对浙江省92个降水水质监测点采集的118个降水水样进行实验室检测,结合江河地表水水质同步监测资料,研究大气降水的主要污染物以及降水水质对地表水水质的影响。结果表明：降水中的pH值为5.86,TN、NH3-N、TP平均质量浓度分别达到1.54 mg/L、0.83 mg/L和0.035 mg/L,降水水质与监测点附近地表水水质未见明显相关关系,但降水中的NH3-N、TN和TP与地表水相同指标质量浓度的比率分别达到了60%、55%和22%,可见大气降水对地表水水质的影响不容忽视。     

新疆奎屯河洪水特征和最大值研究

洪水极易造成各种灾害,对当地经济发展影响巨大,通过对奎屯河洪水特征分析研究,揭示奎屯河洪水和最大值规律,以便制定措施治害兴利,为防洪和工程管理及当地经济发展提供科学依据。     

法定化:人民法院调查令制度的透视与前瞻

近年来,我国民事审判方式以强化当事人举证责任、弱化法院职权为主线,改革的结果造成当事人举证义务大大增加的同时,当事人取证权利却缺少手段和程序的保障,最终使得当事人取证权流于形式,取证难问题凸显。为了解决当事人取证难的困局,很多地方法院推出了调查令制度。调查令制度经过多年的运行,已经具有了良好的实践基础,迫切需要法定化以突破发展的瓶颈,获得可持续发展的动力。当前《民诉法》修改已经提上议事日程,笔者认为调查令借此入法的时机已经成熟。