Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

实体造型中的几何约束

实体造型是一个基于约束的过程，完成从功能约束到几何约束、再到代数约束的转化而得到实体模型。本文讨论了几何约束的层次性及其表示，并且对几何约束同设计意图的关系进行了研究，提出了基于ＣＳＧ／ＧＣＧ／Ｂ－ｒｅｐ的模型表示。     

Suppressive effect of corticosteroids on the gene expression of interleukin-5 and eosinophil activation in asthmatics

Although cortico steroids are effective anti-inflammatory agents in ameliorating asthma symptoms and bronchial hperreactivity, their mechanism of action is unknown. Interleukin (IL)-5 is known to play a key role in regulating eosinophil proliferation and activation. Therefore, we examined the changes of IL-5 mRNA expressions in PBMC semi-quantitatively with RT-PCR as well as serum ECP levels and MCH-PC20 values in asthmatics before and after being treated with corticosteroids. The results revealed that there were significant decrease in the level of IL-5 mRNA and serum ECP concentration after therapy (P < 0.05) and there was remarkable improvement in the values of MCH-PC20 and FEV1% (P < 0.05). It was also found that the changes of serum ECP levels or MCH-PC20 values were accompanied by a reduction in IL-5 mRNA expression (r = 0.5426 or 0.4857, P < 0.05). These results suggested that the therapeutic effects of corticosteroids in asthma may result from modulation of IL-5 gene expression with consequent inhibition of eosinophil activation.     

Magnetization and rotation of MTG HTSC ring in magnetic field

The magnetization of a melt-texture growth (MTG) HTSC ring has been studied. It is shown that the magnetic field inside the ring is larger than the external field under a certain range of external magnetic fields. We have also investigated the magnetic field dependence of the response of a detective coil near a rotating superconducting ring. The responses of the MTG sample are different for different cooling methods.     

Evolutionary algorithms and de novo peptide design

One of the goals of computational chemistry is the automated de novo design of bioactive molecules. Despite significant progress in computational approaches to ligand design and efficient evaluation of binding energy, novel procedures for ligand design are required. Evolutionary computation provides a new approach to this design issue. This paper presents an automated methodology for computer-aided peptide design based on evolutionary algorithms. It provides an automatic tool for peptide de novo design, based on protein surface patches defined by user. Regarding the restrictive constrains of this problem a special emphasis has been made on the design of the evolutionary algorithms implemented.     

用仿真工具优化车辆动力系统(一)

在本文的第一部分，介绍了一种理想的车辆动力系统的计算机辅助开发过程。它显示了现代仿真技术在产品持续发展过程中的作用，该技术采用硬件回路作非在线的仿真，并通过现代化的试验手段对车辆进行匹配。特别重要的是提供了将电控变速器和发动机控制单元综合的可能性。接着是在线仿真在诸如发动机和变速器模式方面的应用和发展，它是上述开发过程的基础。根据上述的方法论，本文论述了仿真技术已取得的成绩和将来的应用可能性。     

Replacement of beef fat in Frankfurters by interesterified palm,cottonseed and olive oils

Three interesterified vegetable oils (IVOs) prepared from palm, cottonseed, and olive oil, respectively, have been studied for application to Frankfurters. Beef fat (10%) was replaced by one of the IVOs at 20, 60 or 100%. Fatty acid composition of the lipid fraction in the Frankfurters and saturated/unsaturated ratios were established for all batches. We found that total or partial replacement of beef fat by IVOs did not lead to significant changes in appearance, colour, texture, flavour or sensory score. We conclude that IVOs may be successfully applied as beef fat substitutes in Frankfurters.