试论电子合同的书面形式

电子合同的表现形式在法律上界定为书面形式,但是电子合同的表现形式和传统的书面形式是迥然不同的。我国的《电子签名法》对电子合同的表现形式作为书面形式的特征进行了初步界定,即有形性、原件性、保存性和真实性,但仍然需要进一步完善。本文认为,要对电子合同的书面形式进行界定,必然要对三个概念进行界定,即格式,识别和系统,这样方能推动电子合同的法律方面的完善。     

GPS实时动态RTK技术在公路测量中的应用

实时动态RTK测量原理及特点 RTK（Real Time Kinematic）技术又称载波相位差分技术,不同于早先的实时差分GPS（RTD）,是实时处理两个测站载波相位观测量的差分方法。即先求解起始相位整周模糊度,又称RTK初始化,然后进行实时差分,属真正RTK技术。     

哈尔滨市交通导航系统的研究与应用

项目方案是在哈尔滨市8个行政区范围内建立5个永久性连续运行GNSS基准站,各基准站观测数据通过专用数据通信网传送至数据管理中心,经过处理后实时通过专用网或因特网向导航用户发布国际通用格式的差分数据,以满足导航用户对高精度实时定位、测速、位移测量的要求,实现物流配送、公共安全、交通导航等现代化管理。     

差分GPS连续运行参考站(网)建设研究

建立差分ＧＰＳ连续运行参考站（网）系统（ＣＯＲＳ：Ｃｏｎｔｉｎｕｅ Ｏｐｅｒａｔｉｏｎ Ｒｅｆｅｒｅｎｃｅ Ｓｙｓｔｅｍ ｏｆ Ｄｉｆｆｅｒｅｎｔｉａｌ－ＧＰＳ－Ｓａｔｅｌｌｉｔｅ－Ｎａｖｉｇａｔｉｏｎ－Ｐｏｓｉｔｉｏｎｉｎｇ）是进一步发展和开拓ＧＰＳ技术应用的必然趋势。文中着重论述了ＣＯＲＳ系统的结构与技术指标,并对系统的关键技术进行了分析,结合Ｃ市建设ＣＯＲＳ系统的实际给出也其结构设计。实际运     

数字电路的KIF表示

知识交换格式KIF是一种被广泛接受的公共知识表示语言,本文简介了KIF及作用,并实现了一简单的数字电路知识表示,从而实现数字电路的计算机理解与互操作．     

基于数据融合的城市道路交通事件自动检测

针对交通事件自动检测多以高速公路、城市快速路为对象以及使用数据源单一的现状,提出一种基于多源数据融合的城市道路交通事件检测方法。在对信号控制下交通事件引起的交通流变化进行分析的基础上,利用杭州市城区浮动车、SCATS、Citilog系统提供的实时交通数据,基于CUSUM算法构建差分流量和速度交通事件检测模型。该模型可以有效抑制交通信号对于交通流的周期性影响。实验表明,模型在高峰时段和平峰时段均能快速准确检测交通事件。     

融合背景差分的二次重构和内外标记 分水岭的行人检测方法

应用视频处理技术对行人交通进行研究受到广泛的重视,已成为智能交通领 域的研究热点.为了精准地提取交通场景语义信息,提出融合背景差分的二次重构和内外 标记分水岭的行人检测方法.首先对图像进行灰度级形态学开闭重构和背景差分运算,凸 显出前景区域,锐化背景区域;然后根据灰度图像局部极大值和邻域综合信息提取内部 标记,进行“准欧式”距离变换提取外部标记;最后对梯度图像进行修正和分水岭变换,提 取出图像中运动的行人.结果表明,该方法能显著地去除运动噪声的影响,检测到相对完 整的目标,很好地抑制了过分割问题, 在动态场景的行人检测中取得了较好的效果.     

基于SFS方法的侧扫声呐图像三维重构

针对侧扫声呐受其测量机理和作业模式影响无法直接获取海底表面地形及水下目标物高度信息的问题,提出改进的明暗恢复形状最小化方法。通过从侧扫声呐原始数据文件出发,解析得到斜距量程、采样精度等重要参数以及二维瀑布图。在瀑布图基础上,提出一种基于小波变换的最小化算法,求解得到对应二维图中每一点的相对高度值,从而实现了海底表面地形的高精度三维重构。通过对比实验证明,与2种经典的最小化法相比,基于小波变换的最小化法性能明显提高。     

一种迭代型分组密码的差分密码分析

修改分组密码IDEA 轮函数中的模乘运算,得到一种新的轮函数。对基于此种新轮函 数的一种迭代型分组密码进行了差分密码分析。数值试验证实HDEA 的DC2有用差 分的概率均低于HDEA0 的相应差分概率。迭代次数足够大的HDEA 能抵抗差分密码 分析攻击;在8 bit CPU 环境下软件加密时,24 轮HDEA 与8 轮IDEA 的数据加密速率 相近,抗差分密码分析的能力大致相同。      

基于差分能量图和CGBP的微表情识别

微表情是一种不能自主控制和伪装的面部表情,其与诚信度的关系密切,具有持续时间短且难以识别的特征.为提高计算机自动识别微表情的准确性,提出一种基于差分能量图和中心化Gabor二值模式（centralized Gabor binary patterns,CGBP）的微表情识别方法.该方法首先利用差分法计算微表情序列的能量得到差分能量图,获得人脸面部肌肉相位的变化;其次将Gabor与中心二值模式CBP相结合,得到CGBP算子对能量图进行微表情的特征提取;最后利用ELM分类器进行微表情分类识别.在CASME微表情库上的实验结果表明,该方法比LBP-TOP、DTSA3、Gabor、VLBP、CBP-TOP算法更能有效地获得微表情序列的时空纹理特征,平均识别率为86.54%.