discreti相关论文
目前求解一般变分不等式的方法已有很多,但解依赖时间的变分不等式的方法还很少.A.Barbagallo曾给出线性插值的方法,但此方法的收......
稠密时间自动机被广泛应用于实时系统自动验证．然而其在补操作下不封闭，因而导致多种线性实时性质不可验证．离散时间自动机虽不存在此......
在一致性假设前提下,以数据集的统计性质作为启发式知识,从候选离散点集中选择离散点,根据数据集的期望值和方差来确定搜索最优离......
在行政执法中如何克服随意性,正确行使自由裁量权,增强行政处罚透明度,提高行政执法效能,是所有行政机关一直深入研讨的课题。现实......
