The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
In this paper, we study the definition of semi continuous function and the sufficient conditions of semi continuity, obtain some properties of semi continuous function.
给出了半连续函数的定义，研究了函数具有半连续性的条件，推出了半连续函数的一些性质。
On the basis of the grey function and grey limit, a new concept of continuous grey function is given out and its properties are studied in the present paper.
本文在灰函数和灰极限基础上，给出了连续灰函数的概念，并研究了它的性质。
We formulate the problem as a continuous-time stochastic control model. Through analyzing the properties of the expected value function, we derive its close-form solution.
我们将该问题描述为一个连续时间随机控制模型，通过对价值函数性质的讨论，我们给出了模型的封闭解。
We formulate the problem as a continuous-time stochastic control model. Through analyzing the properties of the expected value function, we derive its close-form solution.
我们将该问题描述为一个连续时间随机控制模型，通过对价值函数性质的讨论，我们给出了模型的封闭解。
应用推荐