江西省教育科学规划课题(04BY453)
- 作品数：6 被引量：26H指数：3
- 相关作者：彭宣戈朱兵冷明孙凌宇甘俊更多>>
- 相关机构：井冈山学院清华大学井冈山大学更多>>
- 发文基金：江西省教育科学规划课题国际科技合作与交流专项项目江西省科技攻关计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种用户身份认证系统的形式化描述被引量：1
- 2009年
- 身份认证系统用于解决访问者的物理身份和数字身份的一致性问题,给其他系统提供权限管理的依据。运用形式化方法,针对一个用户身份认证系统,使用Z语言对其进行形式化描述。在形式化过程中,对该系统用户身份记录定义了读、添加、更新、删除四种操作,对该系统用户身份认证定义了登录、退出二种操作。对于每种操作,还定义了具体的操作步骤、操作需要的前提条件和提示信息。身份认证是整个信息安全体系的基础,并越来越受到重视,因此研究身份认证系统的形式化具有一定的现实意义。
- 孙凌宇冷明彭宣戈
- 关键词：Z形式化身份认证
- 一种基于元胞自动机的无向图剖分优化算法被引量：6
- 2008年
- 运用元胞自动机理论,针对无向图剖分优化问题进行了分析和建模,提出了一种元胞自动机模型以及基于该模型的无向图剖分优化算法。在该元胞自动机模型中,元胞对应于无向图中的结点,元胞的邻居对应于邻接结点,元胞空间对应于无向图中的结点集,元胞的状态对应于所在的结点子集。实验及分析表明该算法不仅能找到无向图的近似最优剖分,而且有效地降低了空间复杂度和时间复杂度。
- 孙凌宇冷明彭宣戈
- 关键词：元胞自动机无向图优化算法复杂度
- 基于网络平台的家校即时通系统的设计与实现被引量：12
- 2006年
- 提出一种将学校的数据库管理系统、学生考勤管理系统与国际互联网(Internet)、移动通信网(Mobile)结合起来,为学校提供一种有效、便利、及时的教学沟通交流辅助服务系统,同时向老师和家长提供一种便捷的联络方法。该文介绍了系统的功能和各部分的设计原理和方法。
- 甘俊彭宣戈朱兵
- 关键词：考勤机网络平台
- 基于插值算法的软麻乳化液率智能控制系统被引量：1
- 2006年
- 麻纺织工业中,软麻工序处理直接影响到后道工序。在软麻乳化液率智能控制系统中,应用基本模糊控制器的方法,乳化液率难于达到标准。将插值计算结合到模糊判决过程中,简化了模糊控制表的设计。实际运行表明该系统具有动态响应好、超调小,稳态品质较高,无静差以及鲁棒性较强等特点。改进后的系统,乳化液率的合格品由48%提高到62%。
- 彭宣戈刘桦朱兵
- 关键词：模糊控制插值算法
- 校园短信通系统的设计与实现被引量：4
- 2006年
- 该文提出一种由数据库管理系统、学生考勤机系统与国际互联网(Internet)、移动通信网(Mobile)组成的校园短信通系统,介绍了系统的功能和各部分的设计原理和方法。
- 彭宣戈朱兵甘俊
- 关键词：网络平台数据库管理系统
- 基于对象和属性交叉渐进模糊概念格生成算法被引量：2
- 2008年
- 在人类的认知过程中,真实的形式背景总是模糊和不确定的,并伴随着对象和属性交叉渐增更新。在分析人类概念形成机理的基础上,提出了一种基于对象和属性交叉渐进式模糊概念格生成算法。该算法从空概念格开始,逐个地将形式背景中的对象和属性交叉插入到模糊概念格中,实现对模糊概念格的渐进式构造。实验及分析表明该算法不仅能有效地渐进式构造模糊概念格,而且解决了以往渐进式概念格生成算法,针对属性和对象交叉渐增更新需要重新构造概念格的问题。
- 孙凌宇冷明彭宣戈
- 关键词：模糊概念格
