您的位置: 专家智库 > >

国家重点基础研究发展计划(2005CB321902)

作品数:39 被引量:156H指数:6
相关作者:张付志陈清亮马世龙王新生苏开乐更多>>
相关机构:燕山大学北京航空航天大学中山大学更多>>
发文基金:国家重点基础研究发展计划国家自然科学基金河北省自然科学基金更多>>
相关领域:自动化与计算机技术理学动力工程及工程热物理水利工程更多>>

文献类型

  • 38篇期刊文章
  • 13篇会议论文

领域

  • 36篇自动化与计算...
  • 12篇理学
  • 2篇机械工程
  • 1篇生物学
  • 1篇矿业工程
  • 1篇动力工程及工...
  • 1篇电子电信
  • 1篇水利工程
  • 1篇交通运输工程
  • 1篇航空宇航科学...
  • 1篇医药卫生

主题

  • 3篇数据挖掘
  • 3篇频繁模式挖掘
  • 3篇网络
  • 3篇BASED_...
  • 3篇H
  • 2篇多维标度
  • 2篇无线传感
  • 2篇无线传感器
  • 2篇无线传感器网
  • 2篇无线传感器网...
  • 2篇相似度
  • 2篇协同过滤
  • 2篇邻居
  • 2篇描述逻辑
  • 2篇计算方法
  • 2篇攻击检测
  • 2篇关联规则
  • 2篇感器
  • 2篇MULTI-...
  • 2篇NEURAL...

机构

  • 12篇北京航空航天...
  • 12篇燕山大学
  • 4篇中山大学
  • 3篇暨南大学
  • 2篇北京联合大学
  • 2篇中国科学院
  • 2篇电信科学技术...
  • 1篇广东商学院
  • 1篇北京大学
  • 1篇河北科技师范...
  • 1篇华东师范大学
  • 1篇华南师范大学
  • 1篇华中师范大学
  • 1篇北京工业大学
  • 1篇清华大学
  • 1篇山东工商学院
  • 1篇中国科学院数...
  • 1篇中国科学院自...

作者

  • 8篇张付志
  • 4篇王新生
  • 4篇陈清亮
  • 4篇马世龙
  • 3篇童咏昕
  • 3篇胡玉兰
  • 3篇贾英民
  • 3篇苏开乐
  • 2篇刘永帅
  • 2篇郑志明
  • 2篇杨晋吉
  • 2篇周立娜
  • 2篇张媛媛
  • 2篇岳伟亚
  • 2篇赵伟伟
  • 2篇袁玫
  • 2篇眭跃飞
  • 1篇姜云飞
  • 1篇郭炳晖
  • 1篇韦卫

传媒

  • 3篇计算机研究与...
  • 3篇计算机学报
  • 3篇计算机工程
  • 3篇小型微型计算...
  • 3篇北京航空航天...
  • 2篇模式识别与人...
  • 2篇计算机应用研...
  • 2篇计算机仿真
  • 2篇Scienc...
  • 2篇Acta M...
  • 2篇智能系统学报
  • 1篇燕山大学学报
  • 1篇应用数学学报
  • 1篇数学物理学报...
  • 1篇中山大学学报...
  • 1篇中国科学(E...
  • 1篇软件工程师
  • 1篇计算机科学
  • 1篇周口师范学院...
  • 1篇Acta M...

年份

  • 2篇2013
  • 3篇2012
  • 9篇2011
  • 16篇2010
  • 13篇2009
  • 3篇2008
  • 4篇2007
  • 1篇2006
39 条 记 录,以下是 1-10
排序方式:
Robust State Estimation for Jump Markov Linear Systems with Autonomous Mode Transitions
This paper addresses the robust state estimation problem for a class of jump Markov linear systems(JMLSs)with ...
LI Wenling1,JIA Yingmin1,2,MENG Deyuan11.The Seventh Research Division and the Department of Systems and Control,Beihang University(BUAA),Beijing 100191,P.R.China2.Key Laboratory of Mathematics,Informatics and Behavioral Semantics(LMIB),Ministry of Education,SMSS,Beihang University(BUAA),Beijing 100191,P.R.China
文献传递
一种有效压缩频繁模式挖掘的算法
2009年
频繁模式挖掘的研究最近致力于在一个合理的容错范围内寻找有代表性的模式来压缩庞大的挖掘结果集.一种新型启发式算法AMSA(Approximating Mining based Simulated Annealing)被提出,其采用了模拟退火思想来保证有效性和压缩的质量.依据FIMI(Frequent Itemset Mining Implementations Repository)提供的公用数据集进行的实验结果也证明了这一结论.通过与FPclose算法和RPglobal算法分别进行了性能的比较,AMSA挖掘的结果集规模小于FPclose算法和RPglobal算法得到的结果集规模,特别是当支持度阈值很低时,RP-global不可在合理时间内产生结果集,AMSA却可在合理时间内得出较精准的结果集.
童咏昕马世龙李钰
关键词:数据挖掘模拟退火
CONVERGENCE AND GROWTH OF MULTIPLE DIRICHLET SERIES被引量:5
2010年
This article investigates the convergence and growth of multiple Dirichlet series. The Valiron formula of Dirichlet series is extended to n-tuple Dirichlet series and an equivalence relation between the order of n-tuple Dirichlet series and its coefficients and exponents is obtained.
梁美丽高宗升
一种挖掘压缩序列模式的有效算法被引量:8
2010年
从序列数据库中挖掘频繁序列模式是数据挖掘领域的一个中心研究主题,而且该领域已经提出和研究了各种有效的序列模式挖掘算法.由于在挖掘过程中会产生大量的频繁序列模式,最近许多研究者已经不再聚焦于序列模式挖掘算法的效率,而更关注于如何让用户更容易地理解序列模式的结果集.受压缩频繁项集思想的启发,提出了一种CFSP(compressing frequent sequential patterns)算法,其可挖掘出少量有代表性的序列模式来表达全部频繁序列模式的信息,并且清除了大量的冗余序列模式.CFSP是一种two-steps的算法:在第1步,其获得了全部闭序列模式作为有代表性序列模式的候选集,与此同时还得到大多数的有代表性模式;在第2步,该算法只花费了少量的时间去发现剩余的有代表性序列模式.一个采用真实数据集与模拟数据集的实验研究也证明了CFSP算法具有高效性.
童咏昕张媛媛袁玫马世龙余丹赵莉
关键词:频繁模式挖掘关联规则数据挖掘
实例化空间:一种新的安全协议验证逻辑的语义模型被引量:8
2006年
给出了一个称为“实例化空间(instantiation space)”的安全协议验证逻辑的语义模型.该语义模型是建立在一种自然的加密信息交换(cryptographical message exchange)模型上的.在此语义模型基础上,文章提出了一系列与安全属性相关的验证公理,由此可以证明它们在此语义模型下的正确性.更重要的是,在此语义下的公理集在算法上是完全可以实现的,其对应的工具SPV(Security Protocol Verifier)已经开发成功,并且可以验证复杂的协议.在这套安全协议验证模型理论下,可以很方便地处理包括公钥、私钥、共享密钥和Hash函数组成的复杂信息格式.而且,在此语义基础上的公理集是纯命题逻辑的,因此所需要的验证目标可以很方便地转化成可满足性问题(SAT),从而可以利用工业上快速高效的SAT求解器实现.
苏开乐岳伟亚陈清亮ZHENG Xi-Zhong
Optimal Regularization Parameters Selection for Laplacian Support Vector Machine
Laplacian support vector machine(LapSVM) is an attracting tool for semi-supervised classification with manifol...
Li Juntao1,Jia Yingmin1,Du Junping2,Li Wenlin3 1.The Seventh Research Division,Beihang University(BUAA) ,Beijing 100083,P.R.China 2.Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia,School of Computer Science and Technology,Beijing University of Posts and Telecommunications,Beijing 100876,P.R.China 3.College of Mathematics and Information Science,Henan Normal University,Xingxiang 453007,P.R.China
文献传递
Bearings-only Multi-Sensor Multi-Target Tracking Based on Rao-Blackwellized Monte Carlo Data Association
This paper addresses the problem of tracking multiple targets using multi-sensor bearings-only measurements in...
WANG Yazhao1,JIA Yingmin1,2,DU Junping3,YU Fashan4 1.The Seventh Research Division and the Department of Systems and Control,Beihang University(BUAA),Beijing 100191,P.R.China2.Key Laboratory of Mathematics,Informatics and Behavioral Semantics(LMIB),Ministry of Education,SMSS,Beihang University(BUAA),Beijing 100191,P.R.China3.Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia,School of Computer Science and Technology,Beijing University of Posts and Telecommunications,Beijing 100876,P.R.China4.School of Electrical Engineering and Automation,Henan Polytechnic University,Jiaozuo 454000,Henan,P.R.China
文献传递
Tracking of Multiple Targets in Clutter Using Optimal Sets Based on Linear Programming
<正>This paper is devoted to the problem of tracking multiple targets in clutter and a new methods is presented...
Xiaoyan Fu~1,Yingmin Jia~1,Shiying,Yuan~2 1.The Seventh Research Division,Beihang University(BUAA),Beijing 100191,China 2.School of Electrical Engineering and Automation,Henan Polytechnic University,Jiaozuo 454000,Henan
文献传递
基于描述逻辑DL_(RBAC)的RBAC形式化模型
2010年
提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.
马丽马世龙眭跃飞
关键词:访问控制描述逻辑
Solution to the Generalized Champagne Problem on simultaneous stabilization of linear systems被引量:4
2007年
The well-known Generalized Champagne Problem on simultaneous stabilization of linear systems is solved by using complex analysis and Blonders technique. We give a complete answer to the open problem proposed by Patel et al., which automatically includes the solution to the original Champagne Problem. Based on the recent development in automated inequality-type theorem proving, a new stabilizing controller design method is established. Our numerical examples significantly improve the relevant results in the literature.
GUAN QiangWANG LongXIA BiCanYANG LuYU WenShengZENG ZhenBing
关键词:STABILIZATION
共6页<123456>
聚类工具0