POLLING远动规约中CRC校验码的算法及程序实现

电力系统中广泛应用的POLLING运动规约,使用了国际标准化组织ISO制定的HDLC标准CRC校验码.本文具体介绍了CRC校验码的计算方法,并从软件工程的角度详细介绍了算法及其程序设计,此程序已成功地应用于N4F与本地功能计算机的数据通讯.     

科佳水电站自动发电和电压控制

介绍了马其顿科佳水电站计算机监控系统与马其顿国家调度中心的通信、自动发电控制和自动电压控制功能。阐述了实现远方控制和远方调节时，采取的技术方案和特点以及现场应用情况。有些实现方法与国内不同，有些特点有一定借鉴之处。     

故障录波屏通讯系统

介绍故障录波屏通讯系统特点，结构、通讯规约及通讯过程，设计实现了录波屏和ＰＣ机双端通讯程序并给出了相应的程序框图。     

微型机与单片机并行通信系统

本文介绍微型机与 MCS—51系列8031单片机间数据通信的硬件逻辑及软件设计。它以 Intel 的并行接口电路8255A 为例,具体介绍了两机间的数据通信方法。     

互联网技术和国际互联网

本文先是说明internet、Internet和intranet各自的涵义和相互的区别 ,并简单介绍互联网的几项基本规约 ,包括IP、TCP、UDP、FTP、TFTP、SMTP和HTTP。其次说明WWW及其使用的超文本 /超媒体、浏览器和客户 /服务器技术的作用 ,解释Internet的骨干网和接入网以及内部网与防火墙。最后推测Internet的应用发展前景。     

水动力学数学模型并行计算技术研究及实现

基于MPI(Message Passing Interface)消息传递实现了黄河二维水动力学数学模型的并行编程。以数据的分布存储作为区域划分的依据,实现了计算量的负载平衡;在全局网格和局部区域之间建立映射关系,并且在临界单元、进出口单元、共用节点等通过规约等进行特殊处理,一方面尽可能的减少通讯量,另一方面也避免消息的阻塞。采用曙光4000A系统的8个CPU进行计算的加速比达0.8,多CPU并行计算极大的提高了计算任务的容量,使得无法在单机上完成的巨量计算成为可能。     

循环式远动规约的信息容量

根据原能源部最新颁布的循环式远动规约对远动信息更新周期要求，结合远动 系统常规通信速率，定量分析了规约所推荐各帧系列的信息容量。通过比较确认 A2是一种较为合适的帧系列。最后提出了一种使计算机开销小又能发送最 新数据的A/D变换顺序控制法。     

基于递推技术的算法设计方法的应用研究

算法是计算机科学的核心,算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性,同时能较好地提高算法程序的效率。本文通过两个实例,详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。     

Tableau算法的优化及模型规约技术

为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模态逻辑S4的推理机S4P.在此基础上,为了从Tableau算法生成的模型图中构造一个规模较小的模型,又提出通用模型的概念,然后给出通用模型的规约技术并证明该技术对于任意依赖于公理D、T、B、4和5中部分或全部公理的正规模态逻辑的正确性.最后,使用逻辑工作台测试用例对S4P的效率进行测试,实验结果表明S4P的效率优于RACER和FACT++;同时,对S4P生成的测试用例中非有效公式的否定对应的通用模型进行规约,实验结果表明通过模型规约能明显地缩减模型的规模.     

一种面向大规模URL过滤的多模式串匹配算法

对大量有害的URL进行过滤,是目前网络安全应用系统中所亟需的关键技术.使用经典的串匹配算法检测庞大的URL规则集,需要消耗大量的计算资源和存储资源,性能十分低下.该文设计了一种适合于大规模URL过滤的多模式串匹配算法——SOGOPT.该算法在经典的SOG算法基础上,针对URL规则的特点,提出了最优窗口选择、模式串分组规约这两种优化技术,大幅度提高了SOG算法的匹配速度,在大规模URL规则集上效果尤其显著.该文设计的算法非常适合于大规模(100万级)URL实时在线匹配的应用环境.