检索结果-内蒙古大学图书馆

计算机与现代化 2020年第6期 52-59,88页

作者：冯思喆杨志斌薛垒南京航空航天大学计算机科学与技术学院江苏南京211106 高安全系统的软件开发与验证技术工信部重点实验室江苏南京211106 上海航天电子技术研究所上海201109

模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关... 详细信息

模型驱动开发方法逐渐应用于航空航天等领域的安全关键软件设计与实现中。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种标准化的嵌入式软件体系结构描述语言,通过建模、验证以及代码自动生成为安全关键软件的设计与实现提供完整支持。然而,工业界实际代码是运行在具有不同特性的目标平台上的,例如不同的软硬件体系结构和编程接口,而现有AADL代码生成研究主要是通过手工将自动生成的代码集成到平台当中,存在工作繁琐且易出错的问题。为此,本文提出一种基于AADL的航天嵌入式软件Ada代码自动生成方法。首先,给出卫星姿轨控系统的AADL建模;其次,给出AADL到平台相关的Ada代码自动转化规则;最后,给出代码生成原型工具,并对卫星姿轨控系统AADL模型所生成的代码进行航天编码规范检查,并运行在相关仿真环境中,验证了本文所提方法的有效性。

关键词：安全关键软件模型驱动开发方法 AADL Ada 代码自动生成

来源：评论

学校读者我要写书评

暂无评论

基于Shapelet的混成自动机规范挖掘技术

引用

计算机技术与发展 2023年第1期33卷 74-81页

作者：黄涛曹子宁李晴南京航空航天大学计算机科学与技术学院江苏南京211106 光电控制技术重点实验室河南洛阳471023 软件新技术与产业化协同创新中心江苏南京210023

信息物理融合系统(CPS)是一个多维复杂系统,随着系统的复杂性不断增加,设计人员对它们的行为几乎无法理解。针对许多复杂系统无法使用传统的方法来建模的情况,采用构建自动机的方法,对复杂CPS系统的输入输出轨迹进行处理生成混成自动机... 详细信息

信息物理融合系统(CPS)是一个多维复杂系统,随着系统的复杂性不断增加,设计人员对它们的行为几乎无法理解。针对许多复杂系统无法使用传统的方法来建模的情况,采用构建自动机的方法,对复杂CPS系统的输入输出轨迹进行处理生成混成自动机。混成自动机可以清楚地描述CPS系统中的离散动作行为和连续变量的变化,为CPS系统提供良好的可读性规范,模拟CPS系统中的动作行为。该方法基于Shapelet技术,将时间序列输入输出轨迹进行预处理,对所有的时间序列轨迹进行分段操作,利用提出的相似性标准将这些分段进行归类,基于提出的算法对相似分段(状态)集合进行聚类,挖掘出离散状态序列与变迁关系和离散跳跃条件,利用统计学方法挖掘出连续的流条件,组合成混成自动机。针对挖掘出的混成自动机,用两个工业模拟案例评估提出的算法,算法的结果显示了自动机的准确性,表现出了规范挖掘具有促进可读性和系统理解的优势。

关键词：信息物理融合系统 Shapelet 相似性标准聚类规范挖掘

来源：评论

学校读者我要写书评

暂无评论

基于认知属性知识库的副名结构新探

基于认知属性知识库的副名结构新探

引用

第十五届汉语词汇语义学国际研讨会

作者：李斌马燕刘雪扬唐旭日南京师范大学语言信息科技研究中心南京大学计算机软件新技术国家重点实验室华中科技大学外国语学院

程度副词修饰名词的特殊现象一直为汉语学界所重视,近年来程度副词提取名词的属性特征的说法被较多接受。然而名词的属性特征到底有哪些,始终存在着主观性差异和个例分析的状态。另一方面,很多具备属性特征的名词却很难进入副名结构,也... 详细信息

程度副词修饰名词的特殊现象一直为汉语学界所重视,近年来程度副词提取名词的属性特征的说法被较多接受。然而名词的属性特征到底有哪些,始终存在着主观性差异和个例分析的状态。另一方面,很多具备属性特征的名词却很难进入副名结构,也缺乏较好的理论解释。本文则借助于基于互联网数据的汉语认知属性知识库来观察名词的属性特征和副名结构的关系,进而用一个统一的理论假设,从语言生成和理解两个过程阐述副名结构的内在机制。

关键词：副名结构认知属性语言知识库认知语义学

来源：评论

学校读者我要写书评

暂无评论

图像和视频亮度的自动调整

图像和视频亮度的自动调整

引用

第七届中国计算机图形学大会

作者：王想郭延文杜振龙武港山张福炎彭群生南京大学计算机软件新技术国家重点实验室浙江大学CAD&CG国家重点实验室南京工业大学信息科学与工程学院

对曝光不足的图像和视频进行亮度调整具有重要的理论研究意义和实际应用价值,本文提出一种基于梯度域操作的图像和视频亮度自动调整算法.对于静态图像,算法首先将图像分割为不同的亮度区域;然后分别计算各区域的亮度调整算子;最后通过... 详细信息

对曝光不足的图像和视频进行亮度调整具有重要的理论研究意义和实际应用价值,本文提出一种基于梯度域操作的图像和视频亮度自动调整算法.对于静态图像,算法首先将图像分割为不同的亮度区域;然后分别计算各区域的亮度调整算子;最后通过求解一个梯度约束方程得到结果图像.我们进而将该算法延伸到视频,首先选取若干关键帧并使用上述图像亮度调整算法进行处理;然后对非关键帧进行分割并通过光流算法确定非关键帧上的分割区域与前后关键帧区域的对应关系;最后利用对应关系通过关键帧区域的亮度调整算子以及调整后的亮度指导非关键帧上各区域的亮度调整,并生成结果视频序列.本文算法可以有效处理空间和时间上曝光不足和不均的图像和视频,并能够较好地保持图像、视频的细节纹理信息,实验结果表明了算法的有效性.

关键词：图像视频亮度调整梯度域处理对比度增强

来源：评论

学校读者我要写书评

暂无评论

基于不动点逻辑的混成系统性能评价语言

引用

计算机技术与发展 2022年第12期32卷 69-73,122页

作者：李晴曹子宁黄涛南京航空航天大学计算机科学与技术学院江苏南京211106 光电控制技术重点实验室河南洛阳471023 软件新技术与产业化协同创新中心江苏南京210023

混成系统是一类连续与离散行为紧密结合的复杂动态系统,目前广泛地应用在医疗和国防等安全关键领域。安全关键系统要求自身具有较高的安全性与可靠性,以减少系统故障引起的生命和财产方面的灾难性后果。而形式化方法是保障系统可靠性的... 详细信息

混成系统是一类连续与离散行为紧密结合的复杂动态系统,目前广泛地应用在医疗和国防等安全关键领域。安全关键系统要求自身具有较高的安全性与可靠性,以减少系统故障引起的生命和财产方面的灾难性后果。而形式化方法是保障系统可靠性的一种常用方法,其中模型检测应用最为广泛。由于模型检测只能给出系统是否满足某个性质的真或假逻辑值,通过将其与性能评价相结合,以描述系统与实值计算相关的一些性质。现有的性能评价语言CTML可以描述系统与概率和平均期望相关的性质,μ演算则可以通过最小和最大不动点运算符描述迁移系统的某些性质。在基于μ演算的模型检测和CTML的基础上,提出一种面向混成系统的基于不动点的新的性能评价语言MLBoF以及MLBoF公式的性能评价算法。针对CTML的子逻辑,给出与其语义等价的MLBoF公式表示以及二者等价的证明过程。通过飞机起飞系统实例说明,提出的性能评价语言MLBoF不仅将基于μ演算的模型检测结果从{0,1}扩展到实数区间,具有验证系统概率等实值性质的能力;而且通过扩展经典的计算不动点的改进算法,保证了MLBoF的性能评价算法的效率。

关键词：混成系统不动点 CTML μ演算性能评价

来源：评论

学校读者我要写书评

暂无评论

人工智能技术及其社会影响

引用

数字化用户 2019年第11期 215-216页

作者：管润玮吴钰何东骏陶文瀚蒋孙珺 226019 南通大学信息科学技术学院计算机系江苏南通 212000 江苏科技大学深蓝学院信息管理与信息系统系江苏镇江 210023 南京邮电大学现代邮政学院网络工程(邮政工程) 江苏南京 211169 金陵科技学院软件工程学院江苏南京

随着近几年信息化产业的井喷式发展,全球正处于新一轮科技革命与产业变革转型的叠加期,以人工智能技术为核心的第四次产业革命必将推动人类社会迈向一个全新的智能时代.与此同时,许多国家已将互联网、人工智能科技列入国家战略方针,社... 详细信息

随着近几年信息化产业的井喷式发展,全球正处于新一轮科技革命与产业变革转型的叠加期,以人工智能技术为核心的第四次产业革命必将推动人类社会迈向一个全新的智能时代.与此同时,许多国家已将互联网、人工智能科技列入国家战略方针,社会体制也因人工智能技术在人文、教育、经济等领域的介入,悄然发生着改变.

关键词：社会制度智能经济就业立法教育

来源：评论

学校读者我要写书评

暂无评论

脸眼协同检测算法在广告推荐系统中的应用

引用

计算机技术与发展 2021年第7期31卷 134-139页

作者：苏彬梁栋南京航空航天大学计算机科学与技术学院模式分析与机器智能工业和信息化部重点实验室江苏南京210016 软件新技术与产业化协同创新中心江苏南京210016

在使用人脸检测识别的广告推荐场景中目标用户是正在注视广告屏幕的用户,因此在做广告推荐时需要在检测人脸的同时检测两只眼睛,确保检测抓取的人脸是正对广告设备的人脸。现有的人脸检测加人脸姿态评估算法对硬件资源消耗过大,在低成... 详细信息

在使用人脸检测识别的广告推荐场景中目标用户是正在注视广告屏幕的用户,因此在做广告推荐时需要在检测人脸的同时检测两只眼睛,确保检测抓取的人脸是正对广告设备的人脸。现有的人脸检测加人脸姿态评估算法对硬件资源消耗过大,在低成本硬件上无法保证业务的运行效果,所以该文首先对主流检测器进行全面的比较分析,然后提出了一种基于优化后SSD算法的人脸和双眼协同检测器,可以同时检测人脸和眼睛,并根据人脸和眼睛的位置判断它们是否属于广告推荐对象。该方法增加了人脸和眼睛的位置信息,增加了特征图的大小,并增加了三个卷积层,以获得小目标的低层特征。预测层的数量也被扩展以增加预测的可能性。同时,该方法在实验比较和真实场景试验中均显示出良好的效果。

关键词：人脸检测眼睛检测协同检测器优化SSD算法广告推荐目标人脸

来源：评论

学校读者我要写书评

暂无评论

当前中国职业教育国际化的新自由制度主义理论探讨

引用

吉林工程技术师范学院学报 2017年第9期33卷 56-58页

作者：王啸楠杨守明王农安徽信息工程学院计算机与软件工程系安徽芜湖241000 南京师范大学公共管理学院江苏南京210000 芜湖职业技术学院汽车工程学院安徽芜湖241000

相互依赖程度不断加深的国际社会,为推动中国职业教育国际化提供了广阔空间和难得机遇。目前中国职业教育国际化进程中面临的问题,主要表现为职业教育国际合作还缺乏广泛性、长期性和稳定性,解决当前中国职业教育国际化面临问题的关键... 详细信息

相互依赖程度不断加深的国际社会,为推动中国职业教育国际化提供了广阔空间和难得机遇。目前中国职业教育国际化进程中面临的问题,主要表现为职业教育国际合作还缺乏广泛性、长期性和稳定性,解决当前中国职业教育国际化面临问题的关键是建立国际合作机制;中国职业教育国际化的发展趋势在于建立多边的、跨洲的、多维的联系与合作,但在这种联系与合作中,各国之间并不意味着同质,也不意味着平等。

关键词：职业教育国际化新自由制度主义

来源：评论

学校读者我要写书评

暂无评论

探究计算机网络数据库的安全管理

引用

速读（上旬） 2015年第5期 2-2页

作者：张维宏黄亚桐沈骏 210023 南京邮电大学计算机软件学院

随着信息技术的快速发展，网络技术的飞速发展加快了因特网和数据库技术飞速融合，网络数据库逐渐在社会各方面得到广泛应用。但在高速发展的信息化社会，越来越多的用户使用计算机网络，但大多数人们的计算机知识普遍淡薄，对于网络安... 详细信息

随着信息技术的快速发展，网络技术的飞速发展加快了因特网和数据库技术飞速融合，网络数据库逐渐在社会各方面得到广泛应用。但在高速发展的信息化社会，越来越多的用户使用计算机网络，但大多数人们的计算机知识普遍淡薄，对于网络安全方面并不十分关注，而互联网的开放性、连接方式的多样性等独特特征带给了人们方便的同时，也留给一些不法分子的可趁之机。许多不法分子利用人们的网络漏洞以及其较为专业的计算机技术攻击用户的网络数据库获取非法数据，网络数据库的安全逐渐成为当前社会亟待解决的一类安全防护问题。本文对计算机网络数据库的重要性进行分析，并根据数据库的特性提出若干安全管理措施。

关键词：网络数据库安全管理

来源：评论

学校读者我要写书评

暂无评论

计算机网络信息安全及其防护对策

引用

大科技 2017年第11期 259-259页

作者：韩厚畴南京邮电大学计算机软件学院 210023

网络信息为人们的日常生活带来了便利,但是同时,也伴随着极大的安全风险,计算机信息由于其发展速度飞快,其传播速度和分布的广度也是其他技术不可比拟的.因此,计算机信息安全问题已经受到了人们的关注和重视,目前从计算机安全存在的漏... 详细信息

网络信息为人们的日常生活带来了便利,但是同时,也伴随着极大的安全风险,计算机信息由于其发展速度飞快,其传播速度和分布的广度也是其他技术不可比拟的.因此,计算机信息安全问题已经受到了人们的关注和重视,目前从计算机安全存在的漏洞来看,主要论述了计算机网络信息安全的防护对策.

关键词：信息安全网络安全计算机安全防护对策

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：