两阶段封锁可串行化强制性的实现

数据库的共享性是建立在多个共享事务的并发执行基础之上的。为了保证多个事务的并发执行,并发控制器对各事务动作的调度应当是可串行化的。然而,在实际调度过程中,并非所有的调度都是可串行化的。为了确保事务之间的可串行性关系,可使用两阶段封锁将非可串行化调度强制实现为可串行化调度。     

基于BSP的并行事务处理模型

BSP模型独立于并行体系结构,既可作为并行计算模型,又可作为并行程序设计模型。提出了基于BSP模型的H－V事务模型,适用于长、短事务和长短事务混杂的情况。给出了在无共享结构下实现并行事务处理的进程结构。该结构不仅实现了事务内及事务间并行性,而且使人有可用性（availability）和可扩充性（scalability）,而后给出了适用于该模型的基于时间戳的多版本并发控制协议,最后描述了事务在超步结构下的运行过程。性能测试表明,使用该模型进行事务处理时可获得良好的事务响应时间和加速比。     

关于设计数据库并发调度机制的一点探讨

多用户对数据库不加限制的使用,可能破坏数据库的一致性。并发调度正是一个在多用户共享数据库时保持数据库一致性的机制。常用的策略是保证调度的所有事务可串行。本文通过将访问数据库系统的事物区分成只读事务和修改事务,探讨一种保持数据库一致性的策略。     

基于Annotation的Spring事务应用设计

讲解Spring的事务实现技术,讨论Spring中事务的两种实现方式。通过同一个案例阐述了在Spring中对XML配置来实现事务和使用了Annotation实现事务,比较了两种实现方式的优缺点。在Spring使用Annotation实现事务作出总结,从而体现使用Annotation实现事务简洁性和良好的扩展性。     

基于Annotation的Spring事务应用设计

该文简要介绍Spring的事务实现技术,讨论了Spring中的事务的两种实现方式。通过同一个案例阐述了在Spring中通过xml配置来实现事务和使用了Annotation实现事务,比较了两种实现方式的优缺点。对在Spring使用Annotation实现事务作了总结,从而体现使用Annotation实现事务简洁性和良好的扩展性。     

移动广播环境中有效处理实时只读事务

提出了移动广播环境中有效处理实时只读事务的方法。给出了多种多版本广播磁盘组织。采用多版本机制，实现移动只读事务无阻塞提交。通过乐观方法，消除移动只读事务和移动更新事务的冲突。使用多版本动态调整串行次序技术，避免了不必要的事务重启动。在移动主机上如果移动只读事务通过向后有效性确认，则可提交，不需要提交到服务器处理，降低移动只读事务的响应时间。通过模拟仿真对提出的方法进行了性能测试,实验结果表明新方法要优于其他协议。     

基于优先图冲突可串行化判断

在对数据库同时进行读写的多个事务调度中,为了保证所有事务的并发执行,一个重要条件就是各个事务之间是否可串行化或冲突可串行化。然而,当事务较多较复杂时,要准确判断事务调度是否满足这些条件,难度较大。优先图通过事务内部的本征关系表征各个事务之间的逻辑顺序,根据优先图内有环或无环可准确判断调度是否可串行化或冲突可串行化。     

数据广播环境下移动实时事务的有效并发控制

在无线数据广播环境下,从移动客户机到数据库服务器的上行带宽非常有限.传统的并发控制协议不适合这种不对称通讯环境.本文结合乐观并发控制协议和时标排序协议提出一种并发控制协议.只读事务满足弱一致性,包含所有更新事务和一个移动只读事务的可串行化图是非循环的.使用本文提出的并发控制协议,移动只读事务能够自主执行,移动更新事务能够较早地检测到数据冲突.模拟试验显示,我们提出的协议相对其它已经存在的并发控制协议来说,能够更好地满足事务截止期.     

ADO.NET中事务隔离级别的应用

在基于数据库的多用户应用中,事务并发错误是常见问题,采用事务隔离可以解决并发错误.在SQL Server 2005平台上模拟多事务并发场景,引发并发错误,给出使用ADO.NET的隔离级别控制事务并发的方法,提出事务和事物隔离级别的使用建议.     

基于全局目录的分布式数据库加锁管理算法

针对简单的分布式封锁方法和完全分布式加锁算法在加锁时所需通信开销大、封锁时间长、锁管理复杂的缺点,结合集中式数据库加锁管理算法的优点,指出了在分布式数据库中保持事务可串行化方面存在的难点,利用全局目录和事务调度器,提出了基于全局目录的分布式数据库加锁管理算法。该算法使用两阶段封锁协议和多粒度封锁协议,在全局目录服务器中使用全局锁管理器管理和维护全局目录中的锁结点信息并对分布式封锁请求进行集中控制和灵活管理,能有效地保证事务的可串行化调度,降低封锁时的通信开销。     

A method of defuzzification based on the approach of areas' ratio

The new method of defuzzification of output parameters from the base of fuzzy rules for a Mamdani fuzzy controller is given in the paper. The peculiarity of the method is the usage of the universal equation for the area computation of the geometric shapes. During the realization of fuzzy inference linguistic terms, the structure changes from the triangular into a trapezoidal shape. That is why the universal equation is used. The method is limited and can be used only for the triangular and trapezoidal membership functions. Gaussian functions can also be used while modifying the proposed method. Traditional defuzzification models such as Middle of Maxima − MoM, First of Maxima − FoM, Last of Maxima − LoM, First of Suppport − FoS, Last of Support − LoS, Middle of Support − MoS, Center of Sums − CoS, Model of Height − MoH have a number of systematic errors: curse of dimensionality, partition of unity condition and absence of additivity. The above-mentioned methods can be seen as Center of Gravity − CoG, which has the same errors. These errors lead to the fact that accuracy of fuzzy systems decreases, because during the training root mean square error increases. One of the reasons that provokes the errors is that some of the activated fuzzy rules are excluded from the fuzzy inference. It is also possible to increase the accuracy of the fuzzy system through properties of continuity. The proposed method guarantees fulfilling of the property of continuity, as the intersection point of the adjustment linguistic terms equals 0.5 when a parametrized membership function is used. The causes of errors and a way to delete them are reviewed in the paper. The proposed method excludes errors which are inherent to the traditional and non- traditional models of defuzzification. Comparative analysis of the proposed method of defuzzification with traditional and non-traditional models shows its effectiveness.     

可拓聚类的科教人际网络节点重要性动态分析方法

目前大多数研究对复杂社会网络关键节点影响力的识别都是静态的，缺乏动态变化的分析。采用可拓聚类方法对动态变化下的科教人际网络进行量化分析，首先以多属性决策法计算每个节点重要性，再利用变异系数权重法计算得该节点综合重要性量值，之后划分等级并取标准正域和正域区间，利用可拓关联函数计算每个节点与每个等级的关联度，关联度值最大的等级即为该节点对应等级，最后分析同一社会网络节点在不同时间点的重要性等级变化。可拓聚类方法尝试从动态上对网络节点重要性进行把握，最后通过实例验证了该方法的有效性。     

基于渗流模型的影响力最大化算法

多数社交网络影响力最大化算法的研究只关注于所选种子节点集合的影响力是否最优,忽略网络自身传播影响力的固有能力。本文对网络进行渗流模拟,计算渗流后网络的主连通分量随着传播概率改变的趋势,并且求得主连通分量大小增加开始变快的相变点,从而计算网络自身传播影响力的固有能力。通过相变值与种子节点集合大小的换算,求得当前网络最佳的种子节点集合大小。将种子节点集合大小限制在最佳大小范围内即可获得最佳的影响力。在kareteclub、football、highschool和socdolphins社交网络数据集上进行实验,验证了该方法的有效性。     

OpenFlow技术与商业价值

针对目前流行的OpenFlow技术,本文提出OpenFlow的标准进展、商业价值和连通性测试。该方法根据控制层面和转发层面相分离的技术,采用移动研究院内网拓扑进行测试。实验结果表明,通过在BigSwitch controler上进行相关命令配置就可实现二层的OpenFlow交换机互联的不同网段主机的通信。OpenFlow是SDN技术中一种关键的接口协议,SDN是对网络的抽象, OpenFlow是对单个转发面设备的抽象。OpenFlow交换机和Control er的出现为新型互联网（NGN）体系结构的研究提供了实验途径。     

销售管理系统设计——报价管理

简要介绍了销售管理系统的涵义和结构,并讨论报价管理系统的定义和作用。以销售管理系统报价管理子系统的开发为背景,论述了整个系统的开发过程,系统的可行性分析、结构和基本设计。全文共分为引言、系统规划与分析、系统设计、系统实施与运行、结束语五部分。该论文在应用程序的编制中采用了VisualBasic6.0,文中介绍了VisualBasic6.0的特点。最后还对管理信息系统的发展趋势进行了分析和展望。     

高分一号卫星4种融合方法评价

以国产高分辨率卫星高分一号作为数据源,应用Pansharp融合、HPF融合、Gram-Schmidt融合和SFIM融合4种方法对高分一号卫星2m全色及8m多光谱数据进行了融合试验,并对融合结果的空间信息融入度和光谱保真度进行了评价。选取标准差、熵及联合熵、平均梯度、相对偏差4种客观评价指标对融合结果进行了计算与分析。研究结果表明:对于高分一号卫星,4种方法均显著提高了影像的空间分辨率,同时较好地保留了影像的光谱信息,提高了影像的利用率。其中Pansharp融合综合表现最好,HPF方法边界最为清晰,SFIM方法的光谱保真度最高,GramSchmidt融合在近红外波段效果最好。根据不同的研究目的,使用适宜的融合方法及参数,可以使高分一号卫星影像更好地为生产及科研工作服务。     

基于XML的中间层交互技术的研究

由于HTML自身的不足．所以无法适应Web发展的复杂性和多变性，也不利于机器之间的数据交换和信息传递，通过对XML和HTML作多个角度的对比，文中提出将XML作为载体实现Web上的动态交互。首先从XML的自身特点出发，分析了XML驱动下的Web体系结构，从而得出基于XML的中间层交互技术的实现原理．重点研究了如何设计与XML相匹配的Web数据库，用XML查询数据库的实现方法，以及如何构造从XML到数据库的映射关系，具体包括从XIviL的DTD或者Schema出发来设计数据库的结构或者从数据库本身出发来构造与之相适应的DTD或Schema，最后分析了浏览XML格式信息的诸多策略。     

Transmission of vertical vibration through a seat: Effect of thickness of foam cushions at the seat pan and the backrest

The perception of vehicle ride comfort is influenced by the dynamic performance of full-depth foam used in many vehicle seats. The effects of the thickness of foam on the dynamic stiffness (i.e., stiffness and damping as a function of frequency) of foam cushions with three thicknesses (60, 80, and 100 mm), and the vibration transmitted through these cushions at the seat pan and the backrest were measured with 12 subjects (6 males and 6 females). With increasing thickness, the stiffness and the damping of the foam decreased. With increasing thickness of foam at the seat pan, the resonance frequencies around 4 Hz in the vertical in-line and fore-and-aft cross-axis transmissibilities of the seat pan cushion and the backrest cushion decreased. For the conditions investigated, it is concluded that the thickness of foam at a vertical backrest has little effect on the vertical in-line or fore-and-aft cross-axis transmissibilities of the foam at either the seat pan or the backrest. The frequencies of the primary resonances around 4 Hz in the vertical in-line transmissibility and the fore-and-aft cross-axis transmissibility of foam at the seat pan were highly correlated. Compared to sitting on a rigid seat pan with a foam backrest, sitting with foam at both the seat pan and the backrest reduced the resonance frequency in the vertical in-line transmissibility of the backrest foam and increased the associated transmissibility at resonance, while the fore-and-aft cross-axis transmissibility of the backrest was little affected. Compared to sitting without a backrest, sitting with a rigid vertical backrest increased the resonance frequency of the fore-and-aft cross-axis transmissibility of the seat pan cushion and increased the transmissibility at resonance.Relevance to industryThe transmissibility of a seat is determined by the dynamic properties of the occupant of the seat and the dynamic properties of the seat. This study shows how the thicknesses of foam at a seat pan and foam at a backrest affect the in-line and cross-axis transmissibilities of the foams at the seat pan and the backrest. The findings have application to the design of vehicle seats to minimise the transmission of vibration to the body.     

An approach to the synthesis of fuzzy stabilization systems with a priori unknown model of an object

A method of synthesis of fuzzy stabilization systems for a broad class of dynamic objects under the assumption that the mathematical model of the object is not known a priori is proposed. The control is formulated in the form of a proportional law of adjustment as a function of a macro-variable; the square of the Euclidean norm of the phase variables is adopted as the macro-variable. An analogous variable characterizes the distance of the object from the equilibrium position. Despite the simplicity of the control law, its sign remains constant due to the fact that the macro-variable is positive-definite over the entire phase space. The switching times of the signals are determined by fuzzy identification of the system’s dynamic modes on the basis of measurement of the derivatives of the macro-variable.     

基于SSH框架与Ajax技术的教学资源管理系统

根据高职院校自身教学资源的特点,采用Java EE的轻量级框架技术设计该系统。系统的业务层和表示层通过Struts与Spring的集成完成,数据持久层通过Spring与Hibernate的集成完成,整个系统页面采用Ajax技术。使用SSH框架不仅可以简化系统整个开发过程,同时还极大地增强了系统的可维护性和可扩展性。并且通过使用Ajax技术,也提高了整个系统页面的访问效率。