Sθ-连通性(I)

利用Sθ-闭包引入Sθ-连通集和Sθ-连通分支等概念,并研究了其等价条件,证明了Sθ-连通性是可积的和Sθ-同胚的.     

生成映射的若干性质

在LF拓扑空间中,讨论了生成映射ι的若干性质,并推广了现有的相应结果.     

逻辑方程解的性质

以二值命题逻辑的真度理论为基础,提出了基于真度理论的逻辑方程的概念,并给出了此种逻辑方程解的存在性定理,并就τ(A→X)=α的逻辑方程展开了讨论,其中,A是舍有 n 个原子公式的合式公式,X是待定的公式,A的真度τ(A)=K/2n,α=m/2n,且1-τ(A)＜α≤1.我们得到了如下结论:(1)以上逻辑方程的解的等价类个数为Cmn+k-2nk·22n-k.(2)α≠1时,上述方程的解集合是不相容的.(3)解集合中公式的相似度最大值为1-1/2n,相似度的最小值为|2n+1-2m-k|/2n.(4)形如τ((A→X)∧(X→A))=α的逻辑方程其解集合是不相容的.     

偏序集中网和滤子的Scott收敛及其Scott拓扑

本文的目的是在偏序集上直接定义和研究网和滤子的Scott收敛理论,指出其相互之间的协调性,及其它们的导出拓扑与Scott拓扑的一致性.     

伪Scott拓扑与伪Scott开滤子

讨论抽象基(特别是偏序集带辅助序)上的伪Scott拓扑与伪Scott开滤子集的一些基本性质, 推广了Domain理论中一些熟知的结论,证明了抽象基上的伪Scott拓扑是完全分配格;若在偏序集P上赋予辅助关系＜, 则其上伪Scott开滤子之集是连续domain.     

模糊多目标半定规划的最优性条件

将模糊集理论应用到多目标半定规划中来,提出了有约束的模糊多目标半定规划模型,并首次给出了其最优有效解的定义.通过构造确定的隶属度函数,将以矩阵为决策变量的模糊多目标半定规划转化为一种目标函数的某些分量由约束函数决定的确定性多目标半定规划,并证明了前者最优有效解与后者有效解的一致性.在此基础之上,讨论了二者的最优性条件.     

Forward-backward Stochastic Differential Equations and Backward Linear Quadratic Stochastic Optimal Control Problem

In this paper, we use the solutions of forward-backward stochastic differential equations to get the optimal control for backward stochastic linear quadratic optimal control problem. And we also give the linear feedback regulator for the optimal control problem by using the solutions of a group of Riccati equations.     

g-期望的分布不变性

当g-期望具有分布不变性时,给出了g所满足的充要条件.并证明了当且仅当g为零时,g-期望其有分布不变性.     

完全相容稳定模糊谓词转换器

谓词转换器语义是用程序验证技术来定义程序语言的一种方式.为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义. 同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器.     

分层关联表中伞形序对无约束问题的检验

概率分布间的随机序是应用概率论与统计推断中的一个重要概念. 基于交叉分类数据的趋势检验问题已被广泛地研究, 并且分层关联表广泛存在于实践中. 似然比检验方法常用于涉及随机序约束问题的检验. 对带序约束的分层关联表, 该文介绍了一种不基于模型假定的似然比检验方法, 并且给出了检验统计量的极限分布.