网格数据库物化查询缓存机制研究*

提出了基于XML Database的网格数据库物化查询缓存机制,提高用户查询的速度,均衡网格负载。定义了网格数据库服务质量与数据质量的标准,提出了物化查询选择算法MQS,为用户提供更好的数据服务。     

Web仓储中的单视图一致性

Web仓储系统使用物化视图的方法管理和维护Web数据，它可以给用户的查询和分析带来更快的效率，特别适合联机分析处理(OLAP)和决策支持。Web环境中数据更新非常频繁，为保持系统的时新性(freshness)，需要不断刷新物化视图，在Web视图刷新的过程中，必须保持物化视图与基础数据之间的一致性(称为单视图一致性，SVC)，否则系统中的数据就会产生错误，进而影响用户的正确使用，围绕这种单视图一致性，针对Web环境的特性，给出了相关保持算法，这些算法具有良好的Web环境适应性和伸缩性。     

Web数据集成系统基于QC模型的物化视图选择

在Web数据集成系统中，物化视图能够有效地减少网络传输代价，提高系统的查询效率．如何选择查询进行物化，使得选中的查询满足集成层的空间限制，同时获取最大物化收益，成为集成系统中一个迫切需要解决的问题．传统方法没有考虑到海量XML查询之间的包含关系，其选择的物化视图中可能包含冗余的信息．针对上述问题，提出了①Web数据集成系统中海量查询集合的QC(query containment)模型，该模型能够捕捉查询之间最常见的包含关系；②基于QC模型的物化视图选择算法，算法考虑了物化视图选择相关的主要因素，包括查询提交的频率、空间代价、查询重写能力和查询结果的完备性，提出了查询位图的物化视图组织方式，从而获取更加合理的物化视图选择方案．实验结果证明了该方法的有效性．     

MQM:一种用于Web服务查找的多维QoS模型

随着Web的发展,可供选择的功能相同或相似的Web服务越来越多,因此有必要为用户提供一种高效的基于服务质量(QoS)的Web服务查询机制.然而现有的Web服务QoS管理模型并不能很好的支持如动态查询等查询需求,其查询性能也有待提高.鉴于此,本文提出一种新的Web服务管理模型——多维QoS模型(MQM:Multi-dimensional QoS Model),并介绍了该模型的创建方法和相关算法.MQM通过多维模型来管理QoS数据,提供查询和OLAP操作.实验证明MQM能够使用户能更准确和快速的按QoS查询现有服务,很好地解决了传统查询方法无法确定查询条件、无法动态改变查询区间、查询性能不高等问题,进而改善了用户体验.     

ASP.NET环境下查询式Web动态报表的实现

Web报表的动态生成是个复杂的问题，本文介绍了如何制作基于ASP．NET的查询式Web动态报表。利用水晶报表本身提供的报表设计器和．NET提供的丰富特性，通过推模型从数据库中读取满足查询条件的数据，从而灵活地产生报表输出，这种设计方法克服了B／S模式报表设计的诸多局限性，是一种切实可行的Web报表解决方案。     

Web应用程序中用流技术动态生成Excel报表

Web报表的动态生成是个复杂的问题。在基于ASP．NET的Web应用程序中,利用流技术和ADO．NET数据访问技术,根据用户选择的字段和查询条件,就可以从数据库中读取符合要求的数据,并且能快速地产生Excel报表输出,这种设计方法克服了B／S模式报表设计的诸多局限性,是一种切实可行的Web报表解决方案。     

基于数据网格面向服务的查询算法

面向服务的框架（SOA）为用户的服务提供了一个标准的平台，实现服务的提供、发现、配置和集成，以帮助用户查询和处理信息．数据网格是面向服务的架构，为用户进行分布式远程数据查询服务提供了保障．对网格环境下Hidden Web数据库的研究与开发逐渐成为人们关注的焦点问题．要回答用户的查询，数据集成系统需要解决网格上的需求语义分析和关键字查询、建立数据查询模型．将数据库抽象为无向图，节点对应数据库中的元组，边对应“主-外码”的关系．查询的结果是与元组连接的答案树，它与查询的关键字相匹配．针对以上这些问题提出了一个新的查询算法，将改进的动态规划算法用于查询模型，保证Top-1答案树最优，Top-K答案树近似最优；给出了实验测试和评估结果．     

基于访问和更新历史的WebView管理方法

介绍一种名为MED（Materialize on accEss and upDate hIstory）的混合方法，它在用户查询时产生WebView并进行物化存储，但基础数据变化时这并不一定立刻变化，而是参考核WebView以前的更新历史， 然后采取相应的对策和方法，实验数据表明，MEDI算法对于更新和访问都比较频繁的Web环境具有有较好的适应性，性能优于纯虚拟或物化算法。     

基于Apache的动态Web内容缓存模块的实现

Web提供了访问远程信息资源便捷的方式,衡量Web服务质量的一个重要指标就是检索和获取信息所花费的时间。通过缓存服务器产生的动态内容可以避免对数据库重复的查询,减少用户对原始资源的访问密度,从而提高服务器的响应时间。文章介绍了Web服务器动态内容缓存模块的概念,优点,原理以及具体模块的实现流程。     

基于粗糙集聚类的物化视图动态调整算法

根据用户查询多样性的特点，提出了基于粗糙集聚类的物化视图的动态调整算法(RSCDMV)。该算法在对物化视图进行粗糙集聚类的基础上进行动态调整，这不仅满足了用户查询多样性需求，而且兼顾了维的层次关系因素。实验结果证明，随着用户查询集合的增大，查询集的动态性和多样性更加明显，因此，RSCDMV算法更具有优势。     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

发热量测定仪系统设计

本文介绍了发热量测定仪的结构、工作原理、硬件系统功能,阐述了应用铂电阻进行高精度温度测量的方法,系统用AT89C52单片机作为处理和控制芯片,该发热量测定仪性能符合水泥企业应用要求。     

变电站一次设备喷涂PRTV用量的分析

对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

风电机组电动变桨距控制系统的优化研究

由于风速的随机性、不稳定性及气动效应的影响,使得风力发电机组变桨距控制系统具有非线性、参数时变性、强耦合等特点,难于实现高精度控制,导致风电机组输出电能质量较差。为了改善系统在恒功率输出运行区域内的动态性能,分析了风电机组变桨距控制系统的现状,建立了整个风电机组模型,提出了优化的变桨距控制策略,并设计了基于模糊控制的变桨距控制器。仿真结果表明,独立变桨距控制技术的控制效果比统一变桨距好,实现了风力机各叶片的优化独立变桨距控制,优化了风力发电系统在超过额定风速时的恒功率控制,具有抗干扰能力强、控制精度高的特点。     

实现三维喷绘的软件系统设计

对三维喷绘软件系统的设计,通过USB 2.0实现与喷绘主板的高速图像数据通信。基于ARM与MCX314的运动控制器实现实时三轴运动控制以及精确的喷头时序控制,论述USB驱动程序和ARM固件的开发。结果表明,该系统具有设计简洁、成本低、可扩展性强和实用性高等特点。     

Recursive solution of number of reachable states of a simple subclass of FMS

This paper aims to compute the number of reachable (forbidden, live and deadlock) states for flexible manufacturing systems (FMS) without the construction of reachability graph. The problem is nontrivial and takes, in general, an exponential amount of time to solve. Hence, this paper focusses on a simple version of Systems of Simple Sequential Processes with Resources (S³PR), called kth-order system, where each resource place holds one token to be shared between two processes. The exact number of reachable (forbidden, live and deadlock) states can be computed recursively.