基于元模型的自动测试系统框架开发方法的研究

为了最大限度地提高自动测试系统的软件复用性和开发效率,对自动测试系统领域面向对象框架的开发进行了研究.通过分析自动测试系统的特征及需求,定义一个通用和稳定的面向对象元模型,并基于该元模型提出一种新颖的自动测试系统面向对象框架的开发方法,该方法是一个"热点"驱动的迭代过程,开发过程中充分利用了标准建模语言(UML)和设计模式等面向对象技术.实例证明:该方法为特定自动测试系统的框架开发提供了指导原则,减少了框架开发的工作量,提高了框架的复用性、扩展性和维护性以及开发效率等.

数据库模式自动测试方法的研究

数据库在现代应用软件系统中具有重要的作用,数据库的正确性直接影响应用软件的功能正确性和性能可靠性,而传统的软件测试往往忽略对数据库数据结构的测试。针对这个问题,提出了一种自动检查数据库模式的方法,提取需求分析的E-R模型和数据库逻辑模型的信息,将概念模型与逻辑模型进行比较,发现数据和数据之间的不一致或冲突。实验结果表明,采用这种方法能够尽早地发现数据库设计和实现的错误,使系统功能测试能建立在正确的数据库基础上。

含存储器数字电路系统的自动测试生成

已有的数字电路自动测试生成(ATPG)软件没有存储器的结构模型,不支持对存储器电路的自动测试生成。该文分析了2类存储器的功能特征,提出了面向测试的ROM和RAM结构模型的建立方法,其中,ROM根据所储存的数据等效成组合电路模型,RAM利用新建立的RAMBIT基元等效成利于测试的时序电路模型。将其应用于ATPG软件中,解决了含存储器数字电路的自动测试生成问题。

IC高层自动测试矢量生成算法

针对目前已有的高层电路模型普遍没有很好的同时体现描述的可控性和可观性,本文从时序电路RTL行为描述抽象出一种CRG电路模型。并在此模型上直接对其进行测试生成或可测试性分析等计算机辅助测试。试验表明,该模型和算法是有效的。

基于活动模式的工作者出行生成预测模型

为改进传统出行生成预测以单个出行为分析单元、难以反映个体出行行为的不足,建立了基于活动模式的工作者出行生成预测模型.采用相关性分析和多项logit方法研究了1617个有效样本的居民个体属性、家庭属性、区位属性、出行属性、活动属性所引起的活动和出行生成模式的差异.通过建立包含显著变量的6种典型活动模式效用函数,获得个体选择概率.按概率集计法分析各交通小区各类活动模式总量,结合活动模式中包含的出行链平均长度,进行工作者出行生成量预测.基于活动模式的工作者出行生成预测模型有助于以出行链整体为单元考察多次出行之间的关联性,增强出行生成模型与行为模型的融合.

复杂事件模式检测与CEP测试数据生成算法研究

随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件处理(Complex Event Processing,CEP)技术被认为是一种有希望征服大数据挑战的技术之一.然而,当事件流成为大数据时,目前的CEP模型、事件模式检测和CEP系统测试数据生成的方法和技术都存在很多不足.文章针对这一问题讨论了复杂事件建模、模式检测与测试数据的生成方法.提出一种CEP代数模型,用多种事件算子来表达事件之间的关系和事件流模型.在这里,一个创新的思想是把CEP代数模型表达式解释成算术文法产生式,从而可以用词法分析技术解决复杂事件模式检测问题.为了有效地测试复杂事件模式检测的算法,基于CEP代数模型,提出了一个用于支持上述CEP模式检测的大数据事件集的生成算法.并由此生成了不同量级的测试数据,测试了一个RFID物联网中CEP模式检测引擎.实验结果表明了提出的事件模式检测算法和CEP系统测试大数据事件集生成算法的有效性.

n维糖酵解模型非常数稳态解的模式生成

研究了一类带Neumann边界条件的n维糖酵解模型.首先,以扩散系数d1为分歧参数,运用局部分歧理论分析了该模型非常数稳态解的局部结构.其次,利用全局分歧理论和LeraySchauder度理论讨论了非常数稳态解的全局存在性.最后,借助数值模拟证实了所得结论.分析结果表明n维糖酵解模型的空间模式可以生成.

基于大批量定制生产的产品生成模式与优化模型

有关大批量定制生产的研究大多数还处于基本概念、基本原理和方法论阶段。为了给企业提供真正有效的解决方案,依照离散型制造系统生产机理,从对象维和过程维的二维角度,提出了基于大批量定制生产的通用结构模式,探讨了产品全寿命周期的业务流程优化方向,构建了大批量定制生产的优化数学模型。该模型对于离散型制造业具有普遍适用性。

面向蛇形机器人的三维步态控制的层次化联结中枢模式生成器模型

提高蛇形机器人的三维运动控制能力是提高蛇形机器人环境适应能力的关键之一.虽然联结中枢模式生成器(Connectionist central pattern generator,CCPG)模型具有复杂度小、适合硬件实现等优点,但是目前的CCPG模型难以生成相位协调的多自由度运动的控制信号,从而限制了它的三维步态控制能力.本文根据生物CPG机制的分层结构和运动神经元的功能,提出一个有层次化结构的CCPG(Hierarchical CCPG,HCCPG)模型.HCCPG模型由基本节律信号生成层、模式形成层、运动信号调整层这三个部分组成.运动信号调整层的运动神经元能够独立地对模式形成层的输出信号的幅值、相位等进行调整,从而较好地解决了CCPG模型难以生成相位协调的多自由度运动控制信号的问题.HCCPG模型具有步态控制能力强、复杂度小、有良好的扩展性等优点,从而适合用于控制三维步态.在HCCPG模型的基础上提出一个三维步态控制方法.仿真验证了这个控制方法的有效性.

大模型创新变革:新模式、新挑战与新趋势

生成式人工智能的出现给传统创新范式带来新挑战,引发各界对创新管理理论和创新实践的前瞻性讨论,审视并应对大模型所带来的创新变革富有积极意义。首先,基于人工智能创新进展,探索从传统人工智能到生成式人工智能的研发创新模式变化,识别大模型研发创新的核心特性;其次,探究大模型对知识管理、科学研究、技术创新和产业创新等理论带来的新挑战,并阐释基本逻辑和核心指向。最后,从大模型内在创新规律、知识管理创新、科研组织方式、技术创新范式以及产业创新生态5个方面提出未来研究方向。研究结论不仅有助于明确大模型所带来的创新挑战,还对加快大模型创新理论研究具有参考价值。

一体化晶圆级MMIC自动测试技术研究

提出了一种一体化晶圆级微波单片集成电路(MMIC)自动测试技术方案,对矢量网络分析仪主控接口进行深度开发,采用以工控机和矢量网络分析仪为核心的双核控制拓扑结构,基于三级软件驱动架构编写系统自动测试软件,融合了扩展OSL去嵌法、在片校准验证模型、高精度功率附加效率(PAE)测试、优化的矢量冷源噪声测试法等多种先进的高精度测试技术。采用该技术方案后测试系统十分简捷,只需一次探针接触便可获得被测器件的全部参数,避免了测试系统的频繁切换对测试精度和速度的不利影响,大大提高了测试效率。

基于CRG模型的RTL测试矢量生成算法

针对目前已有的高层电路模型普遍没有很好地同时体现描述电路的可控性、可观性和时序信息,本文从电路RTL行为描述抽象出一种CRG电路模型,该模型能很好地反应电路的控制关系和一定的数据关系,并且直接包含了时序电路的时序信息。然后在此模型上进行测试产生或可测试性分析。这是一种基于模拟的、以未控制和未观测语句分布信息为目标的测试生成算法。对部分ITC99的Benchmarks电路的实验数据显示,该模型和测试生成算法是有效。

基于原型-模型翻译理论的《三体》英译本的生成模式

原型-模型翻译理论将译者的翻译行为界定为模拟行为,而译者为模拟主体。译者运用模拟规则(即翻译规则)选择适当的原型(即原语文本)进行模拟,模拟方法体现为翻译方法,模拟工具体现为目标语言,同时以"原模共轭相生"为根本基础,以"忠实与适合"为翻译标准。本文基于该理论,以风靡海内外的中国科幻作品《三体》及刘宇昆英译本为例,探究从原文到译文的形态发生学过程,即译文的生成过程,并提出《三体》英译本的生成模式。

装备保障能力生成模式转变的理论模型浅析

分析装备保障能力生成模式转变的影响因素及其相互作用关系,依据理论模型的相关原理和方法,总结分析装备保障能力生成模式转变的理论模型演化过程和规律,得出装备保障能力生成模式转变的线性模型、交互作用模型和链环-回路模型,最后结合信息化条件下装备保障能力生成模式转变的要素和特点,构建信息化条件下装备保障能力生成模式转变的理论模型,并对模型进行分析。

基于生成器模式的门户网站通用模型的分析与设计——以高校门户网站为例

解释生成器模式的设计理念和高校门户网站的功能特点。以高校门户网站为例,分析高校门户网站的功能框架,同时结合面向对象编程的思想,抽象功能模块的各个属性,探讨赋予功能框架不同表示的方法,并设计出高校门户网站通用模型的雏形。最后总结基于生成器模式的门户网站通用模型的设计思路和方法。

实践性知识生成视角下基于ALACT反思模型的教师在职培训模式

文章首先分析了教师在职培训模式存在的问题,然后阐述了教师在职培训促进实践性知识生成的必要性,接着提出了实践性知识生成视角下基于ALACT反思模型的教师在职培训模式,最后阐述了基于ALACT反思模型下教师在职培训模式的挑战及其应对。

基于模式的业务构件代码生成方法

在企业管理软件中业务构件可以通过参数化和配置技术被复用以适应业务需求的变化,这种构件粒度大、可变参数多、结构复杂难于开发.为了提高业务构件的开发效率,确保开发正确性,本文提出一种面向大粒度构件,基于模式的构件代码生成方法.从已有应用系统中抽取业务构件的典型软件模式,定义一种支持多种编程语言的模式描述语言,用其构造基于模式的非实例化构件,并采用模型驱动的思想,将对应模式下富含业务语义的构件实现模型转换为目标程序,以实现业务构件的自动生成.在此方法指导下,开发一套可视化建模与代码生成工具组,并利用此工具自动生成了运行在J2EE平台上的采购管理系统中部分业务构件,应用结果验证了本方法的有效性和实用性.

基于有向图模型的卫星任务指令生成算法

面向任务的卫星操控模式具有操作简便、星载资源使用效率高的优点,正在取代指令序列注入成为遥感卫星运控的新模式。文章提出一种基于有向图模型的遥感卫星任务指令序列生成算法,具有线性存储复杂度和计算复杂度,适合存储资源和计算资源受限的星载计算机应用。此算法已在某遥感卫星应用,测试试验表明,采用3个面向任务的高级指令即可生成52种指令序列,任务上行注入效率提升了5倍。本文方法根据有效载荷的使用约束条件,配置有向图模型参数,即可满足各种类型卫星使用。

基于问题模式的形式化软件规格说明生成方法

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.