网络协议工程中的Petri网技术

按照OSI／RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析．     

Class of numerical methods for differential-algebraic systems with discontinuous right-hand sides

1.INTRODUCTION Differential algebraicsystemswithdiscontinuous right handsides My′=f(t,y),a≤t≤b,　y(t0)=y0(1) discontinuitiesoff(t,y)aredeterminedbythestate ofswitchingfunctionφ(t,y).Adiscontinuityissaid tooccuratt whenφ(t ,y(t ))=0.Theex pressionoff(t,y)is f(t,y)=f-(t,y)φ(t,y)<0f+(t,y)φ(t,y)≥0(2) tistheindependentvariableofsystem,y=( y1, y2, …, yn)Tisstatevariableofndimensions,f=(f1, f2,…,fn)T,somefiisdiscontinuousfunction,M= [m1,…,mn]n×nisann×ndiagonalmatrix,thedi …     

河口乡耕地撂荒的特征与影响因素

基于农户调查数据，借助SPSS19.0软件，利用二元logistics回归分析了河口乡耕地撂荒的特征与影响因素.结果表明，河口乡耕地撂荒普遍存在，2015年耕地撂荒率为21%，2017年为27.1%，耕地撂荒时空变化明显，撂荒面积总体呈上升趋势；影响耕地撂荒的主要因素为水利灌溉条件、地块数量、务农人口数量、耕地质量、惠农政策满意度和地块到公路距离.根据研究结果，针对如何减少耕地撂荒、促进山区耕地资源可持续利用提出了建议.     

固定塔式起重机基础结构类型及实例

为解决在广州老城区内复杂的地质及狭窄的施工环境条件下安装固定塔式起重机，介绍多种结构形式的基础类型及实例．其中混凝土单桩基础承台结构作为塔式起重机的安装平台在老城区建筑密集区域的施工中值得推广。     

钢筋混凝土多层框架房屋结构设计中的问题

文章通过对钢筋混凝土多层框架房屋结构设计分析,从结构设计安全的角度对钢筋混凝土多层框架房屋设计进行思考,以求对当前的框架结构设计有一个新的认识。     

SAR/INS/TAN组合导航系统中的滤波算法研究

多传感器组合是提高导航系统定位精度和增强系统容错性的有效手段。在分析惯性导航系统(INS)、合成孔径雷达(SAR)和地形辅助导航系统(TAN)各自特点的基础上,提出了SAR/INS/TAN组合导航系统的组合滤波方案并建立了相应的组合导航系统数学模型。同时,针对图像匹配和TAN所固有的非等间隔量测输出滞后的特点,研究了一种多传感器信息融合的卡尔曼滤波算法,以有效解决此类非等间隔量测滞后的问题。仿真分析可见,该组合滤波算法能大大提高导航精度,是一种行之有效的方法。     

支持向量机的时间序列回归与预测

详细分析了支持向量机用于时间序列预测的理论基础。采用支持向量机、RBF和Elman神经网络模型,对仿真时序和工程滑坡变形时序进行了回归与外延预测。结果表明,在噪声水平较低时,SVR回归效果稍好,Elman与RBF网络的稳健性相对较差;随着噪声水平增大,两种神经网络的回归精度迅速下降。对于外延预测,两种神经网络仅限于短期的非线性模拟,而泛化性能更好的SVR在短期具有比较理想的效果,在较长的时间区间里也具有较高的预测精度(7步预测准确度控制在83.5%以上)。     

大规模地形动态快速绘制技术研究

大规模地形的快速绘制是目前的研究热点,如何有效地进行地形数据组织及模型简化,关系到渲染的速度和效果。为解决这个问题,结合现有算法提出了一种基于灵活简化准则的分块连续LOD模型构造算法,以及相应的模型预裁减调度绘制算法,将大规模地形转换为小块地形进行处理,并利用视点运动的连续性和前后帧的相关性,管理调度细节层次模型。实验结果表明,该算法有效地解决了绘制速度与质量之间的矛盾,较好地实现了大规模地形场景的实时快速漫游。     

星体的弦长积分

首先引入星体弦长积分的概念，研究了其性质并建立了有关星体弦长积分的不等式.作为应用，给出相交体的星对偶的Brunn-Minkowski型不等式.     

Ostrowski不等式在R^n中的扩展

本文主要是用B．G．Pachpatte’s的思想，一种初级的数学分析方法，把Ostrowski不等式扩展到R^n，首先将介绍一下Ostrowski不等式，然后将会使用B．G．Pachpatte’s的思想得到本文一个主要定理。