位置：立项数据库 > 立项详情页
非规范知识的数学理论
  • 项目名称：非规范知识的数学理论
  • 项目类别：重大项目
  • 批准号：60496321
  • 申请代码：F020101
  • 项目来源：国家自然科学基金
  • 研究期限：2004-11-30-2008-10-31
  • 项目负责人：朱洪
  • 负责人职称：教授
  • 依托单位：复旦大学
  • 批准年度：2004
中文摘要：

建立

中文主题词： 知识通信 量子语义
英文摘要：

knowledge Quantum Semantic

英文主题词： knowledge Quantum Semantic
结论摘要：

对无线网络中的频率分配等一系列具有很强应用背景的问题设计出各种近似或者在线算法；将密码理论应用到量子通信安全问题中；将博弈理论引入到网络经济中的各种拍卖问题中；利用Hamming范数对XML问题进行研究。给出了上下文无关文法进程强互模拟的一个有穷刻画；提出了二值传递的CPS变换;扩充了strand space方法从而验证了Kerber V协议。提出了带噪音的pi演算；建立了诊断系统中知识转化和融合的模型；采用Sugeno积分建立了广义量词的一种新的语义模型；给出RCC8拓扑约束网络相容性的有效判定算法；建立了能同时容纳空间知识的离散和连续模型的新理论；初步建立了空间拓扑信息的分层递阶推理方法。提出了凹形、带洞区域拓扑，三维主方位等复杂空间关系模型；提出了扩展蛋黄等不确定空间关系模型；提出了多粒度等时空模型和逻辑。提出基于随机逻辑程序等统计关系学习模型和增量式动态复杂网络等聚类算法。丰富完善了时空交叉知识理论。解决了时空知识处理理论应用的关键理论技术难题，并进行了成功应用。

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 164
  • 64
  • 0
  • 8
  • 1
期刊论文
基于两阶段计数的用户关联挖掘
基于混合方式的贝叶斯网弧定向算法
基于MBR的拓扑、方位、尺寸结合的定性空间推理
一种基于特征重要度的文本分类特征加权方法
使用SAT求解器产生所有极小冲突部件集
混合语义约简和选择估值优化SPARQL
Greedy online frequency allocation in cellular networks
电子细胞Analog-Cell的并发机制
空间聚类在精准农业中的应用
部分可观察强规划中约减观察变量的研究
复杂网络聚类方法
基于图的分解与合并的静态事务调度算法
顶点覆盖变体问题的确定参数可解算法研究
一类弱支配集问题的近似算法
基于Hamming范数的XML流相关性估测算法
Progress in Computational Complexity Theory
An Improved Algorithm for Finding the Closest Pair of Points
Approximating the minimum weight weak vertex cover
A 1-Local Asymptotic 13/9- Competitive Algorithm for Multicoloring Hexagonal Graphs
Arbitrage opportunities across sponsored search markets
Design of a CIL Connector to SPIN
Tree Process Calculus.
Enumerating proofs of positive formulae
Weakly distributive domains(II)
On an open problem of Amadio and Curien: The finite antichain condition
Unconditional competitive auctions with copy and budget constraints
Proof search and counter model of positive minimal predicate logic
内点带权值的最小生成树算法
二人博弈问题中单一纳什均衡的搜索算法
基于后验概率的Markov逻辑网参数学习方法研究
结合似然关系模型和用户等级的协同过滤推荐算法
基于中间件的Web智能系统集成开发平台研究
动态系统基于模型诊断的研究进展与展望.
Analog-Cell: 一种新的电子细胞图形模型
Finding a Simple Nash Equilibrium
具有动态加权特性的关联规则算法
移动Agent计算理论和形式化方法研究
Analysis and Optimization for Mobile Agent Communication
A New Spatial Algebra for Road Network Moving Objects
一种高维空间数据的子空间聚类算法
一种不确定区域间的方向关系模型
定性方向关系模型研究进展
模糊栅格区域的层次拓扑关系模型
基于区间值模糊集的模糊区域拓扑关系模型
Force-based Incremental Algorithm for Mining Community Structure in Dynamic Network
Research of Logistics Transport Costs Computing in Automobile Industry.
A Novel Method of Model-based Diagnosis by Propagating Failure Value
Analog-Cell：一种新的电子细胞图形模型
A hierarchy of behavioral equivalences in the pi-calculus with noisy channels
含序信息的粗集方法研究
基于遗传与粒子群算法的Markov逻辑网学习研究
RSILP模型若干问题的研究
一种半监督K均值多关系数据聚类算法
一种特征加权的聚类算法框架
Preprocessing of Spatial Query in Distributed GIS
Logic of Integrating Metric Space and Time
基于模型检测的实时模型诊断方法
一种结合SE-tree计算所有极小碰集的方法
n取m不经意传输协议构造研究
关于吹雪机问题的改进近似算法
改进的二分法查找
图的支配集若干问题的研究
Oblivious Computation Proxy
带测度函数的连通支配集问题
计算复杂性理论部分进展简述
P2P结构与搜索机制研究
重复囚徒困境的学习和响应模型
Generalized Region Connection Calculus
Linguistic quantifiers modeled by Sugeno integrals
A theory of computation based on quantum logic
Catalyst-assisted Probabilistic Entanglement Transformation
Observability and decentralized control of fuzzy discrete event systems
Retraction and generalized extension of computing with words
Supervisory control of fuzzy discrete event systems
State-based control of fuzzy discrete event systems
A complete classification of topologic al relations using the 9-intersection method
On topological consistency and realization
混合系统基于模型诊断建模问题研究
基于分层任务网络的一致性规划方法
基于模型诊断中产生所有极小冲突集的新方法
一种基于ATMS的求解所有极小冲突集的新方法
A Method of Combing SE-tree to Compute all Minimal Hitting Sets
可用于诊断产生的计算碰集的新方法
On countable RCC models
On minimal models of the Region Connection Calculus
An algebra for moving objects
基于用户等级的协同过滤推荐算法
基于数据立方体的属性核计算方法
基于免疫进化算法的Bayesian网结构学习算法
CORS方法与规则生成算法GRs
The Existence of Quantum Entanglement Catalysts
Qualitative Spatial Representation and Reasoning: A Hierarchical Approach
种移动Agent 通信中本体信息调整方法
基于J2EE的交互式工作流管理系统
基于粗集理论的C3I信息融合性能评估方法研究
统计关系学习研究进展
一种基于移动代理的自主拍卖模型
多Agent协商研究
一种基于实例状态的工作流系统监控方法
传名调用演算的二值传递CPS变换
自组织分治求解分布式约束优化问题
一种基于模板的子句学习算法
Some Issues in Quantum Information Theory
结合度量空间和时间的逻辑
基于粒子群优化算法的Bayesian网络结构学习
面向不完备信息系统的粗糙集方法研究
数字农业时空信息管理平台
统计关系学习模型Markov逻辑网综述
结合拓扑和方位的定性空间推理方法
空间数据挖掘技术的研究现状与发展趋势
一种基于褶集的模糊区域可视化模型
基于协同产品数据管理理念的零部件子系统的设计
时空推理中自动生成复合表的通用算法
一种基于多Agent系统的饲料配方优化算法
RCC5与主方位关系结合的定性空间推理
一种Agent通信中逻辑意外信息转换方法
反期望模式的发现及其应用
一种预测商品销量及库存的新方法
基于信息熵的度量类间桥方法
一种新的汽车乘员分类视觉检测算法
工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型
聚类算法研究
中文网页语义标注：由句子到RDF表示
顶点覆盖问题线性内核算法
一种基于图形处理器的频繁模式挖掘算法
一种基于图形处理器的压缩单纯形方法
基于任务和角色访问控制模型分析与研究
基于VisualFoxpro软件设计中技术技巧的研究与实践
基于语义的主题爬行策略
会议论文
Weakly Distributive Domains.
Weakly distributive domains
Deciding Bisimilarity of Full BPA Processes Locally.
Quantum m-out-of-n Oblivious Transfer.
General Public Key m-out-of-n Oblivious Transfer.
Expansive bisimulation for context-free processes.
More on weak bisimilarity of normed basic parallel processes.
Combining Topological and Directional Information: First Results
A Posterior-Based Method for Markov Logic Networks Parameters Learning
Deciding weak bisimilarity of normed context-free processes using tableau.
Spatial Reasoning Based Spatial Data Mining for Precision Agriculture
QUALITATIVE SPATIO-TEMPORAL DATABASE
Improved Algorithm For Continuous Moving Objects Queries
A Design of Product Configuration Manager Based on Weight Constraint Parameter Value in Manufacture
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network
Learning Dynamic Bayesian Network with Immune evolutionary algorithm
Algorithm Studies of Rlues Generation in CORS Methodology
A New Taxonomy of Coordination Models Based on Interaction Types
A Survey of Multi-agent Coordination.
Advances in Multi-Agent Coordination
Nonmetric Multicommodity Facility Location and k-Median problem with service installation costs
Approximation Algorithms for Data management in Geometric Network
A New Cube-based Algorithm for Computing the Feature Core of a Consistent Decision Table
On-line Diagnosis of Discrete-event Systems: A Hierarchical Approach
An Extended Hierarchical Framework for Definitions of Diagnosability of Discrete Event Systems
Multi-bidding Strategy in Sponsored Keyword Auction
Use of rectangle algebra in cardinal direction
Containing Order Rough Set Methodology
Studies on Some Details of Algorithm IGRS
统计关系学习综述
Sequential voting rules and multiple elections paradoxes.
Extending the Strand Space Method to Verify Kerberos V.
Combinative Reasoning with RCC5 and Cardinal Direction Relations
A Model for Representing Topological Relations between Simple Concave Regions
Program Verification by Using DISCOVERER.
Inplementing Higher-order control in Java.
Qualitative Spatial Relation Database for Semantic Web
On Modularity of Social Network Communities: The Spectral Characterization
Cardinal Direction Relations in 3D Space
A Markov Logic Network Learning Algorithm from Relational Missing Data
On Approximating the Maximum Simple Sharing Problem
A distributed Q-learning algorithm for multi-agent team coordination
MULTI- GRANULARITIES APPROXIMATE METHOD FOR OBTAINING QUALITATIVE SPATIAL RELATIONS
Non-Metric Multicommodity and Multilevel Facility Location
Traversing the Maching Graph
Efficient Algorithms for k-Disjoint Paths Problems on DAGs
Approximating the Maximum Sharing Problem
Online OVSF Code Assignment with Resource Augmentation.
Online Frequency Allocation in Cellular Networks
A Recommendation Algorithm Combining User Grade-based Collaborative Filtering and Probabilistic Rela
Model-based Diagnosis of Discrete Event Systems with An Incomplete System Model
Mechanized proofs for the Parameter Abstraction and Guard Strengthening Principle in Parameterized V
Decidability of weak bisimilarity for a subset of BPA.
A 1-Local 13/9-Competitive Algorithm for Multicoloring Hexagonal Graphs
Process Mining: Extending “α-Algorithm” to Mine Duplicate Tasks in Process Logs
Improved Algorithms for Deriving all Minimal Conflict Sets in Model-based Diagnosis
A Clause Learning Algorithm Combining Immune Mechanism to Invent Predicate
Using Description Logic to Determine Seniority among RB-RBAC Authorization Rules
A Fuzzy Spatial Region Model Based on Flou Set
基于MBR的拓扑、方位、尺寸结合的定性空间推理
A Two-Stage Clustering Algorithm for Multi-type Relational Data
A Complete Approach to Identify Conflict Sets Based on ATMS
The Regulation of Gene Expression in E-Cell
Model Composition in Multi-dimensional Data Spaces
获奖
农业智能系统研究与应用；。
时空推理、数据挖掘与决策系统研究及应用
智能化农业信息系统集成开发平台
农业专家系统研究及应用
农业智能系统研究与应用；。
时空推理、数据挖掘与决策系统研究及应用
智能化农业信息系统集成开发平台
农业专家系统研究及应用
著作
知识科学中的一些基本问题研究
朱洪的项目
NP优化问题的难近似性、随机算法和计算经济学
期刊论文 2
近似和概率算法设计和分析
第八届亚州计算科学大会
并行概率算法与可学习性理论
NP优化问题的难近似性,随机算法和在线算法
平行概率算法,零知识证明和可学习性理论
Computational Molecular Biology
NP最优问题的概率近似算法设计和平均复杂性设计
期刊论文 1