基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.     

基于UML的面向对象的软件测试方法

分析UML状态图的组成、标准事件和嵌套、并发的优点,给出利用UML状态图产生测试用例的软件测试方法.该方法可以把状态的复杂度控制在和状态属性相关的线性级别,可以尽早发现与状态相关的错误.     

基于ADAMS的3-RPS型并联机器人位姿的正解与逆解

以ADAMS软件为基础,给出了一种基于ADAMS的求解3-RPS型并联机器人位姿的正解与逆解方法.先给定机械手的位姿,经过仿真测量得出驱动杆的位移时间曲线,用后处理模块对测量得到的曲线进行处理,得到驱动杆位移样条函数,从而得到逆解.把得到的逆解作为驱动加在驱动杆上进行仿真,得到机械手的位姿,经过仿真测量得出机械手的位移曲线,经过后处理模块对测量得到的曲线进行处理,得到机械手的位姿样条函数,从而得到正解.这种方法不需大量的数学计算和计算机语言编程工作,非常快捷、方便、准确.从分析结果可以看出这种分析方法所得到的解完全可以用到实际中.     

软件成熟度模型及其要点

研究软件成熟度模型的五个级别,及其相关要点.详细阐述了其共性及特点.该模型经验证可有效提高软件工程质量,对大型软件项目的管理起到良好的指导作用,并被世界大型软件公司认可、接受和执行.     

利用加密狗实现软件版权的保护

随着软件产品的研制成功,在推向市场之前,如何保护作者的软件版权,就成为研发者必须考虑的问题.讨论了采用加密狗来保护软件版权的一种技术,论述了利用可视化的高级语言开发工具(PowerBuilder)及其外部函数读取加密狗参数来实现这项技术的原理、方法及程序实现.     

基于FPGA的高速加密芯片的设计与实现

以非线性组合函数和线性反馈移位寄存器(LFSR:Linear Feedback Shift Registers)为基础,利用可编程逻辑门阵列(FPGA:Field-Programmable Gate Array)设计了一个高速加密芯片.该芯片既能满足密码学领域对密钥序列的高质量要求,又能满足保密通信领域高速度要求.介绍了加密芯片的设计理论、设计过程、加密芯片安全性分析和硬件实现,最后对密钥流进行了随机性统计测试.     

四电子体系的自旋波函数

利用了3种不同方法：角动量耦合法、线性组合法和角动量升降算符法,得到了四电子体系的自旋波函数,对构造多电子体系自旋波函数有重要意义．     

一类解析函数族的扩展及其Fekete-Szeg问题

仿照函数类B(λ,α,σ,β)的定义,用从属的定义引入了一个新的函数类A(λ,α,σ,β),利用Tuneski的研究成果和复分析中的一些方法得到它们在区间|z|相似文献   

C语言课程设计教学模式的探索与实践

分析了《C程序设计》课程的教学现状和教学中存在的问题,构建了一种新的C语言课程设计教学模式,并从教学目标、实施流程和教学策略3个方面进行了阐述。该模式实施过程包括基础实践训练、软件开发流程分析、实际项目开发3个部分,通过基础实践训练,对学生进行基础知识强化培训,掌握课程设计必需的知识模块;教师以实际项目的实现过程讲解软件系统开发流程,培养学生软件工程的设计思想;通过实际项目开发,使学生真正理解和掌握理论课教学内容,掌握C程序设计技巧和软件开发流程;给出了具体的实施方法。通过实践训练,提高了学生独立思考和实际动手能力,激发了学生的学习的兴趣,培养了学生软件工程思维方法,为教师的教学提供了一种可行的课程设计实践教学模式。     

基于T-S模糊模型离散时间非线性网络系统的输出跟踪控制

研究离散时间非线性网络控制系统的输出跟踪控制问题,其中被控对象是由T-S模糊模型表示。利用非平行分布补偿技术和时滞输入方法建立跟踪控制模型。以线性矩阵不等式的形式给出隶属度函数偏差依赖的控制器存在的充分条件,保证闭环系统的给定跟踪性能。