Efficient arbitrated quantum signature and its proof of security

In this paper, an efficient arbitrated quantum signature scheme is proposed by combining quantum cryptographic techniques and some ideas in classical cryptography. In the presented scheme, the signatory and the receiver can share a long-term secret key with the arbitrator by utilizing the key together with a random number. While in previous quantum signature schemes, the key shared between the signatory and the arbitrator or between the receiver and the arbitrator could be used only once, and thus each time when a signatory needs to sign, the signatory and the receiver have to obtain a new key shared with the arbitrator through a quantum key distribution protocol. Detailed theoretical analysis shows that the proposed scheme is efficient and provably secure.     

矿井提升机控制技术研究现状与发展

分析了国内外直流、交流矿井提升机控制系统的现状与发展历程,重点介绍了双三电平拓扑结构下3种变频调速系统,即定子侧高压变频调速系统、同步电动机双三电平变频调速系统、交-直-交电压型双三电平SVPWM变频调速系统在矿井提升机控制系统中的应用,指出交-直-交电压型双三电平变频调速系统节能效果较好,最适用于矿井提升机控制系统。     

基于数学形态学的棒材自动计数方法

针对图像中棒材存在粘连,从而造成误计数的问题,研究了一种基于数学形态学的棒材自动计数方案,以实现对棒材实时、精确的计数.该方案针对棒材类计数无需考虑被测物体截面真实形状的特点,将每根棒材处理成单个像素,避免了粘连对计数的影响.为有效克服光照、噪声的干扰以及棒材快速运动造成的图像模糊,该方案首先对采集到的原始棒材图像进行预处理,然后采用腐蚀、细化算法初步实现了棒材粘连的分离,最后采用收缩与检测直线端点算法,实现了单个像素点与原始图像棒材的一一对应,为后续计数奠定了基础.实验证明,该方法不仅能够保证棒材自动计数的精度,并且为棒材定支数包装创造了条件.     

宽范围可调稳压电源的设计

介绍了一种以单片机为核心的智能化高精度直流稳压电源的设计,通过集成有A／D、D／A的单片机、三端稳压源、霍尔传感器和上位机组成闭环系统,实现高精度宽范围可调稳定电压的输出,特别适用于各种有较高精度要求的场合,该电源工作可靠,性能良好,现已成功用于某导弹遥测系统测试设备。     

基于PHP的社区警务综合管理系统的设计与实现

通过对系统功能模块进行需求分析及设计,采用PHP+MySQL技术进行社区警务综合管理系统的开发。本系统可实现对社区人口和警务的综合管理,为社区警务管理的信息化提供平台。     

独立学院《数据库原理》课程教学改革探索

根据独立学院应用型本科人才培养定位,针对《数据库原理》课程现有的教学局限性,从教学内容、教学方法、实验教学、考核方式等方面阐述如何促进学生正确理解数据库的基本原理,熟练掌握数据库的设计方法和应用技术。     

有限状态自动机的C#实现

基于Visual C#语言实现了有限状态自动机.该自动机具有小巧轻便、简单易用的优点,可应用于程序复杂界面的操作与控制.     

C#中数据传递方式的教学模型设计

C#中类与对象之间的数据传递一直是初学者的难点。鉴于此,根据多年的C#教学经验,设计了一个应用于C#教学的类数据成员初始化的案例模型。该模型共运用了三大类六种数据传递的方式,全面演示了对象与类之间所有可能的数据传递方法。对于每种方法分别从类的设计与相应的对象调用两个角度进行了分析。     

高校统考课程成绩数据仓库的建立与应用

通过分析高校统考课程成绩对高校教学进行分析决策的重要价值,以计算机基础统考课程成绩为实例,建立一个基于高校统考课程成绩的数据仓库模型。该成绩数据仓库不仅综合分析学生的总得分,而且将试卷难度和题型得分也做深入分析,分析结果不仅能让教学管理者了解到学生成绩波动趋势,而且可以更详细地知道成绩波动的原因所在,从而能帮助教学管理者更加科学快速地做出有效的决策,最终达到提高教学水平的目的。     

基于AT89C51的高精度超声波测距系统

设计了一种高精度超声测距系统,介绍了系统的组成及功能、电路工作原理、软件设计、试验结果。该系统使用高性价比的AT89C51作为控制器,通过设计测温电路、双比较器的接收电路以及修正系统延迟时间等一些改进措施,克服了当今测距系统低精度的缺点。试验结果表明,该测距系统在0．4m-5m内,测距误差小于1％,能够适用于高精度要求场合。