找到约9219个结果。
论文总字数:32305字摘 要随着软件在信息社会中发挥日益重要的作用,软件系统的日益复杂,软件规模也越来越大,软件出现错误的可能性及其造成的危害也日益突出,人们对软件可靠性要求也愈来愈高。本课题通过开发一个字符串算法库探讨软件形式化方法的运用。在算法库开发方面,因为在所有的字符串算法中,字符串匹配算法是其中一个非常重要的课题。在生物信息学,文本处理,互联网浏览器等领域有着广泛的应用。所以本课题主要采用了C 在内的对象式语言实现了bm算法、KMP算法、AC自动机等字符串匹配算法,也尝试运用包括haskell和WhyML在内的函数式语言开发其中部分算法。在算法库验证方面,在Ubuntu平台配置了 Why3平台,整合了交互式的定理证明辅助工具coq、自动定理证明器CVC3、CVC4等工具对部分算法进行了形式化的验证。验证的算法基
论文总字数:15620字摘 要语音识别技术是现代生产生活中一种不可或缺的技术,与众多领域密切相关,其中包括信号处理、模式识别和人工智能等领域。本系统实现了一种语音交互系统。设计以51单片机作为整个设计的核心,控制整个系统的运行操作,采用语音芯片LD3320对语音信号进行采集和识别。当系统接收到人下达的语音指令时,可以做出相应的回答并开始运作。本系统实现简单,实用性较强。关键词: 51单片机,LD3320,语音识别Abstract: Speech recognition technology is an indispensable technology in the present era, including signal processing, pattern recognition and artificial intelligence. This system realizes a voice interaction system. The design takes 51 single chip computer as the core of the whole design, controls the operation of the whole system, and uses the voice chip LD3320 to collect and recognize the voice signal.When the sys
论文总字数:25777字摘 要本文对模数转换器在高层次下进行的行为描述进行了研究。本文的主要目的是讨论使用Verilog-AMS这种硬件描述语言来进行混合信号集成电路的建模与仿真的可能性。这种方法具有大量减少仿真时间、效果契合实际等优点,势必会在未来的模拟电路与混合信号电路的设计中起着更重要的作用。论文首先对几种常见的模数转换器进行了分析,接着依据Verilog-AMS的实际特点,建立了几个典型的模拟电路的行为模型。作为重点,本文对流水线型的模数转换器最重要的运算放大器模块与比较器模块建立了行为模型。本文还介绍了一种基于数字校准模拟系统的分析方法。本文最后对上述的行为模型实现了功能上的验证和仿真。其结果和实际电路的管级仿真结果相对比,可以证明文中所建立的模块的行为模型能够较为准确的反映出实际电
论文总字数:21401字摘 要随着计算机信息技术的高速发展,人们对信息的获取变得越来越来容易,也变得越来越准确。但信息的来源和获取方式还是存在着或多或少的局限性,而同城信息交流平台的出现一定程度上解决了同城信息来源和获取方式的问题。用户可以在同城平台上获取相关的同城信息。极大的提高了人们对自己所在城市最新动态的了解。普通用户可以在同城平台上了解到最新的同城好友的动态、最好玩的同城活动、最实惠的同城东西。而管理员可以对同城用户,动态,活动,东西进行管理。同城信息交流平台采用的是B/S模式。前端采用的当下流行的html5,css,jquery。后端采用的是java语言,运用了springMVC框架和hibernate框架,数据库采用的是mysql数据库。论文主要介绍了同城平台运用的相关技术和平台的整个实现过程,重点讲述了同城平
论文总字数:11668字摘 要:本设计选用Altera公司研发的型号为EP2C5Q208C8芯片,使用该FPGA芯片控制AD转换器ADC0809去采集波形信号,接着将采集到的信号数据存于嵌入式的存储模块中,然后利用计数器的地址译码作用,从存储模块中提取波形数据输出到数模转换模块DAC0800中,控制DAC0800转换输出波形信号,使波形的回放功能得以实现。该系统的设计主要是利用了EDA工具软件Quartus II去实现各个模块的接口设计。关键词:FPGA,存储,回放Abstract:The design uses Altera"s development model is EP2C5Q208C8 chip FPGA chip to control the use of the AD converter ADC0809 to collect waveform signal,and then the collected signal data stored in the embedded memory module,and then use the address decoding counter action,extracts waveform data output from the memory module to the converter module in the DAC0800,DAC0800 converter output waveform control signal to the pla
摘 要众所周知音乐作为一种听觉语言,其表现力是十分强的。德国著名哲学家亚瑟·叔本华(Arthur Schopenhauer,1788-1860)曾经说过:“音乐就是以万物为主题的旋律。”而动画作为一门集合了各式各样的艺术门类于一身的综合艺术学科,其与音乐的关系也是十分密切的。再加上动画专业的基础教育是多方面的,所以作为动画专业的学生也更加不能忽视音乐在动画中的作用。因此在本文中,笔者将要从动画音乐的发展开始着手,分析动画中音乐的重要性,并通过详细举例来说明音乐在动画中如何丰富环境、人物、剧情等多方面的情感表达,也以此了解如何正确的将音乐运用于作品中。关键词:动画音乐;动画;音乐;情感表达ⅠAbstractIt is well known that music is a kind of auditory language, whose expression can be very strong, just as Arthur Schopenhauer, the famous German philosopher,
摘 要 情感倾向分析在文本挖掘范畴研究中占十分重要的地位,在大数据时代,文本数据的情感倾向分析研究吸引了很多的研究人员,如何深入学习文本所蕴含的信息,准确地表示出词语的特征,提高情感倾向分析的准确度是研究的主要目标。在以往,研究人员大多采用人工抽样标注方法和机器学习算法相结合构造模型,往往需要大量的时间和人力。近年来研究人员开始使用深度学习的自动抽取特征。深度学习在文本挖掘范畴中最特出的一个研究成果是词向量。传统词向量是根据上下文信息学习获得,缺乏情感倾向信息,不是很好的解决情感倾向分析研究。卷积神经网络(CNN)和循环神经网络(RNN)是深度学习中比较有效的模型,CNN适合从数据中提出局部特征,而RNN可以有效分析时序数据。为了将情感倾向信息融入词向量进行分析,本文提出了
摘 要本文主要研究了建构主义理论及其在对外汉语课堂中的应用问题。当前,建构主义理论作为一种新兴的教学理论,与各类教学实践联结日益紧密,对于对外汉语教学事业也有着重要指导意义。笔者以建构主义理论为出发点,对当前第二语言教学中的主流教学理论进行了反思,剖析了当前对外汉语教学存在的主要问题,并在以上研究的基础之上,以杨寄洲主编的《汉语教程第一册·下》第十六课为例进行了教学设计,以期找到一种寓教于乐的教学方法,最后从中总结出了建构主义理论在对外汉语教学中应用的原则,为我国的对外汉语教学提供了一条新思路。关键词:建构主义;对外汉语;教学设计;教学实践AbstractThis paper mainly studies and explores the application constructivism theory and its application in teaching Chinese as a second language. At present, the theory of constructi
摘 要语言是连接人类的纽带,也是文化的传承。当今社会,与单一语言相比,在国际贸易、多边交流合作方面,双语甚至多语逐渐显示出越来越多的优势。多语的实现比较困难,双语制则是一个值得讨论并且更加现实性的话题。而加拿大可以作为实行双语制的研究对象。长期以来,加拿大政府适应民心所向,采纳了双重官方语言、多语平等和多元文化和谐共存的国策,为世界其他各国提供了宝贵的经验和教训。其中,将法语作为唯一官方语言的省份魁北克更像是北美大陆上的异类,抵御着占绝对优势的英语及英语文化的冲击,坚守了几百年间流传下来的法语及法语文化。自平静革命以来,语言政策作为魁北克政府的有力武器发挥了巨大作用,也见证了魁北克社会从保守、落后向积极、现代的转型。同时,在平静革命中再度兴起的魁北克民族主义
摘 要随着中国经济的高速发展,人们消费水平的提高以及消费观念、消费习惯的改变,各个大型商场如雨后春笋般相继开业。沃尔玛、家乐福、麦德龙等大型购物超市也相继在这些大型商场中营业。而为了吸引消费、方便顾客能够轻松购物,各大超市也在超市入口处设立有自动存物柜,让顾客可以将小件的随身物品放入其中,尽情享受购物的乐趣。这一做法,迎合了现在人不断加快节奏的高效生活方式,同时也满足了一定的消费需求,因此使得这种摆放在门口的自动存物柜正在逐渐成为各大商场的标配。由于操作方式简单并且易懂,同时存储的安全性可靠和操作效率比较高,对商家提升自身服务质量、吸引消费者有很大的帮助。目前在各大商场、超市使用的自动存物柜大体上可以分为两类:一种叫做投币式存物柜;一种叫做电子密码式存物柜。由于现在存物服务