位置：成果数据库 > 期刊 > 期刊详情页
Domain函数空间上的Isbell拓扑和Scott拓扑的一致性(英文)
  • ISSN号：2095-2651
  • 期刊名称：《数学研究及应用：英文版》
  • 时间：0
  • 分类：O189.1[理学—数学;理学—基础数学]
  • 作者机构：[1]College of Mathematics and Information Science Shaanxi Normal University College of Mathematics Science Xuzhou Normal University College of Computer Science
  • 相关基金：the National Natural Science Foundation of China (No.10571112);; the National Key Project of Fundamental Research (No.2002CB312200)
作者： 奚小勇[1], 李永明[1]
中文摘要：

In this paper, the agreement of Isbell and Scott topologies on the Domain function spaces is discussed. In terms of Domain function spaces, a non-continuous DCPO with Scott open filters as a subbase of Scott topology is given.

英文摘要：

In this paper, the agreement of Isbell and Scott topologies on the Domain function spaces is discussed. In terms of Domain function spaces, a non-continuous DCPO with Scott open filters as a subbase of Scott topology is given.

同期刊论文项目
格上拓扑学及其在不确定特征的形式化研究中的应用
期刊论文 99 会议论文 11
　复杂生产制造过程实时、智能控制与优化理论和方法研究
期刊论文 297
同项目期刊论文
改进的动态可验证的(t,n)门限秘密共享方案
he relationship of controllability between crisp and fuzzy discrete-event systems
格值自动机理论综述以及其发展
一类线性完全影射的构造
特征为2的有限域上一类正形置换多项式的非存在性
一个实用的RSA门限门限签名方案
域元素分量代数表达式的快速求法
一种可 验证的秘密共享方案
Service oriented Access Control Model
基于生物免疫原理的网络蠕虫免疫模型
安全工作流管理系统体系结构研究
带有约束的“长城”安全策略模型及其实现
工作流系统上下文相关访问控制模型
基于潜伏期的网络蠕虫传播模型及其仿真分析
基于信任授权的模糊访问控制模型
一种新的复杂信息系统访问控制模型
Intuitional fuzzy quantifiers based on Sugeno Integrals
Some algebraic properties of measure-once two-way quantum finite automata
The relationship of controllability between classical and fuzzy discrete-event systems
Sufficient condition and necessary condition for Boolean fuzzy systems as universal approximators
Approximation and robustness of fuzzy finite automata
Algebraic properties of LA-languages
离散系统与模糊离散系统控制性之间的关系
Linguistic quantifiers based on Choquet integrals
模糊有穷自动机与单体二阶Lukasiewicz逻辑
Max-Lukasiewicz复合推理下的模糊图灵机
有限制的通用模糊图灵机的研究
模糊数学方法在出版社资源优化配置中的应用
取值于完备格的同步机及其最小实现化
基于量子逻辑的下推自动机与上下文无关文法
基于模糊数的证券投资组合最优化模型
抗攻击的动态多秘密共享方案
Scott连续自映射不动点的注记
分配序列效应代数的理想和同余
模糊有穷自动机的互模拟关系
基于隶属模糊二元语义的群决策方法
部分可换半群的子代数与同余关系
高效可验证的门限多秘密共享体制
有代理的门限签名方案
一种具有可分性的支付方案
一种动态的多秘密共享方案
The equivalence between fuzzy Mealy and fuzzy Moore machines
基于两体量子正交纠缠态集的局域删除
基于Vague集的多评价指标决策的新方法
The relationships among several types of fuzzy finite automata
一个新的多代理盲签名方案
Central elements in pseudoeffect algebras
On the Complemented Closed Disk Algebra
A categorical approach to lattice-valued fuzzy automata
New perspective of fuzzy context-free grammars
Regular grammars with truth values in lattice-monoid and their languages
格值有限自动机等价判定算法
格值有限自动机及其性质
N—可分效应代数
Generalized Leximin to t-norms and s-norms: the LexiTN and LexiSN ordering
Approximation accuracy analysis of Boolean fuzzy systems as function approximators
Weakly regular quantum grammars and asynchronous quantum automata
动态防欺诈的多组秘密共享方案
基于模糊逻辑的使用控制模型研究
一种改进的Clark- Wilson 完整性策略模型
模糊推理系统的鲁棒性
Robustness of fuzzy reasoning via logically equivalence measure
布尔型模糊系统逼近的充分条件
量子信息的删除和克隆
模糊Mealy自动机的同余和同态
Generalized ideals and supports in pseudo effect algebras
Minimization of states in automata theory based on finite lattice-ordered monoids
Representation of RCC11 composition table
量子态转化的一些数学性质
Fuzzy Turing machines: variants and universality
标度广义效应代数与标度效应代数的结构
模糊图灵机的逼近性与通用性
Minimization of lattice finite automata and its application to the decomposition of lattice language
Algebraic properties on the cuts of lattice-valued regular languages
On agreement of Isbell topology and Scott topology on the space of domain function spaces
基于量子纯态纠缠转化的一种算法
正交混合态的局域分辨
基于G?del蕴涵算子的导出算子的n值逻辑系统
LexiT序方法的推广
同步格值自动机的约简和最小化算法
基于1维子空间线性迭代射影重建
序列效应代数的Holland理论
线性秘密共享体制的一般构造
一类完善秘密共享方案的最优信息率
模糊正则文法的逼近性
格值Mealy自动机的同余和同态
一般线性群上ElGamal加密及签名方案
RCC11复合表的表示
一种改进的Clark—Wilson完整性策略模型
一类线性完全映射的构造
基于线性码上的动态可验证的秘密共享方案
一个实用的RSA门限签名方案
Domain函数空间代数性的一个注记
由可精确测量元控制的弱可换的伪效应代数
基于辫群的多级强代理盲签名方案
有限制的通用模糊图灵机研究
Note about Fixed Points of Scott Continuous Self-Mappings
二级传递性与二级传递模糊矩阵
过程数据挖掘及进展
稀疏最小二乘支持向量机及其应用研究
模糊有穷自动机与单体二阶Lukasiewicz逻辑
量子进化算法研究进展
基于子时段递推MFDA的水压机故障诊断方法
Adaptive backstepping output feedback control for SISO nonlinear system using fuzzy neural networks
混合核函数支持向量机的磨矿粒度预测模型
An Adaptive Non-Linear Map and Its Application
基于自适应神经网络的芳烃异构化过程建模
基于进化算法的常减压装置模拟
基于诺西肽分批发酵的过程建模
模糊最小一乘线性回归
Hammerstein-Wiener模型最小二乘向量机辨识及其应用
基于MICA-FDA的水压试验机故障诊断方法研究
逆系统轨迹控制二级倒立摆自动摆起
PS转炉造渣过程的动态控制模型
分配序列效应代数的理想和同余
基于自适应观测器的非线性系统故障诊断
基于RBF神经网络的非线性主元分析方法
三维射击精度的Bayes参数自助评估方法
分片线性逼近在电厂机组负荷分配中的应用
概念格的属性约简与属性特征
基于混沌遗传算法的铜闪速熔炼过程操作模式智能优化系统
基于两体量子正交纠缠态集的局域删除
基于HYSYS和NSGA-Ⅱ的常压塔多目标优化
Nonlinear Model Predictive Control Based on Support Vector Machine with Multi-kernel
特征选择算法研究综述
Fault Diagnosis Based on Fuzzy Support Vector Machine with Parameter Tuning and Feature Selection
无线传感器网络中的节点关联规则挖掘
求解TSP问题的文化蚁群优化算法
模糊推理系统的鲁棒性
量子信息的删除和克隆
量子态转化的一些数学性质
一类化工过程多变量系统的自适应非线性预测控制
粗糙集计算方法及应用研究
基于T-S模糊系统的鲁棒容错控制器的设计
Intelligent prediction model of matte grade in copper flash smelting process
Intelligent Fault Diagnosis in Lead-zinc Smelting Process
人工社会、计算实验、平行系统--关于复杂社会经济系统计算研究的讨论
鲁棒性可调的主动队列管理PI控制器的解析设计
主动队列管理中PID控制器的解析设计方法
Modeling and Control of a Continuous Stirred Tank Reactor Based on a Mixed Logical Dynamical Model
基于Kalman滤波的多分辨率图像融合新算法
几种经典相似性度量的比较研究
非线性系统的鲁棒容错控制
Lur’e系统稳定与同步的脉冲控制
基于OCL的服务构件特征语义描述模型
基于SCC空性检测中状态空间的缩减方法
Statecharts的组合语义与求精
有限精度时间自动机的可达性检测
命题线性时序逻辑的对偶模型问题的复杂性
有限精度时间自动机的时钟表示
从基于迁移的扩展Büchi自动机到Büchi自动机
丙烯聚合健康监控系统最优化生产过程研究
基于核偏最小二乘法的动态预测模型在铜转炉吹炼中的应用
噪声环境下参数估计和模型降阶的一种有效方法
模糊控制器输出值不变的两个充分条件
一类变论域自适应模糊控制器
敏感性分析综述
允许中断的同速机调度问题的一个最优算法
Mean Shift算法的收敛性讨论
基于相似度的信息权重模糊推理方法
模糊信息度量及推理中蕴涵运算的信息度约束
格矩阵半群的Euler-Fermat公式
对合Quantale同余关系
序列效应代数的Holland理论
Formal Specification CSMA/CA Using Finite and Model-Checking of Precision Timed Automata
A switched system approach to stabilization of networked control systems
Output Feedback Control of Networked Systems
一些量子结构的构造和Fuzzy有效空间
基于离散化的支持向量机特征选择
RCC11复合表的表示
Evolutionary prisoner＇s dilemma game on highly clustered community networks
Accelerated Recursive Feature Elimination Based on Support Vector Machine for Key Variable Identification
Robustly stable model predictive control based on parallel support vector machines with linear kernel
一种CAN总线调度算法在机车制动机上的应用研究
一种网络节点通信控制的心跳模型
模糊偏最小二乘支持向量机的应用研究
一种制动机气缸压力控制方法
机车制动记录装置中嵌入式USB Host的设计
新型机车制动控制方法的研究
基于RBF神经网络的磨矿粒度预测模型
PS转炉造渣过程的动态优化控制
基于动态T-S递归模糊神经网络的闪速熔炼过程参数软测量
基于现场总线技术的钢铁生产调度监控系统的设计
基于现场总线技术的烧结过程远程监控
DF4B型内燃机车低恒速控制系统的设计
不确定Takagi-Sugeno模糊广义交联大系统的鲁棒分散H∞控制
三维射击精度的Winterbottom逼近
一种基于有限精度时间自动机的模型检测工具
基于PCA和LS—SVM的软测量建模与应用
Support vector machine ensemble using rough sets theory
融合复小波与零空间判别投射的人脸识别方法
基于证据理论的多类分类支持向量机集成
一种网络演化MG模型研究
DVE architecture based on message category
An Adaptive Scheme for Neighbor Discovery in Mobile Ad Hoc Networks
Combination of Multi-class Probability Support Vector Machines for Fault Diagnosis
Overlay Share Mesh for Interactive Group Communication with High Dynamic
基于临时服务器的复合DVE结构
AFS理论的模糊聚类
遗传算法在电力系统经济负荷分配中的应用
一类时滞系统的模糊跟踪控制及其仿真
注塑过程子时段动态非线性质量预测
离散非线性规划问题的改进遗传算法
诺西肽发酵中比生长率与生物量的在线连续估计
基于支持向量机的软测量方法及其在生化过程中的应用
电弧炉炼钢合金成分控制模型
基于最小二乘支持向量机的发酵过程混合建模
ART2神经网络辨识发酵过程的不同阶段
滑动窗PCA分时段方法在诺西肽发酵过程中的应用
基于分时段参数修正的发酵模型的建立
诺西肽发酵过程中的混合建模
基于多“内在传感器”逆的诺西肽发酵过程生化参数软测量模型
基于主元空间数据分布比较的统计过程监测
一类非线性系统的扰动估计
Unknown Input Extended Kalman Filter and Applications in Nonlinear Fault Diagnosis
异类图匹配方法研究
基于最小最大圆度量的鲁棒模板匹配方法
基于骨架特征的机场主跑道识别
Reliable Memory Feedback Design for a Class of Nonlinear Fuzzy Systems with Time-varying Delay
一种新的图像融合及性能评价方法
一种不同分辨率异类图的融合算法
一类非线性系统的输出反馈容错控制
Robust H-infinity filtering for time-delay systems with missing measurements： a parameter-dependent approach
Fault Diagnosis of Nonlinear Systems Based on Hybrid PSOSA Optimization Algorithm
铜转炉吹炼终点预报模型研究
铜转炉吹炼过程剩余热组合预测模型及应用
一种高温粗锌液流量软测量检测仪表
双重软件体系结构描述框架XYZ／ADL
一类MIMO非线性不确定系统基于Backstepping设计的自适应模糊输出跟踪控制
区间值模糊集合的扩展原理
两台同型机多阶段维护调度问题的若干结果
模糊线性回归模型（Ⅰ）
关于模糊工期平行机调度问题的若干结果
Flow Shop成组排序问题的调度算法设计及其界的估计
双容水箱上的几种液位控制实验及被控对象的数学模型
模糊环境下单机调度中的总提前完工量问题
任务无准备时间最小化加权最大延误单机调度问题的若干结果
调度问题Pm｜pj=1,intree｜∑Cj的两个启发式算法
坡矩阵的广义逆（Ⅰ）
蕴涵算子族及其构造
区间值模糊控制
粗糙集工具MyRS的设计与实现
模糊互补矩阵排序向量的求解算法
The Relationship of Between Fuzzy Power Groups and Fuzzy Quotient Groups
一种求模糊矩阵传递闭包的基于幂序列单增矩阵构造的新算法
由后件单增模糊蕴涵算子构造的一类模糊系统及其逼近特性
区间值模糊推理
关于区间值直觉模糊集运算性质的注记
基于加权综合的分类算法
单水箱液位控制系统的模糊推理建模及仿真
SH型区间值模糊理想
对合Quantale范畴的逆系统
均衡度公理化定义的改进
广义单侧剩余广群
模糊推理的变权综合算法及其构造的模糊系统响应能力分析
基于相似度的样本分类算法
区间值模糊集合表现定理的一种新刻画
不确定性系统的统一性
基于极大模糊熵原理的模糊推理反向三I算法
关于《完备Brouwer格上伪t-模与蕴涵算子》的注记
正则模糊神经网络在Sugeno积分模意义下的泛逼近性
模糊控制器是泛逼近器的若干充分条件
数字背诵过程的大脑功能网络
多值函数中几个似是而非的结论
模糊模态命题逻辑及其广义重言式
三水箱多变量液位控制实验设计
A new polynomial algorithm for a paralle identical scheduling problem
不确定离散非线性系统的模糊控制
Improved Bounded Model Checking for the Universal Fragment of CTL
直觉线性μ-演算中的合成推理
二值化编码和相位相关的鲁棒景像匹配方法
A Robust Fault Detection Approach for Nonlinear Systems
Robust and Active Fault-tolerant Control for a Class of Nonlinear Uncertain Systems
一类多速率多传感器系统的状态融合估计算法
基于极大代数法的铝板轧制系统鲁棒性能
驱动主义学派下的一类新的遗传算法
一类并行机调度问题的动态调度算法
乙烯生产流程中联塔模拟与优化
基于简约空间序列二次规划算法和混合求导方法的精馏塔操作优化
大范围工况变化下联塔的严格机理模拟研究
乙烯脱丁烷塔智能操作优化方法研究
水下移动传感器网络中的光通讯与测距设计方案
基于瞬时无功理论与伏安特性的静止无功补偿器控制系统及应用
基于弱包含的区间值模糊集的上下近似
Payoff-based accumulative effect promotes cooperation in spatial prisoner＇s dilemma
基于多目标的随机合作博弈的模糊稳定集
集值信息系统的知识约简与属性特征
基于核主角的故障检测方法
基于贝叶斯网络的数据校正方法
一种基于经验增强的实时优化方法MEO
基于物种选择的遗传算法
支持向量机及其在密闭鼓风炉故障诊断中的应用
铅锌密闭鼓风炉故障诊断知识获取的粗糙集方法
一种基于自适应二值化阈值的焊缝边缘特征提取方法
基于支持向量回归的300MW电站锅炉再热汽温建模
时变移动通信系统的二进制反馈功率控制算法
基于产品结构的全生命周期形式化建模
间歇聚丙烯反应温度的一般模型控制方法
大型立式淬火炉温度分布参数系统动态解耦控制算法
人工代谢算法在故障诊断中的应用
正则化最小二乘分类的AlignLoo模型选择方法
高炉异常炉况的模糊预测模型
协调决策形式背景的属性约简
KJ2005煤井监控系统软件的设计与实现
一种对集建模与优化软件中表达式的解析方法
基于分形和FNN的水轮机组振动故障在线诊断
拓扑空间、极限空间、及L-拓扑空间之间的关系
基于多边协商的分布式网格资源调度
一种输出反馈网络化控制系统及其稳定性
一种适于多目标稳态优化决策的伪权向量方法
基于核主元分析和最小二乘支持向量机的软测量建模
基于加权系数寻优的回归型加权支持向量机
基于信息熵的DNA免疫遗传算法
基于组件的集成建模与智能优化软件平台设计
粒子群优化算法求解多模式项目再调度问题
混流轿车总装配线上物料配送的研究与实践
求解大规模车间调度问题的一种分解优化算法
产品全生命周期结构模型研究
产品族谱系的配置方法研究
混流轿车总装配线的动态规划与仿真优化研究
可重构装配系统中智能体的开发
基于MMI的存在旋转的异类图匹配方法
N人合作博弈的Nash及演化均衡稳定策略分析
不协调集值决策信息系统的属性约简
基于TU动态模糊联盟合作博弈的核心及谈判集
基于Markov随机过程的动态合作博弈的模糊稳定集
基于动态模糊联盟合作博弈的区间模糊Shapley值
由蕴涵算子构造的一种模糊概念格
曲线焊缝跟踪的视觉伺服协调控制
基于自适应高斯核支持向量机的室内人体存在检测
基于粒计算的认知模型
基于HYSYS的催化重整流程模拟及其应用
密闭鼓风炉铅锌熔炼的统计过程监测系统设计
基于视觉的环形激光陀螺自动调腔系统
一种新型的掩膜管理控制系统的研制
基于越障的月面巡视探测器路径规划成本评估
对二甲苯装置二甲苯精馏单元先进控制系统的开发及应用
用于紫外光谱水质分析的Boosting-偏最小二乘法
气流干燥过程水份软测量集成建模研究
基于智能集成策略的铜闪速炉冰铜温度预测模型
PCA过程监测方法在密闭鼓风炉铅锌熔炼中的应用
透气性指数回归模型的数据挖掘
基于自适应粒子群优化算法的预测控制算法及其在加热炉支管平衡中的应用
基于有界误差分布假设的常压塔稳态过程数据校正方法
考虑工业设备老化时的递阶最优生产控制策略(英文)
动态流程模拟及其在精馏塔的操作分析中的应用
基于现场总线的协同控制在混流轿车总装配线上的应用
移动机器人路径规划策略
面向全生命周期的e定制研究与实现
Sober Topological Molecular Lattices
VC++6.0环境下的OPC通信设计及其在控制系统中的应用
一种基于改进免疫遗传算法的证券组合投资策略
拟阵约束下TU模糊合作博弈的Banzhaf-Coleman值
随机模糊神经网络模型预测铁水硅含量
Reproducing wavelet kernel method in nonlinear system identification
On the Dual of a Mixed H2/l1 Optimisation Problem
多移动机器人可重构物流系统建模方法
On-line Weighted Least Squares Kernel Method for Nonlinear Dynamic Modeling
Smooth拓扑空间的Moore-Smith收敛理论
Improved PSO algorithm and its application
A New Pre-alignment Approach Based on Four-Quadrant-Photo-Detector for IC Mask
An Analysis of the Inverse Kinematics for a 5-DOF Manipulator
Fast generation method of fuzzy rules and its application to flux optimization in process of matter converting
Hybrid algorithm for project scheduling with capacity constraint
基于大规模严格机理模型的数据校正
Adaptive Immune Evolutionary Algorithms Based on Immune Network Regulatory Mechanism
基于最优DAGSVM的服务机器人交互手势识别父且手亍劣识别
Seam Tracking and Visual Control for Robotic Arc Welding Based on Structured Light Stereovision
基于ICA与HMM的表情识别
一种图像快速线性插值的实现方案与分析
求解Job Shop问题的一种免疫模拟退火算法
集值信息系统的知识发现与约简
粗糙模糊集的不确定性度量
连续碳酸化分解过程实时监控系统
基于优化BP神经网络的中子法检测煤中碳含量
基于边缘检测的图像分割方法及其在机器鱼中的应用
炉管注汽量突增对焦化加热炉的影响及对策
一种基于模型的输出反馈网络化控制系统
一个新的分散定步长功率控制算法
一类非线性互联系统的H∞模型参考跟踪分散输出反馈模糊控制
基于CATIA的轧辊设计二次开发技术
基于集值决策属性的集值信息系统
基于DSP的视觉传感器在焊接机器人上的应用
一种基于可能度的区间数排序方法
有限制的通用模糊图灵机研究
一类流水作业质量检验中检验设备组合问题的研究
Stability Analysis for a Kind of Hybrid Interconnected Systems
蓄储液系统两种建模方法的仿真比较与分析
Robust tuning method for modified smith predictor
Support vector machine-based multi-model predictive control
An optimal adaptive H-infinity tracking control design via wavelet network
Note about Fixed Points of Scott Continuous Self-Mappings
STABILIZATION OF THE QUADRUPLE INVERTED PENDULUM BY VARIABLE UNIVERSE ADAPTIVE FUZZY CONTROLLER BASED ON VARIABLE GAIN H∞ REGULATOR＊
期刊信息
  • 《数学研究及应用：英文版》
  • 中国科技核心期刊
  • 主管单位:国家教育部
  • 主办单位:大连理工大学
  • 主编：王仁宏
  • 地址：大连理工大学应用数学系
  • 邮编：116024
  • 邮箱：
  • 电话：0411-84707392
  • 国际标准刊号：ISSN：2095-2651
  • 国内统一刊号：ISSN：21-1579/O1
  • 邮发代号:8-92
  • 获奖情况:
  • 1998年大连市优秀期刊奖,2000年大连市优秀期刊奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊
  • 被引量:36