- 李东洋;郭为安;郑晓妹;康琦;汪镭;吴启迪;
"电脑音乐"自出现以来就受到广泛的关注。90年代后,越来越多的算法被应用于计算机作曲。主流的计算机作曲算法有马尔可夫转换表、遗传算法、神经网络、随机过程以及基于规则的知识库系统。提出了一种基于隐马尔科夫模型和交互式遗传算法的计算机作曲算法。通过将旋律元以及节奏融合进传统的仅以音符或节奏为单元的马尔可夫模型中,建立新型的隐马尔可夫音乐预测模型,并采用交互式遗传算法对产生音乐片段进行优化。仿真结果表明,该算法可以利用较小的数据集快速生成具有一定旋律逻辑并符合用户个性的音乐片段。
2016年11期 v.32;No.283 1-4+8页 [查看摘要][在线阅读][下载 1189K] - 马鹏辉;殷兴辉;王莹;李泽宇;
针对低功耗的导航应用,设计了一种小型化、低功耗、结构简单的具有倾斜补偿功能的三轴磁阻式电子罗盘。硬件方面是由Honey Well公司的三维磁阻式传感器HMC5883L,三维加速度传感器使用低成本倾斜度模块GY-25,以及德州仪器的MSP430F149处理器组成。通过采集各模块的数据,得到系统的俯仰角、翻滚角、航向角等信息,并通过LCD1602显示载体的航向角和姿态角。软件方面,在分析磁性物质影响的基础上,提出了合理可行的矫正方法来消除影响罗盘测量精度的误差,实现了能准确测量罗盘朝向、运行稳定的三维电子罗盘。
2016年11期 v.32;No.283 5-8页 [查看摘要][在线阅读][下载 1243K] - 王伟;徐平平;王华君;
针对电子商务中的安全性问题,提出了一种基于关键质量因子线性组合的系统安全需求质量度量(SSRQM)模型和修正过程。首先,分析了电子商务的系统安全需求(SSR)和所涉及的关键安全质量因子。然后,将这些质量因子进行线性组合构建SSRQM模型,用来评估系统安全性并帮助识别SSR的质量问题和缺陷。最后,基于SSRQM模型,提出一种系统安全需求修正过程(SSRQRP),用于持续修正SSR的质量缺陷,进一步提高系统安全性。
2016年11期 v.32;No.283 9-11+22页 [查看摘要][在线阅读][下载 1174K] - 赵正旭;温晋杰;赵卫华;
Z规格说明具有非形式规约不可比拟的严谨性、清晰性。这种描述对于系统内对象的状态描述、行为描述是非常有用的原始参照物。但是,形式化描述不可避免的可能会含有错误或者是矛盾,这些问题在后期必定会导致前期的形式化设计不能付诸实践。因此,有必要做一些形式化的推理与验证来确保Z规约的实施。形式化推理是基于Z规格说明对一个操作模式求其前置条件,即求一个操作成功执行的必要条件,然后对比客观条件是否满足必要条件;形式化验证是一个操作模式求其后置条件,从集合的角度出发验证一个操作成功执行之后所导致的状态量变化是否与操作模式描述一致。
2016年11期 v.32;No.283 12-16页 [查看摘要][在线阅读][下载 1911K] - 张慧娥;王振铎;王晓迎;王红刚;
根据应用型本科院校重在实践的培养目标,根据离散数学课程的重要性和课时少的特点,设计教学内容,构建知识框架。在教学中使用创新的教学方法和手段;加强实践环节,提高学生解决实际问题能力,激发学生学习兴趣;翻转课堂和传统课堂结合;电子作业和纸质作业结合。基于过程的考核机制督促学生学习。经过教学实践取得了较好的效果。
2016年11期 v.32;No.283 17-18页 [查看摘要][在线阅读][下载 1033K] - 刘晓慧;杨新锋;
针对红外和可见光图像的特点,提出了一种改进的以归一化互信息为相似性测度的异源图像配准方法。为了提高算法的效率,采用金字塔分解法对该算法进行了优化。以红外和可见光图像的配准作为验证实验,证明了该算法的有效性。
2016年11期 v.32;No.283 19-22页 [查看摘要][在线阅读][下载 1269K] - 代昆玉;胡滨;
传统的网络防御技术在云计算环境下难以抵御DDoS攻击。针对云计算网络流量的行为特征,提出了一种云计算环境下的基于用户身份认证超载检测和网络流量负载平衡策略的DDoS攻击检测防御模型。该模型对访问云计算数据中心的用户进行身份认证,并通过对异常流量的分层处理来满足云计算服务的数据传输效率与安全性要求。仿真实验结果表明,该模型可有效地检测防御云计算环境下的DDoS攻击行为。
2016年11期 v.32;No.283 23-25+29页 [查看摘要][在线阅读][下载 2027K] - 张孝存;
城市宜居性是建设幸福商洛的一项重要评价指标。基于对商洛市城区居民问卷调查,利用层次分析法构建宜居性评价体系,从安全度、舒适度、幸福度、便捷度和发展度5项指标对其城区宜居性进行评价。研究表明:商洛市城区居民对城区宜居性的总体评价比较满意;其宜居性水平的空间差异表现为城关街道的宜居性满意度明显高于其它街区;评价因子中市民素质、物价水平、就业状况、食品安全状况和社会福利享受状况五项是制约其城市宜居性水平的重要因素。
2016年11期 v.32;No.283 26-29页 [查看摘要][在线阅读][下载 1128K] - 王威;李楠;
在对系统总体结构、功能、数据库进行分析、设计的基础上,通过和职能部门工作人员多次沟通,采用C/S结构、C Sharp语言,结合.NET Framework 4.5框架,以MySQL为后台数据库,ADO.NET为数据库访问标准,开发集数据录入、查询、修改、收费统计及报表等功能为一体的房产管理信息系统,该系统部署和投入使用后,证明系统界面友好、运行稳定可靠、提高了管理部门的工作效率。
2016年11期 v.32;No.283 30-32+35页 [查看摘要][在线阅读][下载 1214K] - 同晓荣;
介绍ZigBee技术,阐述了一种基于ZigBee技术的无线传感器网络构建方案。完成了基于ZigBee的无线传感器网络的硬件部分和软件部分设计,其中包括主芯片CC2430、外围设备、射频模块、电源模块、传感器模块和接口电路等,通过实验模拟了所设计的无线传感器网络的可行性和可靠性。
2016年11期 v.32;No.283 33-35页 [查看摘要][在线阅读][下载 1180K] - 赵建华;刘宁;
为了有效提高校企合作深度与广度,提出了向应用技术类型院校转型过程中计算机专业校企合作新模式。主要通过创新办学体制与运行机制,探索双主体办学模式;优化人才培养方案,创新与职业对接的人才培养模式;加强师资队伍建设,建设"双师型"师资团队;加强实践平台建设,提升学生科技创新能力和学校科技服务能力。对转型发展中的地方本科院校工科类专业校企合作具有一定的参考价值。
2016年11期 v.32;No.283 36-38页 [查看摘要][在线阅读][下载 983K] - 张亮;
高校图书馆是进行学习和科研的重要环境,更是师生获取参考资源的重要渠道。目前,部分高校的图书书目检索功能还停留在传统的线性检索和仅靠关键字检索的层面上,隐藏在海量的借阅记录背后的潜在关联无法被发现,对借书者的需求无法进行预测。关联规则是从大量数据中挖掘有价值的数据之间的相关关系。拟用等价的关联规则在书目检索模块实现图书的个性化推荐,以便借书者在海量的图书资料中找到自己感兴趣的图书信息。
2016年11期 v.32;No.283 39-41+45页 [查看摘要][在线阅读][下载 1357K] - 林基艳;张慧;张雅琼;张永恒;
屡禁不止的非法运营现象给整个社会带来了一系列问题,为了彻底治理非法运营,论文提出了基于NFC的非法运营车辆监管系统研究。该系统使用了NFC、GPRS、3/4G、GIS、叫车功能、黑名单、调度管理技术,可以实现合法运营车辆的自动识别、手机支付、服务评价和投诉;实现非法运营车辆的举报、追踪和乘客定位,有效地解决查处"黑车"过程中取证难的问题,提高执法的效率,确保"黑车"乘客的安全。
2016年11期 v.32;No.283 42-45页 [查看摘要][在线阅读][下载 1313K]
- 张峥炜;陈波;陈卫东;
针对自动化码头的多自动导引车系统(Automated Guided Vehicle,AGV)的路径规划问题,提出了一种基于时间窗的改进Dijkstra动态路径规划算法。算法按照任务优先级和地图中的先验信息顺序规划各AGV的行驶路径,在已规划路径的基础上,通过更新地图中的时间窗信息,继续规划后续路径,实现各AGV的无冲突且行驶时间最短的动态路径规划。结合实例及对比实验表明该算法能够有效减少多AGV之间的路径冲突,降低AGV的路径行驶时间,提高自动化码头运行效率。
2016年11期 v.32;No.283 46-49页 [查看摘要][在线阅读][下载 1998K] - 王力;万园春;邱卫东;
针对目前Android平台存在大量的恶意应用程序,设计并实现一种针对Android系统恶意代码的动态检测系统。该系统采用蜜罐的方式对恶意代码进行触发,大大提高了代码覆盖率,并且可以与其他检测方法结合使用,对于恶意代码分析具有很好的启示作用。系统的实现则基于QEMU Android模拟器来进行深度定制开发,并实现相应的管理模块,使多个蜜罐可以同时运行于一台主机,多台主机同时工作,进行大规模部署,提高检测效率。该系统的设计为黑盒的方式,操作简单,配置灵活,可以方便对其升级和维护。目前该系统已经在某大型互联网公司进行部署,运行效果良好。
2016年11期 v.32;No.283 50-53页 [查看摘要][在线阅读][下载 1282K] - 冯国聪;石宏宇;黄宏聪;张银铁;
业务系统是企业信息化的一个重要组成部分,是运行在基础软硬件资源上的应用程序。近年来随着企业信息化程度的不断加深,企业业务系统的数量不断增加,更新频率也越来越快,直接造成了信息化基础设施中基础硬件资源的管理混乱,频繁出现硬件资源不足或资源浪费的情况。通过梳理硬件资源的生命周期活动,合理利用硬件资源的历史数据记录,重视采购规划工作,变被动管理为主动管理,形成业务系统硬件资源的管理策略。管理策略的实施可以提高企业信息化硬件采购和建设的工作成效。
2016年11期 v.32;No.283 54-56+62页 [查看摘要][在线阅读][下载 2345K] - 王淑华;陈之纯;郭芳;周明翔;江贤峰;
时间频率系统在卫星导航系统中占有重要的地位,为保证地面运控系统高质量地稳定运行,时间频率系统需提供高指标、高可靠性的基准信号,是地面运控系统中可靠性要求最高的系统。为满足时间频率系统的高可靠性,以及输出信号的高指标要求,提出了一些创新的时间频率控制方法,如:故障自动定位和处理技术、频率信号和脉冲信号的无损切换技术、高分辨率脉冲信号相位调整技术、频率信号低相位噪声和脉冲信号低抖动技术、相位可控的频率综合技术。这些方法在实际中得到应用,并取得了很好的效果,提高了时间频率系统的可靠性和输出信号指标。
2016年11期 v.32;No.283 57-59页 [查看摘要][在线阅读][下载 1109K]
- 沈彬;路林吉;
对热压包边成型两工位的机械结构、设计原理及生产工艺进行了简单的介绍,以Siemens PLC和HMI作为人机界面,采用Siemens S120变频器做驱动控制。利用红外辐射加热灯管对产品进行加热。由于在生产工艺过程中,往往压力超调导致工件报废,所以,也提出滑模控制原理对同步电机进行控制,并且与传统的PID控制理论进行比对后,发现滑模变结构控制在鲁棒性方面的优势明显。
2016年11期 v.32;No.283 63-65+73页 [查看摘要][在线阅读][下载 2571K] - 夏凌云;龚文涛;
数据库中的存储过程和触发器多用于数据完整性检测和复杂规则约束,其提供了一个当数据表数据发生变更后的主动操作机制,Oracle数据库还提供了UTL_HTTP包来实现数据库对外部WEB服务器的主动访问。利用这两个特性,可以在数据发生变化的时候主动地将变化内容及时传输给外部业务服务器,再通过业务服务器发送给相应的业务人员,以此避免外部业务系统主动和频繁读取数据库服务器,提高系统消息发送效率,降低系统查询负担。
2016年11期 v.32;No.283 66-68页 [查看摘要][在线阅读][下载 1100K] - 贾瑛;
结合在实际项目中的经验对PROBE方法进行改进,并提出了一个改进的PROBE方法模型。模型以改进PROBE方法为核心,分理解需求分析并进行概念设计、产生规模相关表、确定新增部件规模、确定基础和重用部件规模、估算非编程任务、选取合适的proxy、选择规模估算规程方法、根据线性回归方程确定项目规模等八个阶段对部件如何获取,如何编写与组织,何时进入估算,估算的具体过程给出了全面的指导。
2016年11期 v.32;No.283 69-73页 [查看摘要][在线阅读][下载 1576K]