可模性

The correct rate of back substitution of discriminating is 100%. The contents of copper, iron and magnesium of other fruits such as Chinese goosebery and guava were put into the mathematic model, and the results indicated that the mathematic model is suitable for discriminate the nature of fruits.

得到数模为Y=-10.19173X_8~(-1)。42593X_5+0.14975X_4，即100 克水果可食部中X(8铜)、X5和X4的含量代入以上方程，如果函数值在温热性区间(-0.6423171，0.5275019)，则该水果属于温热性，如果函数值在寒凉性区间(-∞，-0.6423171)或(0.5275019，+∞)，则该水果属于寒凉性。

The system contains a friendly user interface in which designer can set and choose design parameters, and understand the design dissimilitude during operation process.

配合此建议值，并达到符合消费者足部曲线之合适性，系统自动进行内衬模组与鞋垫模组选择，使消费者可得到最合适自己脚型的鞋款。

And with these results, I delve further into the theoretical issues of MSP and the concentration is on a special class of MSP-Doob skeleton processes. Generalized limit distribution, limit distribution of these processes and conditions and the expressions for the existence of invariable measure of such processes are provided. Finally, these new results are then applied to queueing theory, reliability theory and inventory theory. A detailed study of GI/G/1 queuing model, parallel connection system model, water reservoir model and perishable inventory model is discussed. These models have already been investigated to some degree. In particular, as mentioned above, some scholars have already successfully applied the transient behavior theory of MSP to these models and transient distributions of main variables in such models have been obtained. However, the limit behavior has not been addressed. In this thesis, limit behavior of main variables in the above-mentioned models is established.

在这个基础上，对马尔可夫骨架过程的理论进一步进行了探讨，将注意力集中于一类特殊的马尔可夫骨架过程Doob骨架过程，给出了这类过程的广义极限分布、极限分布以及不变测度存在性条件和表达式，并应用这些结论于排队论、可靠性理论和存储论等领域-具体分析了GI/G/1排队论系统模型、并联系统模型、水库储水模型、易腐烂物品库存模型——这些模型都不同程度地被许多学者研究过，特别，如前面提及，已有人成功地应用马尔可夫骨架过程的瞬时性态理论，获得了上述各模型中的主要参量过程的瞬时分布，但是，却并没有探讨它们的极限性态——建立了若干关于上述各模犁的主要参量过程的极限性态的结果。

In the group of treatment with ZKK,the AST,ALT and the lipid in the liver decrease significantly and differ from the natural recovery group'sbut the normal group's.In the group of treament with Simvastatin,the affection to the ALT,AST and the lipid in liver is no apparent,there is no difference campared to that of recovery group,but very difˉferent from that of treatment group with ZKK,In the combined treatment group,the effect to decrease the bloodlipid is significant,the influence on liver is similar to the ZKK's.Conclusion Rich-fat food can induce dyslipidemia,atheromatous patch and hepar adiposum.

辛伐他汀组对成模时增高的ALT、AST和肝组织中的脂质及脂肪肝影响不大，与模型组相比无差别；之可康组和联合治疗组均可明显降低成模时升高的AST和ALT及肝组织中的脂质，逆转脂肪肝，与正常组相比无差别，与模型组、辛伐他汀组分别相比差异有显著性；联合用药组血脂水平调节幅度最大，对肝脏的影响与之可康组相比无差别。3个治疗组均可使动脉硬化斑块回缩。

The M- radical of V is determined and a criterion for irreducibility of an admissble module for an arbitrary vertex operator superalgebra V is given.

设V是一个顶点算子超代数，M是一个可容许的V-模。刻划了V的M-根，并给出了一个可容许V-模不可约性的差别准则

The paper summerizes several general pratical new techniques, such as the analyzers of program profiles, maximum potential parallelism, array privatizability, loop parallelism; the visualizers of the statement data dependence graph, procedural callgraph, loop iteration space graph and interactive tools of array privatization and unimodular transformation; the automatic techniques of array privatization combined data dependence and coverage, the computation of parallelizing unimodular transforming matrix for mult-nested loops, enhanced unimodular transformation with array reduction recognition, non-loop level parallelism revealing technique, dynamic dataflow analysis and optimization of cross-loop local cache reuses, etc.

本文从而概括了若干具有一般性的实用新技术，如：程序计算量分析、最大潜在并行性分析、数组私有化分析、循环并行性分析等动态程序分析技术；语句数据相关图、过程调用图、循环迭代空间相关图、交互数组私有化、交互幺模变换等可视化语义交互分析变换技术等等；总结了若干自动并行化新技术，如：结合相关和覆盖的数组私有化方法、对多层嵌套循环计算幺模并行化变换矩阵的循环幺模变换方法、结合数组规约识别增强幺模变换的技术、发掘非循环级并行性的技术、动态数据流分析技术、优化利用循环间Cache数据局部性的技术等等。

The importance of studying shrinking of polystyrene pattern for evaporative pattern casting is pointed out in this paper.After studying effects of technological factorsexpandable polystyrene(EPSbead diameter,pre-expansion time,age time of pre-expansion bead,molding steam pressure,storage time and temperature of pattern on shrinking of pattern,it is shown that the stress relaxation of pattern and the escape of pentane and water in pattern are main cause of pattern shrinking.

指出了对消失模铸造用聚苯乙烯模样收缩展开研究的必要性，研究了可发性聚苯乙烯珠粒粒径、预发泡时间、预发泡珠粒熟化时间、成形蒸汽压力及模样的放置时间、贮存温度对模样收缩的影响，认为模样中发泡剂和水分的挥发以及应力的释放是引起模样收缩的主要原因，最后提出了在实际生产中为减少模样收缩应采取的措施。

A minimal unsatisfiable subformula can provide a succinct explanation of infeasibility of formulae in satisfiability modulo theories, and could be used in automatic tools to rapidly locate the errors.

极小不可满足子式能够为可满足性模理论公式的不可满足的原因提供精确的解释，帮助自动化工具迅速定位错误。

In this paper a computable formal algorithm language is advanced to disoribe somebasic concepts, such as dynamic process, stabilization, teachability etc, which are usedin control and manegement science, by means of ∑-module.

本文讨论了如何将控制与管理科学理论中的一些基本概念，例如系统的动态过程，稳定性、可达性等，用统一的形式化算法-Σ-模结构语言来描述。

Label、tractability:All the mold and parts are trace by the mold no.

5.6.1标识、可追溯性：所有模具和工件均以模号进行追溯。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。