查询词典 logic level

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

在本实验中，脑缺血能够诱导P53蛋白表达，P53蛋白可能参与调控缺血后神经细胞延迟性死亡的病理生理过程，药物通过抑制细胞凋亡，从而发挥治疗作用。五、大鼠局灶性脑缺血12小时模型组缺血脑组织HSP70光密度值含量较正常组明显增高（p＜0.05）。珍珠母治疗脑缺血12小时组缺血脑组织HSP70光密度值较缺血12小时模型组无显著性差异（p＞0.05）。胆酸治疗脑缺血12小时组缺血脑组织HSP70光密度值较缺血12小时模型组无显著性差异（p＞0.05）。

The company has independently developed, development, production of the products have six series, more than 400 varieties, including: wire and cable series: high-temperature compensation wire, control cables, fire-retardant cables, anti-corrosion cable, power cable, 6 ~ 110KV crosslinked power cables, computer cables, silicon rubber cables, high temperature cables, fire-resistant cables, low smoke low halogen, low smoke zero halogen cables, such as the main cable tray; Temperature Instrument Series: ITS900 in line with the International Temperature Scale and IEC standards A, B-grade Thermocouple , Explosion-proof Temperature Transmitter integration, intelligent all-input temperature transmitter; Pressure / Differential Pressure Meter Series: general pressure gauges, precision pressure gauges, pressure / differential pressure switch, the general stress / Differential Pressure Transmitter, 1151 , 3051 smart capacitive pressure / differential pressure transmitter; Level Instrument Series: glass / glass level gauge, quartz glass tube liquid level, the electric-contact level gauge, magnetic liquid level transmitter, magnetic liquid level switch, input-type hydrostatic liquid level transmitter, liquid level transmitter float electricity, etc.; Flow Meters Series: All English Intelligent Vortex Flowmeter, Turbine Flowmeter; Display Instrument Series: Intelligent Control LED digital display device, Intelligent LCD screen controlled device, Guangzhu instructions figures, such as conditioning Alarm.

公司自主研制、开发、生产的产品主要有六大系列、400多个品种，其中有：电线电缆系列：高温补偿导线、控制电缆、阻燃电缆、防腐电缆、电力电缆、6～110KV交联电力电缆、计算机电缆、硅橡胶电缆、高温电缆、耐火电缆、低烟低卤、低烟无卤电缆主电缆桥架等；温度仪表系列：符合ITS900国际温标和IEC标准的A、B级热电偶，防爆型一体化温度变送器、智能全输入温度变送器；压力/差压仪表系列：一般压力表、精密压力表、压力/差压开关、普通压力/差压变送器，1151、3051智能电容式压力/差压变送器；液位仪表系列：玻璃管/玻璃板液位计、石英玻璃管液位计、电接点液位计、磁性液位变送器、磁性液位开关、投入式静压液位变送器、电浮筒液位变送器等；流量仪表系列：全中文智能涡街流量计、涡轮流量计；显示仪表系列：智能LED数字显示调节控制仪、智能LCD界面显示调节控制仪、光柱指示数字显示调节报警仪等。

Using maximum flooding surface and local explosure erosion surface as the correlation framework surface in the 4-th hierarchical base-level cycles, sand-body in the 3-th hierarchical base-level cycles formed in the 4-th hierarchical base-level cycles may be correlated layer by layer. The law of the sand-body and the characters of reservoir heterogeneity formed in the 4-th hierarchical base-level cycles are discussed. The study shows:①During early period of the 4-th hierarchical base-level cycle rising, subaqueous distributary channel formed, continuously stacked vertically, and migrated in limit range laterally, and channel sand-body stretches farther longitudinally, and lacks interbeds of mud rock and siltsand in sand rock, reservoir heterogeneity is relatively weak.②During mid-period of the 4-th hierarchical base-level cycle rising, subsaqueous distributary channel migrated actively, channel divided and converged strongly to form netted sand-body and sand sheet mainly, but interbeds of mud rock and siltsand increases gradually in sand-body, reservoir heterogeneity increased.③During later period of the 4-th hierarchical base-level rising and early period of the 4-th hierarchical base-level falling, reservoir sand-body was poor, and only form thin sand-body of subsaqueous distributary channel, subsaqeuous creveas and distal mouth bar, sand-bodys are surrounded by mud and silt rock.

进一步采用以第4层次基准面旋回中相当最大湖泛面的相转换面和具有区域性暴露侵蚀作用的层序边界面为等时地层对比框架的边界，对发育于MSC2—MSC4三个第4层次基准面旋回的第3层次基准面旋回内砂体进行了逐层等时对比，探讨第4层次等时地层对比格架内储集砂体发育分布规律，及储集砂体的非均质性特点，研究发现：①第4层次基准面上升初期发育的水下分流河道，砂体呈连续叠置、侧向迁移受限，纵向上呈长距离延伸的带状产出，砂体间泥、粉砂岩夹层少，储层非均质性相对较弱；②在第4层次基准面上升中期发育的水下分流河道侧向迁移活跃，纵向延伸过程中分流汇合作用强烈，以形成网状或席状连片砂体为主，但砂体间泥、粉砂岩夹层逐渐增多，储层非均质性增强；③第4层次基准面上升晚期和下降早期，不利于储集砂体发育，仅出现少量薄的水下分流河道、水下决口扇、远—河口砂坝砂体。

But, by semantic embedding the theorem derivations in object logic usually descends to ones in base logic, which not only requires users know the encoding quite well, but also lower the abstraction level of object logic, and readability and hand-reexecutability of proofs.

但是，语义嵌入方式下目标逻辑定理推导常常向基逻辑下降，这不但要求用户了解编码细节，而且也大大降低了目标逻辑的抽象性以及PVS一向追求的证明可读性和手工可再现性。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

Finally, several MTNCs were designed for implementing the XOR operation and Literal, AND, OR operation in ternary logic at switch level. The result of simulation with PSPICE showed that the designed circuits had not only the correct logic function and small propagation delay but also had simple structure. Whats more, when achieving the same logic function, the MTNCs decreased large amount of hardware expense compared with the STN circuits.

对设计出的电路进行PSPICE模拟并测量相关参数，结果表明，该设计方法不但简便、规范，而且设计出的多阈值神经元电路具有速度快，结构简单的优点，并且，在实现相同逻辑功能时，采用多阈值神经元电路相对于单阈值神经元电路，大幅降低了硬件成本。

In order to achieve the above-mentioned objective, the first task will be dividing well the tier-level structure of the system, then reasonedly designs represent logic, business handling logic and data logic.

要实现上述目的，首要的任务便是划分好系统的层次结构，合理地设计表示逻辑、业务处理逻辑和数据逻辑。MVC模式就是一个很好的将表示、控制和业务处理相分离的解决方案。

In the 1950s,Carnap developed a probability logic which system made it possible for inductive logic to be deductive, formal and definitive,and pushed the study on inductive logic onto an unprecedented level.

他在20世纪50年代提出了概率逻辑系统，这一体系宣告了归纳逻辑的演绎化、形式化和定量化，将概率归纳逻辑推向了&顶峰&。

The influence factors are divided into endogenous and exogenous source according to the process control factors. The endogenous source includes: the level of materials safety, the level of adminicle use safety, the level of environmental hygiene management and the level of processing technology safety management.The exogenous source includes the level of national supervision, the level of consumer food safety consciousness and the level of agricultural product processing development. Every aspect includes various factors.

把影响加工农产品质量安全的因素，按管理程控制因素分为内生警源和外生警源，其中内生警源分为加工原料安全水平、加工辅料使用安全水平、加工环境卫生管理水平和加工技术安全管理水平，外生警源分为国家监管全水平、消费者食品安全意识水平和农产品加工业发展水平，每一方面的因素都包含多方面的子因素。

Objective:to study the level of total anaerobic population, total aerobic population, four kinds of anaerobes and two kinds of aerobes in excrement of sufferers of varies kinds of irritable bowel syndrome and that of normal persons.methods:excrement specimens from 52 ibs sufferers of different kinds and that of 18 normal volunteers were collected, and the level of four kinds of anaerobes and two kinds of aerobes were quantified.results:the level of total anaerobic population and total aerobic population of excrement specimens of three kinds of ibs sufferers were different significantly, particularly the level of bifidobacterium and cillobacterium(p.01);the level of bacteroid population was higher significantly in diarrhea-predominant and mixed type of ibs sufferers (p.01);the level of enterococcus population was higher significantly in diarrhea-predominant ibs sufferers(p.05);among the aerobes, the number of escherichia coli and staphylococcus aureus colonies were increased by different level(p.01or0.05) in the ibs suffers, in particular, the number of escherichia coli colonies in diarrhea-predominant ibs sufferers increased most significantly.conclusion:sufferers of different types of ibs have different intestinal tract dysbacteria phenotypes.

目的：了解不同类型肠易激综合征患者和健康状况正常的人粪便中总厌氧菌群和需氧菌群及常见的4种厌氧菌和2种需氧菌的含量情况。方法：对临床上确诊的各类型ibs患者共52例和18例健康状况正常的志愿者，采集粪便标本进行总厌氧菌群和需氧菌群及常见的4种厌氧菌和2种需氧菌定量检测。

Now she was hungry and angry.She began to smoulder.

现在她又饿又气，她开始流露难以抑制的怒火。

You have placed our iniquities before You, Our secret sins in the light of Your presence.

诗90：8 你将我们的罪孽摆在你面前、将我们的隐恶摆在你面光之中。