面向协议一致性测试的测试序列生成方法研究

考虑到协议一致性测试中基于扩展有限状态自动机( EFSM)模型的测试序列生成仍然是一个尚无理想方法解决的开放性问题,提出了一种面向协议一致性测试的基于EFSM模型的测试序列生成方法.此方法将EFSM模型转换成确定化的EFSM (DEFSM)模型,并在转换过程中对EFSM模型中的条件和操作冲突进行检测并加以消除,此外,通过测试序列生成附加模块的协助,可将变量及其条件判定从DEFSM模型中分离出来,使得处理后的DEFSM模型等同于有限状态自动机(FSM)模型,从而将EFSM的描述优势和基于FSM模型的测试序列生成优势进行有效的结合.理论和实验分析结果显示了此方法的有效性.     

第三方软件项目咨询的作用与实践

通过对中小软件企业在项目过程中存在的问题分析,提出了引入第三方软件项目咨询的解决方案。以具体软件项目咨询实践为例,结合软件工程与项目管理方法论,论述了软件项目咨询为提高中小软件企业的项目实效所发挥的作用。     

领域需求差异分析方法与应用研究

领域信息源的发展变化是推动领域需求不断演进的源泉,已有的领域分析方法中却鲜有对领域需求演变过程和如何演变进行分析的说明。因此,提出了一种领域需求差异分析方法,主要用于对特定领域的需求演变进行分析。该方法借助领域原型系统获取并分析领域需求现状与目标之间的差异问题,从而得到领域需求演进过程需要关注的问题域,并以此为依据建立领域需求演进模型。该方法在银行核心业务领域的需求分析过程中进行了实际应用,充分验证了该方法的有效性。     

工业控制网络多模式攻击检测及异常状态评估方法

面向工控网的攻击策略多种多样,其最终目的是导致系统进入临界状态或危险状态,因此,基于设备状态异常的攻击检测方式相较于其他检测方法更为可靠.然而,状态异常检测中存在攻击结束时刻难以准确界定的问题,构建攻击策略及系统异常状态描述模型,基于此,提出基于状态转移概率图的异常检测方案,实验结果表明该方案能够有效检测多种攻击方式.另外,针对语义攻击对系统状态影响的定量评估难题,提出基于异常特征和损害程度指标融合分析的攻击影响定量评估方法,实现系统所处不同阶段时状态的定量评估与分析.该项工作对于识别攻击意图有重要的理论价值和现实意义.     

用MCS-51单片机实现对广播发射台信号源非法插播的报警

本文以MCS-51单片机为硬件,提出了一种叫“切线符号比较法”的方法进行软件编程,以实现对广播发射台信号源非法插播的报警.     

室温固相反应制备纳米草酸银粉末

首次利用AgNO3与H2C2O4·2H2O的室温固相反应成功地制备出纳米Ag2C2O4粉末并结合XRD、TEM、UV-VIS及IR对其结构和性能进行了表征：TEM表明室温固相反应合成的粉末是纳米级的;XRD和IR表明固相反应制得的超细Ag2C2O4粉末与水相法制得的相应常态Ag2C2O4组成相同,并且结构组成和标准Ag2C2O4相同;UV-VIS表明室温固相反应合成的超细Ag2C2O4粉末与水相法制得的相应常态Ag2C2O4相比．发生明显的蓝移。     

中小软件企业项目风险管理过程的分析与研究

从我国中小软件企业的软件项目管理现状出发,在分析CMMI和其他当前流行的风险管理模型的基础上,提出中小软件企业软件项目风险管理过程的设计思路,为我国中小软件企业的项目风险管理过程提供建议和参考。     

高等农林院校实验化学教学模式研究

为了提高学生的综合素质,培养学生自主创新能力,针对我校分析当前我省高等农林院校实验化学课中存在的问题,提出改革的一些设想和方法,有助于推动我省地方高校化学实验课程体系的改革与创新.     

中小软件企业软件过程管理与改进策略

针对我国中小软件企业的软件过程现状,从改进对象、过程模型、开发个体、自评估、辅助工具等方面提出了几点策略,并提出了中小软件企业软件过程管理与评估系统的简要设计思路,旨在为我国中小软件企业的软件过程管理与改进工作提供建议。     

信息内容安全课程的教学实践

阐述信息内容安全课程的教学实践,结合OBE工程教育理念和CDIO工程模式,提出新工科背景下课程的建设方案与具体实施办法,从而完善课程的教学体系。