UML与SDL结合使用的研究

在本文中我们探索如何将统一建模语言(UML)与由国际电信联盟(ITU)标准化了的规格与描述语言(SDL)结合在一起使用．在研究中，我们发现SDL用户可以从UML中获得益处，同样UML用户也可以利用SDL的优点．特别是对于实时系统的开发，我们应当用UML进行系统的需求分析，使用SDL进行系统设计．     

Leveraging a personalized system to improve self-directed learning in online educational environments

Many students who participate in online courses experience frustration and failure because they are not prepared for the demanding and isolated learning experience. A traditional learning theory known as self-directed learning (SDL) is a foundation that can help establish features of a personalized system that helps students improve their abilities to manage their overall learning activities and monitor their own performance. Additionally, the system enables collaboration, interaction, feedback, and the much-needed support from the instructor and students' peers. A Web 2.0 social-technology application, MediaWiki, was adopted as the platform from which incremental features were developed to utilize the fundamental concepts of SDL. Students were able to customize content by setting specific learning goals, reflecting on their learning experiences, self-monitoring activities and performances, and collaborating with others in the class. SDL skills exist to some degree in all learners, this study finds that students' SDL abilities can improve when a course adopts a personalized and collaborative learning system that enables the students to be more proactive in planning, organizing, and monitoring their course activities.     

新环境下的信息系统安全开发与测试

随着信息化技术的不断发展,现有的信息系统在架构和用户体验上得到不断提升,软件开发的模式也通过敏捷,SaaS等方式得到不断的发展。但与此同时伴随着用户量的增长和用户对信息的敏感,安全问题长期困扰各类软件和互联网公司,软件的安全开发和测试不得不成为的信息系统在新环境下所面临的考验和待解决的关键问题之一。从分析新环境下信息系统研发安全需求入手,着重讨论了在软件生命周期中如何利用微软SDL来进行安全开发,并结合作者提出的安全测试方法来有效提高信息系统的安全性和解决敏感信息泄露等问题。     

基于子带SDL的宽带抗干扰恒定束宽波束形成

针对宽带恒定束宽波束形成通常需要大量阵元或延迟线所带来的硬件开销较大,并且抗干扰效果较差的问题,提出一种基于子带阵元延迟线(SDL)的宽带抗干扰恒定束宽波束形成算法。该算法通过建立子带SDL模型,利用子带滤波器组将阵元接收信号进行分解与重构,基于约束最小二乘算法进行子带抗干扰恒定束宽波束形成,并将滤波器组的冲击响应直接作为优化参量,可有效降低分解与重构产生的误差。为了衡量阵列响应的波动程度,提出归一化波动程度的概念。仿真结果表明,子带波束形成器具有比全带波束形成器更好的频率不变性和抗干扰能力,而且可以大大降低硬件开销。     

基于Linux的游戏杆控制的实现方法

游戏杆作为一种输入设备,往往被人们用来玩电脑游戏。但是,在科学研究领域,游戏杆可以被用作人机交互的接口。一般来说,游戏杆具有三个自由度,因此可以用它来操 控被控对象在三雏空间中的运动。所以,如果实现对游戏杆的控制,那么就可以用游戏杆来控制被控对象的运动。本文主要介绍了两种游戏杆控制的实现方法。     

嵌入式ARM下的USB 摄像头监控系统

介绍了一种应用于智能家居的视频监控系统实现方案。此设计以嵌入式ARM和ARMS3C2440为平台,利用Vide04Linux2获得USB摄像头采集到的视频图像数据,并利用SDL在PC上实时显示了视频图像。     

基于嵌入式 Linux 平台的多路视频监控系统的设计与实现

视频监控系统是安全防范系统的重要组成部分,有较强的防范能力,多路视频监控的需求也越来越迫切。论文以免费、开源的嵌入式 Linux 操作系统作为开发平台,使用成本较低的 USB 摄像头来进行多路视频的采集,使用免费的SDL 库来实现图像数据的采集与处理,实现了基本的监控功能,可以捕捉当前画面,并保存图片到本地磁盘,大大降低了开发成本。     

SDL支撑系统

ＳＤＬ是一种主要用于对电信系统性能制定确切的功能规格和描述的国际标准语言．本文描述了以ＣＣＩＴＴＳＤＬ’８８为标准，基于图形核心系统（ＧＫＳ）设计实现的ＳＤＬ支撑系统（３Ｓ），包括ＳＤＬ的图形方式（ＳＤＬ／ＧＲ）的文档录入和编辑工作、对录入的ＳＤＬ／ＧＲ文档进行正确性检查和将ＳＤＬ／ＧＲ文本翻译到文字短语方式表达的ＳＤＬ／ＰＲ文本等几部分．此工作的完成对于使用图形方式描述计算机系统，然后翻译到高级语言提供了可能．     

Generating Conformance Tests for Nondeterministic Protocol Machines

We present a method of generating test cases from the software specifications which are modeled by nondeterministic finite state machines.It is applicable to both nondeterministic and deterministic finite state machines.When applied to deterministic machines,this method yields usually smaller test suites with full fault coverage than the existing methods that also assure full fault coverage.In particular,the proposed method can be used to test the control portion of software specified in the formal specification languages SDL or ESTELLE.     

Main issues in protocol testing

The community of software testing and that of protocol testing are traditionally disjoint. It is seldom the case that protocol testing experts present papers at the large software testing conferences and vice versa. This raises the question about the peculiarities of protocol testing with respect to general software testing. Here we will examine those peculiarities and the consequences in terms of specific methodology developed for protocol testing.