查询词典 model after

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 Markov forecast model, time series method (triple exponential smoothing method and a combined of triple exponential smoothing method and Markov model) and stepwise regression forecast method were choosed, and the basic principles and processes of the three models were analyzed and compared. Based on above, the three methods were used to predict population dynamic of Cricetulus barabansis and Meriones unguiculatus. The characteristic, accuracy and applicability of three methods were analysed and compared. The results showed that,(1) Markov model belongs to a middle-long time forecast model, and the result was interval forecast, but it reached the requirement of forecasting the harmful population dynamic of rodents. Through the forecasted population dynamic of Cricetulus barabansis and Meriones unguiculatus in 2004, the results were accurate; this meant that Markov model was a good forecast model to Cricetulus barabansis and Meriones unguiculatus population.

选择马尔可夫链预测模型、时间序列分析法(三次指数平滑法、三次指数平滑法和马尔可夫链预测模型的组合预测法)和逐步回归预测法，对这三种模型的基本原理、模型的构建过程进行对比分析，在此基础上用此三种方法预测了黑线仓鼠和长爪沙鼠的种群数量，并对三种方法的特点、预测的准确度和适用范围进行了比较分析，结果表明：(1)马尔可夫链预测模型属于中长期预测，预测的结果为区间预测，但对于害鼠种群数量的预测来说已经达到要求，通过对2004年黑线仓鼠和长爪沙鼠种群数量的预测，预测的结果都比较准确，这说明对于预测黑线仓鼠和长爪沙鼠种群的数量动态，马尔可夫链模型是比较好的模型。

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

合方治疗脑缺血12小时组缺血脑组织TGF-β1光密度值较缺血12小时模型组无显著性差异（p＞0.05）。本实验结果发现，与单纯缺血12小时、24小时大鼠相比，药物干预组缺血侧大脑皮层TGF-β1免疫反应明显增强，计算机辅助图像半定量分析两组间缺血侧大脑皮层TGF-β1免疫阳性细胞数差异非常显著。说明药物对局灶性脑缺血损伤可能有一定保护作用，其机制可能与诱导脑细胞TGF-β1合成增加有关。然而，药物调控TGF-β1表达，其促TGF-β1表达增强的机制可能是这样的：脑缺血时TGF-β1mRNA表达增加可能与缺氧诱导神经和胶质细胞刺激生长因子表达有关。

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）。

12H treatment group compared with 12h model group: the level of MCP-1 of the Gardenoside group decreased and MIP-1 is no different with the model group; the level of the MCP-1, MIP-1 of the Baicalin group are no different with the model group; the level of MCP-1, MIP-1 of the Concha Margatitifera Usta decreased than the model; the level of MCP-1 of the Cholic Acid group is no different and the level of MIP-1 decreased than the model; the level of MCP-1 of the Hefang Group decreased and the level of MIP-1 of it decreased than the model group.

合方治疗脑缺血24小时组缺血脑组织nNos光密度值较缺血24小时模型组明显降低（p＜0.01）。细胞的死亡分为坏死和凋亡两种方式，凋亡是细胞为避免对机体造成更大损伤而采取的一种程序性的死亡方式。珍珠母、胆酸、栀子苷、黄芩苷、合方治疗组较脑缺血24小时模型组可明显降低P53阳性表达，考虑药物抑制细胞凋亡可以起到对缺血脑组织的保护作用。

12H treatment group compared with 12h model group: the density of light of nNos of the Gardenoside group decreased and P53 decreased with the model group; the density of light of the nNos of the Baicalin group decreased and which of the P53 is no different with the model group, the density of nNos of the Concha Margatitifera Usta decreased and which of P53 decreased than the model; the density of of nNos of the Cholic Acid group is no different and the density of P53 decreased than the model; the density of the light of nNos of the Hefang Group is no different and which of P53 decreased than the model group.

珍珠母治疗脑缺血24小时组缺血脑组织HSP70光密度值较缺血24小时模型组无显著性差异（p＞0.05）。胆酸治疗脑缺血24小时组缺血脑组织HSP70光密度值较缺血24小时模型组无显著性差异（p＞0.05）。栀子苷治疗脑缺血24小时组缺血脑组织HSP70光密度值较缺血24小时模型组明显增高（p＜0.01）。黄芩苷治疗脑缺血24小时组缺血脑组织HSP70光密度值较缺血24小时模型组明显增高（p＜0.01）。合方治疗脑缺血24小时组缺血脑组织HSP70光密度值较缺血24小时模型组无显著性差异（p＞0.05）。

The geology research of carbonate reservoirs in Ordovician of Tahe oilfield showed that many large dissolved vugs and fractures were developed. The spread of the reservoir take on a very heterogeneous state. And the typical fractured-vuggy reservoirs was formed. According to the combination of the various spaces, the formation was divided into vuggy formation, fractured-vuggy formation and fractured formation. The research showed that development of the vug is relevant to the its position on the structure, the fractures, the water surface and the weathering surface. Multi-phase charge and recharge of the oil in the reservoirs resulted in the complexity of the fluid distribution. So the"Bottle Model"was brought forward to explain the movement of the water-oil contact. The special storage space and the complex fluid distribution lead to the unstability of the production and the complexity of the water cut. In order to explain the characteristic of the fracture-vug unit was brought forward and the basic principle and method of the partition of the fracture-vug unit was formed. The classification and evaluation of the units were performed according the reserve and energy. Based on the research of geology characteristic and the fluid flow in the reservoir the comprehensive numerical simulation plan of the fractured-vuggy reservoirs were established. Through the selection of the simulation unit, fluid flow type and parameter equivalent the triple media reservoir simulation model was established. Considering the practical application the model was resolved by the DKR decomposition conjugate grads method. Based on the fine reservoir description of Dsitrict IV of the Tahe oilfield the various space type were classified and combined together. The geology model of Unit S48 was constructed. Two typical single well model was established according to the geology and the dynamic phenomena. Finally the single well model and the Unit S48 were simulated by the triple media reservoir simulator. Via the local grid refinement and coarsening in the simulation good matchs were gained. Based on the results of the simulation the reserve distribution, percent of reserve produced in various space and the natural energy were analyzed. The fluid was storaged in the fractures and vugs mostly and more than 90% the produced oil came from the systems. The energy belonged to the active one. The results of simulation accorded with the fact and showed the validity and practicability the research and the simulator.

塔河油田奥陶系碳酸盐岩油藏的地质研究表明，其储层中发育着很多大型的溶蚀洞、缝，储层的平面展布呈现出极度的非均质性，形成了典型的缝洞型碳酸盐岩油藏，根据各种孔隙介质在储层中的组合，将储层分为了溶洞型、裂缝-溶洞型和裂缝型三类；研究表明溶洞储层的发育和构造位置、裂缝的发育、潜水面和风化面的位置等因素有关；多期充注的油气成藏模式导致了流体复杂的赋存状态，由此提出了所谓的"瓶子模型"，解释生产过程中油水界面的变化；特殊的储集空间类型和流体分布特征导致油田在开发过程中表现出很大的不确定性和含水变化的复杂性，为了合理的解释油气田开发过程中的动态特征，提出了"缝洞单元"的概念，并制定了"缝洞单元"纵横向划分的基本原则和依据及划分方法，并对"缝洞单元"进行了分类和评价；基于地质特征和流体在其中流动规律的研究，提出了缝洞型碳酸盐岩油藏的数值模拟综合解决方案，通过模拟单元的选择、流动类型和参数的等效，建立了三重介质油藏三维三相数值模拟模型，采用不完全LU分解预处理共轭梯度法进行了求解；在塔河油田4区精细油藏描述的基础上，将各种类型的孔隙空间进行了归类组合，建立了S48单元的地质模型；通过对油井生产动态进行分析研究，建立了两类和油井地质、生产动态相对应的单井模型；最后应用三重介质油藏数值模拟软件对单井模型和S48单元进行了数值模拟，通过局部加密和粗化等技术模拟流体流动规律，取得了很好的拟合效果；结合数值模拟结果，分析了各种介质中的储量分布、储量产出的百分比以及地层的能量，认为塔河油田缝洞型油藏中流体绝大多数储集于缝洞系统之中，所产出流体90%以上也来自于缝洞系统，其底水能量属于较充足的类型；模拟结果和油田实际情况符合较好，说明了地质研究和油藏数值模拟研究的正确性。

China Bentley Culture Development Co., Ltd cooperates with China Fashion Association to hold China Professional Models Contest, China Model Star Contest, Charming Girl China Model Contest, China Super Model Contest and Asian Super Model Contest, meanwhile, to cooperates with China General Chamber of Commerce to hold China Underwear Model Contest, to cooperates with CAAM to hold the China International Auto Models Contest, which is the stage for China Model Industry to find and select talents.

东方宾利文化发展中心与中国服装设计师协会共同举办&中国职业模特选拔大赛&、&中国模特之星大赛&、&'美少女'中国模特选拔大赛&、&中国超级模特大赛&和&亚洲超级模特大赛&，与中国商业联合会共同举办&中国内衣模特大赛&，与中国汽车工业协会共同举办&中国国际汽车模特大赛&，是中国模特业和演艺界发现、选拔人才的舞台。

Firstly, on the basis of summarizing the research results, this paper deeply discusses the calculating model to analyze the instantaneous motion state in vehicle collision and the interrelation between restitution coefficient and vehicle collision speed. The simplified Gim tyre model is introduced, this type model has the fast computing and higher calculating precision, it is the practical vehicle type model in the analysis of vehicle collision accident at present. According to the collinear collision and two-dimension collision, the paper establishes the impact model at vehicle collision moment and the post collision movement model.

本文在总结前人研究的基础上，分析了车对车碰撞作用瞬间状态的计算模型及碰撞恢复系数与碰撞前、后速度的关系：介绍了Gim轮胎理论模型的简化形式，该模型计算速度快、计算精度高，尤其在车轮大侧偏角运动时其计算精度远远优于其它轮胎模型，是目前在汽车碰撞事故分析中最为实用的汽车轮胎理论模型：根据交通事故中最普遍的一维碰撞和二维碰撞的不同情况，分别建立了碰撞作用瞬间的力学模型和碰撞后车辆动力学模型。

It is proved that the model of Hertz, Capon and Lindel"of areidentical to Vakonomic model while the model of H"older, Pars andChaplygin are identical to Chetaev's model. The fact thatVakonomic model and Chetaev's model exist simultanously can betraced back to the early days of non-holonomic mechanics. These twomodels cause two problems the d- and - permutable problems.

论证了Hertz， Capon和Lindel&of的工作与Vakonomic模型相吻合，而H&older， Pars和Chaplygin的工作与Chetaev模型相吻合，Vakonomic模型和Chetaev模型两类模型并存的局面可以追溯到非完整力学发展的初期。1mm说明了伴随两类模型并存的现象而出现的两个问题 d-交换性问题和-交换性问题。

Hanna: That's over now, isn't it?

都结束了，对吗

You must be ill. You look so pale.

你一定是病了，你的脸色苍白。