Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.     

A hybrid Jacobian control for uncalibrated robot visual servoing

This paper focuses on the visual servo control of an uncalibrated robotic arm with an eye-in-hand camera. Without a prior knowledge of the kinematics of the robotic arm or camera calibration, the proposed hybrid Jacobian controller can track a moving object using visual feedback and joint-space velocity feedback. The proposed hybrid control method is a combination of the uncalibrated visual servoing and approximate Jacobian feedback control. First, the Jacobian matrix from joint-space to image-space is estimated by recursive least-squares (RLS) algorithm, and then the approximate Jacobian feedback controller is designed by using visual feedback and joint-space velocity feedback. The performances of the proposed control methods are illustrated by computer simulations.     

Genetic analysis of segregation distortion of mating-type factors in Lentinula edodes

Analyses of the mating-type ratio of protoplast monokaryons to spores in 28 strains of Lentinula edodes were performed through statistical methods. The results showed that the segregation distortion phenomenon commonly exists in both types of Lentinula edodes, 17 out of the 28 samples did not display the expected 1∶1 ratio of protoplast monokaryons; and among them 8 fruiting strains distorted 1∶1∶1∶1 segregation of spores. The degree of distortion in all tested wild strains was significantly lower than that of cultured strains. In fruiting test of positive-negative parent, predominant spores were those with the mating type identical to dikaryotic parent, indicating that the predominance of nuclei mainly depends on the mating type of dikaryotic parent. Data from di-mon mating test verified that monokaryons with acceptor nuclear type are present exclusively in a large amount after dedikaryotization, suggesting that the specificities among B factors and some other unknown factors in cytoplasm are probably responsible for the phenomenon of skewed segregation.     

Allocation of power generating and shipping of Hanjiang upstream cascade

The optimal model and simulating model of the Hanjiang cascade reservoirs operation with one day as its calculating period are established to coordinate the contradictions between power generating and shipping. The optimal model is solved by progressive optimality algorithm method adopting the theory of large system decomposing and coordinating. By analyzing the water allocation results obtained from six schemes, which are two cascades, four cascades and seven cascades joint operation considering shipping or not, the contradiction degree between power generating and shipping is investigated and some joint operation schemes are proposed.     

Computational fluid dynamics for dense gas-solid fluidized beds

Many computational fluid dynamics (CFD) models for describing the hydrodynamics of dense gas-solid flows in fluidized beds have been put forward in the past few decades. These models treat the solid phase as continuum or discrete particles, which leads to Eulerian-Eulerian or Eulerian-Lagrangian formulations, respectively. Different governing equations and closure relations essentially result from an insufficient understanding of the complex gas?particle and particle?particle interactions for gas?solid flows. The current status of these models is discussed briefly in this paper. All the approaches in the literature modify only the solid phase momentum balance equation introducing various forms of the solid phase stress tensor and the solid phase pressure drop in the Eulerian-Eulerian models. Taking them into consideration, a new model for predicting the fluid behavior of dense gas?solid flows in fluidized beds has been developed, which contains new terms in both the particle and gas phase momentum balance equations and requires only the use of an experimental drag force correlation. Several results are shown to verify the model’s reliability, which include the homogeneous fluidization of Geldart type A particles, the bubbling and jetting fluidization of Geldart type B particles in rectangular beds, and fluid dynamics in a complicated geometry for a bubbling?bed of a fast internally circulating fluidized?bed biomass gasifier.     

The fate of injectant coal in blast furnaces: The origin of extractable materials of high molecular mass in blast furnace carryover dusts

The aim of the work was to investigate the fate of injectant coal in blast furnaces and the origin of extractable materials in blast furnace carryover dusts. Two sets of samples including injectant coal and the corresponding carryover dusts from a full sized blast furnace and a pilot scale rig have been examined. The samples were extracted using 1-methyl-2-pyrrolidinone (NMP) solvent and the extracts studied by size exclusion chromatography (SEC). The blast furnace carryover dust extracts contained high molecular weight carbonaceous material, of apparent mass corresponding to 10⁷?10⁸ u, by polystyrene calibration. In contrast, the feed coke and char prepared in a wire mesh reactor under high temperature conditions did not give any extractable material. Meanwhile, controlled combustion experiments in a high-pressure wire mesh reactor suggest that the extent of combustion of injectant coal in the blast furnace tuyeres and raceways is limited by time of exposure and very low oxygen concentration. It is thus likely that the extractable, soot-like material in the blast furnace dust originated in tars is released by the injectant coal. Our results suggest that the unburned tars were thermally altered during the upward path within the furnace, giving rise to the formation of heavy molecular weight (soot-like) materials.     

郎咸平：国企股改中政府的信用不断被破坏

中国政府在推动本次国有企业的股份制改革的时候，曾经很坚决地表示，政府有决心推动这个政策。对于中国决定开始进行股改，我没有任何的怀疑和犹豫，我反对的是政府在这一过程中不断地破坏政府信用的行为。     

构建中国中小企业信用担保体系的分析和思考

融资问题是制约中小企业发展的瓶颈问题，发展中小企业担保，建立中小企业信用担保体系，成为解决中小企业融资的重要途径。本文分析我国信用担保发展现状，并就建立符合我国国情的中小企业信用担保体系提出了意见和建议。     

P-拉普拉斯方程正解和多解的存在性

研究在RN中的一般形式的P-拉普拉斯方程-div(|Du|p-2Du)=f(x,u)(N>P>1).在一定的条件下得到正确和多解.首先建立相应的变分范函,利用H lder和Sobolev不等式证明此范函满足Palais-Smale条件,然后利用爬山原理证明了解的存在性.最后利用严格最大值原理证明了正解的存在性.     

盛世警言：担保，谁为谁捏把汗？

没有钱是万万不能的。这句话说到众多中小企业的心坎上去了,它们面临着融资难的问题。有句形容人生易逝的俗语:头宿脱了鞋,早上指不定就穿不上了。基于这类企业的此种状况.银行只管锦上添花.哪敢雪中送炭;政府优惠政策不说缺胳膊少腿,面对众多嗷嗷待哺的企业也难以面面俱到。其实,中小企业融资难并非中国特色。在美国.日本等西方发达国家.中小企业也存在融资“瓶颈”。