SDL
SDL的相关文献在1989年到2022年内共计231篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、轻工业、手工业
等领域,其中期刊论文211篇、会议论文6篇、专利文献14篇;相关期刊104种,包括中国纤检、电视技术、广东通信技术等;
相关会议3种,包括2001嵌入式系统及单片机国际学术交流会、第十六届全国测控、计量、仪器仪表学术年会、第十一届全国青年通信学术会议等;SDL的相关文献由348位作者贡献,包括李炳彰、李贵勇、梅杓春等。
SDL
-研究学者
- 李炳彰
- 李贵勇
- 梅杓春
- 熊光泽
- 郝朝
- 陈俊亮
- 张晓霞
- 李小文
- 杨洋
- 林孝康
- 艾波
- 顾泽苍
- 倪朝
- 刘乔寿
- 刘崇怀
- 卢华斌
- 吕菁菁
- 吴时霖
- 周勇
- 唐咏慧
- 唐红
- 姜建福
- 宋国新
- 宋汉文
- 屠宇
- 张毅
- 张颖
- 徐川
- 徐建闽
- 方强
- 李允
- 李士宁
- 李祥彪
- 杨志斌
- 杨放春
- 樊秀彩
- 段喜风
- 段红光
- 毛海滨
- 沈琪辉
- 潘俊
- 王勃
- 王建伟
- 王灏
- 田力
- 窦鹏
- 罗松
- 赵国锋
- 邵金安
- 郑建宏
-
-
刘业;
吴建平
-
-
摘要:
搜索引擎是当今热门的计算机研究及应用领域。以Yahoo为主的开放式目录搜索和以百度、Google为主的全文搜索都是顺应Internet快速发展的用户需求而诞生的技术。SDL作为一种形式化语言,一般被应用于网络协议和通讯系统软件开发,而用SDL来描述纯粹性的计算机软件项目还不多见,本文通过SDL来对全文搜索引擎系统进行形式化建模和分析,从而以一种全新的角度来分析搜索引擎系统。
-
-
宗喆;
杨志斌;
袁胜浩;
周勇;
Jean-Paul BODELEIX;
Mamoun FILALI
-
-
摘要:
随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整个软件系统呈现异构性.因此,设计此类系统需要使用复杂的建模方法.AADL(architecture analysis and design language)是一种安全关键系统体系结构多范式建模语言,丰富的可表达方式和可扩展性使其成为安全关键异构软件设计的重要选择.提出一种AADL和SDL(specification and description language)混合建模方法,支持以自底向上的方式对安全关键软件系统进行混合建模,并给出面向多核处理器平台的代码自动生成方法.首先,通过扩展AADL属性集,以支持使用SDL建模语言表达软件构件的功能行为.其次,以Ada作为目标语言,给出AADL-SDL混合模型的多任务代码生成方法.最后,实现了原型工具支持AADL和SDL混合建模及多任务Ada代码生成,并基于导航、制导与控制系统案例对所提方法的有效性进行分析.
-
-
邱宝;
杨志斌;
周勇;
谢健;
王铁鑫;
郭鹏
-
-
摘要:
综合模块化航空电子系统(Integrated Modular Avionics,IMA)是安全关键领域中一类重要的复杂嵌入式系统,具有分布式、异构、计算资源和物理资源强耦合等特征,单一建模语言无法完全覆盖该类系统的建模要求.近年来,多范式建模方法(Multi-Paradigm Modeling,MPM)已成为IMA设计的研究热点.AADL(Architecture Analysis and Design Language)是一种安全关键嵌入式系统体系结构描述语言,具有丰富的表达能力和可扩展性.本文提出一种面向IMA的AADL多范式建模及代码自动生成方法.首先,给出面向IMA的AADL多范式建模方法,即AADL用于表达IMA软硬件架构,AADL行为附件、同步语言SIGNAL和SDL(Specification and Description Language)用于描述软件构件的功能行为,分别支持状态机、同步数据流、异步执行等多种计算模型.其次,给出面向IMA的代码自动生成方法,涉及IMA任务、分区、内核3个层面的代码及其配置文件的自动生成.最后,在AADL开源建模环境OSATE中实现多范式建模和代码生成原型工具,并基于飞机空气增压系统案例,验证本文所提方法的有效性.
-
-
左宪宏;
王立新
-
-
摘要:
思想政治教育是高等医学院校教育工作的一部分,在医学人才培养中起着关键作用.护理实践教学在护理专业应用型人才培养中有着十分重要的作用,SDL(自我导向)学习模式在护理实验教学中的作用日益凸显.文章作者前期对基于SDL的开放式护理实践教学模式进行实践研究,收到了一定效果.如何发挥医学类专业课程思政育人作用,将课程思政、实践教学与自我导向学习相融合,是护理专业教学改革中的一个重要课题.作者在开展护理实践课程教学活动中,进行SDL模式下的课程思政实施路径研究,以探求科学合理的自主学习路径和教师教学路径,为护理学专业课程思政建设、创新、发展提供参考.
-
-
-
石兆军;
李可;
周晓俊
-
-
摘要:
开源软件是软件系统供应链的重要组成,其安全性直接影响企业数字空间的安全。但目前大家对于开源软件的安全性认识不足,重视不够,可能给企业数字化转型带来较高的安全风险,企业和国家有关部门亟须开展对开源软件的安全治理措施研究,保障企业数字空间安全。本文从3方面,提出了开源软件风险治理对策。
-
-
孙瑞
-
-
摘要:
随着我国科技的快速发展,国家对人才的需求对高校教育提出了新的挑战.为了了解研究生在线深度学习现状,本研究基于深度学习理论,选取本校300名硕士研究生进行问卷调查,分析数据发现:支持服务、资源获取、交流讨论、评价反馈与硕士研究生深度学习存在极强的正相关.
-
-
-
-
摘要:
最近,SDL Atlas推出新一代的紧凑型水洗色牢度测试仪Rotawash。新的设计能提高客户测试期间的使用体验。它可连接RemoteAccess,—款创新型的远程仪器监测应用程序,让操作者随时随地跟踪仪器的实时测试进度,不再局限于实验室长时间的测试。
-
-
付杰
-
-
摘要:
SDL,即软件安全开发周期。最早是微软为了应对日益增长的软件安全漏洞缺陷,提出的从安全角度指导软件开发过程的管理模式。SDL的核心理念是将软件安全的考虑集成在软件开发的每一个阶段,从而实现安全管理的过程化控制及安全问题的前移。自2004年起,微软将SDL作为全公司的计划和强制政策,全球各大企业也在以自己的理解及实际情况探索实现SDL安全体系。
-
-
郝朝;
王灏
-
-
摘要:
在飞行试验中,视频实时监控是保障试飞安全和提高试飞效率的重要环节.为了解决某型机机载网络视频的实时监控问题,提出了基于RTP/RTCP协议的机载网络视频实时解析系统设计方案.通过UDP组播协议接收网络电台发送的RTP/RTCP数据包,经过解包,拼成完整的一帧视频图像,采用FFmpeg进行视频解码并利用SDL进行显示.首先介绍了遥测网络视频实时监控系统架构,重点介绍了RTP/RTCP协议及解包方法,然后论述了视频解码与显示流程、YUV图像处理算法.软件采用模块化、多线程并发和多缓冲区设计思路,提高处理效率,保证网络视频监控的实时性和功能的可扩展性.目前该软件已成功应用于某型号任务视频实时监控中.实际应用效果表明,视频播放效果清晰流畅,该软件具有良好的实时性、可靠性和人机交互功能,有效保证了试飞安全.
-
-
-
-
-
-
-
-
-
-
-
黄燕;
梅杓春
- 《第十六届全国测控、计量、仪器仪表学术年会》
| 2006年
-
摘要:
UML是一种通用的标准建模语言,可以对任何具有静态结构和动态行为的系统进行建模,已成为面向对象开发的主要技术.本文主要阐述了UML在协议一致性测试过程中的应用,结合SDL、TTCN等技术,实现了对具体协议的仿真及测试.
-
-
-
-
-
-
-
-
-
-
- 哈尔滨工业大学(威海)
- 公开公告日期:2019-07-05
-
摘要:
一种适用于CCSDS‑SDLS协议的GCM改进算法,属于空间网络信息安全技术领域。本发明针对现有的用于CCSDS‑SDLS协议的认证加密算法在适用性、高效性和安全性方面的不足,通过设计更为复杂的时空混沌方程模型,构造更为安全的用于认证的算法;创新设计基于循环群和混沌方程模型的加密改进策略,同时在加密模式上采用了更加随机的加密方法,提高攻击难度。理论分析和实验结果仿真结果表明,本发明算法加密速度快,效率高,安全性好,适用于CCSDS‑SDLS协议,具有广泛的应用前景和实用价值。
-