模型

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

The Pinyin model is Trigram that adds up same voice data in language model and it is a new link between original acoustic and language model.It can be used to obtain probability of interrelated Pinyin string.The results in experiments show that by using the model to make final process of the recognition of acoustic layer,the recognition rate of the top one can be increased 13 percent,and the rate of the front fine is similar with the...

拼音模型是累加语言模型中同音字的相关数据后得到的 3元模型，是在原来的声学模型和语言模型之间增加的一个新环节，可用来求取相关拼音串的先验概率，实验结果表明，用它作为声学层识别的后处理，可使第 1名的识别率提高 13个百分点，可使前 5名的识别率与原来声学模型输出前 10名的识别率相当

In the light of unbiasedness and validity of model, we identify the rigidity rotation model and rotation with strain model.

基于模型的无偏性、有效性等概念，对块体的刚性旋转运动模型、旋转应变模型进行了辨识，结果表明：同时考虑块体刚性旋转运动和应变的模型比单独考虑刚性旋转的模型更符合实际，模型的适用范围更广。

12H treatment group compared with 12h model group: the density of light of HSP70 of the Gardenoside group is not different and which of it of TGFβ〓 increased with the model group; the density of light of the HSP70 of the Baicalin group in not different and which of the TGF-β〓 is no different with the model group, the density of HSP70 of the Concha Margatitifera Usta is not different and which of TGFβ〓 increased than the model group; the density of the HSP70 of the Cholic Acid group is no different and the density of TGF-β〓 increased than the model; the density of the light of HSP70 of the Hefang Group increased and which of TGF-β〓 increased than the model group.

合方治疗脑缺血12小时组缺血脑组织TGF-β1光密度值较缺血12小时模型组明显升高（p＜0.01）。大鼠局灶性脑缺血24小时模型组缺血脑组织TGF-β1光密度值含量较正常组明显增高（p＜0.01）。珍珠母治疗脑缺血24小时组缺血脑组织TGF-β1光密度值较缺血24小时模型组明显升高（p＜0.01）。胆酸治疗脑缺血24小时组缺血脑组织TGF-β1光密度值较缺血24小时模型组明显升高（p＜0.01）。栀子苷治疗脑缺血24小时组缺血脑组织TGF-β1光密度值较缺血24小时模型组无显著性差异（p＞0.05）。黄芩苷治疗脑缺血24小时组缺血脑组织TGF-β1光密度值较缺血24小时模型组明显升高（p＜0.01）。

From point of view of the model requirement in the design process of VP, the characteristics of an integrated VP model are given. Based on the Analyzable Product Model theory developed by Tamburini and Engineering Data Model theory developed by Eastman, the formal description of integrated model of VP is developed, and the application wrapper and the interface components are also designed.

本章中从虚拟样机设计过程中对模型的需求出发，提出虚拟样机一体化模型应该具有的功能特点；在Tamburini的可分析产品模型理论和Eastman的工程数据模型理论的基础上，提出虚拟样机一体化模型的形式化描述体系；接着对一体化模型的应用包装器和接口组建进行设计。

Results: HE stain showed the obvious thicken of the artery, RV/ and mPAP elevated obviously (P.05) in model group in comparison with the control group, they were also elevated obviously (P.05) in the model group compared with the treatment group. The tryptase + mast cell and the chymase + mast cell obviously increased in the model group compared with the control group, also increased in the model group compared with the treatment group.

平均肺动脉压力模型组动物较对照组明显升高(P.05)，模型组较治疗组也明显升高(P.05)；右心室／模型组较对照组明显增加(P.05)，模型组较治疗组也明显增加(P.05)，肥大细胞总数（类胰蛋白酶阳性的肥大细胞）及类糜蛋白酶阳性的肥大细胞模型组较对照组明显增多(P.05)，肥大细胞在治疗组较模型组明显减少(P.05)。

The first part is the introduction, which generally introduces the research purpose and significance of this thesis, the summary of the financial pre-warning researches both home and abroad, and the research main contexts and research methods; The second part is the comparison on the financial pre-warning methods existent, which compares the different methods by categories, makes a further analysis on the limits of existent methods, and proposes the improve thoughts of this research based on that; The third part is the basic theory, which makes a summary of the referent theories exerted on the research, and exposit the comparing mechanism of the grey prediction theory and the artificial neural network method concise; The fourth part is the frame work of the model, which illuminates the research designs step by step, such as the definition of the financial crisis, the method of sample select, the select and definition of the pre-warning variables, and makes an exposition of the establishment procedures of the whole models at last; The fifth part is the financial pre-warning based on the theory of grey prediction and artificial neural network, which mainly demonstrate the model establishment in the concrete, dividing into four part to carry out the part of pragmatic research integrally, building of indexes system, establishment of BP neural networks, dynamic financial pre-warning and test, analysis on the pre-warning result; The sixth part is conclusion, which sums up the main results of the whole research, clarifies the innovative points, and makes a discussion on the limits and future study directions of the research in this thesis.

其中，第一部分为导论，总括性概述本文的研究目的与意义，国内外研究综述，以及本文的研究内容和方法；第二部分为现有财务预警研究方法剖析，通过对现有预警方法进行分类比较，进一步分析现有预警方法的局限性，并在此基础上提出本文研究的改进思路；第三部分基本理论，对本文研究中运用的相关理论进行扼要概述，并简要阐述灰色预测理论与人工神经方法的融合机理；第四部分为模型研究框架，逐步阐释模型对财务困境的界定，样本数据的选取方法，预警变量的选取与定义等各个部分的研究设计，并对整体模型的构建步骤进行简要阐述；第五部分为基于灰色神经网络模型的财务预警，主要论述动态预警模型的具体实现过程，分模型指标体系的建立，BP神经网络的建立，动态财务预警与检验，以及预警结果分析四个部分全面阐述本文实证分析过程；第六部分为结论，总结本文研究得到的主要研究结论，以及本文研究中的创新之处，并对论文的不足与后续发展研究进行探讨。

None of the four models could work well in the scenario 2, under explored stock, however they got accurate results in scenario 1, regulated stock. The Schnute model work well in full explored stocks such as scenario 1, 3, 4 and 5, especially in low biomass stocks such as scenario 3, but not suitable to the under explored stocks such as scenario 2. The W-H model generally performed well in all kind of scenarios especially in scenario 1, 4, and 5. In the swordfish, xiphias gladius, fishery, estimation of W-H model and D-Fox model produced MSY about 14000 ton, very near the result of Prager in 1996.The author tentatively explored the suitable fishing condition for the models to stock assessment.

四种剩余产量模型在充分捕捞且管理良好的渔业1中评估效果较好而在捕捞不足的渔业2中效果较差；Schnute模型在充分捕捞的渔业如渔业1、3、4、5、尤其是在低生物量的渔业3中评估效果较好，但不适合评估未充分捕捞的渔业，如渔业2；Walters-Hilborn模型适用于各种渔业，尤其是渔业1、4、5；在过度捕捞渔业中如渔业3、4，模型对参数q的估计较其它参数接近真值；在北大西洋箭鱼渔业的评估中，W-H模型和D-Fox模型对MSY的估计约为14000吨，接近于Prager(1996)的结果。

Results The weight of tumor was reduced and the inhibitory rate of tumor weight was 36.83% in group B (P.05 compared with group A); incidence of metastatic carcinoma of lung was 100% in group A and metastatic nodules of lung were decreased in groups B and C (P.05 or P.01 compared with group A); lymph node weight in homolateral popliteal fossa and iliac periartery was lighter in group B and C than that of group A (P.05); life-span prolongation rate was 37.77% and 36.77% in groups B and C respectively and survival time did not differ much from that of group A.

结果］髓清丸低剂量组的瘤质量较模型组减少(P.05)，抑瘤率达到36.83%；模型组肺部转移率达100%，髓清丸高、低剂量组的肺部转移结节均较模型组减少，转移率较模型组低（P.05或P.01）；髓清丸高、低剂量组同侧窝、髂动脉旁淋巴结质量均较模型组减小(P.05)；髓清丸高、低剂量组小鼠生命延长率分别为37.77%、36.77%，但生存时间与模型组比较未见显著性差异。

Operations are given and testified in this paper. The research methods of intrinsical linear nonholonomic dynamics are similar to those of holonomic dynamics.The rationality and equivalence of Chetaev model and Vacco model in the intrinsical linear nonholonomic system are testified from the mathematic and mechanical aspects. The essential reason is the nonlinear property of intrinsical nonlinear nonholonomic constrain that bring on Chetaev model and Vacco model inequivalent. Chetaev model is a linear approximate method in intrinsical nonlinear nonholonomic system. Vacco dynamical equations are not satisfied to the ideal constraint force conditions, but it gives a significative ponderation on the realizations of intrinsical nonlinear nonholonomic constrain.

本文比较研究了一般非完整系统的Chetaev模型和Vacco模型，首次从力学和数学的角度论证了这两种模型在完整系统和本质线性非完整系统中的合理性和等价性；同时给出了在本质非线性非完整系统中，Chetaev模型和Vacco模型不等价的根本原因，是由本质非线性非完整约束的不确定性非线性本质所导致的；指出在本质非线性非完整系统中，Chetaev模型是一种线性近似的结果，Vacco动力学方程虽然不满足约束力的理想性质，但是为我们研究本质非线性非完整约束的物理实现提供了有益的思考。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。