系统软件构造与验证技术专题前言

<正>系统软件是计算机系统的核心基础软件,涵盖基础系统软件,如操作系统、语言及编译器、中间件、数据库等;领域系统软件,如无人系统、工业控制、航空航天飞行器等的核心控制软件;人工智能系统软件和区块链关键基础软件等新型软件.系统软件的安全可靠性关系到整个系统,如何构造并验证高质量的系统软件仍然是学术界和工业界面临的重大问题.尤其是系统软件构造与验证过程中,提高系统软件开发效率、提升系统软件质量、增强系统软件安全可靠性相关的理论与方法、技术与工具、应用与案例等,对于我国从事系统软件的研发人员,具有重要的参考价值.     

初窥门径，Android软件装与用

作为目前最火热开放的智能系统平台,专门为它开发的软件成长速度也十分惊人。来自Android的最新统计数据显示,目前Android％子商店的软件已经超过了14万个,下载次数超过了18亿次,而月份统计则显示从2010年起每月新增软件出现井喷之势。如何安装及用好这些软件,是Android用户的入门必备技能……     

人工智能赋能的数据管理、分析与系统专刊前言

<正>大数据时代,数据规模庞大,数据管理应用场景复杂,传统数据库和数据管理技术面临很大的挑战.人工智能技术因其强大的学习、推理、规划能力,为数据库系统提供了新的发展机遇.专刊强调数据管理与人工智能的深度融合,研究人工智能赋能的数据库新技术和新型系统,包括两方面:(1)传统数据管理、数据分析技术及系     

高等职业技术院校中的软件专业教学改革与实践

当前,我国高校每年毕业的计算机专业学生有数十万之多,但却难以满足软件产业的直接需要,因为大学的学科教育只能从事基本概念和原理的教学,而软件产业需要的是直接面对问题、解决问题的技能,大学生走出校门进入软件企业后需要经过较长时间训练和企业再学习才能成为成熟的软件人     

基于计算机视觉技术的乒乓球技术动作AI评分系统研究与设计

鉴于目前乒乓球教学中存在学生挥拍动作不规范、个性化施教不足及教学效率相对较低的三大问题,基于AI(人工智能)计算机视觉技术设计乒乓球技术动作AI评分系统。该系统结合广东科学技术职业学院乒乓球精品课程建设,以乒乓球八个基本技术动作构建AI模型,使用目标检测、姿态估计、动作识别算法对学生的实际动作进行AI评分。实验结果表明,使用乒乓球技术动作AI评分系统有利于开展个性化教学,提高了教学效率,还能支持远程教学,可以在乒乓球教学中推广应用。     

《软件学报》Agent理论与技术专刊征文通知

Agent理论与技术研究最早源于分布式人工智能(DAI),但从20世纪80年代末开始,Agent理论、技术研究从DAI领域中扩展开来,并与许多其他领域相互借鉴和融合,在许多不同于最初DAI应用的领域得到了广泛的应用。Agent的理论和技术,特别是多Agent理论和技术,为分布式开放系统的分析、     

《软件学报》Agent理论与技术专刊征文通知

Agent理论与技术研究最早源于分布式人工智能(DAI),但从20世纪80年代末开始,Agent理论、技术研究从DAI领域中扩展开来,并与许多其他领域相互借鉴和融合,在许多不同于最初DAI应用的领域得到了广泛的应用。Agent的理论和技术,特别是多Agent理论和技术,为分布式开放系统的分析、设     

大类培养模式下的智能科学与技术特色人才培养

对大类培养模式下智能科学与技术专业特色人才培养目标、培养措施、培养流程进行探讨,重点分析数据智能分析师、创新型智能技术人才、智能系统开发工程师和复合型智能技术人才等4类特色本科人才的培养措施,讨论专业发展初期办学规模有限情况下的课程群设置和培养方案制定,提出大类培养下智能科学与技术专业特色人才培养的良性循环机制。     

软件无缝挂接技术与系统仿真的研究

以“复方丹参滴丸自动包装线”的测控系统设计为例 ,探讨了在工业控制系统中广泛应用的InTouch软件进行功能扩展 (无缝挂接技术 )的几种方法 ,探讨了软件在测控系统中的仿真技术应用原理 ,这些应用技术与软件功能扩展方法的研究 ,使得工控软件在工业控制领域中的应用得到了进一步的拓展     

2011年《软件》物联网的关键理论与技术专题内容

1.物联网体系结构理论与模型：层次化可扩展的物联网体系结构、物联网中网元的异构系统互连模型、网络动态行为机理模型、物联网性能评价体系及度量模型等 2.物联网网络融合与自治机理理论与技术：面向IP体系演进的网络融合及命名与寻址架构、面向Post-IP的融合网络体系架构、物联网自治域内数据汇聚与交换技术、物联网自治区域动态管理.     

"工控软件互操作规范OPC技术"讲座 第10讲 基于OPC规范和Internet/Intranet的实时监控系统

0　引言ＯＰＣ(ＯＬＥｆｏｒｐｒｏｃｅｓｓｃｏｎｔｒｏｌ)规范基于微软的ＯＬＥ(现在称为ＡｃｔｉｖｅＸ) /ＣＯＭ和ＤＣＯＭ技术 ,是由ＯＰＣ基金组织制定的工业标准。ＯＰＣ规范致力于成为一个开放的、易实现的、即插即用的标准 ,在工业控制设备和控制软件之间建立统一的数据存取规范 ,它不但能够应用于单台计算机 ,而且可以支持网络上分布式应用程序之间以及不同平台上应用程序之间的通信 ,实现系统软件与设备之间无缝集成和真正开放的通信。这样 ,通过ＯＰＣ规范可以将基于Ｗｉｎｄｏｗｓ应用的企业办公管理应用软件和生产现场的自动…     

基于组态软件与光纤光栅传感技术的监测系统在铁路上的应用

概述了光纤光栅技术及组态软件的基本原理;分析了光纤光栅传感技术与组态软件的结合在铁路安全的运用--在线监测系统.主要针对其功能做了详细阐述,分析了铁路安全在线监测系统在实际中的应用方案以及发展前景.     

飞机液压舵机测控系统软件的设计与实现

介绍了某型飞机液压舵机自动测控装置的软件部分.详细阐述了软件的设计方法、结构和实现的功能,介绍了虚拟仪器软件设计中采用的多线程技术和双缓冲数据采集技术,最后给出了部分试验结果.     

DELCAM:软件的独立与系统的集成——2011ATS访DELCAM中国区技术总监翟万略

2011年9月6～8日,Delcam2011亚洲技术峰会(Asian Technical Summit)暨大中华区成立十五周年庆典在珠海举行。来自中国、日本、印度、韩国和新加坡等十余个国家和地区的200多位Delcam用户、经销商和媒体代表齐聚一堂,Delcam全球总裁Clive Martell、Delcam大中华区总经理周汉祥、先进制造技术部产品经理Mark Forth和亚洲业务发展经理Sandy Moffat都发表了专题演讲,与用户一起,共同展望了CAM系统未来的应用技术和方向。