您的位置: 专家智库 > >

国家自然科学基金(60273080)

作品数:11 被引量:47H指数:5
相关作者:孙吉贵张健胡成全李妮娅刘全更多>>
相关机构:吉林大学苏州大学长春工业大学更多>>
发文基金:国家自然科学基金吉林省杰出青年科学基金教育部“新世纪优秀人才支持计划”更多>>
相关领域:自动化与计算机技术机械工程理学更多>>

文献类型

  • 11篇中文期刊文章

领域

  • 8篇自动化与计算...
  • 2篇机械工程
  • 1篇理学

主题

  • 2篇基于WEB
  • 2篇工作流
  • 1篇等词
  • 1篇定理证明
  • 1篇多尺度
  • 1篇多尺度分析
  • 1篇信息发布
  • 1篇序约束
  • 1篇一阶逻辑
  • 1篇引擎
  • 1篇英文
  • 1篇有效性
  • 1篇约束满足问题
  • 1篇整数规划
  • 1篇数据驱动
  • 1篇双权
  • 1篇条件化
  • 1篇图像
  • 1篇图像处理
  • 1篇气动

机构

  • 9篇吉林大学
  • 2篇苏州大学
  • 1篇复旦大学
  • 1篇长春工业大学
  • 1篇教育部
  • 1篇南通纺织职业...

作者

  • 9篇孙吉贵
  • 3篇胡成全
  • 3篇张健
  • 2篇李妮娅
  • 2篇刘全
  • 1篇何雨果
  • 1篇冯莎莎
  • 1篇张海飞
  • 1篇王纯杰
  • 1篇齐红
  • 1篇梁书斌
  • 1篇杨轻云
  • 1篇吴瑕
  • 1篇张长胜
  • 1篇范玮
  • 1篇曹晓威
  • 1篇张居阳

传媒

  • 2篇计算机集成制...
  • 2篇吉林大学学报...
  • 1篇科学通报
  • 1篇广西师范大学...
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇吉林大学学报...
  • 1篇Wuhan ...
  • 1篇吉林师范大学...

年份

  • 1篇2009
  • 3篇2006
  • 6篇2005
  • 1篇2004
11 条 记 录,以下是 1-10
排序方式:
基于Web的轻量级工作流管理系统被引量:14
2005年
工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统。
张健胡成全孙吉贵李妮娅
关键词:轻量级工作流管理系统工作流引擎
稀疏二元约束满足问题的环割集粒子群算法(英文)被引量:1
2006年
提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。
杨轻云孙吉贵张居阳王纯杰
关键词:二元约束满足问题粒子群算法弧相容
基于WebGIS的高速公路信息发布系统的设计与实现被引量:1
2009年
随着国家对高速公路的大规模建设,高速公路路网越来越复杂.为了方便公众查询出行信息,开发了基于WebGIS的高速公路信息发布系统.本系统采用MapInfo公司的WebGIS平台MapXtreme,并且使用了目前较为先进的Java Applet构造方法,实现了通过电子地图将高速公路上反映道路畅通情况的可变限速标志进行网上发布、路线信息查询和公众出行信息服务、车辆行驶流水费用明细查询等功能.运行结果表明利用WebGIS技术克服了基于传统模式开发该系统的弊端,提高了系统的运行效率,增强大量空间数据和属性数据的处理能力.
张海飞刘全
关键词:WEBGISMAPXTREME可变限速标志
面向网络的实时飞行模拟系统模型被引量:8
2006年
为提高培养飞行员的效率和质量,节约费用,从整体上设计并实现了一种实时的、面向网络的飞行系统仿真模型。为了使其具有通用性及实时性,采用数据驱动方式,并通过使用稳定系数方式单独设计了一种适用的空气动力的数学模型。通过简单的配置用XML(extensib le M arkup Language)格式描述的配置文件,可以同时模拟各种类型的飞机飞行驾驶,为飞行员的飞行模拟训练提供了仿真平台,模型的建立方法可以为同类设计和研究提供借鉴。实践证明,本模型在通用性、实时性以及仿真度等方面基本符合要求,应用此模型实现了某种国产初级教练机的仪表飞行系统,并被应用于飞行员的仪表飞行训练中。测试结果表明,如果不加控制信号,飞机能保持平飞状态达30 s以上。
张长胜孙吉贵梁书斌范玮
关键词:空气动力数据驱动飞行仿真
工作流系统中一个基于双权角色的条件化RBAC访问控制模型被引量:1
2005年
传统的RBAC访问控制模型已经不能表达复杂的工作流安全访问控制约束。基于传统的RBAC模型,提出了一个新的基于双权角色的条件化RBAC访问控制模型CRDWR(conditioned RBAC based on double-weightedroles)。阐述了基于动态角色分配的条件化RBAC策略,定义了基于双权角色的工作流系统访问授权新概念,并针对多个角色协同执行任务的序约束问题,给出了基于令牌的序约束算法。该模型能够表达复杂的工作流安全访问控制约束。
张健孙吉贵李妮娅胡成全
关键词:工作流系统RBAC模型控制约束序约束
基于PKI技术的PMI的研究与实现被引量:7
2005年
身份认证和权限管理是网络安全的两个核心内容。研发了一个基于公共密钥基础设施技术的权限管理基础设施系统。提出了一个基于属性证书和条件化的基于角色的访问控制、进行权限管理的权限管理基础设施访问控制模型,提供了属性证书的两种提交方式,即“推”模式和“拉”模式,并在此模型的基础上给出了该系统的实现,最后给出了该系统的一个应用实例。实践证明,该系统提供了一个较好的解决方案和实现,基本上能够满足大型应用(上百万用户)的用户需求。
张健胡成全孙吉贵马春旺齐红
关键词:公共密钥基础设施权限管理基础设施权限管理
基于语义tableau的一阶逻辑自动定理证明被引量:5
2005年
自动推理作为自动定理证明的扩展是人工智能研究的基础工作,许多重要的人工智能系统都是以推理系统为其核心部分,其中的tableau方法,由于具有通用性、直观性及易于计算机实现等特点,至今成为重要的自动推理方法之一。在tableau方法基础上,讨论了一阶逻辑中的自动定理证明理论,提出使用模型存在定理证明其可靠性和完备性的方法。同时也给出了带等词tableau方法的证明过程。
刘全孙吉贵
关键词:有效性
大规模线性优化求解系统的设计与实现被引量:5
2004年
从建立实用系统出发,以解决实际中各类大规模线性优化问题为目标,研究了大规模线性优化求解技术,设计实现了用于大规模线性规划、整数规划及运输模型的线性优化求解系统LOSS(LinearOptimizationSolvingSystem),并结合具体应用实例做了模拟实验研究。大规模测试数据样例实验结果证明,该系统在求解线性优化类问题时,效果优良,并具有灵活性、友好性、可移植性、可扩充性和可重用性等特点。
孙吉贵曹晓威
关键词:线性规划整数规划
Learning Hierarchical User Interest Models from Web Pages
2006年
We propose an algorithm for learning hierarchical user interest models according to the Web pages users have browsed. In this algorithm, the interests of a user are represented into a tree which is called a user interest tree, the content and the structure of which can change simultaneously to adapt to the changes in a user's interests. This expression represents a user's specific and general interests as a continuurn. In some sense, specific interests correspond to shortterm interests, while general interests correspond to longterm interests. So this representation more really reflects the users' interests. The algorithm can automatically model a us er's multiple interest domains, dynamically generate the in terest models and prune a user interest tree when the number of the nodes in it exceeds given value. Finally, we show the experiment results in a Chinese Web Site.
YANG Feng-qinSUN Tie-liSUN Ji-gui
关键词:PERSONALIZATION
含等词的超表演算
2005年
将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.
冯莎莎孙吉贵吴瑕
关键词:等词
共2页<12>
聚类工具0