需求过程的建模仿真方法

面向需求过程中的活动,以集合和关系代数的方式建立需求过程的仿真模型;提出多层排队和相关矩阵一致性判断的方法,分析过程的动态特性;证明了仿真算法在时间复杂性上不超过多项式阶.实验结果说明仿真模型和分析方法可以事前预测需求过程中存在的缺陷和瓶颈,有利于消除缺陷和优化需求过程.     

嵌入式实时软件需求规格说明的原型化检测方法

提出了一个检测嵌入式实时软件需求规格说明的方法,该方法将原型化方法,可执行的需求描述语言和动画显示集成为一体,并可模拟执行嵌入式实时软件的需求规格说明,此外,也阐述了这个方法的基本原理和某些实现方法,最后,讨论了这个方法及相关的支持环境的特点。     

基于多视点的快速原型化方法的研究

提出了一个结合多视点的快速原型化方法,该方法及其需求定义过程主要使用视点和视点模板来定义用户的需求,从而提高了需求规格说明的可读性和可审查性．此外,本文也讨论了这个新方法的特点和今后需要解决的问题．     

多视点视频编码方法研究

多视点视频作为1种新型的数字媒体,其独特的立体感和视点交互功能使它有着广阔的应用前景．分析了现有的多视点视频编码技术,针对几种典型的多视点视频编码方案进行重点讨论,对比了各编码方案的率失真性能,并对几种典型的多视点视频编码方案进行了相应的总结．     

基于系统调用和进程代数CCS的行为建模方法

软件动态行为可信度量是可信计算必须要解决的关键问题之一.对该问题的关键一环,软件动态行为建模理论和方法,进行了研究：以系统调用为建模对象,从软件行为学的观点出发,将软件动态行为刻画为进程代数CCS（calculus of communication system）动作的形式.在此基础上,提出了软件动态行为模型的形式化表达DBMS={SCSS,E},其中,SCSS是整个系统的系统调用序列,E是一套基于CCS的行为变换操作符,结合SCSS和E,能够表达系统内任意软件的任意行为.进一步地,提出了一种分布式软件动态行为度量架构,利用该架构能够增强软件动态行为度量的准确性,并提高度量效率.     

基于软件行为的可信动态度量

提出了基于软件行为的可信动态度量,将度量粒度细化到一次行为的引用上,在一定程度上解决了系统工作后的动态可信性问题.同时,提出了基于拓展行为迹的度量机制和行为度量信息基的验证机制,提供了对软件行为可信的判定方法,实现了软件行为的可信判定,给出了基于软件行为的可信动态度量及可信证明模型.     

基于多视点视频编码宏块模式选择的快速算法

为降低多视点视频编码中宏块模式选择带来的编码复杂度,提出了一种新的宏块模式选择快速算法.首先分析了最优模式选择的统计特征,接着根据宏块的亮度信息对图像进行区域划分,进而对不同区域选择不同的模式,以达到快速找到最优模式的目,最后提出了一种基于宏块亮度绝对均值差的宏块模式选择的快速算法.实验结果表明:提出的快速算法在保持率失真性能基本不变的情况下,编码速度比多视点视频编码校验模型JMVM提高4.14~9.83倍.     

二维相机阵列多视点图像信号压缩方法研究

结合二维相机阵列多视点图像信号的特点,研究了二维相机阵列多视点图像压缩空间预测的不同方法．根据GOP中I帧的个数、位置等不同情况,对所给出的3种类型的多视点编码方案,9种典型的预测参考方式进行重点分析,对比了各编码方案的率失真性能,得出相应的结论．所给出的二维相机阵列多视点图像信号空间预测采用多级B帧的方案,相对于其它方案在相同比特率下峰值信噪比（PSNR）平均提高约0．2～0．8dB．     

面向Agent的软件框架

软件框架是软件重用的一种有效技术,然而传统的软件框架是采用面向对象的技术,软件框架的实现存在不足之处.本文采用面向Agent的软件框架,从框架的构件、交互机制和变化性的处理机制进行了阐述,与传统的面向对象的软件框架相比,具有较强的适应性,提高了框架的重用能力.     

一种基于差分分析的负载相关的软件老化检测方法

传统的基于趋势分析的老化检测方法可能存在较高的误报。虽然多版本检测方法将先前的健壮版本作为基准版本与待测软件版本进行差分分析,但基准版本是否存在软件老化问题被忽略。为了解决以上问题,提出了一种基于差分分析的负载相关方法来检测软件老化。该方法对待测软件施加不同强度的负载,通过监控不同负载下内存资源消耗(驻留集大小(resident set size,RSS))趋势的差异并分析其与负载差异之间的关系,帮助开发人员在软件开发过程中检测单个版本(无需先验知识)的软件老化。实验结果表明,本文的方法能够检测出由内存泄漏引发软件老化,并且能够应用到真实的商业软件Squid中。     

基于递阶的软件过程模型重用方法

将重用技术应用到软件过程仿真和控制之中,提出了一种基于递阶的软件过程模型重用方法,并对其中的元模型重用进行了重点阐述,将演化计算与元模型重用结合起来,给出了形式化描述,以及重用实现算法.针对每一个软件项目都建立软件过程模型是比较繁琐和费时的工作,因此重用已有的软件过程模型不仅能缩短开发周期,也能提高软件的可维护性和可靠性.     

考虑广告效应的随机需求多商品流供应链网络均衡模型

针对多个生产商、多个零售商和需求市场组成的多商品流供应链网络,假定生产商和零售商分别在全国市场和区域市场进行产品广告宣传,分析了其对产品随机需求的影响。通过基于随机效用理论的Logit模型刻画消费者的产品选择,运用Nash均衡方法和变分不等式理论得到生产商和零售商之间的竞争均衡模型,进而建立了考虑广告效应的随机需求多商品流供应链网络均衡的变分不等式模型。最后的数值算例验证了模型的合理性,表明广告宣传是把双刃剑:刺激需求增长,但成本增加,需做好二者间的平衡。     

基于模型检测的软件安全性验证方法

安全性是安全苛求系统第一性能,为了确保系统安全,这类系统在投入使用之前必须进行安全性验证.本文提出一种基于FTA(fault tree analysis)与LTS(labeled transition systems)模型检测的安全性验证方法验证安全苛求软件系统的安全性,并应用到铁路车站联锁系统的安全性验证中,该方法具有较好的通用性,自动化程度较高,可从效率和安全性方面改善安全苛求软件的设计和开发,丰富了软件的形式化开发方法,也为软件的修改和维护提供了方便.     

基于模型检测的可信软件栈测试

基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.     

多频信号的自适应随机共振检测方法

针对系统输入端待测信号为低频与中高频情形,分别建立了多频信号的自适应随机共振检测方法,即通过分析待测输入信号的频率特性和信号并行输入个数,对于低频信号,固定步长,自动调节系统参数;对于中高频信号,利用外加周期信号的频率,选取合适的测量指标来衡量随机共振现象的发生,并且寻求最优系统参数,在随机共振输出信号频域中提取待测信号的频率.与传统的自适应随机共振信号检测方法相比,采用色噪声,更符合实际背景,更精确地提取待测信号的频率.仿真结果与分析的一致,表明方法有效可行,有良好的应用前景.     

机器人机构建模的几何方法

讨论了经典力学系统中拉格朗日方程的黎曼几何表示(黎曼流形上的牛顿力学)和力学系统拓扑图表示之间的关系,作为应用,讨论了机器人系统的拓扑图表示和动力学模型计算等,与已有的机器人动力学分析办法相比,基于黎曼几何和拓扑图表示方法的动力学分析更加简便,更加适合机器人动力学机械化(自动)建模.     

偏微分方程的演化建模方法

考虑抛物型方程的参数反演问题,给出了一类偏微分方程的演化建模方法．根据样条插值理论,把无穷维空间上的反问题转化成有限维空间上的反问题来近似,利用演化算法来估计参数的反演值,数值结果证明了此方法的有效性．     

面向行业需求实现区别化教学——卫星导航技术课程教学内容与方法探索研究

分析了卫星导航技术在民航业务中的发展以及应用特点,针对民航行业需求及专业培养目标区别对待电子信息工程专业和通信专业的学生教学,同时应考虑到民航工作的双语特性,在卫星导航技术课程中开展双语教学,并进行教学方法的改革.     

一种融合纹理和颜色信息的背景建模方法

鉴于目前视频序列的运动目标检测常使用背景差分法,但其受光照变化以及阴影影响,不能准确区分出运动物体的特点,因此提出一种新的背景建模算法.该算法融合纹理信息和颜色信息建立背景模型,其中的纹理信息采用LBP算子进行描述.为更好地描述纹理信息,进一步改进了基本的LBP算子,并同时引入抗噪因子增强抗噪声影响.实验证明,提出的算法在大多数情况下都取得良好的效果.     

头孢噻肟钠在多壁碳纳米管修饰电极上的电化学行为及分析应用

提出了一种多壁碳纳米管化学修饰电极的制备方法 ,研究了头孢噻肟钠在该电极上的电化学行为及其测定 .头孢噻肟钠在多壁碳纳米管修饰电极上于 - 0 .85V处有一灵敏的还原峰 .将多壁碳纳米管修饰电极在 pH2 .2的柠檬酸 磷酸氢二钠缓冲溶液中开路富集 2min后 ,以 10 0mV·s-1的扫描速度从 - 0 .3～ - 1.1V进行阴极化扫描并测定 - 0 .85V处的还原峰电流 .该电流与头孢噻肟钠在 2 .0× 10 -7～ 2 .0× 10 -5mol·L-1浓度范围内呈良好的线性关系 ,检出限达 6.0× 10 -8mol·L-1(信噪比为 3 ) .该方法应用于注射用头孢噻肟钠的检测获得满意的结果