Bonded concrete overlay of asphalt mechanical-empirical design procedure

Bonded concrete overlays of asphalt pavements (BCOAs) are becoming a common rehabilitation technique used for distressed hot mix asphalt (HMA) roadways. The original design procedures were based primarily on data from instrumented pavements and finite element modelling. They were governed by the assumption that the failure mechanism was a function of the overlay thickness. However, field observations have indicated that the actual failure modes are dictated by slab size. The newly developed Bonded Concrete Overlay of Asphalt Mechanistic-Empirical design procedure (BCOA-ME) presented here is valid for overlays that are between 2.5 and 6.5 in (64–154 mm), and includes five primary enhancements to the Portland Cement Association and Colorado Department of Transportation procedures that have been traditionally used: 1.) the failure mode is dictated by the joint spacing; 2.) a new structural model for longitudinal cracking for 6-ft × 6-ft (1.8 m × 1.8 m) concrete overlays has been developed to better predict the critical stresses; 3.) the stress adjustment factors have been calibrated with performance data; 4.) the equivalent temperature gradients used as design input are defined based on the pavement structure and geographical location of the project; and 5.) the effect of temperature change on underlying HMA stiffness is considered. Finally, validation studies were completed on the new procedure and comparisons made between the revised procedure and actual performance data for five separate projects showed reasonable results. A sensitivity analysis also revealed that the predicted thickness obtained using the revised procedure was sensitive to HMA thickness, the modulus of rupture of the Portland cement concrete, and the level of traffic, as would be expected.     

The use of mindmapping software for patent search and management

Modern information technologies and in particular the internet have revolutionized the patent information professionals' work in terms of speed of access and information comprehensiveness from both company internal and external digital sources. Here, I describe how the digital mindmapping technique can be used to complement existing intellectual property management software solutions to meet the challenge of optimizing and managing patent search workflows as well as to rapidly organise and access highly dynamic, heterogeneous and scattered patent information sources. Both eye catching and highly memorable and at the same time self-explanatory mindmapping examples are presented. These were designed to include basic and advanced level digital mindmapping features tailored to significantly speed up and maintain a high work quality level of patent search professionals. A special emphasis is put on the great benefit of organising and accessing the plethora of internet-based worldwide online patent registers through mindmapping, both in terms of managing the constantly changing deep links to the actual search options for e.g., legal status information, and keeping track of the offered level of content.     

浅析企业形象设计实施效果评估

企业形象设计的目标是追求一种真实而良好的企业形象,从而实现企业生产经营的目的。那么如何判断和测定这一目标是否已经达到了呢？文章从提高对ＣＩ效果评估重要性的认识着手,从系统和量化角度设计出一套企业形象设计实施效果评估程序和科学的评估指标体系。这对于ＣＩ设计、ＣＩ导入和ＣＩ系统的优化管理都具有极其重要的实际价值。     

固定电子证据的程序规范研究

由于电子证据是以数字化信息编码的形式出现的数据表现形式,因而具有高科技性、间接性、隐蔽性等特点,决定了电子证据的固定与刑事诉讼中其它证据收集的传统方法有较大的区别。固定电子证据应当遵循合法性、完整性、正当性以及科学性的程序规则。     

Implementation of a strain energy-based nonlinear finite element in the object-oriented environment

The objective of the paper is to describe a novel finite element computational method based on a strain energy density function and to implement it in the object-oriented environment. The original energy-based finite element was put into the known standard framework of classes and handled in a different manner. The nonlinear properties of material are defined with a modified strain energy density function. The local relaxation procedure proposed as a method used to resolve a nonlinear problem is implemented in C++ language. The hexahedral element with eight nodes as well as the adaptation of the nonlinear finite element is introduced. The chosen numerical model is made of nearly incompressible hyperelastic material. The application of the proposed element is shown on the example of a rectangular parallelepiped with a hollow port.     

动态链接库在组态软件中的应用

介绍了Windows系统下使用动态链接库的优点和调用方法,分析并给出了组软件的总体框架结构。根据组态软件的结构划分。使用动态链接库分别设计了图形组态系统的图库中的图元的接口;实时数据库的接口;I／O设备通信的接口。应用程序通过加载动态链接库,调用它的导出接口函数,可以实现相应的功能。     

Combination of convex theories: Modularity,deduction completeness,and explanation

Decision procedures are key components of theorem provers and constraint satisfaction systems. Their modular combination is of prime interest for building efficient systems, but their effective use is often limited by poor interface capabilities, when such procedures only provide a simple “sat/unsat” answer. In this paper, we develop a framework to design cooperation schemas between such procedures while maintaining modularity of their interfaces. First, we use the framework to specify and prove the correctness of classic combination schemas by Nelson–Oppen and Shostak. Second, we introduce the concept of deduction complete satisfiability procedures, we show how to build them for large classes of theories, then we provide a schema to modularly combine them. Third, we consider the problem of modularly constructing explanations for combinations by re-using available proof-producing procedures for the component theories.     

基于Oracle的高校研究生招生系统设计与实现

Oracle数据库是当今世界流行的数据库管理系统之一,在大中型应用中被广泛的采用。基于Oracle 9i设计和实现的某高校研究生招生系统能通过Oracle中的PL/SQL程序对考生的成绩数据和录取情况进行较全面处理。     

Robust observer–controller compensator design using the loop shaping design procedure and the algebraic method

This paper investigates robust observer‐controller compensator design using Vidyasagar's structure (VS). VS has a unit matrix parameter H similar to the Q parameter for the Youla–Kucera parameterization. VS can be designed based on the left coprimeness of the central controller in the H_∞‐loop shaping design procedure (H_∞‐LSDP) and therefore can preserve the intrinsic properties of the H_∞‐LSDP. This paper introduces algebraic methods to simplify the design of H in the VS controller by solving specific algebraic equations. In particular, the algebraic design of H can achieve two things. First, a dynamic H adjusts the tracking performance and yields the integral action. Second, a dynamic H rejects the input and output sinusoidal disturbances with known frequencies. These attributes are indications of the flexibility of the proposed method since the output‐feedback controller design of the H_∞‐LSDP cannot easily deal with such conditions. This paper discusses the achieved loop and the closed‐loop behavior of the system with VS, and also gives two numerical examples. The first example shows that the proposed method results in a better design in many aspects than the resulting from H_∞‐LSDP. The second example shows the application of the proposed method to rejecting input and output step disturbances, and input and output multiple sinusoidal disturbances, for which the H_∞‐LSDP can hardly be used. Copyright © 2009 John Wiley & Sons, Ltd.     

流密码算法RC4的教学设计

针对流密码算法RC4教学过程中存在难以理解的问题,在分析RC4算法的基础上,本文提出了一种基于摸球模型的RC4算法教学模型和教学过程,在密码学课程教学方面取得了良好的效果。