Implementing the Davis–Putnam Method

The method proposed by Davis, Putnam, Logemann, and Loveland for propositional reasoning, often referred to as the Davis–Putnam method, is one of the major practical methods for the satisfiability (SAT) problem of propositional logic. We show how to implement the Davis–Putnam method efficiently using the trie data structure for propositional clauses. A new technique of indexing only the first and last literals of clauses yields a unit propagation procedure whose complexity is sublinear to the number of occurrences of the variable in the input. We also show that the Davis–Putnam method can work better when unit subsumption is not used. We illustrate the performance of our programs on some quasigroup problems. The efficiency of our programs has enabled us to solve some open quasigroup problems.     

Instability of automotive air conditioning system with a variable displacement compressor. Part 2. Numerical simulation

A test system is built first in order to investigate the instability of the automotive air conditioning (AAC) system with a variable displacement compressor (VDC), and hunting phenomena caused by the large external disturbance in the AAC system with a VDC and a thermal expansion valve, and in the AAC system with a VDC and a fixed-area throttling device are investigated experimentally in part 1 of this paper. The experimental results indicate that there also exist the hunting phenomena in the AAC system with a fixed-area throttling device. The system stability is found to be dependent on the direction of the external disturbance, and the system is apt to cause hunting when the condensing pressure decreases excessively since it may cause two-phase state at the throttling device inlet and make a large disturbance to the system. The piston stroke length will oscillate only when the oscillation amplitudes of forces acting on the wobble plate are great enough, otherwise the piston stroke length will be kept invariable, and then the system instability rule is also suitable for the AAC system with a fixed displacement compressor. From the experimental results, it is concluded that the two-phase flow at the throttling device inlet or at the evaporator outlet is the necessary condition but not sufficient condition for system hunting. Finally, a new concept, conservative stable region, is proposed based on the experimental results and theoretical analysis.     

Heat transfer characteristics of flat plate finned-tube heat exchangers with large fin pitch

The objective of this study is to provide experimental data that can be used in the optimal design of flat plate finned-tube heat exchangers with large fin pitch. In this study, 22 heat exchangers were tested with a variation of fin pitch, number of tube row, and tube alignment. The air-side heat transfer coefficient decreased with a reduction of the fin pitch and an increase of the number of tube row. The reduction in the heat transfer coefficient of the four-row heat exchanger coil was approximately 10% as the fin pitch decreased from 15.0 to 7.5 mm over the Reynolds number range of 500–900 that was calculated based on the tube diameter. For all fin pitches, the heat transfer coefficient decreased as the number of tube row increased from 1 to 4. The staggered tube alignment improved heat transfer performance more than 10% compared to the inline tube alignment. A heat transfer correlation was developed from the measured data for flat plate finned-tubes with large fin pitch. The correlation yielded good predictions of the measured data with mean deviations of 3.8 and 6.2% for the inline and staggered tube alignment, respectively.     

A fast and compact elimination method of empty elements from a double‐array structure

A double‐array is a well‐known data structure to implement the trie. However, the space efficiency of the double‐array degrades with the number of key deletions because the double‐array keeps empty elements produced by the key deletion. This paper presents a fast and compact elimination method of empty elements using properties of the trie nodes that have no siblings. The present elimination method is implemented by C language. From simulation results for large sets of keys, the present elimination method is about 30–330 times faster than the conventional elimination method and maintains high space efficiency. Copyright © 2003 John Wiley & Sons, Ltd.     

一种适于多维的快速包分类算法

包分类是多种网络应用的关键性技术，包分类算法的性能对网络的时延和吞吐量有决定性的影响。文章介绍一种适于多维的快速包分类算法——RFC算法，论述了算法的原理和实现算法，将RFC算法与几种常见的分类算法作仿真比较，阐述了RFC算法的优越性。     

On-line construction of suffix trees

An on-line algorithm is presented for constructing the suffix tree for a given string in time linear in the length of the string. The new algorithm has the desirable property of processing the string symbol by symbol from left to right. It always has the suffix tree for the scanned part of the string ready. The method is developed as a linear-time version of a very simple algorithm for (quadratic size) suffixtries. Regardless of its quadratic worst case this latter algorithm can be a good practical method when the string is not too long. Another variation of this method is shown to give, in a natural way, the well-known algorithms for constructing suffix automata (DAWGs).This research was supported by the Academy of Finland and by the Alexander von Humboldt Foundation (Germany).     

Two-phase flow regimes in round, square and rectangular tubes during condensation of refrigerant R134a

An experimental investigation of two-phase flow mechanisms during condensation of refrigerant R134a in six small diameter round (4.91 mm), square (D_h=4 mm, α=1), and rectangular (4×6 and 6×4 mm: D_h=4.8 mm, α=0.67 and 1.5; 2×4 and 4×2 mm: D_h=2.67 mm, α =0.5 and 2) was conducted. Unique experimental techniques and test sections were developed to enable the documentation of the flow mechanisms during phase change. For each tube under consideration, flow mechanisms were recorded over the entire range of qualities for five different refrigerant mass fluxes between 150 and 750 kg m⁻² s⁻¹. The flow mechanisms were categorized into four different flow regimes: intermittent flow, wavy flow, annular flow, and dispersed flow. In addition, the large amount of data enabled the delineation of several different flow patterns within each flow regime, which provides a clearer understanding of the different modes of two-phase flow. Transition lines between the respective flow patterns and regimes on these maps were established based on the experimental data. It was found that for similar hydraulic diameters, flow regime transitions are not very strongly dependent on tube shape or aspect ratio. These maps and the transition lines can be used to predict the particular flow pattern or regime that will be established for a given mass flux, quality and tube geometry.     

Air-side thermal hydraulic performance of multi-louvered fin aluminum heat exchangers

An experimental study on the air-side heat transfer and pressure drop characteristics for multi-louvered fin and flat tube heat exchangers has been performed. For 45 heat exchangers with different louver angles (15–29°), fin pitches (1.0, 1.2, 1.4 mm) and flow depths (16, 20, 24 mm), a series of tests were conducted for the air-side Reynolds numbers of 100–600, at a constant tube-side water flow rate of 0.32 m³/h. The inlet temperatures of the air and water for heat exchangers were 21 and 45°C, respectively. The air-side thermal performance data were analyzed using effectiveness-NTU method for cross-flow heat exchanger with both fluid unmixed conditions. The heat transfer coefficient and pressure drop data for heat exchangers with different geometrical configurations were reported in terms of Colburn j-factor and Fanning friction factor f, as functions of Reynolds number based on louver pitch. The general correlations for j and f factors are developed and compared to other correlations. The f correlation indicates that the flow depth is one of the important parameters for the pressure drop.     

Mesure de coefficients de convection par méthode impulsionnelle—influence de la perturbation de la couche limiteMeasurement of the convective heat coefficients by the pulsed method—influence of the boundary-layer perturbation

We present here some elements in order to improve the non-destructive procedures for the measurement of the local heat transfer coefficient between a plate uniformly heated and an air-flow. We use the pulsed photothermal method which consists of analysing the transient temperature on the front face of a wall, initially subjected to a convective flow, after a sudden deposit of luminous energy. For the examination of the experimental thermograms, two models are used: in the first one the heat coefficient is assumed to remain constant during the pulsed experiment, and we take into account its variation in time in the second one. The temporal variation law of the heat transfer coefficient used in the second model is obtained by extension of the differential method to the unsteady laminar boundary-layer due to a finite duration excitation. We compare the results of the two models in transient state with those given in steady state by multi-layered heat flux sensor.     

Influence of fungicide treatment and storage conditions on mould and yeast activity on “Satsuma” mandarin

The activity of mould and yeast population on the surface of ‘Satsuma’ mandarin was studied at four temperatures (2, 4, 10 and 20 °C) and two relative humidity (RH) levels (80 and 93%) on fruits washed and on fruits washed and treated with a fungicide mixture (1200 ppm thiabendazole + 800 guazatine + 400 ppm prochloraz), stored for 20 and 40 days. The lowest final microbial counts (CFU) were for the fruits treated and stored at 2 °C and 93% RH and the highest counts were for fruits stored at 20 °C and 93% RH regardless of fungicide treatment. Throughout the storage period, yeast and Cladosporium spp. were predominant in the microbial counts and generally showed reducing trends. The fungicide treatment was very efficient and persistent. The absence of antifungal treatment and the increase of RH levels caused a greater rise of CFU than the increase of the storage period or temperature. An increase in the CFU values with the increase of RH was observed in untreated fruits. The treatment of ‘Satsuma’ fruits with the fungicide mixture, followed by cold storage at 2 °C and 93% RH, extended the storage period at least 40 days.