深部岩体稳定性评价的声发射—压力耦合模式

以海沟金矿的大面积采空区为研究对象，将压力观测，声发射检测，位移观测等多种手段联合用于采空区围岩的稳定性监测，通过分析各种信息之间的耦合关系，得到了由压力和声发射联合表示的岩体稳定性评价的三种“判别模式”，即升压稳定模式，降压稳定模式和降压不稳定模式，实践表明，所得到的判别式利用了压力和声发射这两种普通信息之间的“耦合内涵，因而有着更好的可操作性，更宜于现场监测人员的理解和掌握。     

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

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

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

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

多Agent协作技术在电子商务中介平台中的应用

描述了一个B2B电子商务中介平台的设计与实现过程。在设计过程中广泛地借鉴了J2EE技术和Mobile Agent的特点和优势，完成了二者的有效结合。并结合电子商务中介平台的特点完成了中介平台Agent的功能设计和Agent与J2EE互操作中间件的研制。     

TinyOS任务调度机制与实时调度构件设计

TinyOS是一个开源的构件化操作系统，它采用构件化描述语言nesC进行开发，主要针对资源非常有限的无线传感器网络节点而设计。分析了TinyOS 2.x的任务调度机制，针对其在实时应用领域的调度缺陷，设计并实现了一种软实时任务调度构件。根据构件在TOSSIM仿真器中的验证分析，能有效增强TinyOS的实时性能。     

深海剖面测量系统设计

文章介绍了一种深海剖面测量系统的总体和软硬件设计,并给出了试验数据。该深海剖面测量系统利用浮力调节来控制测量平台升降,升降测量平台搭载CTD传感器、海流计等测量仪器,在升降过程中完成长时间深海环境参数剖面测量,是一种低功耗、高效率的海洋观测系统。     

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

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

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.     

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

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