摘要：微信作为新时代的新媒体传播工具,越来越被公众用户所喜爱和接受,"赤峰天气"微信公众平台充分考虑用户需求进行设计开发,成为气象服务的新手段。"赤峰天气"微信公众账号的使用和推广让公众在预报预警、专业专项、生活服务方面能够更加方便快捷的了解气象信息,提高气象部门的形象和公众的防灾减灾能力,真正解决了气象服务的最后一公里问题。

摘要：赤峰是内蒙古自治区中东部受自然灾害影响较大的一个农牧业市，随着气候变化的逐年加快，对当地生产生活的影响也逐年加大，气象条件变化成为影响国民经济发展的重要因素。因此，非常有必要将各种气象灾害预警信息进行整理，并主动向社会发布，有关部门针对相关的预警信息采取相应的防御措施，最大程度地减少自然灾害造成的损失，这也是气象部门的主要工作职责。结合赤峰当地的实际情况，建设一套功能完备、反应灵敏、传输快捷、覆盖广泛的气象预警信息发布平台，通过及时将预报、情报、警报等各种气象灾害防御信息报告给地方党委、政府及有关部门和广大用户，积极为各级领导指挥安排工农业生产和防灾、减灾提供决策性服务，充分发挥气象服务参谋和助手的作用，千方百计提高气象防灾减灾的能力。

摘要：该文讨论了一种协议测试套的自动生成方法及测试套生成系统的实现。该系统使用E-LOTOS作为协议的形式化描述规范，然后基于UIO序列和Dijkstra算法等技术自动生成基于TTCN-3描述的测试套。将该系统应用于对BGP-4协议的一致性测试中，自动生成了BGP-4协议状态机的测试套，提高了效率并且扩大了覆盖面。

摘要：通过平台模块的建立,实现较好的可维护性、管理规范、经济可行、适合气象社会化监管事业发展。以实际业务流程为依据建立防雷业务系统,根据年度安全检测和验收等常规业务的特点和要求,形成了业务受理和预约、工作登记、数据采集、数据处理、证书发放等环节流程,具有存档、查询、打印等功能;规范气象行政许可、气象行政执法工作,实现行政许可业务全程网上办理,构建智能化执法,平台可处理所有行政执法业务,包括案件受理,立案审查,现场勘查,案件处理,结案归档等业务过程,提高工作效能,达到气象行政执法工作信息化、网络化管理。通过平台的建设和使用,解决业务信息化、网络化的应用;规范防雷业务、优化管理流程;统一数据格式、信息共享、做到信息传递的及时、可靠和准确;加强过程管理和监督、提高工作质量和工作效率。

摘要：“赤峰市防雷业务综合管理平台”是具有较好的防雷技术背景、较高的自动化程度、较强的气象服务能力的防雷业务综合管理平台，该平台提高了防雷管理水平，规范了防雷业务流程，建立了统一的数据结构，实现了信息的快速传递，在防雷的各项业务中起到了积极的作用。