国家高技术研究发展计划(2011AA010101)
- 作品数：38 被引量：192H指数：8
- 相关作者：胡亮努尔布力丁志刚解男男郑树泉更多>>
- 相关机构：吉林大学上海计算机软件技术开发中心华东师范大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学交通运输工程天文地球更多>>
- 一种基于DES加密算法的Adnroid平台与服务器通信加密的实现被引量：10
- 2015年
- 通过对DES加密算法进行改进,在Android平台下设置DES加密算法相应的工作模式、填充模式以及初始化向量,并在服务器端进行同样的设置,保证加密结果和解密结果的一致性.实现了Android客户端与服务器端通信信息的加密,在很大程度上保证了信息的安全性和可靠性,这为Android系统下的数据信息加密提供一个可行的方案.
- 孙语泽迟嘉胡亮
- 关键词：DES加密算法通信加密随机密钥
- 一种基于知识表示的多步攻击规划问题描述模型被引量：4
- 2013年
- 网络入侵检测中,攻击的形式越来越多样化和复杂化,网络多步攻击成为当前攻击的主要形式.智能规划最早用于人工智能领域,将一个领域内的知识形成规划推理时的规划域,将待求解的问题对应于规划问题.将智能规划应用于多步攻击领域,用以对多步攻击进行识别,并以此为基础,提出一种基于知识表示的多步攻击规划问题描述模型,用以提供解决复杂网络攻击数据的形式化描述问题的一种探索.实验中规划问题采用PDDL语言进行描述,对所提模型进行可用性验证.
- 努尔布力解男男刘志宇胡亮柴胜
- 关键词：PDDL
- 基于Web日志挖掘的网页推荐方法被引量：4
- 2013年
- 针对传统单纯聚类算法实现网页推荐精确度欠缺的问题,提出一种基于Web日志挖掘的个性化网页推荐模型,并实现了相应的网页推荐算法,算法结合聚类分析和关联规则挖掘,能有效实现网页推荐.实验结果表明,在保障网页页面推荐覆盖率的条件下,该方法有较高的精确度、有效性和实用性.
- 解男男胡亮努尔布力樊丽印晓天
- 关键词：网页推荐模糊聚类关联规则挖掘WEB日志挖掘
- 面向特征编程中的特征组合失效问题及其解决方法
- 2013年
- 软件产品线的特征之间存在依赖关系,因此在面向特征编程(FOP)中,特征模块之间在代码结构上存在密切关联。另一方面,具有可变性的特征在应用产品中的绑定与否会对依赖关系的实现造成破坏性的影响,导致FOP在实施过程中可能出现特征组合失效问题。对该问题的产生进行分析,总结出3种主要的依赖场景。另外,提出一种特征模块垂直分解方法,其核心机制在于将可变性引入特征模块内部,根据需求组装实现代码,从而可避免出现组合失效问题。最后,通过一个出版社利润考核系统产品线实例验证了方法的有效性。
- 陈志聃沈立炜赵文耘
- 关键词：软件产品线
- 常用基本不等式的机器证明被引量：12
- 2011年
- 不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性.
- 杨路郁文生
- 关键词：基本不等式机器证明
- 基于抵抗故障引入攻击的RC4算法的改进被引量：2
- 2012年
- 由Adi Shamir提出的故障引入攻击是目前破解RC4算法的非常有效的方法,其攻击的目标是RC4的伪随机生成阶段。为了抵抗这种攻击,增加伪随机生成阶段的安全性是十分有效的解决方案。本文提出了两种改进方案,其思想是在原算法的伪随机生成阶段中加入行移位和列移位过程,使其非线性变换更复杂。在对改进算法的正确性、安全性以及使用故障引入攻击破解改进算法的效率进行分析之后,证明了攻击者用故障引入攻击破解RC4算法的效率低于穷举攻击,可以抵抗故障引入攻击。对两种改进算法的效率和安全性进行比较,改进算法1更有效率,改进算法2更安全。
- 胡亮迟令袁巍初剑峰徐小博
- 关键词：计算机系统结构RC4算法
- 面向智慧社区的物联网架构研究被引量：52
- 2014年
- 针对社区建设实际需求,结合物联网技术发展的现状,总结智慧社区可提供的服务并进行定义,提出一种面向智慧社区的物联网架构;分析了感知设备、网络基础设施、中间件以及应用系统的基本建设需求,并对智慧社区中间件集成平台和应用平台的建设进行了系统的阐述,为社区智能化建设和部署提供参考依据。通过某老年疗养中心信息系统建设的应用验证了面向社区的物联网架构设计思想,对智慧社区的应用前景进行了展望。
- 宫艳雪武智霞郑树泉丁志刚
- 关键词：物联网架构中间件应用系统
- 捷联式惯导系统在车辆监控中的实现与应用被引量：3
- 2012年
- 在道路交通飞速发展的今天,道路安全问题日益成为社会关注的焦点。特别是危化品货物的道路运输安全问题,已成为交通运输管理部门面临的重大难题。依据捷联式惯导系统和四元数法,提出车辆实时监控模型,并应用在危化品运输智能监控平台中。实验结果表明该模型是有效可行的。
- 郭健傧丁志刚
- 关键词：四元数欧拉角
- 一种基于条件随机场的入侵检测误报滤除方法被引量：2
- 2012年
- 在入侵检测领域,误报率已经成为衡量一个入侵检测系统好坏的重要指标。如何降低警报误报率一直是个研究热点。主要是通过引入条件随机场模型来进行降低误报率的研究工作,提出入侵检测误报滤除方法,对单警报特征模型和多警报特征模型进行测试,在消除率、误消除率和漏消除率三个指标下,验证所提方法的实际效果,并将该算法与基于隐马尔可夫的误报滤除算法效果进行比较。测试表明,基于条件随机场的入侵检测误报滤除方法具有较好的性能。
- 努尔布力解男男陈飞彦胡亮
- 关键词：条件随机场入侵检测
- 一种面向领域需求与业务流程间一致性的检测方法被引量：1
- 2013年
- BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLTL)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正.
- 柳金杜沈立炜彭鑫赵文耘
- 关键词：软件产品线
