从用例到控例的非功能性需求建模

当系统功能性需求可以通过用例驱动有效建模时,非功能性需求却一直没有可用的建模方法和标准。此外,这些需求也只是被反应性的处理,而不是主动的。给非功能性需求强加一些不合适的建模方法是现在越来越多项目遇到困难而无法解决的问题所在。文中提出一种通过控例去记录和建模非功能性需求的方法,并确保控例能去从不同的角度代表系统的非功能性需求。此外,再通过一种扩展的视图模型去描述增加了控例视图后的软件体系结构。用例和控例两者的结合更加反应了贯穿整个系统设计周期的完整需求。     

一种多进程系统用例模型的逆向生成方法

用例模型是展现程序系统级行为的有效手段.文章针对具有并发特征的面向对象软件系统提出了一种多进程系统用例模型的逆向生成方法.该方法以进程为单位对目标系统的动态信息进行组织,使用单进程系统用例模型的逆向生成方法抽取出每个进程相应的用例模型,然后对具有相同进程名的不同进程的用例模型进行叠加,从而实现了多进程系统的用例模型的逆向生成.通过实验研究,表明该方法在恢复多进程系统的用例模型方面是有效的.     

一种WS-BPEL流程的运行时监控方法

WS-BPEL作为一种web service组合语言,如今在企业解决方案中已经得到了广泛的应用.但是,由于WS-BPEL所依赖的外部服务的自治性以及流程本身的动态性和灵活性,其执行行为在运行前是不可预知的,流程的执行进行监控.本文提出了一种对WS-BPEL流程执行期进行动态监控的方法.该方法基于Past Linear Temporal Language (PLTL)描述监控规则,采用Aspect Oriented Programming(AOP)技术作为对BPEL引擎扩展监控功能的机制,从而实现对WS-BPEL流程实例的灵活有效监控.该方法在中国科学院软件研究所自主研发的OnceBPEL引擎上已经实现,能够满足灵活有效的监控需求.     

一种需求驱动的功能验证方法

随着电子设计复杂度的持续增长,芯片的软件功能验证受到行业内越来越多的重视,业内采用传统测试方法和主流通用验证方法学(UVM)时,都是基于测试驱动的软件功能验证,导致验证环境内的组件具有较强的耦合性,在开展多重环境的软件功能验证时,需要花费大量的时间设计不同测试组件,不利于可重用性实现.本文提出了一种基于需求驱动的功能验...     

基于UML用例图的企业网站系统需求建模

在"互联网+"时代,企业网站是企业在互联网上的"门面",它具有树立企业形象,提高企业竞争力、展示企业产品及企业优势等战略意义。而作为网站建设需求分析人员,掌握一套科学、合理、高效的需求建模方法,有利于提高网站需求分析的效率与效果。本文以企业网站系统为载体,详细论述了基于UML用例图的需求建模过程,并形成企业网站系统需求用例模型。     

基于组合的业务分析及自动生成用例的方法

给出了一种可自动生成用例的业务分析方法.用组合表的方法分析业务,充分考虑了相关联业务的各种取值及各种影响关系,在避免重复用例的情况下大大增加了测试用例的覆盖度,保证了被测系统的质量.根据上面的算法,在计算机中实现了软件原型,在具体业务中,将通过组合分析所产生的业务分析表导入到程序中,通过自动分析,得出基于组合和组合规则的测试用例.     

红外用制冷机高阶驱动下的优化驱动方法设计

高阶主动振动抑制技术已逐渐应用于针对空间红外用机械制冷机的多阶次振动,用以提升制冷机的工作寿命和红外载荷的工作性能。在对机械制冷机采用高阶次工作频率驱动时会产生很严重的谐波失真,从而影响对于高阶次振动的主动抑制效果。通过分析驱动电路的工作机理和负载的高频特性,针对性地提出了利用控制续流通路用于改善高阶驱动时谐波失真的方法,根据所需续流通路给出了相应的实现方法。并针对其中一种续流方法,通过仿真与实验验证了该方法可以有效地抑制波形畸变,使其各高阶次谐波失真下降了75%以上。     

软件需求获取形式化的案例研究

软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧叉性和不一致性,因而难以确认和验证;二是易变性.针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化.实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷.     

一种基于方法调用树的Aspect挖掘方法

Aspect挖掘的目标是识别遗产系统中的横切关注点，为遗产系统的面向方面改造提供支持。基于方法调用树提出一种自动化Aspect挖掘方法，给出方法调用轨迹和方法调用关系的定义。同时给出一致性约束和横切约束。该方法具有比使用动态轨迹的Aspect挖掘方法更高的查全率。     

扩展用例驱动技术在软件系统中的分析与应用

当前成熟的软件系统分析与设计方法大多关注于软件系统的功能性,而可信性并未得到充分的考虑。随着软件本身及其运行环境日渐复杂,功能实现过程中软件的可信性引起人们越来越多的关注。为了构建出既满足功能性需求又满足可信性需求的对象模型,提出一种扩展用例驱动的设计方法,运用现有开发方法 ICONIX方法,对软件分析设计过程中的健壮性分析过程进行扩展。引入一种新的用例来实现软件功能性和可行性的结合,并最终得出所需对象模型。     

一种基于小波变换的独立语音量分离方法

提出了一种基于小波变换的独立语音量分离方法,以改进卷积叠加语音分离方法.该方法在小波域进行独立元分析,把高阶去相关矩阵分解为小波子空间中一系列相应的低阶去相关矩阵,并在保证语音短时平稳性的基础上通过低阶处理跟踪时变的室内(存在室内回响)传输函数.实验结果表明,提出的方法改善了传统独立元分析在室内回响环境中独立语音量分离的效果.     

走出"客户迷失"、切实以顾客关注和需求为焦点

该文从多年来系统管理实践的角度,分析论述了＂客户迷失＂的主要表象和原因,围绕如何走出＂客户迷失＂的问题,分析论述了＂以顾客为检验成果的标准,推行新品研发设计的全寿命周期责任机制＂,＂细分市场和顾客采取不同策略,提高客户管理的针对性＂,以及＂用户为上、自我退后＂等主张和途径。     

一种时延驱动的VLSI布局方法

时廷特性对于高性能的超大规模集成电路(VLSI)来讲是十分重要的。本文提出了一个新的时延驱动的布局方法。在初始布局中,我们提出了给线网加权的新方法,在迭代改善布局中提出了等位场的概念。实验结果表明:这是一种有效的时延驱动布局方法。     

基于CANopen 的双电机同轴驱动控制技术研究

同轴驱动是增大输出功率或消除传动齿隙非线性对控制精度影响的有效手段。针对双电机同轴驱动控制需求,建立基于CANopen 协议的双电机同轴控制系统,重点介绍了双电机消隙控制系统的实现方法,探讨了CANopen 的传输时序设计过程。实验结果表明:采用具备CANopen 协议的通用伺服驱动器实现的双电机同轴驱动控制,简化了系统的设计,提高了伺服系统控制精度和改善系统的动态性能。     

一种正激有源箝位驱动电路拓扑

采用有源箝位复位方式能够有效提高变换器的效率,然而箝位开关管的增加提高了控制电路的难度,文章中设计了一种简单的驱动电路,解决了开关管之间的延时问题,实验结果证实该方案有效提高了变换器的效率。     

基于数据驱动的电子元器件筛选方法

随着电力计量设备向智能化方向发展,系统中电子元器件的数量和种类不断增加,而电子元器件又是系统中的关键部件,决定着系统的精度与可靠性,因此对元器件的筛选成为电力计量系统来料检验的重要质量管控过程.文章基于原有元器件检测标准的相关测试数据,并结合统计分析方法,对电子元器件潜在质量能力进行有效划分,达到电力计量系统电子元器件...     

基于时频分布的欠定混叠盲分离

针对欠定混合信号的盲分离问题,提出了基于时频分布的欠定盲分离算法,首先计算信号的时频分布矩阵并找出信号的自源时频点,然后把自源点对应的时频分布矩阵表示成三阶张量并通过张量分解估计出混合矩阵,最后通过计算矩阵的伪逆和时频合成来完成源信号的恢复.该算法不需要假设源信号是稀疏的或相互独立的.仿真结果表明与已有算法相比本文方法...     

2D Heterostructure Membranes with Sunlight‐Driven Self‐Cleaning Ability for Highly Efficient Oil–Water Separation

Introducing solar energy into membrane filtration to decrease energy and chemicals consumption represents a promising direction in membrane fields. In this study, a kind of 0D/2D heterojunction is fabricated by depositing biomineralized titanium dioxide (TiO₂) nanoparticles with delaminated graphitic carbon nitride (g‐C₃N₄) nanosheets, and subsequently a kind of 2D heterostructure membrane is fabricated via intercalating g‐C₃N₄@TiO₂ heterojunctions into adjacent graphene oxide (GO) nanosheets by a vacuum‐assisted self‐assembly process. Due to the enlarged interlayer spacing of GO nanosheets, the initial permeation flux of GO/g‐C₃N₄@TiO₂ membrane reaches to 4536 Lm^?2 h^?1 bar^?1, which is more than 40‐fold of GO membranes (101 Lm^?2 h^?1 bar^?1) when utilized for oil/water separation. To solve the sharp permeation flux decline, arising from the adsorption of oil droplets, the a sunlight‐driven self‐cleaning process is followed, maintaining a flux recovery ratio of more than 95% after ten cycles of filtration experiment. The high permeation flux and excellent sunlight‐driven flux recovery of these heterostructure membranes manifest their attractive potential application in water purification.     

电流激励蔡氏电路混沌的解析预测

考虑到蔡氏电路受周围电路的影响,故将受周围影响的蔡氏电路做了等效处理,并将其等效为电流激励蔡氏电路。这里首次用解析的方法对三阶非线性微分方程能够产生混沌的参数范围进行预测,利用该方法得出电流激励蔡氏电路产生混沌的必要参数条件。通过数值仿真证明了该等效电路具有极其丰富的混沌动力学行为,仿真结果与解析预测结果有较好的吻合性。     

基于兰姆波在玻璃基板驱动微升油水分离实验

提出了在倾斜玻璃基板上平行安装两片谐振频率为1 MHz的单相叉指换能器(SPT)进行微升级液体油水分离实验探究。结合油水混合液滴在倾斜基板上的受力情况,利用二维Navier Stokes方程和声流理论建立液滴运动力学模型,分析了微升油水分离时间随各影响因素下的变化关系。理论分析和实验结果表明,影响油水分离时间的因素主要有基板倾角、输入峰值电压和油水混合比例,通过调整影响因素,可以高效地把油水混合液滴进行分离。该研究方法可降低传统油水分离的生产成本,为分离两种不相溶的微升混合液滴提供了新思路。