夏清国
- 作品数:69 被引量:284H指数:7
- 供职机构:西北工业大学计算机学院更多>>
- 发文基金:国家自然科学基金陕西省教育厅科研计划项目西北工业大学研究生创业种子基金更多>>
- 相关领域:自动化与计算机技术电子电信文化科学经济管理更多>>
- 基于栈式虚拟机的开发和运行平台的设计与实现被引量:1
- 2007年
- 解释性语言所具有的可快速开发、可移植性好、安全可靠等原因得到越来越多的应用。文中从应用开发的角度出发,设计了4GL语言,设计并实现了一个栈式虚拟机,并对编译和解释系统相关技术进行了探讨和研究。
- 朱成光夏清国
- 关键词:解释器虚拟机中间代码
- 数字校园数据加密研究与实现被引量:3
- 2012年
- 网络的复杂性与数据的特殊性使得数据在传输和存储过程中有可能因偶然和恶意的原因而遭受破坏、更改或泄露,从而对教学秩序造成严重损害。为了使数字校园的信息安全得到保障,将数据加密技术运用于数字校园信息系统,同时,为数据安全提出一套完整的安全设计方案,解决了数据信息在传输和存储过程中的安全问题。
- 袁飞云刘浩夏清国
- 关键词:数字校园加密
- 业务逻辑编译器的设计与实现被引量:1
- 2007年
- 本文介绍了一种应用程序中业务逻辑的实现方案。该方案使用脚本语言来定义业务逻辑,由业务逻辑编译器来生成代码,从而提高业务开发的效率和扩展性。业务逻辑编译器由业务解释模块和业务执行模块组成。该方案已在电信领域投入使用,取得了预期的效果。
- 范晖夏清国
- 关键词:业务逻辑
- 基于Rete算法的JAVA规则引擎被引量:63
- 2006年
- 在软件应用中若能抽取出规则,可以使软件实体更灵活,规则引擎使得这成为可能。其算法Rete也逐渐发展成为了一种最重要的主流算法。先着重叙述了规则引擎的原理及其JAVAAPI,其次阐述了Rete算法,最后简单介绍了Jess与开源项目产品Drools。
- 张渊夏清国
- 关键词:规则引擎RETE算法JAVAAPIJ2EE
- 基于智能缝制设备的花样路径优化
- 2010年
- 针对人为设计的缝制花样路径冗杂问题,为提高缝制的质量和缝制效率,给出了对智能缝制中的花样路径进行优化的方法。通过对智能缝制中的花样路径进行分析,将智能缝制中的花样路径的优化问题抽象为特殊的NP难问题。在对传统的求解最优化问题的模拟退火算法(Simulated Annealing,SA)进行了分析的基础上,提出了基于改进的模拟退火算法来解决特殊的NP难问题。并通过对一个有12个图元组成的花样进行仿真测试,用于验证算法的可行性和快速性,"仿真实验结果"表明算法可以有效的解决智能缝制中的花样路径优化问题。
- 夏清国巴明春李群祖潘万鹏
- 关键词:模拟退火图元马尔可夫链
- 基于XML的电子公文加密与数字签名设计被引量:5
- 2009年
- 结合XML加密与数字签名规范,设计了基于XML的电子公文加密与数字签名方案。在本方案中根据电子公文流转过程中对安全性的不同要求,提出了不同安全级别的加密与数字签名算法。通过对方案的安全性分析,证明该方案能够满足公文的机密性、完整性、身份认证和不可否认性要求。
- 朱俊林夏清国曹克琦
- 关键词:可扩展标记语言电子公文加密数字签名
- 基于NiosⅡ的WTB网络节点机的设计与配置被引量:2
- 2007年
- 绞线式列车总线(WTB)是TCN制订的用于列车级车载数据通信的总线标准;根据WTB标准和实际的功能需求设计出系统框架方案,该方案采用FPGA作为核心器件,将Altera的NisoII软核处理器与WTB控制逻辑集成在单片FPGA内,并利用CPLD配置控制器从Flash存储器中读取配置文件对基于Nios II的嵌入式可编程逻辑器件FPGA进行系统配置和配置文件升级的新方案;大幅度地减小了产品的体积和重量,降低了硬件开发成本。
- 王建芳夏清国
- 关键词:NIOS可编程逻辑阵列
- 基于CTMC的工作流网过程定义性能分析被引量:1
- 2011年
- 为了达到简化分析过程定义的运行时间复杂度的目的,采用构造工作流网过程定义(■,i)覆盖图而获得连续时间SPN(■,i)对应的CTMC状态空间的分析方法,计算出(■,i)中每个可达标识的稳定概率P[Mi],得到过程定义的平均运行时间T。该方法只与过程定义中变迁服务时间和工作流网的过程逻辑有关,克服了涉及工作流管理系统和工作流执行引擎选择的局限性。通过实例验证了该分析方法的优越性,并得出过程定义时间性能分析方法。
- 袁飞云封蕾夏清国
- 关键词:工作流网性能分析PETRI网
- 移动位置服务中一种空间智能发布系统模型被引量:4
- 2008年
- 与现有的位置服务模式相比,基于Push(推)模式的位置服务有着更加广阔的市场前景,是目前国内外研究的焦点。该模式的位置服务依赖于现存的空间发布系统,而目前空间发布系统由于条件的限制不能有效地完成空间事件的预订和发布。阐述了目前空间发布系统中两种常见的空间事件以及空间事件的预订,随后提出一种空间智能发布系统模型,有效地解决了无线通信的带宽限制问题并提高了空间发布系统的性能。
- 王黎明夏清国唐留朋
- 关键词:移动计算移动位置服务
- 不断改进教学方法 培养学生创新精神
- 2002年
- 随着计算机、IT产业等高新技术的迅猛发展 ,尤其是加入WTO ,我国的教育业面临着严峻的挑战。素质教育和创新教育已不是只停留在口头上 ,而是需要切实落实到实际行动上。本文在计算机基础课程教育教学改革实践基础上 ,对于素质教育和创新教育方面所做的一些工作进行了总结 ,论述了自己的一些认识与做法。
- 夏清国姚群
- 关键词:教学方法创新教育教学过程创新思维因材施教