and Applied Analysis 3 where ∗ denotes the corresponding symmetric terms, Σ 11 = Q 1 + τQ 2 − PC − CP − 2L 1 U 1 − 2M 1 U 4 , Σ 22 = − (1 − μ)Q 1 − 2L 1 U 2 , Σ 33 = Q 3 + τQ 4 − 2U 1 , Σ 44 = − (1 − μ)Q 3 − 2U 2 , Σ 55 = U 3 K (]) − 2U 4 , L 1 = diag (l− 1 l + 1 , . . . , l − n l + n ) , L 2 = diag (l− 1 + l + 1 , . . . , l − n + l + n ) , M 1 = diag (m− 1 m + 1 , . . . , m − n m + n ) , M 2 =...

Given a topological space X and a complete lattice L, we study the space of L-predicates F L (X) = X ! L op ] op , continuous maps from X to L op in its Scott-topology. It yields a functor F L () from TOP-L, a full subcategory of TOP subsuming continuous domains, to SUP, the category of complete sup-lattices and maps preserving suprema. Elements of F 2 (X) are continuous predicates (= closed se...

Capparis spinosa L. has many biological effects such as antioxidant properties. In the present study, we compared the effects of the hydro-alcoholic extract of Capparis spinosa fruit, quercetin (Q), and vitamin E (Vit E) on monosodium glutamate (MSG)-induced toxicity. The following groups were designed: Control groups (normal saline and/or corn oil); MSG group (4.00 g kg-...

1.2. Let E be a Euclidean vector space, Φ ⊂ E∗ a root system. Denote Q ⊂ h∗ the root lattice, and P ⊂ h∗ the weight lattice. Let Q∨ ⊂ E be the lattice generated by the coroots α∨, α ∈ Φ, the coroot lattice is dual to the weight lattice P ⊂ h∗, and P∨ ⊂ E the dual weight lattice, which is dual to the root lattice Q. Let H = HomZ(P,C) = Q∨ ⊗Z C∗ be the complex algebraic torus with Lie algebra h =...

In this lecture, we develop the theory of supermodular games; key references are the papers of Topkis [7], Vives [8], and Milgrom and Roberts [3]. Our development closely follows that of Milgrom and Roberts, though we will also note other references where necessary. We start with some basic definitions and facts about lattices. Given a set X, a binary relation is a partial ordering on X if it i...

Let CD be the category of all continuous domains and all mappings which preserve directed sups and the way-below relation. That is, a mapping f : P → Q is a morphism of CD if and only if f(sup D) = sup f(D) for any directed set D ⊂ P and f(x) œ f(y) if x œ y for any x, y ∈ P . We shall prove that the category CD is cartesian closed. 1991 Mathematics Subject Classification 06B35.

为了改善生态调度效果,提高生态调度实践成功率,采用医学领域适用性广、准确性高、直观性强的受试者工作特征曲线法(receiver operating characteristic, ROC),以三峡水库为例,提出了一套基于生物水文响应模型的刺激四大家鱼繁殖生态调度目标量化方法,包括涨水事件界定及生态水文指标选择、鱼类自然繁殖事件及有效繁殖响应界定、生物-水文响应模型构建与多指标判别优选等多个环节。运用三峡水库运行后2013—2019年(除2016年)6年47场次宜昌江段的涨水事件和24次四大家鱼有效繁殖响应的实际观测数据构建模型并量化三峡水库生态调度目标。结果表明:(1)依据初始流量Q0、洪峰流量Qpeak、流量总增长量Qsum和流量日增长率dQ这4个指标所建立的单指标生物-水文响应模型具有较好判别四大家鱼自然繁殖对水文...

The approach to process semantics using quantales and modules is topologized by considering tropological systems whose sets of states are replaced by locales and which satisfy a suitable stability axiom. A corresponding notion of localic suplattice (algebra for the lower powerlocale monad) is described, and it is shown that there are contravariant functors from sup-lattices to localic sup-latic...