SDL

摘要： 搜索引擎是当今热门的计算机研究及应用领域。以Yahoo为主的开放式目录搜索和以百度、Google为主的全文搜索都是顺应Internet快速发展的用户需求而诞生的技术。SDL作为一种形式化语言,一般被应用于网络协议和通讯系统软件开发,而用SDL来描述纯粹性的计算机软件项目还不多见,本文通过SDL来对全文搜索引擎系统进行形式化建模和分析,从而以一种全新的角度来分析搜索引擎系统。

摘要： 随着系统复杂性的急剧增加,未来安全关键软件越来越多地采用异构构件组合架构,各种构件可能使用不同的计算模型或实现语言,使得整个软件系统呈现异构性.因此,设计此类系统需要使用复杂的建模方法.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图像处理算法.软件采用模块化、多线程并发和多缓冲区设计思路,提高处理效率,保证网络视频监控的实时性和功能的可扩展性.目前该软件已成功应用于某型号任务视频实时监控中.实际应用效果表明,视频播放效果清晰流畅,该软件具有良好的实时性、可靠性和人机交互功能,有效保证了试飞安全.

摘要： 本文简要介绍了cdma2000接入网A10和A11接口协议.针对接口的基本呼叫流程简化了A11接口协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果.

摘要： 本文简要介绍了cdma2000接入网A10和A11接口协议.针对接口的基本呼叫流程简化了A11接口协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果.

摘要： 本文简要介绍了cdma2000接入网A10和A11接口协议.针对接口的基本呼叫流程简化了A11接口协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果.

摘要： 本文简要介绍了cdma2000接入网A10和A11接口协议.针对接口的基本呼叫流程简化了A11接口协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果.

摘要： 本文简要介绍了cdma2000接入网A10和A11接口协议.针对接口的基本呼叫流程简化了A11接口协议,同时利用SDL语言工具对其进行设计与实现,并给出了仿真结果.

摘要： 为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测试.

摘要： 为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测试.

摘要： 为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测试.

摘要： 为了保证协议开发者能够设计庞大的通信控制规则,人们逐渐采用形式化方法来设计通信协议.本文以CDMA2000中A11接口为例,利用SDL描述其功能,并用TTCN功能实现对该口的一致性测试.

摘要： UML是一种通用的标准建模语言,可以对任何具有静态结构和动态行为的系统进行建模,已成为面向对象开发的主要技术.本文主要阐述了UML在协议一致性测试过程中的应用,结合SDL、TTCN等技术,实现了对具体协议的仿真及测试.

摘要： 本发明提供一种基于SDL库的摄像机功能菜单显示方法，使得摄像机功能调试人员能够简易便捷的完成复杂功能的专业化调试操作，确保图像处理器处理输出高质量图像水平的基础上能够增进流畅的人机交互体验，从而制定适用于各类多维度市场需求的自定义个性化菜单模块。本发明包括如下步骤：初始化参数；由遥控器控制摄像机按键指令；布局模式划分；首页绘制；高亮光标所在选项若包含下属子分支，即内部保存有ID信息，点击确认，进入子选项结构所代表的页面；光标参数复位，根据分支选项类型进行不同的图层绘制动作；分支选项类型模式设置涵盖不同样式；返回键和菜单键都具有关闭菜单的功能；彻底关闭菜单后，结束摄像机对应功能模块的运作。

摘要： 本发明属于葡萄分子育种领域，具体提供了一种葡萄果实无核主效QTL位点的分子标记及应用。利用RAD‑seq法测序并构建母本‘红地球’和父本‘森田尼无核’的联合遗传连锁图谱，结合葡萄果实表型鉴定，并利用区间作图法进行QTL分析，在联合遗传连锁图的第18连锁群检测到主效QTL位点SDL的存在，该主效QTL位点的贡献率为77.9％，与该位点紧密连锁的两个SNP标记为SDL1和SDL2，其遗传距离为124kb。本发明所获得的葡萄果实无核主效QTL位点的SNP分子标记，可用于葡萄果实无核性状的早期筛选，对于提高育种效率具有重要的理论和实践指导意义。

摘要： 本发明涉及SDL桩工掘进方法及专用于实施该方法的桩工钻机，桩工钻机包括机架，机架上沿上下方向导向移动的装配有动力头，动力头上传动连接有工作钻杆，工作钻杆的下端安装有用于承受相应冲击器的振动冲击力而冲击钻进的钻头，桩工钻机还包括轴线沿上下方向延伸的柔性传动件及驱动所述柔性传动件上下往复运动的传动件驱动装置，传动件驱动装置设置于所述机架上，柔性传动件上设置有用于在所述柔性传动件向下运动时对动力头施加向下弹性作用力的传力装置。本发明提供一种可随时增加钻头在冲切钻进过程中的钻进力的桩工钻机。

摘要： 本发明适用于电视机技术领域，提供了一种基于SDL的电视机用户接口界面的实现方法及系统，所述系统包括：驱动层，提供驱动程序及协议接口；SDL层，用于根据所述驱动层提供的驱动程序及协议接口，形成统一的图形绘制接口及图形特效库；SDL UI管理层，用于根据用户需求，对相关的资源、窗口和进程进行管理，并调用SDL层中统一的图形绘制接口和图形特效库的特效功能，实现UI界面应用资源库；UI应用层，用于根据所述UI界面应用资源库，实现UI应用。本发明实现了对不同的电视系统，可以不受开发平台的软硬件限制，支持兼容多种软件系统，如Linux、Windows等，且各模块间相互独立，可方便、快捷的移植到其它平台上。

摘要： 本发明涉及信息处理领域中的一种基于自律学习SDL模型的聚类方法，其特征在于：被聚类的特征向量之间依照概率空间距离的尺度，每一类的聚类结果依照概率空间的最大概率尺度在函数映射与函数高斯分布的效果上取得聚类的最佳解。本方法的特点是：SDL模型的聚类可以考虑函数映射模型与函数高斯分布模型的融合，可以仿真深度学习的函数映射模型，实现高精度识别图像的能力，同时，又可以实现函数高斯分布模型的高度的泛化能力。本方法没有黑箱问题，不需要大的硬件支持，不需要大数据的标注，仅仅通过小数据的训练就可，因此性能高，导入成本低，便于大量普及。

摘要： 本发明涉及信息处理领域中的一种基于SDL模型的仿真深度学习的构建方法，其特征在于：将被识别对象的所有训练数据的特征值通过映射函数映射到数据集层，或者将高斯分布的结果通过映射函数，映射到数据集层。本方法的特点是：针对识别对象的数据训练，不需要通过组合的方法，仅仅通过映射函数的算法就可以达到深度学习函数映射模型的训练效果，没有黑箱问题，不需要大的硬件支持，函数映射模型可以实现深度学习的高精度识别能力，再加上高斯分布模型可以获得超越深度学习的泛化能力，不需要大数据的标注，因此性能高，导入成本低，便于大量普及。

摘要： 本发明提供一种基于SDL库的摄像机功能菜单显示方法，使得摄像机功能调试人员能够简易便捷的完成复杂功能的专业化调试操作，确保图像处理器处理输出高质量图像水平的基础上能够增进流畅的人机交互体验，从而制定适用于各类多维度市场需求的自定义个性化菜单模块。本发明包括如下步骤：初始化参数；由遥控器控制摄像机按键指令；布局模式划分；首页绘制；高亮光标所在选项若包含下属子分支，即内部保存有ID信息，点击确认，进入子选项结构所代表的页面；光标参数复位，根据分支选项类型进行不同的图层绘制动作；分支选项类型模式设置涵盖不同样式；返回键和菜单键都具有关闭菜单的功能；彻底关闭菜单后，结束摄像机对应功能模块的运作。

摘要： 本发明涉及信息处理领域中的一种导入SDL模型的图像抽出的方法，其特征在于：在计算机数据上，针对目标数据人为的进行复数次标注。复数次被标注的将要抽出的目标数据，通过机器学习得到构成目标数据的各个参数的最大的概率值，最大概率的尺度。按照上述所得到的最大的概率值，或最大概率的尺度的范围，就可从样本计算机数据中得到目标数据。本方法的实施效果是：可以从一个图像中任意地抽出所需要的图像，可排除影响图像识别结果的背景图像的干扰，可提高图像处理的效果，有益于提高图像识别的精度，是颠覆传统的二值化的新的图像处理算法。

摘要： 一种适用于CCSDS‑SDLS协议的GCM改进算法，属于空间网络信息安全技术领域。本发明针对现有的用于CCSDS‑SDLS协议的认证加密算法在适用性、高效性和安全性方面的不足，通过设计更为复杂的时空混沌方程模型,构造更为安全的用于认证的算法；创新设计基于循环群和混沌方程模型的加密改进策略，同时在加密模式上采用了更加随机的加密方法，提高攻击难度。理论分析和实验结果仿真结果表明,本发明算法加密速度快，效率高，安全性好，适用于CCSDS‑SDLS协议，具有广泛的应用前景和实用价值。

摘要： 本发明属于葡萄分子育种领域，具体提供了一种葡萄果实无核主效QTL位点的分子标记及应用。利用RAD‑seq法测序并构建母本‘红地球’和 父本‘森田尼无核’的联合遗传连锁图谱，结合葡萄果实表型鉴定，并利用区间作图法进行QTL分析，在联合遗传连锁图的第18连锁群检测到主效QTL位点SDL的存在，该主效QTL位点的贡献率为77.9％，与该位点紧密连锁的两个SNP标记为SDL1和SDL2，其遗传距离为124kb。本发明所获得的葡萄果实无核主效QTL位点的SNP分子标记，可用于葡萄果实无核性状的早期筛选，对于提高育种效率具有重要的理论和实践指导意义。