中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

Grinding temperature and energy ratio coefficient in MQL grinding of high-temperature nickel-base alloy by using different vegetable oils as base oil

Vegetable oil can be used as a base oil in minimal quantity of lubrication(MQL). This study compared the performances of MQL grinding by using castor oil, soybean oil, rapeseed oil, corn oil, sunflower oil, peanut oil, and palm oil as base oils. A K-P36 numerical-control precision surface grinder was used to perform plain grinding on a workpiece material with a high-temperature nickel base alloy. A YDM–III 99 three-dimensional dynamometer was used to measure grinding force,and a clip-type thermocouple was used to determine grinding temperature. The grinding force, grinding temperature, and energy ratio coefficient of MQL grinding were compared among the seven vegetable oil types. Results revealed that(1) castor oil-based MQL grinding yields the lowest grinding force but exhibits the highest grinding temperature and energy ratio coefficient;(2) palm oil-based MQL grinding generates the second lowest grinding force but shows the lowest grinding temperature and energy ratio coefficient;(3) MQL grinding based on the five other vegetable oils produces similar grinding forces, grinding temperatures, and energy ratio coefficients, with values ranging between those of castor oil and palm oil;(4) viscosity significantly influences grinding force and grinding temperature to a greater extent than fatty acid varieties and contents in vegetable oils;(5) although more viscous vegetable oil exhibits greater lubrication and significantly lower grinding force than less viscous vegetable oil, high viscosity reduces the heat exchange capability of vegetable oil and thus yields a high grinding temperature;(6) saturated fatty acid is a more efficient lubricant than unsaturated fatty acid; and(7) a short carbon chain transfers heat more effectively than a long carbon chain. Palm oil is the optimum base oil of MQL grinding, and this base oil yields 26.98 N tangential grinding force,87.10 N normal grinding force, 119.6 °C grinding temperature, and 42.7% energy ratio coefficient.     

Specific grinding energy and surface roughness of nanoparticle jet minimum quantity lubrication in grinding

Nanoparticles with the anti-wear and friction reducing features were applied as cooling lubricant in the grinding fluid. Dry grinding, flood grinding, minimal quantity of lubrication（MQL）, and nanoparticle jet MQL were used in the grinding experiments. The specific grinding energy of dry grinding, flood grinding and MQL were 84, 29.8, 45.5 J/mm³, respectively. The specific grinding energy significantly decreased to 32.7 J/mm³ in nanoparticle MQL. Compared with dry grinding, the surface roughness values of flood grinding, MQL, and nanoparticle jet MQL were significantly reduced with the surface topography profile values reduced by 11%, 2.5%, and 10%,respectively, and the ten point height of microcosmic unflatness values reduced by 1.5%, 0.5%,and 1.3%, respectively. These results verified the satisfactory lubrication effects of nanoparticle MQL. MoS₂, carbon nanotube（CNT）, and ZrO₂ nanoparticles were also added in the grinding fluid of nanoparticle jet MQL to analyze their grinding surface lubrication effects. The specific grinding energy of MoS₂ nanoparticle was only 32.7 J/mm³, which was 8.22% and 10.39% lower than those of the other two nanoparticles. Moreover, the surface roughness of workpiece was also smaller with MoS₂ nanoparticle, which indicated its remarkable lubrication effects. Furthermore,the role of MoS₂ particles in the grinding surface lubrication at different nanoparticle volume concentrations was analyzed. MoS₂ volume concentrations of 1%, 2%, and 3% were used.Experimental results revealed that the specific grinding energy and the workpiece surface roughness initially increased and then decreased as MoS₂ nanoparticle volume concentration increased.Satisfactory grinding surface lubrication effects were obtained with 2% MoS₂ nanoparticle volume concentration.     

挖掘周期性一般关联规则

在事务数据库中的周期性一般关联规则可以揭示类的不同层次之间的关系和呈现周期性变化。这些信息对于识别在关联中的趋势和预测非常有用。由于数据噪声对发现周期性一般关联规则的巨大影响 ,文中用噪声比来抑制数据噪声对发现周期性一般关联规则的影响。同时根据对周期性与一般高频集之间关系的分析 ,利用周期裁剪技术来节省挖掘时间 ,给出了 (Cyclic general-ized itemsets,CGI)算法。实验证明 ,该算法可高效地发现周期性一般关联规则。     

NUMERICAL SIMULATION OF VORTEX BREAKDOWN ON A DELTA WING AT LOW SPEED

ＮＵＭＥＲＩＣＡＬ　ＳＩＭＵＬＡＴＩＯＮ　ＯＦ　ＶＯＲＴＥＸ　ＢＲＥＡＫＤＯＷＮ　ＯＮ　Ａ　ＤＥＬＴＡ　ＷＩＮＧ　ＡＴ　ＬＯＷ　ＳＰＥＥＤＺｈｕＺｉｑｉａｎｇ；ＪｉａＪｉａｎｂｏ（ＩｎｓｔｉｔｕｔｅｏｆＦｌｕｉｄＭｅｃｈａｎｉｃｓ，ＢｅｉｊｉｎｇＵｎ...     

Robust control for constant thrust rendezvous under thrust failure

A robust constant thrust rendezvous approach under thrust failure is proposed based on the relative motion dynamic model. Firstly, the design problem is cast into a convex optimization problem by introducing a Lyapunov function subject to linear matrix inequalities. Secondly, the robust controllers satisfying the requirements can be designed by solving this optimization problem.Then, a new algorithm of constant thrust fitting is proposed through the impulse compensation and the fuel consumption under the theoretical continuous thrust and the actual constant thrust is calculated and compared by using the method proposed in this paper. Finally, the proposed method having the advantage of saving fuel is proved and the actual constant thrust switch control laws are obtained through the isochronous interpolation method, meanwhile, an illustrative example is provided to show the effectiveness of the proposed control design method.     

Study of amplification coefficient in a water-cooling Gardon-type heat power measuring apparatus

A new water-cooling Gardon-type heat power measuring apparatus is designed to meet the need of heat power source management and distribution. The steady state measurement mathematic model of the apparatus is built up in theory and the system amplification coefficient is defined as the ratio of the heat power to the temperature difference of the device, with which the value of the measured source power can be calculated easily with the corresponding temperature difference. In order to obtain an optimal heat power measuring system, the coefficients that can influence the relationship between the amplification coefficient, the temperature difference, and the heat power are analyzed. On the basis of these analyses, a set of experimental device is constructed and a number of experiments are carried on. Compared with the input heat power sample data, the error of the experimental measuring results is less than ±2%, and the experimental measuring values are in good agreement with the calculated theoretical ones. The heat power measuring apparatus can be applied in heat flux or heat power measurement in other fields due to its simple structure and high accuracy.     

Real-time evaluation method of flight mission load based on sensitivity analysis of physiological factors

As the complexity of flight missions continues to increase, sending a timely warning or providing assistance to pilots helps to reduce the probability of operational errors and flight accidents. Monitoring pilots’ physiological data, real-time evaluation of mission load is a feasible technical way to achieve this. In this paper, a set of flight tasks including aircraft control, humancomputer interaction and mental arithmetic tests are designed to simulate five mission loads at different flight d...     

Characteristics of pulsed plasma synthetic jet and its control effect on supersonic flow

The plasma synthetic jet is a novel flow control approach which is currently being studied. In this paper its characteristic and control effect on supersonic flow is investigated both experimentally and numerically. In the experiment, the formation of plasma synthetic jet and its propagation velocity in quiescent air are recorded and calculated with time resolved schlieren method. The jet velocity is up to 100 m/s and no remarkable difference has been found after changing discharge parameters. When applied in Mach 2 supersonic flow, an obvious shockwave can be observed. In the modeling of electrical heating, the arc domain is not defined as an initial condition with fixed temperature or pressure, but a source term with time-varying input power density, which is expected to better describe the influence of heating process. Velocity variation with different heating efficiencies is presented and discussed and a peak velocity of 850 m/s is achieved in still air with heating power density of 5.0 · 1012W/m3. For more details on the interaction between plasma synthetic jet and supersonic flow, the plasma synthetic jet induced shockwave and the disturbances in the boundary layer are numerically researched. All the results have demonstrated the control authority of plasma synthetic jet onto supersonic flow.     

A robust compact least-squares reconstruction method for compressible turbulent flow simulations of complex configurations

For the second-order finite volume method, implicit schemes and reconstruction methods are two main algorithms which influence the robustness and efficiency of the numerical simulations of compressible turbulent flows. In this paper, a compact least-squares reconstruction method is proposed to calculate the gradients for the distribution of flow field variables approximation. The compactness of the new reconstruction method is reflected in the gradient calculation process. The geometries of the ...