搜索结果: 151-165 共查到“计算机系统结构其他学科”相关记录217条 . 查询时间(2.955 秒)
基于COTS的容错服务器及其故障恢复技术
容错服务器 可靠性 前向恢复
2009/4/28
通过融合COTS技术和传统容错技术设计实现了一种高性能、高可靠的容错服务器,该服务器基于成熟的软硬件,开放性好,容错对用户透明,成本低,扩展能力强。该文详细介绍了服务器的体系结构、工作模型、容错机制及其前向故障恢复技术。
嵌入式系统软件模拟及硬件接口设计的快速验证
嵌入式系统 协同模拟 功能验证
2009/4/24
该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。
基于RS和GIS的生态环境监测评估应用系统
遥感 监测评估 生态环境 洪涝
2009/4/22
通用遥感影像处理软件侧重于遥感数据的预处理,用于实现旱涝等生态环境监测评估功能时操作复杂。为简化生态环境监测评估的工作流程,该文结合RS, GIS和GPS技术,以监测评估模块为核心,研发了基于RS和GIS的生态环境监测评估系统。用该系统对广西2005年6月的特大洪涝灾害进行了动态监测和评估,取得了较好的监测效果。
第十三届全国容错计算学术会议
第十三届 全国容错计算 学术会议
2009/4/21
“全国容错计算学术会议”定于2009年7月15日---18日在海拉尔召开,由中国计算机学会容错计算专业委员会主办,欢迎从事容错计算及相关领域研究工作的产学研各界的专家、学者 以及研究生踊跃投稿。
基于WSRF的单点登录系统在网络化制造中的应用
单点登录 Web服务资源框架 网络化制造
2009/4/20
针对网络化制造集成平台身份认证的特点,结合关中区域网络化制造集成平台开发与应用实践,提出了一个基于WSRF的单点登录系统的认证策略,阐述了设计思想,对其中的单点登录中验证系统的设计、集中验证与授权机制的统一和身份认证中的性能保证等关键技术进行了功能分析,给出了相应的解决方案。该系统实现了动态、松耦合多应用系统间的身份验证与应用授权,有效地解决了网络化制造中对用户资源级的授权服务的难题,并在实际项目...
基于μC/OS-II的高性价比PDA的设计与实现
PDA μC/OS-II MiniGUI
2009/4/17
给出了一个新的PDA设计方案,利用有限的硬件资源在缺少MMU的低端CPU上设计并开发出性能接近高端的PDA系统。充分利用了嵌入式操作系统μC/OS-II的多任务和保护机制,合理地协调了硬件资源和软件系统之间的一些矛盾。实验结果证明该方案与原有PDA系统相比具有成本低、可靠性好、功能多和用户界面友好等特点。
基于风险分析的CNCP参与者阈值确定方法
智能体 参与者风险 发起者风险
2009/4/15
在FIPA的合同网确认协议中,通过设置阈值来限制参与者投标数量可以降低参与者无任务被授权的风险和发起者选择次优解的风险,减少系统通信量,因此,如何确定参与者阈值是关键问题。该文通过分析参与者无任务被授权的风险和发起者选择次优解的平均风险,定义了参与者风险公式和发起者风险公式,提出了一种基于风险分析的参与者阈值确定方法MRA,解决了该问题。通过一个实例分析,论证了MRA不仅限制了参与者和发起者的风险...
基于逻辑程序的访问控制描述与推理
逻辑程序 访问控制模型 不动点
2009/4/7
提出访问控制的逻辑描述方法,满足最小模型语义的条件(不含负逻辑),并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,得到访问控制逻辑程序的最小Herbrand模型——Mp。使用基于逻辑程序的方法对访问控制策略进行了较为精确的推理。
基于嵌入式系统的CVSD语音编解码器的实现
TMS320VC5509 QMC CVSD
2009/4/3
介绍了一种利用TI公司的TMS320VC5509定点DSP芯片实现多路全双工16kbps CVSD语音编解码的方案,给出了算法的详细设计过程,并基于Motorola公司的MPC860提出了利用嵌入式系统扩展DSP应用的方法,对DSP的其他方面应用也有一定的参考价值。
基于任务同步的双机容错系统
双机容错系统 同步 可靠性
2009/4/2
提出了一种双机容错系统设计方案,系统采用基于任务的同步过程,利用双机控制器和外部存储器相互协作共同完成双机之间应用程序的同步。在双机均正常工作时,双机中的应用程序乱序执行,但其同步信息保存于外部存储器中,保证了系统执行结果的正确。在保证单机高性能和系统高可靠性的前提下,通过定义简洁的应用软件规范使系统具有较强的灵活性。针对系统中出现的双机切换等关键问题,提出了相应的解决方法。
石墨烯有望使CPU主频1000GHz成为可能(图)
石墨烯 CPU主频 1000GHz
2009/3/28
2300超级小型计算机系统
计算机系统 超级小型计算机
2009/3/5
成果内容简介、关键技术、技术经济指标:1、成果简介:2300高性能超级小型机和小型服务器系统(其中CPU主板为自行开发):处理器:150MHz ALpha21064 处理器处理速度:64 SPE Cint 9289 SPEC fp922;2300PCI高性能工作站系统:处理器:166MHz Alpha21064 处理器处理速度:70 SPE Cint 9291 SPEC fp923;与主机配套的图...
国产万亿次桌面超级计算机面市 命名“倚天”
国产 万亿次桌面 超级计算机
2009/3/3
The Zaragoza City Council Website: A Citizen Assistance Service
The Zaragoza City Council Website Service
2009/2/28
The Web has become anincreasingly more commonplace tool for the exchange of information andknowledge among members of society, and it is now a critical channel inZaragoza City Council’s citizen intera...