嵌入式浏览器软硬件混合渲染层的研究与设计

广泛使用的WebKit内核嵌入式浏览器因具有良好的设计架构和优良的跨平台特性已被移植到许多嵌入式平台上。由于嵌入式平台的硬件多样性,WebKit开源版本并没有充分利用嵌入式平台的特点。通过研究WebKit显示系统,实现了充分利用嵌入式硬件加速渲染与软件渲染特点的软硬件混合渲染层。该混合渲染层解决了嵌入式平台上全功能浏览器运行缓慢造成用户体验较差的问题。经对比测试验证了该混合渲染层的可行性,与原始版本相比网站打开时间减少48%以上,网页动画渲染速度提高130%以上。     

阿鲁科尔沁旗水资源开发利用与管理

通过对阿鲁科尔沁旗水资源状况分析，提出水资源可持续利用需采取的措施。     

基于FSM的Linux内核自动下载工具

通过对传统的下载过程进行分析和研究,提出一种新的Linux内核的自动下载方案。该方案采用有限状态机模型,自动控制Linux引导程序和内核的下载过程。经过编程实现和实际应用,该方案实现的下载工具能够快速、正确地对目标板进行下载Linux内核,提高了目标板下载的效率。     

Complete Boolean Satisfiability Solving Algorithms Based on Local Search

Boolean satisfiability (SAT) is a well-known problem in computer science, artificial intelligence, and operations research. This paper focuses on the satisfiability problem of Model RB structure that is similar to graph coloring problems and others. We propose a translation method and three effective complete SAT solving algorithms based on the characterization of Model RB structure. We translate clauses into a graph with exclusive sets and relative sets. In order to reduce search depth, we determine search order using vertex weights and clique in the graph. The results show that our algorithms are much more effective than the best SAT solvers in numerous Model RB benchmarks, especially in those large benchmark instances.     

OP—380型锅炉制粉系统的改造

本文介绍OP—380型超高压煤粉炉运行20年后,为适应当前煤种变化,恢复其出力,采用320/580型低速球磨机、中间储仓、乏气输粉,代替原EM—70型中速磨、正压直吹系统的改造及改造后的运行效果。     

嵌入式浏览器CSS引擎的研究与改进

层叠样式表(CSS)引擎的效率提升是嵌入式浏览器的性能瓶颈。为此,提出提升CSS引擎效率样式管理的改进和设计方法。该方法增加对用户操作相关伪类样式规则的分类,以减少对非必要的伪类样式规则匹配,匹配完全失效节点的记忆能够为兄弟节点提供样式规则匹配的指示,并减少样式规则匹配次数。实验结果表明,对于不同网页的样式规则匹配总时间消耗减少3%~15%左右。     

嵌入式操作系统进程监测器的设计与实现

为避免嵌入式操作系统的进程受到恶意软件的修改破坏,提出一种适合于嵌入式操作系统的进程监测器。监测器周期性地对系统进程控制块进行检测恢复,通过设置进程检查点为系统提供恢复操作进程,并在Linux上进行实现,给出主要的数据结构和实现过程。实验结果表明,监测器的运行对系统性能影响小,能对系统进程进行有效的检测恢复。     

人工神经网络在并行计算机集群上的设计研究

人工神经网络在集群上的并行化设计和实现能够充分发挥ANN并行处理的特点,缩短训练时间,降低算法复杂度。随着并行技术的日益成熟,在并行集群上以软硬件相结合的方式设计神经网络的重要性也不断提高。从软硬件平台的多方面讨论了并行集群技术对人工神经网络设计的支持,提出了一种SOM神经网络在并行集群上的设计方法和基础框架,并就并行集群上神经网络训练效率的问题进行了深入讨论。该方案可广泛应用于多种神经网络模型的并行计算机实现。     

一种基于蜂窝网格的传感器节点部署算法

传感器节点的部署是无线传感器网络研究的一个重要分支。证明了传感器节点覆盖圆盘与其邻居节点覆盖圆盘的交点构成正六边形蜂窝时,有效覆盖面积最大;提出了一种基于蜂窝网格的传感器节点部署算法,通过仿真与已有的基于方形网格的部署算法进行比较,结果证明:本算法能更有效地控制成本。