应用Acronis True Image助力计算机房数据备份 

计算机从1946年发展到当今2019年,在这几十年的发展过程中,人们对于计算机中数据文件的备份需求,可以说是多样化。从最初单一的文本文件备份,发展到目前可以对计算机操作系统,进行多样化、多方面的按需备份。
《计算机产品与流通》  2019年 第09期 下载次数(12)| 被引次数()

面向实时嵌入式系统的中断语义理论研究 

随着计算机的发展,实时嵌入式系统被广泛应用于各个行业。相较于通用计算系统,嵌入式系统对安全性、可靠性、实时性以及稳定性都提出了更高的要求。它不仅要求系统实现逻辑正确,而且要求任务运行时可满足相应的时间限制。在实时嵌入式系统中,为了让系统可以及时地与外界环境进行交互,人们引入了“中断机制”。中断机制作为系统与外部设备连接...
华东师范大学  博士论文  2014年 下载次数(293)| 被引次数(4)

基于单片机嵌入系统的人机交互 

在keil51的开发环境下,以最普及的键盘和LED显示为例,用C51语言编制完整的人机交互软件系统,实现单片机嵌入系统的结构化编程。
《浙江工贸职业技术学院学报》  2004年 第03期 下载次数(181)| 被引次数(2)

彰显固态硬盘王者风范 浦科特发布M3P固态硬盘 

3月20日,Plextor(浦科特)在北京举办以 True Speed真实速度展露锋芒 为主题的新闻发布会,发布了其M3P固态硬盘系列产品。浦科特M3P固态硬盘仅有7mm厚,提供128GB、256GB、512GB等多种容量,秉承独家的True Speed真实速度技术以及主动抹写补偿技术,最快持续随机读写可达750...
《微电脑世界》  2012年 第04期 下载次数(8)| 被引次数(0)

基于SCADE的核反应堆保护系统嵌入式软件设计 

本文研究了一种核反应堆保护系统(RPS)嵌入式保护软件设计方法,即利用高安全性应用程序的开发环境SCADE(Safety-Critical Application DevelopmentEnvironment)开发RPS的嵌入式保护软件的方法。 本文按照SCADE开发嵌入式软件的设计流程,依据HAD102/16规...
西安电子科技大学  硕士论文  2011年 下载次数(133)| 被引次数(1)

证明和测试分布式系统的功能正确性 

由于分布式系统的固有复杂性,结合分布式系统的领域背景来证明和验证分布式系统的功能正确性一直是计算机科学领域的重要问题。机群系统和网格系统均是高度复杂的分布式系统,其中机群文件系统共享语义和网格使用模式的研究分别是涉及各自领域的功能正确性、性能和易用性的关键问题。本文首先从文件系统共享文件语义和计...
中国科学院研究生院(计算技术研究所)  博士论文  2004年 下载次数(384)| 被引次数(0)

Methods of Recognizing True and Fake Smiles by Using AU6 and AU12 in a Holistic Way 

Smile is one of the simplest forms of expressions that it is easy to recognize for human beings.It will be one of the most natural,straightforward and friend...
2013年中国智能自动化学术会议论文集(第二分册)  2013-08-24 下载次数(13)| 被引次数(0)

符号模型检测的研究 

计算机软硬件系统日益复杂,在很多系统中,测试、模拟等传统的验证方法已不能保证其正确性和可靠性。模型检测技术产生于上世纪80年代,由美国的Clarke和Emerson,法国的Quielle和Sifakis分别独立提出。在该形式化验证方法中,系统性质用命题时态逻辑公式表示,有限状态反应系统(硬件电路、通讯协议)用...
西安理工大学  硕士论文  2008年 下载次数(368)| 被引次数(11)

基于动态链接库的恶意进程自动取证分析技术研究 

随着计算机技术的迅速发展,不断增长的硬盘存储空间、越来越复杂的加密软件技术以及仅驻留内存型恶意软件的出现与发展等因素都给传统的以磁盘取证为代表的面向持久化数据的计算机取证方式带来了巨大的挑战。而针对易失性内存的取证研究越来越受到人们的关注。内存取证领域在近些年也获得了长足的发展。但目前的内存取证方法的关注点主要集中在如...
南京大学  硕士论文  2015年 下载次数(119)| 被引次数(0)

铁电存储器的辐射效应测试方法研究 

空间环境中存在着大量宇宙射线和带电粒子,电子设备被要求具有良好的耐辐射性能,而存储器是航天电子系统中存放控制指令和重要数据的重要元件。辐射引起的存储器失效会引起系统重要指令丢失或者数据紊乱。铁电随机存储器被证明能满足电子设备小型化、低功耗和长寿命的空间应用要求,有着良好的空间应用前景潜力。大量的试验表明,铁电材料对辐射...
电子科技大学  硕士论文  2018年 下载次数(178)| 被引次数(1)

移动界程演算及模型检测应用的关键问题研究 

近10年来,以界程演算(Mobile Ambients)为代表移动进程演算模型已成为移动计算形式化理论的研究热点,但相对于理论研究方面的丰富成果,模型实用化方面研究相对较少,特别是将界程演算实际应用于移动计算系统的核心程序语言,或系统建模语言的应用界程演算模型,以及相关模型检测系统的实现等方面还有待进一步研...
华南理工大学  博士论文  2010年 下载次数(202)| 被引次数(2)

光驱之True X技术 

“True X”是英文“True X”multi-beam tech-nology的缩写,它是由Zen Research研究机构所研制的应用于光驱的新技术。我们知道目前的光驱技术已经很成熟了,而且速度在不断的提高,40倍速、50倍速是目前市场上的主流产品,但是我们更清楚实际上光驱内部传输速率并没有很大的提高,而...
《电脑采购周刊》  2000年 第30期 下载次数(5)| 被引次数(0)

描述插件安装包的方法及移动终端 

本发明公开了一种描述插件安装包的方法,通过根据预先设置的规则在插件安卓包APK中创建描述插件安卓包APK的身份信息的程序;在主相机APK与所述插件安卓包APK相互通信的情况下,主相机APK解析所述程序,并获取所述插件安卓包APK的身份信息。本发明还公开了一种移动终端,从而规范描述插件安卓包APK的身份信息的程序,有简单...
广东欧珀移动通信有限公司  中国专利  2015年 下载次数(0)| 被引次数(0)

多核结构上软件事务存储的研究 

针对计算资源日益增加的需求,单纯提高处理器主频的方式,已经不再能够提升计算机的性能了。因此,工业界引入了“多核”的概念,即在一个芯片上集成两个或多个独立的处理器,处理器之间共享内存。在多核系统中,同样的时钟频率,由于片上处理器个数的增加,每秒钟执行的指令数也随着翻倍,这为解决处理器性能的瓶颈问题提供了新的思路。与此同时...
东北大学  博士论文  2013年 下载次数(12)| 被引次数(1)

基于S3C2410和CF卡的FAT32开发 

本文依据CF卡的基本结构和工作原理,设计了S3C2410与CF卡的接口电路和系统软件,按照FAT32格式实现基于S3C2410的CF卡文件系统。该系统可广泛应用于需要进行大容量的现场数据采集、存储和查询的场所。
《微计算机信息》  2008年 第14期 下载次数(163)| 被引次数(5)

共找到相关记录63条12345下一页