绑定机构
扫描成功 请在APP上操作
打开万方数据APP,点击右上角"扫一扫",扫描二维码即可将您登录的个人账号与机构账号绑定,绑定后您可在APP上享有机构权限,如需更换机构账号,可到个人中心解绑。
欢迎的朋友
万方知识发现服务平台
获取范围
  • 1 / 100
  (已选择0条) 清除
找到 32227 条结果
[成果] 1700240192 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该知识产权是在课题开发过程中形成,主要解决大型网络应用用户管理与授权框架问题,开发过程中与相关管理人员和技术人员对软件的设计方案进行讨论,并将开发的框架让用户进行功能确认,确保软件真正适用于用户需求,确保软件的可用性和先进性;软件模块可以单独应用,使用过程中得了应用单位的认可,取得了良好效果。大型网络应用用户管理与授权框架的应用软件虽然已有开发,但其还存在的具体问题尚有很多,在开发过程中通过对比分析现有的相关功能软件,对不同软件的优缺点进行总结分析,同时结合实际的需求对应用软件在该类问题的不足进行调研分析的基础上,制定科学的流程、设置合理功能和开发友好的人机界面,因而该软件在国内该行业具有一定的创造性和先进性。该系统是针对实际问题进行设计和研发的,因而在相关行业内具有广泛的适用能力,系统设计和开发过程中对安全性上做了大量工作,特别是访问权限、防火墙和操作记录方面,使系统最大限度地保障了安全性;同时对系统的可靠性进行了大量的测试才投入实际的使用;软件系统可以适用于不同的系统平台,建议Windows系统为最佳。软件系统应与实际系统紧密结合,并随着应用者流程和要求的改变不断升级改善,后续将不断努力使成果更趋完善。该软件适用面广,提供不同的接口与其他系统进行集成,适用界面友好,使用过程中通过简单的培训即可,设计过程中采用模块化设计,软件代码标注详细,维护性能好,二次开发容易。
[成果] 1700240194 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该知识产权是在课题开发过程中形成,主要解决网络教学系统问题,开发过程中与相关管理人员和技术人员对软件的设计方案进行讨论,并将开发的框架让用户进行功能确认,确保软件真正适用于用户需求,确保软件的可用性和先进性;软件模块可以单独应用,使用过程中得了应用单位的认可,取得了良好效果。网络教学系统的应用软件虽然已有开发,但其还存在的具体问题尚有很多,在开发过程中通过对比分析现有的相关功能软件,对不同软件的优缺点进行总结分析,同时结合实际的需求对应用软件在该类问题的不足进行调研分析的基础上,制定科学的流程、设置合理功能和开发友好的人机界面,因而该软件在国内该行业具有一定的创造性和先进性。该系统是针对实际问题进行设计和研发的,因而在相关行业内具有广泛的适用能力,系统设计和开发过程中对安全性上做了大量工作,特别是访问权限、防火墙和操作记录方面,使系统最大限度地保障了安全性;同时对系统的可靠性进行了大量的测试才投入实际的使用;软件系统可以适用于不同的系统平台,建议Windows系统为最佳。软件系统应与实际系统紧密结合,并随着应用者流程和要求的改变不断升级改善,后续将不断努力使成果更趋完善。该软件适用面广,提供不同的接口与其他系统进行集成,适用界面友好,使用过程中通过简单的培训即可,设计过程中采用模块化设计,软件代码标注详细,维护性能好,二次开发容易。
[成果] 1700240464 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该知识产权就《GPS导航辅助系统》(著作权名)所出现的信息化解决方案问题进行策划和分析,将现在的业务在流程进行学习的基础上进行流程优化和重组,在对新方案进行可行性分析和论证后,与相关管理人员和技术人员对软件的设计方案进行讨论,在讨论基础之上进行原始框架的开发,并将开发的框架让用户进行功能确认,确保软件真正适用于用户需求,确保软件的可用性和先进性。对用户提出的功能性意见和性能性要求与管理和技术人员一起进行改进分析和论证,完成系统的改进设计,根据改进设计方案与开发团队进行技术方案的仔细讨论,将实现系统将面临的技术瓶颈进行分析和研究并一一解决,并重新进行信息化的需要分析设计、详细设计、开发、测试和应用维护,得了应用单位的认可,取得了良好效果。《GPS导航辅助系统》(著作权名)应用领域的专业应用软件虽然已有开发,但其还存在的具体问题尚有很多,该应用软件在对该类问题进行调研分析的基础上,制定科学的流程、设置合理功能和开发友好的人机界面,因而该软件在国内该行业具有一定的创造性和先进性。并且该系统是在与相应行业的管理和技术人员共同针对实际问题进行设计和研发的,因而在相关行业内具有广泛的适用能力,系统在安全性上做了大量工作,特别是访问权限、防火墙和操作记录方面,使系统最大限度地保障了安全性。因此,广泛的市场前景。但软件系统应与实际系统紧密结合,并随着应用者流程和要求的改变不断升级改善,因而,课题组将不断努力使成果更趋完善。
[成果] 1700240465 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该知识产权就《基于安卓平台的音乐偏好管理系统》(著作权名)所出现的信息化解决方案问题进行策划和分析,将现在的业务在流程进行学习的基础上进行流程优化和重组,在对新方案进行可行性分析和论证后,与相关管理人员和技术人员对软件的设计方案进行讨论,在讨论基础之上进行原始框架的开发,并将开发的框架让用户进行功能确认,确保软件真正适用于用户需求,确保软件的可用性和先进性。对用户提出的功能性意见和性能性要求与管理和技术人员一起进行改进分析和论证,完成系统的改进设计,根据改进设计方案与开发团队进行技术方案的仔细讨论,将实现系统将面临的技术瓶颈进行分析和研究并一一解决,并重新进行信息化的需要分析设计、详细设计、开发、测试和应用维护,得了应用单位的认可,取得了良好效果。《基于安卓平台的音乐偏好管理系统》(著作权名)应用领域的专业应用软件虽然已有开发,但其还存在的具体问题尚有很多,该应用软件在对该类问题进行调研分析的基础上,制定科学的流程、设置合理功能和开发友好的人机界面,因而该软件在国内该行业具有一定的创造性和先进性。并且该系统是在与相应行业的管理和技术人员共同针对实际问题进行设计和研发的,因而在相关行业内具有广泛的适用能力,系统在安全性上做了大量工作,特别是访问权限、防火墙和操作记录方面,使系统最大限度地保障了安全性。因此,广泛的市场前景。但软件系统应与实际系统紧密结合,并随着应用者流程和要求的改变不断升级改善,因而,课题组将不断努力使成果更趋完善。
[成果] 1700240260 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:海岸带是海洋向陆地的过渡地带,其特殊的地理位置及丰富的自然资源使其成为人类开发和利用的重要地带。海岸线是海岸带的重要标志之一,也是人类研究海陆相互作用、用海活动对海岸带的影响以及海岸带综合管理和近岸海域生态系统的重要内容,其变化直接改变潮间带滩涂资源量及海岸带环境,影响人民的生存和发展,因此快速而准确的监测海岸线的动态变化具有十分重要的意义。传统海岸线提取较为常用的方法是采用人工外业实地测量,但这种方法耗时费力、效率低、工作周期长而且精度不高,难以快速而准确的提取海岸线。遥感因具有强大的数据获取能力、大尺度、全天候、同步、高频度动态观测获取不同尺度时空信息和节省投资等特点,克服了传统海岸线提取方法的不足。特别是近年来遥感技术的不断发展、遥感影像的分辨率不断提高和数值图像处理、人工智能等学科的不断完善,基于遥感影像的海岸线提取方法逐渐涌现,如阈值分割法、神经网络分割法等。但这些方法仍然存在一些瓶颈问题,如阈值分割法对于复杂海岸线提取存在海水与陆地的灰度值区分不明显,神经网络分类法存在参数选择没有统一的准则、容易陷入局部极小值等,这些都使得提取出的海岸线难以满足实际工程需要。因此研究新的高效、高精度的遥感影像海岸线提取方法并编制相关软件具有重要的现实意义与科学研究价值。该软件以MATLAB为计算平台,综合MATLAB强大的计算功能和VB的简洁的界面设计,利用ActiveX技术实现了Visual Basic继承开发平台对MATLAB程序的调用。该软件充分利用具有小样本学习能力强、预测模型的最优参数可自适应获取、预测模型具有较好的泛化能力等优点的GPC机器学习模型,结合遥感影像的光谱特征和基于灰度共生矩阵的反映空间信息的纹理特征,有效减弱了噪声对区域特征的影响,显著提高了海岸线计算机自动识别的精度,快速而准确地提取出了遥感影像海岸线。
[成果] 1700240264 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:随着信息技术的飞速发展,双目立体视觉已经在很多领域得到了广泛应用。例如日本大阪大学自适应机械系统研究院研制了一种自适应双目视觉伺服系统;东京大学将实时双目立体视觉和机器人整体姿态信息集成,开发了仿真机器人动态行走导航系统;华盛顿大学与微软公司合作为火星卫星“探测者”号研制了宽基线立体视觉系统,使 “探测者”号能够在火星上对其即将跨越的几千米内的地形进行精确的定位和导航;浙江大学机械系完全利用透视成像原理,采用双目体视方法实现了对多自由度机械装置的动态、精确位姿检测;哈工大采用异构双目活动视觉系统实现了全自主足球机器人导航等等。特别需要提到的是今年嫦娥三号携带的“玉兔”利用的就是双目技术实现月球表面地形检测,三维建模,障碍物检测等应用。该系统软件界面包括4个视图界面,显示图像以及数字信息,能够直观的获取用户需要的信息;还包括摄像头初始化区域;图像基本处理区域;参数设定区域;双目匹配计算区域;信息显示区域等多个区域模块。软件具备数据的实时存储功能,保存标定用的棋盘图,角点数据,相机参数,最后一帧的三维点云等,方便了后期数据的查看处理以及操作,在保证双目相机相对位置没有改变的前提下,下次使用该系统可以直接跳过标定步骤,直接加载保存的数据。
[成果] 1700240265 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:虚拟仪器是基于计算机的软硬件平台,它强调软件的作用,提出“仪器就是软件”的概念。这个概念克服了传统仪器的功能在制造时就被限定而不能变动的缺陷,摆脱了由传统硬件构成一件件仪器再连成系统的模式。使用户在一个通用的软件和硬件平台上,就可以根据测试目标实现自己的测试系统。随着技术的发展,人们可以通过网络操作仪器,进而可形成遍布家庭,办公室和工业现场的分布式测控网络,一个真正的虚拟化的测控时代即将到来。虚拟仪器技术已发展具有GPIB、PC-DAQ 、VXI 和PXI四种标准体系结构的开放技术。结合虚拟仪器技术、LXI规范和IVI规范,设计和开发了基于C/S结构模式的信号源控制程序,实现了对信号源的控制。该控制程序基于.NET框架技术,使用C#语言在Winform可视化编程环境下实现,调用对应信号源的IVI驱动器提供的接口,通过LXI自动测试总线与信号源通信,完成相应的控制。用户通过信号源虚拟仪器面板,可以对连接在同一个局域网中的信号源实现远程操作,完成各类波形的产生、调制等功能。该专利可应用与LXI信号源领域。该专利设计并完成了符合IVI规范的LXI总线的信号源软件,在网络化和可互换式信号源领域有广阔的市场。
[成果] 1700240266 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:虚拟仪器是基于计算机的软硬件平台,它强调软件的作用,提出“仪器就是软件”的概念。这个概念克服了传统仪器的功能在制造时就被限定而不能变动的缺陷,摆脱了由传统硬件构成一件件仪器再连成系统的模式。使用户在一个通用的软件和硬件平台上,就可以根据测试目标实现自己的测试系统。随着技术的发展,人们可以通过网络操作仪器,进而可形成遍布家庭,办公室和工业现场的分布式测控网络,一个真正的虚拟化的测控时代即将到来。虚拟仪器技术已发展具有GPIB、PC-DAQ 、VXI 和PXI四种标准体系结构的开放技术。结合虚拟仪器技术、LXI规范和IVI规范,设计和开发了基于C/S结构模式的数字化仪虚拟仪器面板,实现了对数字化仪的控制。该虚拟仪器面板基于.NET框架技术,使用C#语言在WinForm可视化编程环境下实现,调用对应数字化仪的IVI驱动器提供的接口,通过LXI自动测试总线与数字化仪通信,完成相应的控制。用户通过数字化仪虚拟仪器面板,可以对连接在同一个局域网中的数字化仪实现远程操作,完成数据的传输和波形的绘制,并能够存储及回放采集到的波形数据。该专利可应用与LXI数字化领域。该专利设计并完成了符合IVI规范的LXI总线的信号源软件,在网络化和可互换式信号源领域有广阔的市场。
[成果] 1700240267 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:综合测试平台是一套基于网络的在线学习与测试系统。采用三层的系统开发模式,基于B/ S 模式的.NET 组件对应划分了WEB前端、中间层、数据库后端,将中间层按功能分为两层,从而使得该系统的业务逻辑结构更加清晰;数据库后端的组件则基于ADO.NET 便于实现对数据库的操作与维护。采用MD5对数据库中的敏感数据进行加密,可以有效避免敏感数据的泄漏;采用正则表达式对输入数据进行过滤,有效的防止sql注入攻击;存储过程的应用提高了系统的执行效率及代码的安全性。该系统可以解决传统考试中存在的出卷难、保密难、阅卷难、成绩统计难、试卷分析难等问题,而且方便学生自学及网络自测。系统分为:自动出卷模块、学生考试模块、自动评卷模块、统计分析模块、在线学习模块、教师管理等模块。其中,自动出卷模块:系统能根据后台管理员的需求,根据章节、题目类型、分值等情况自动组卷。统计分析模块:可以根据考试结果分析失分分布、成绩统计(最高分、平均分等)、学习建议等。考试模块:可限制考试时间、考试次数、考生合法性等。主要分为三类用户:学生用户,教师用户和管理员。该专利可以广泛应用于企业、高校的在线学习与测试领域。该专利设计符合规范的软件开发标准,具有较高的安全性和实用性;在网络学习及网上考试等领域有广阔的市场。
[成果] 1700240269 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:《云制造身份认证管理平台》由桂林电子科技大学承担开发,受国家自然基金项目“云制造环境下多粒度服务访问控制方法研究”资助。该软件是云制造平台的基础软件,可用于云制造平台的身份认证及用户权限的管理,并提供的网络服务接口便于多平台调用。主要应用领域:云制造平台支撑软件,为各系统提供基础的身份认证服务。该软件基于微软.NET框架,MVC三层架构设计,数据库采用SQL Server2008。系统主要特点: 统一身份认证用户通过登陆《云制造身份认证管理平台》获得统一的身份认证信息,该信息在不同子系统间共享,避免了重复登陆的问题。 权限管理系统可定制多种角色,每个用户可获得多种角色。不同角色提供不同的管理权限,保证用户的访问控制管理。 开放接口开放系统网络服务(Web Service),便于各子系统调用相关功能接口。运行环境系统采用B/S结构设计,用户通过浏览器即可进行系统访问,无需安装软件。 服务器软件需求操作系统:Windows 2000 Server及以上版本运行环境:IIS6.0及以上,.NET FrameWork4.0及以上数据库:SQL Server 2008及以上。服务器硬件需求CPU:2.2Ghz 以上,硬盘:20G以上,内存:2G以上。
[成果] 1700240270 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该软件是广西自然基金项目“汽车线束三维自动布线方法及可靠性技术研究”资助。根据轮廓扩展的布线方法,以UG为平台,通过二次开发技术,实现多目标接插件同时共路径自动布线。主要四大功能模块包括:模型载入、预处理、敷设路径、敷设型材。该系统实现了机电装备中主网络与辅网络之间电气信号的连通。通过添加步长因子,节约搜索时间和增加收敛性,省去空间栅格化的复杂过程,降低算法处理复杂度。不仅节约了布线时间也简化了布线步骤,易于操作。应用领域:应用于复杂空间布线辅助设计。主要技术特点包括:自主版权、使用方便。该软件是基于UG平台上所建立的线缆自动布线系统,具有友好的用户界面、灵活方便的操作方式、使用自己定义的协议和接口。智能设计、操作简便。该系统提供强大的自动敷设路径和自动敷设型材功能。用户无需手动单个敷设路径,也无需单个手动进行线缆型材的敷设。体系开放、符合标准。该系统充分利用UG二次开发技术,所涉及的协议与接口函数均是UGOPEN通用标准和规范模式,方便再次开发。运行环境:系统要求:Window 7旗舰版/window XP以上;CPU:2.2Ghz 以上;HD:20G以上;RAM:2G以上。推荐配置:Window 7;CPU:3.3Ghz以上;HD:50G以上;RAM:8G;NVIDIA显卡。软件要求:Unigraphics NX 8.0以上。
[成果] 1700240272 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:课题来源与背景:电动汽车普遍采用传统的有线充电方式,即利用充电桩或充电站通过导线与电网进行有线连接,从电网获取电能为电动汽车进行充电。有线充电存在摩擦、老化等问题,电能传输过程中易产生火花,影响用电设备的寿命和安全,同时维护困难、灵活性较差,在雨雪等恶劣环境下充电困难。而无线充电具有更强的灵活性、更高的稳定性,能够减少对电网冲击的影响,更好地发挥削峰填谷作用,同时还可以实现动态供电,这恰恰解决了电动汽车动力电池容量有限而导致续航能力不足这一关键技术问题,研究表明采用动态供电,在保证同样续航里程的条件下,电池容量可以减小到原来的1/5。利用无线充电技术可以省却繁琐的充电作业,实现智能化、人性化,同时还解决了接触式充电在安全维护方面的问题。因此,对电动汽车采用无线充电技术更加符合未来社会的发展方向。研究有效的调控手段并将其应用到汽车无线充电装置设计中,以提高装置的适应性和电能应用效率指标,实现电能的智能高效传输。通过理论分析和实验研究,探讨中等距离条件下电动汽车负载无线充电理论和行为;着重研究负载容量和距离可变条件下,基于充电效率和时间最优的自适应无线输电机理和调控规律,以及在复杂电磁环境下无线输电的电磁兼容特性和供用电设备的性能和可靠性控制方法。指导电动汽车无线充电设备设计和应用。技术原理及性能指标:建立表征变系统参数条件下磁耦合谐振式无线电能传输(MCR-WPT)系统参数和输出特性的数学物理模型;确立系统工作参数选择方法以及参数变化对系统输出特性的影响规律。建立MCR-WPT系统部分参数受约束(比如距离限制、负载参数、输出功率)条件下,期望系统输出性能指标(如传输距离、输出效率)最优化的调控理论和实现方法。建立传输距离和工作频率可调整的MCR-WPT系统,研究确立灵活的电路拓扑结构和阻抗匹配网络及其实现方法,满足输出功率、输出效率和充电时间指标要求的电动汽车无线充电技术需要。技术的创造性与先进性:根据磁耦合谐振无线电能传输存在的传输距离变化、频率漂移和失谐等因素造成输出性能下降的问题,提供基于电路拓扑和阻抗网络优化的传输距离可调和最优工作频率调控理论和方法,优化系统输出功率、输出效率和系统稳定性指标。提供面向电动汽车无线充电的装置和控制策略,建立满足充电距离可调、动力电池负载容量可变条件下的无线充电系统及其调控规律,开发传输距离500px-1000px,输出功率3kW及以上的电动汽车无线充电系统。技术的成熟程度,适用范围和安全性:依据无线电能传输理论和技术特征,针对性的研究基于磁耦合谐振式WPT系统关键构件发射/接收线圈的结构和参数选择和优化理论,确立线圈参数选择和结构设计方法。建立表征线圈参数和结构特性的物理模型,得到能够反映线圈参数、参数变化、输出指标之间的相互作用规律和内在联系。建立基于电路拓扑结构和阻抗匹配网络优化的传输距离、工作频率和调整的磁耦合谐振式WPT系统,建立基于输出功率和输出效率最优化的无线输电调控理论和调控措施,应用安全,可靠性高。应用情况及存在的问题:该研究成果所涉及到的机理和应用技术,历经研究、改进和实际应用,得到了较好的效果和社会经济效益。经过积累,取得了良好的使用和运行经验,获得了相关国家知识产权保护,正处在产业化和积极推广阶段。
[成果] 1700240276 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:逆向工程产生于20世纪80年代末至90年代初,广义上,逆向工程可以分为实物逆向、软件逆向和影像逆向三类。大多数关于逆向工程的研究主要集中在实物几何形状的逆向重构上,即产品实物的CAD模型重构和最终产品的制造,称为“实物逆向工程”。逆向工程也称反求工程。简单地说,逆向工程就是根据已经存在的产品型,反向推出产品的设计数据的过程。在产品设计时,如果客户给出的只是实物模型而没有产品原始图纸、文档或CAD模型数据,需要通过对已有产品实物进行分析与测量,重新得到制造产品所需的几何模型和特性数据,即对其进行数字化处理,使之能利用CAD、CAM、RPM、PDM及CIMS等先进技术进行处理,形成三维模型,并最终复制出已有产品。也可以在该基础上对已有的产品进行剖析、理解和改进,这样的过程就称为逆向工程。逆向工程软件的一般有两种方案:一是具有逆向模块的正向CAD/CAM软件,如 Pro/E、CATIA、UG 等等;二是专用的逆向造型软件,如Imageware、Geomagic等等。前者通常具有较强的测量数据处理、曲线曲面构建以及误差检测与分析功能,而后者的优势在于它的曲面、实体造型和参数化编辑修改功能。在实际的工程应用中可以根据实际情况采用单一软件或是综合采用多种软件,因为即使是同为专用逆向软件或是正向软件,它们也都具备各自的优劣势。为了能够结合正向建模的功能,该文将基于UG的二次开发,建立分层特征点云逆向造型系统。其主要功能包括点云导入、点云自动分组、点云手动分组、曲线拟合等。技术特点:利用UG进行二次开发,开发出了基于分层特征的点云逆向造型系统。该软件可以快速有效地拾取片层边界点数据,解决手动选取坐标点的繁琐过程,同时利用树列表控件实现点云数据的管理,使得操作选取点云变得更加直观和简便。
[成果] 1700240277 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:SoC片上系统测试,其测试时间与测试功耗是影响测试成本的两个重要因素。为了降低测试成本,就要减少SoC的测试时间并且降低其测试功耗。基于IP核的SoC测试,一方面,为了减少其测试时间,直观的做法就是尽量将所有的IP核同时进行测试,但是无限制的多个IP核同时测试会造成芯片瞬时功耗的增大,可能损坏芯片;另一方面,为了降低芯片的测试功耗,最有效的方法为将所有的IP模块进行串行测试,此时只要单个IP核的测试功耗不超过芯片的测试功耗上限值即可,但是对于IP核个数较多的SoC芯片来说,这种测试方式势必会延长芯片的总测试时间。所以课题组将基于IP核的SoC测试时间与测试功耗的联合优化问题转化为协调多个IP核的测试分配问题进行研究。带精英策略的非支配排序遗传算法(Nondom-inated Sorting Genetic Algorithm II, NSGA-II)的设计思想是:构造初始种群,由于没有其它的种群个体,第一代种群就作为父个体;对父个体进行快速非支配排序,计算非支配层个体拥挤度,选择合适的个体作为新的父个体;对新的父个体通过遗传算子操作,得到新的子个体;采用精英保留策略合并父子个体作为父个体,并重复前面两步,直到不满足运行条件结束程序。为了达到SoC测试时间与测试功耗协同最小化的目的,该研究在初始优化模型的基础上做了改进,确定基于IP核的SoC测试优化模型为:对于给定的SoC片上系统,包含N个IP核,TAM测试总线宽度为W。在SoC测试时,课题组假定每个IP核有测试和空闲两个状态,N个IP核分k 组测试完成,每组测试的IP核数目为mk个。组内各IP核并行测试,组间进行串行测试。鉴于主要对基于IP核的SoC测试时间以及测试功耗两个目标进行同时优化,因而采用相适应的目标函数进行求解。NSGA-II算法提供的染色体编码方式有实数编码和二进制编码,二进制的编码方式容易造成编解码的冗余。并且该研究中,SoC内部的IP核测试组合分配问题,IP核的数目及分组取值均为离散的整数值。根据建立的模型,将SoC测试的多目标优化方案的实现转化为确定SoC所有IP核的测试分组k以及测试状态xij的问题。采用MATLAB软件编程实现算法,并采用ITC’02基准电路作为验证平台,分别应用h953和p93791电路为测试对象来检验模型及算法的实用性和有效性。
[成果] 1700240402 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:主动轮廓作为一种重要的视觉心理现象,体现了人类视觉系统强大的感知识别能力。主动轮廓作为一种理解轮廓知觉、形状知觉和深度知觉的重要线索,已成功应用于运动分析、路标设计、车牌识别、医学图像分割中。实现计算机对物体感知识别能力的模拟一直是计算机视觉领域的热点。但是迄今为止,有关主动轮廓的感知机理尚未形成统一观点,在计算机视觉领域也没有一种模型或方法能直接处理所有类型的主动轮廓图形,因此,主动轮廓的有效、准确提取成为计算机视觉领域研究的难点之一。张量投票是一种用于推断图像中显著性结构的算法。基于这一思想,张量投票方法主要由三部分组成:数据模型的张量表示,投票域的计算和用于数据通信的线性投票。每个输入点通过一个预定义的投票域进行投票,向其邻域点传递信息(张量),同时收集自身获得的投票,并将其编码为一个新张量。将投票结果进行分解,得到各种特征的显著性图,用一个局部、并行的匹配过程同时探测相应特征。某一特征的显著性度量可以理解为该张量具有这种特征的置信度,其显著性的主要含义是视觉上能够迅速引起观察者注意的一种“突出性”。从模糊数学角度来看,对表示数据的张量而言,其具有某一特征的显著性可以理解为该张量具有这种特征的隶属度。张量投票技术采用线性、非迭代方法,能同时提取多种特征,且只有尺度因子一个参数,鲁棒性强,计算有效、快速。所以,张量投票方法的最大特点是输入特征和输出特征均使用张量表示,能够从稀疏或是噪声掩盖下的数据中推断出结构信息提出一种基于张量投票的主动轮廓边缘提取算法。该算法对图像进行张量编码,将其转化为二阶对称的半正定张量,每个输入张量通过预定的投票域对邻近数据进行稀疏投票,投票后每个输入点收集自身获得的选票,再进行稠密投票,以获得轮廓的显要特征,从而实现主动轮廓的边缘提取。
[成果] 1700240391 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:基于移动因特网的在线社交网络是一类重要的人类交互协作系统,其设计开发、运行管理、业务应用等方面仍然面临许多重大挑战。该项目从社交网络构建、社区结构发现、社交内容理解、社交规范挖掘、社交传播与调控等方面展开了研究,取得了一系列成果。即提出了基于本体、社会标签和图三位一体的社交网络语义表示框架,并基于该框架,提出社交网络数据深度采样、社交热点主题分类、社交结构发现、社交情感挖掘、情感演化分析、社交安全信任机制、社交传播最大化、社交个体影响力评估等方法(或算法)。成果具体内容及创新点描述如下:在社交内容理解方面:移动社交网络数据呈现的丰富语义理解和利用是一个挑战问题。该成果提出了基于本体、社会标注和图的社交内容建模和评估框架,较好的解决了社交网络数据的深度采样和语义理解问题。具体方法为:(1)通过建立领域本体和利用社会标注,设计实现了深层网数据源获取接口的查询理解机制,为社交网络的深层数据和表层数据的采样提供了更好的办法;(2)通过建立领域相关的词语情感库、符号(图标)情感库,融合图像和文本数据,设计了半监督式的社区情感分类学习算法;(3)针对社区文本的短小、多噪、社交关键嵌入等特点,结合语义相似度量方法,提出了新的社区内容主题分类、热点自动发现方法、热点主题演化分析方法。结合(2)和(3)这两个技术可以为社交网络热点内容的情感倾向识别、社交热点舆情观察提供良好的技术。大量新浪微博真实网络数据实验和仿真实验结果都说明了该项目提出方法的有效性。在社区结构发现方面:在RDFS本体表达方式基础上,通过增强设计社交领域本体FOAF,描述更丰富的社交数据语义,利用SPARQL提供的检索过滤机制,对社交语义网络图进行处理,获取满足语义要求的数据,同时利用本体的结构层次机制,进行各种粒度、各种路径上的访问控制,为社交语义网的分析度量提供基础;(4)通过对标签传递算法进行扩展,提出语义标签传递算法,即通过语义网和社会标签技术,结合社交语义网络的语义信息和拓扑结构信息,对社交网络中的社区结构进行划分与标识,且不需要预先设定社区数据的大小;(5)通过选取度中心性最大的结点作为初始社区发现结点,通过计算社区的重叠度和交并比,解决了社区合并的二次合并和假子集问题,从而提供了更有效的重叠社区发现算法。在社区规范与信任方面:从博弈决策、经济激励机制、信誉度量和管理等角度展开了研究,提出了系列方法:(6)分析了网络环境中节点信息的不完全性和信任关系的不确定性,给出一个不完全信息动态博弈的信任机制IIDGTrust(Incomplete Information Dynamic Game),通过运用贝叶斯法则对节点间的信念关系进行更新,从而使得节点能够及时选择更好的策略,较好解决社区网络中搭便车节点的比例,更好地维持网络稳定性;(7)结合社会网络的度量、信誉管理的思想,提出了一种基于社会网络环境的多维决策信任模型,通过引入直接信任、间接信任、风险函数等关键属性从多个角度动态描述信任关系的不确定性和复杂性;通过嵌入经济激励机制,保证实体的诚实合作,通过密码机制保证激励机制的安全性,很好的抑制了节点的恶意行为,激励信息分享并确保交互过程中敏感数据的安全性。在社区传播调控方面:(8)提出了一种新的在线社区网络生成演化BA*模型。该模型考虑了网络生长的阻碍因素,并分解为三类:初始吸引力的衰减、热度的衰减、其它的非自然的阻碍因子,结合结点度、吸引力、阻碍因子,弥补了传统的在线社区网络的生成演化建模(如BA模型等)往往只关注促进网络生成的因素,而对阻碍网络生成的因素缺乏研究问题,使之更符合真实的社交网络特征;(9)在BA*基础上,结合SIR传播模式,研究了BA*模型上的信息传播现象,结果发现,BA*模型更适合分析微博在线社区网络的演进与信息传播。(10)以复杂网络研究领域1975年-2012年间的科研合著网络数据为例,分4个发展阶段对科研合著网络的静态特征、拓扑特征、动态演化特征等参数进行计算,解读了科研合著网络的演化和知识传播特点,结果发现: 当知识传递率一定时,知识传播速度受到个体创新能力的影响较大; 当个体创新能力一定时,知识传播速度受到知识传递率的影响较小。(11)提出了一种针对大型社会网络中节点影响力进行分析的改进方法,即通过综合考虑社会网络的结构特性,寻找具有最大影响范围的k个节点,对选出的个体节点进行中心性分析,重点考察个体节点的中间中心性和接近中心性,从而选择最具影响力的节点子集。实验结果表明,该方法可以对含有大量个体节点的社会网络进行分析,筛选出有较大影响力的个体节点。在社区传播推荐方面,提出了几种基于二部图上概率传播的信息推荐方法,提高了推荐的准确率和多样性;在社区谣言垃圾信息鉴别方面,提出了新的自动鉴别器,提高了鉴别的准确性。
[成果] 1700240389 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:组合复杂性是制约装配序列规划求解效率和自动化水平的一个关键因素。有序二叉决策图 (OBDD)是布尔函数有效描述和操作的一种规范结构,最减缓或者部分程度上避免组合复杂性问题的一种符号技术。项目研究给出了装配体联结图模型、有向图模型、干涉向量和接触向量模型的OBDD描述;建立了基于符号OBDD模型及操作的可行装配序列生成技术;并结合实例验证了基于OBDD的装配体模型和可行装配序列生成技术的正确性和可行性。装配规划中可行装配序列的正确、完备、紧凑表示对于装配序列的评价和生成有着极大的影响。为了改善复杂装配体的可行装配序列表示的存储效率,项目研究给出了装配序列描述的有序二叉决策图 (OBDD)技术;建立了从装配序列的与或图(AND/OR)模型到 OBDD表示的转换规则;并对装配序列表示的与或图模型和OBDD模型进行了存储效率比较。实验结果表明:所给出的OBDD技术具有较高的存储效率,适合于复杂装配体的可行装配序列的描述。对于装配序列规划中有向装配图的有向割集的求解问题,建立了生成有向装配连接图有向割集的高效算法,该算法优先考虑检查有向割集两个子图间边的方向。在算法实施过程中,利用边收缩图的概念,递归生成有向装配连接图的具有一个连通子图的一部分有向断集,通过判断另一个子图是否连通,从这些有向断集的集合中筛选出全部的有向割集。理论分析和实验分析均表明:所建立的算法可行且高效,时间复杂度明显低于已有算法。在图论割集法的基础上,引入有序二叉决策图(OBDD)描述装配序列,把装配关联图转换为OBDD表示,采用布尔函数描述装配操作、装配几何可行性和装配稳定性,并且在装配几何可行性判别函数中融入布尔函数形式描述的装配优先约束关系,用以简化装配关联图。在每一次割集分解之后,检验子装配体的几何可行性和稳定性,设计了基于符号OBDD技术的装配序列生成算法,分析了该算法的时间复杂度,实现装配序列生成过程中状态空间的隐式表示和搜索,缓解了装配序列生成的组合复杂度。研究实例表明基于符号OBDD技术的装配序列生成算法的可行性和有效性。模型检验集成规划系统(MIPS--Model Checking Integrated Planning System)是智能规划领域的有效技术和系统。项目研究对MIPS和规划领域定义语言(PDDL--Planning Domain Definition Language)进行了剖析,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于MIPS的装配序列规划问题的求解过程;建立了装配体的带权无向连接图模型,并与装配体的干涉矩阵和支撑矩阵相结合,设计并实现了Ⅰ型和Ⅱ型子装配体的识别算法。开发了集成子装配体识别和MIPS求解的装配序列规划工具MASP-Planner。实验结果表明,MASP-Planner可以正确、高效地实施装配序列生成。项目研究开发了基于OBDD符号推理和MIPS模型检验技术的装配序列生成原型软件系统。该原型软件系统集成了符号计算软件包CUDD和模型检验集成规划系统MIPS,从CAD系统(CATIA或者UG)获得装配体联结图模型、三元组关系模型及其他相关约束信息,并作为装配序列自动规划系统的输入,原型系统的输出为可行装配序列、最优装配序列的符号OBDD形式的AND/OR图模型。同时,通过典型机电产品,对装配序列自动生成方法及其原型系统进行了工程化的实验验证。
[成果] 1700240189 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该知识产权就《通用精度分析系统》(著作权名)所出现的信息化解决方案问题进行策划和分析,将现在的业务在流程进行学习的基础上进行流程优化和重组,在对新方案进行可行性分析和论证后,与相关管理人员和技术人员对软件的设计方案进行讨论,在讨论基础之上进行原始框架的开发,并将开发的框架让用户进行功能确认,确保软件真正适用于用户需求,确保软件的可用性和先进性。对用户提出的功能性意见和性能性要求与管理和技术人员一起进行改进分析和论证,完成系统的改进设计,根据改进设计方案与开发团队进行技术方案的仔细讨论,将实现系统将面临的技术瓶颈进行分析和研究并一一解决,并重新进行信息化的需要分析设计、详细设计、开发、测试和应用维护,得了应用单位的认可,取得了良好效果。《通用精度分析系统》(著作权名)应用领域的专业应用软件虽然已有开发,但其还存在的具体问题尚有很多,该应用软件在对该类问题进行调研分析的基础上,制定科学的流程、设置合理功能和开发友好的人机界面,因而该软件在国内该行业具有一定的创造性和先进性。并且该系统是在与相应行业的管理和技术人员共同针对实际问题进行设计和研发的,因而在相关行业内具有广泛的适用能力,系统在安全性上做了大量工作,特别是访问权限、防火墙和操作记录方面,使系统最大限度地保障了安全性。因此,广泛的市场前景。但软件系统应与实际系统紧密结合,并随着应用者流程和要求的改变不断升级改善,因而,课题组将不断努力使成果更趋完善。
[成果] 1700441521 浙江
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该产品已获得软件著作权、检测报告和产品登记证书。该产品支持OGC和ISO两大标准,并且是面向语义的,其支持多源、多尺度的三维数据建模,支持多视点、多模态的可视化视图,能够满足三维空间建模与分析应用以及空间信息社会化服务的需求。该产品已取得的主要技术指标包括:可以对三维场景地图进行定位、飞行、量测、搜索、分析等操作,可以搜索建筑物并查看建筑物属性和内部结构;主要功能包括:主页、对象面板、设置、测量、效果、立体效果等;主页:查看三维数据模型,支持多格式的三维数据模型,移动、放大或缩小三维场景,获取二维数字正射影像图,查看建筑物内层结构,查找建筑物,查看建筑物的名称、位置等属性;三维图层展示,等等。随着外来流动人口的快速增加,一个城市的承载能力正在变得越来越弱。传统的侧重于功能和经济的二维规划正在向富于人性化的三维城市空间规划发展。该产品及其技术,不仅可以满足三维空间建模与分析应用的重大需求,而且可以在轻工纺织、数字管网、智慧城管、智慧安监、智慧物流仓储、智慧社区、智慧生产管理、智慧工程管理等多个行业领域形成广泛的实际应用和重要的市场开发价值。
[成果] 1700240393 广西
TP3 应用技术 公共软件服务 公布年份:2017
成果简介:该研究来源于广西自然科学基金项目。为了实现语义Web 服务的自动发现、组合和验证,前提是应用某种形式系统对语义Web服务进行建模。动态描述逻辑DDL将动态逻辑、描述逻辑以及动作理论结合起来,为语义Web 服务的建模和推理提供了一种有效途径。该研究以动态描述逻辑作为核心工具,结合软件开发的形式化方法,从知识表示和知识推理的角度研究语义Web服务的自动发现、组合和验证问题。该研究取得的主要成果有:提出了面向语义Web的动态逻辑,借助Buchi树自动机证明了该类逻辑中公式的可满足性问题仍然是可判定的并给出了判定复杂度;提出了基于动态描述逻辑和通信系统演算的形式系统,实现了对语义Web 服务及其组合方案的统一建模和推理。提出了具有可判定性的时序动态描述逻辑,实现对Web 服务组合方案的安全性、活性等相关性质的刻画和推理;提出了线性时序描述逻辑并给出其模型检测算法,实现对Web服务时序相关性质的验证。提出了基于动态描述逻辑的语义Web服务发现方法、组合方法和验证方法;开发了具有自主知识产权的语义Web服务自动发现、自动组合和自动验证平台。上述成果为语义Web服务的自动发现、组合和验证提供了一套有效的理论、方法和技术,形成了具有自主知识产权的支撑和应用平台。在国内外核心期刊和重要会议上发表了学术论文19篇,获得发明专利授权3项,获得软件著作权3项。
  (已选择0条) 清除
公   告

北京万方数据股份有限公司在天猫、京东开具唯一官方授权的直营店铺:

1、天猫--万方数据教育专营店

2、京东--万方数据官方旗舰店

敬请广大用户关注、支持!查看详情

手机版

万方数据知识服务平台 扫码关注微信公众号

学术圈
实名学术社交
订阅
收藏
快速查看收藏过的文献
客服
服务
回到
顶部