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

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

对开设电子商务专业的构想

对在金融类院校开设电子商务专业的必要性，课程设置，实践方式以及师资队伍建设和教材建设等方面做了详细的论述。     

企业短信平台分析与设计

结合短信息业务原理及相关通信协议，探讨了基于Web的短信增值业务类型、解决方案。分析和设计了基于Web的短信息综合业务平台，为企业提供短信服务。     

基于移动自组网的数据库系统关键技术研究

随着互联网络技术和无线通信技术的发展,移动自组网数据库技术已成为目前数据库领域的一个新的研究分支。阐述了嵌入式移动数据库的关键技术,并就数据库复制、数据库查询等关键技术进行了系统的研究。     

智能网络入侵检测技术初步研究

随着网络信息技术的快速发展,入侵技术也在不断的更新换代,计算机网络受到入侵的风险日益增大,各种入侵网络安全事件不绝于耳.本文将对入侵检测技术做初步研究,从入侵检测的分类入手,介绍网络入侵检测系统的放置方法即测的关键技术,力图进一步让大家了解入侵检测和加强网络安全.     

阜阳分行举办“恰青春年华，扬五四风采”诗歌朗诵比赛

为纪念“五四”运动89周年,庆祝建团86周年,继承和发扬青年爱国热情的光荣传统,充分调动广大青年的工作和学习热情,阜阳分行团委5月4日举办了“恰青春年华,扬五四风采”诗歌朗诵比赛。     

高扬文明号 基层铸辉煌——阜阳市颍州支行营业部创建青年文明号活动侧记

阜阳市颍州区支行营业部是一个充满青春活力的一线窗口单位，现有14名员工，班子成员3人，平均年龄33岁，其中一名副主任年仅24岁。拥有市、县级技术能手6名，省地县先进个人10名。这个营业部是连创佳绩的先进单位，2004年各项存款净增12000万元，实现利润1200万元，曾先后被省分行评为金融服务示范岗，先进单位、省级“青年文明号”。     

大学生伦理道德建设现状及思考

通过对当代大学生伦理道德的现状及成因分析，提出了加强大学生伦理道德建设的几点建议，包括：改革大学德育课程的设置；充分发挥教师的影响作用；完善学生管理制度；创建良好的校园文化；加强网络伦理道德的教育；加强道德教育的社会实践。     

高职高专电子商务专业实践教学的探索

高职高专电子商务专业实践教学的重要性进行了探讨，指出了实现实践教学的途径，并对如何做好电子商务实践教学工作提出了一些建议。