计算机形式验证方法研究综述

对形式验证方法进行了综述和讨论,介绍了基于符号处理的形式推理方法,并详细讨论了时序电路、组合逻辑电路等价性的检验方法.     

月季

春光灿烂五月间，各种花卉应时而开，然花开花谢，各有时序，往往此花开得正艳，彼花却已凋零。正所谓春兰秋菊不同时。     

旅游管理中的时序分析方法

本文把时间序列的变动分解为趋势变动、季节性变动、周期变动和随机变动四因素,通过找出季节性指数并建立趋势方程,从而建立旅游管理中各种随机序列模型。     

中国十省区域循环经济发展动态综合评价实证研究

区域循环经济发展是"两型"社会建设的前提和保障,准确把握其发展状况是关键.在建立指标体系的基础上,应用改进的动态综合评价方法,采用立体时序数据对我国10个省(市)地区循环经济发展作出评价,根据不同情况下的测算结果.从各个角度和侧面反映区域循环经济发展水平,结论更加全面、合理.     

UART发送器的设计与仿真

UART（Universal Asynchronous Receiver Transmitter通用异步收发器）。该设计给出了UART发送器的模块结构和仿真模型，并分析了其具体的工作原理和过程。计算机仿真结果也证明了模型和理论分析的正确性．该模型为UART系统的结构设计提供条件，具有实用价值。     

基于ARIMA模型的JG钢铁原料库存量预测研究

库存量是减少原料的损失及成本的浪费是节约企业成本的关键。文章基于时间序列自回归滑动平均(ARIMA)预测模型,对JG钢铁原料库存量资料进行建模拟合。利用DPS软件,建立ARIMA预测模型,利用AIC准则法并考虑相关系数R的值以及拟合度C的大小定阶,通过拟合建模,ARIMA(1,l,1)模型较为合理。应用模型对2015年4月1日至4月5日库存量进行了预测,实现了JG钢铁原料库存量的短期预报。     

我国房地产指数收益率的波动性研究

自回归条件异方差(ARCH)模型是最简单的条件异方差模型,ARcH类模型在金融时序数据的波动性中具有很好的效果。文章利用ARcH类模型对我国房地产指数增长率的波动性进行了实证研究。结果表明房地产指数存在着明显的ARcH效应;GARCH模型更能准确地描述房地产指数的波动特征,且其波动性是对称、持续性的,房地产指数不存在明显的杠杆效应。     

对交通基本网的认识

交通基本网是交通网络的基础结构,它决定一国或地区交通运输发展的基本格局,在较长时期内保持相对稳定性.从功能结构、空间结构和时间结构认识和划分交通网络并识别交通基本网,对交通网规划具有十分重要的意义.对于一定区域的交通网规划,首先要识别交通基本网,其次要布局基本网,再次是要形成基本网的项目集,在交通建设时应优先建设属于基本网的项目.识别交通基本网应依据线路和节点的功能和地位去判断基本的交通需求.     

中国旅游业发展质量的时序变化与地区差异研究北大核心CSSCI

中国旅游业发展质量的好坏关系着旅游业长期可持续发展的问题。文章从旅游业投入产出效率和旅游业运行质量两个层次出发,采用2000-2013年省际面板数据对旅游业发展质量的时序特征和地区差异进行了分析,结果表明:(1)2000-2013年近十年间我国旅游业效率值呈现明显的上升态势,但区域差距仍然存在。但从省区整体来看,我国旅游业总体处于中低层次。(2)2000-2013年旅游业的稳定性呈现大起大落的态势,产业忽冷忽热的现象明显。同时中西部地区的稳定性相比旅游业发展相对成熟的东部地区要差很多;在旅游业协调性方面,我国旅游业近十年间供给滞后于需求,相关旅游产品供给体系无法满足不断增长的旅游需求。