平台无关模型可视化建模的研究与实现

平台无关模型（PIM）是模型驱动架构（MDA）的核心,但目前PIM的建模主要靠手工编写代码实现,故效率低,易出错,复用难。为解决这一难题,以VisibleXML概念为建模规范,以XML为建模语言,提出了一种PIM可视化建模方法。应用此方法,设计实现了一种基于.NET平台的PIM可视化建模框架。某企业在信息系统开发中用此框架进行PIM建模,效率高,错误率低,复用方便,学习成本小。     

基于容器化部署和自动化可扩展性的低代码平台的研究与优化

文中以容器化部署和自动化可扩展性为基础,对低代码平台进行了研究和优化。介绍了基于容器化部署和自动化可扩展性的低代码平台的研究和优化,包括容器化部署在低代码平台中的应用和自动化可扩展性在低代码平台中的实现,并提出了优化低代码平台的性能和可扩展性的方法和策略。通过研究,提高了低代码平台的部署效率和可扩展性,为低代码开发提供了更好的支持和解决方案。     

基于运动生物力学的人体运动建模方法

针对当前关键帧运动数据捕获方法进行人体运动建模准确度低的问题,提出基于运动生物力学的人体运动建模方法。首先进行人体运动的生物力学数据分析和插值重建;然后构建运动状态方程进行人体运动建模关键数据的捕获和特征分析;最后进行仿真实验,结果表明,该方法提高了人体运动分析的准确率,对运动步行、跳跃、侧手翻等人体运动的重构能力好,结果具有一定的合理性。     

基于MDA的语义Web服务的组合与验证

针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.     

基于Simulink与DSP的无刷直流电机调速系统设计

针对无刷直流电机控制系统开发效率低、代码编写任务重,以及Simulink仿真模型与控制器关联度小的问题,文中设计一种以DSP为控制核心并基于Simulink建模自动生成代码的直流电机控制系统。首先,阐述系统方案设计,搭建Simulink与CCS5.5的软件编译环境,建立PWM控制的电机调速系统Simulink模型;其次,基于Embedded Coder自动生成技术生成DSP的可执行代码,利用CCS5.5编译下载到DSP控制器中运行。硬件电路由电机主体、驱动电路、控制电路和显示电路组成,通过改变DSP输出PWM波的占空比对直流无刷电机进行调速,对电机的转速进行计算,并通过OLED屏显示。结果表明,DSP调速系统的转速与理论值的误差在50 r/min以内,系统可在1 s内响应实现电机转速的调节。文中研究通过模型化设计可以极大地简化无刷直流电机控制系统的开发难度,提高开发效率,具有较高的工程应用价值。     

岩心库综合管理系统的多数据库兼容设计

岩心库综合管理系统的出现解决了石油地质部门大量实物地质资料的高速共享和统一管理,但现有的管理系统普遍存在支持数据库类型单一、代码复用性低、升级维护困难等问题,难以满足用户的需求。为解决这一实际问题,提出了一种基于.NET三层架构的解决方案,利用数据库统一建模和设计通用数据访问类,实现了岩心库管理系统的多数据库兼容,同时提高了系统的跨数据平台性和扩展性。     

基于敏感位置识别的状态化简技术研究

 模型构建是模型检验的基础,在微控制器代码模型构建过程中面临状态爆炸的问题。由于生成模型的状态数量与代码规模密切相关,通过简化代码可以有效缩减生成的状态数量。该文提出了敏感变量和敏感位置的概念,并以此为基础提出了结合子程序摘要信息的敏感位置识别算法;该算法从待验证的性质出发,提取敏感变量,识别代码中与敏感变量相关的敏感位置;模型构建过程中只对敏感位置对应代码进行建模,从而实现对模型状态的缩减。实验结果表明所提的方法能够有效缓解微控制器代码模型生成过程中的状态爆炸问题。     

基于组合积分系统的滤波

在信号分析与处理中,为获取信号中反映其特征的有用成分,常采用滤波方法去掉干扰成分。针对在工业控制领域数据分析与处理问题,提出基于组合积分系统滤波算法。分析数字滤波器滤波原理,由组合积分环节均值滤波本质,设计组合积分系统滤波算法,实现低通、高通、带通滤波的功能。利用Simulink建模仿真,实验结果表明,该设计效果良好,表明所提方法的可行性及有效性。     

政务信息资源交换体系设计与实现

本文针对我国电子政务建设普遍存在的信息孤岛问题,提出了以网络协同为手段,从信息资源规划入手,从根本上、贴合实际应用搞好业务梳理与功能建模、搞好数据分析与数据建模、搞好信息资源管理基础标准的建设,建立一个分布的、可扩展的、可集成的、有统一数据模型、有多种用户视角的、可交换的和安全可靠的系统,对各类政务资源（信息、服务、模型、人力）进行组织和管理,以统一的规范和方式对其进行分类描述和引用,从而促进分散的各类信息资源的共享、集成、整合和互操作.     

基于C代码的PSpice器件模型的实现方法

介绍了基于C代码的器件建模方法.该方法充分利用了PSpice新提供的器件方程开发包中的源代码,能以简单方便的方式实现仿真速度快、精度高的器件模型.以碳化硅器件模型的开发为例,详细介绍了C代码建模方法的实现过程.     

面向工业互联网的低代码开发平台研究

低代码开发技术因其支持开发人员和业务人员协同进行可视化快速迭代开发,成为企业数字化转型服务提供商构建服务生态的抓手。以工业互联网垂直领域应用的快速开发和落地为场景,进行了面向工业互联网的低代码开发平台的研发探索与应用实践,提出了工业赋能和跨框架组件复用的云化低代码开发平台技术架构,实现了ICT技术和OT技术在面向工业互联网的低代码开发平台的逐步融合,最后探讨了相关挑战和未来发展。     

数据分析技术工具发展现状及趋势

数据分析技术是大数据技术的重要组成部分,在数据的深度利用和价值释放中起着关键的作用。当前,全球分析技术发展迅速,数据分析各领域关键技术均取得了突破。从数据可视化、自动化数据建模、情景感知三大数据分析领域出发,介绍数据可视化、自动化数据建模、情景感知处理分析的技术现状,总结相关工具及应用,讨论数据分析技术和工具的发展趋势。     

代码覆盖与功能覆盖映射方法探究

本文通过介绍目前国际先进的软件测试代码覆盖统计技术,对白盒测试和黑盒测试的特点进行对比,分析两种方法的特点和不足,从而综合两种测试方法,对如何将代码覆盖信息转换为功能覆盖信息技术问题进行探究,解决如何将代码覆盖信息转换为功能覆盖信息技术问题,提供一种将代码覆盖信息转换为功能覆盖信息的方法,从功能角度设计新的测试用例覆盖未测试的代码,并提供了原型开发系统的示例,从而搭建白盒测试与黑盒测试之间桥梁,充分发挥白盒测试与黑盒测试各自特长,提高测试充分性和效率。     

适用于数字锁相环的快速建模方法

为解决数字锁相环基于晶体管级仿真速度慢的问题,提出一种适用于数字锁相环的快速高精度建模方法。该方法直接利用数字模块的设计代码作为输入的仿真文件,并根据Spice仿真结果用Verilog-A对模拟模块进行建模。由于Verilog设计代码能够准确的描述数字模块性能,而Verilog-A模型对模拟模块的各种电路特性都能准确模拟,因此该模型的仿真精度非常高。最终以一种数字锁相环结构为例建立数模混合模型进行仿真,验证了该设计方法的可行性和有效性。     

基于Stateflow的步进电机模型的代码生成技术研究

基于DSP的传统电机驱动代码的开发周期长、效率低、实现比较复杂。针对这一问题,文章提出利用Mathworks公司研发的Embedded Coder工具箱辅助DSP实现步进电机的代码生成。文章介绍了步进电机结构和串口通信机制,以及Embedded Coder和Stateflow实现步进电机代码和自定义UART通信协议代码的生成方法。本研究通过使用Stateflow设计步进电机代码模型,并利用Embedded Coder工具生成步进电机的执行代码,实现Simulink环境下DSP程序调试与步进电机系统开发。     

基于ETL及新型数据建模的智能报表系统设计与实现

随着大数据时代的到来,数据分析对于公司甚至是一个行业的发展逐步展现出其优越性和重要性。使用开源Kettle工具提供高效、支持异构的数据提取方案,通过新型数据建模完成不仅仅是数据查询,更重要的是大数据分析,能够为公司未来的发展决策提供重要依据。     

基于AADL和SCADE的模型驱动软件设计

模型驱动开发逐渐应用于嵌入式系统的软件设计,在软件设计阶段重点关注的是软件的架构模型和详细功能模型。用于嵌入式系统软件建模的语言和工具很多,其中结构分析与设计语言(AADL)模型可以构建嵌入式软件的架构,高安全性应用开发环境(SCADE)模型可以描述嵌入式软件的逻辑功能,将两者统一使用可以满足嵌入式软件概要设计和详细设计的建模需求。针对某飞行器控制系统,本文分别使用AADL和SCADE对飞行器控制系统软件架构和功能进行建模,利用KCG工具从SCADE模型自动生成C代码,通过手工代码和自动生成代码的集成完成控制系统部分软件设计。实际应用表明,采用AADL和SCADE相结合的建模方法适用于模型驱动开发在嵌入式软件设计中应用。     

成功的汽车开发建模标准合格性是关键

随着嵌入式系统设计越来越复杂，其模型扩展到数万个组成模块已是常见的系统设计，因此利用基于标准的建模准则增强设计代码的可读陛、可维护性及提升代码的复用，同时防止出现建模错误，正是系统设计商迫切的需求。The Math Works公司最新发布的2．0版MATLAB、Simulink和Stateflow控制算法建模新准则，     

模型编译器的实现与应用

实现了一个自动化的模型编译器(CAMC)。CAMC能够接受使用Verilog-AMS等行为级语言描述的器件模型,并按照标准电路仿真器的接口产生C语言代码。这些代码经过C语言编译器,可以和电路仿真器协同工作。同时介绍了CAMC的具体实现、优化算法和语法扩展,并给出了在MOSFET器件和传输线建模等方面的应用。     

不动产登记单元划分与代码编制分析

《不动产单元设定与代码编制规则》的出台为不动产登记单元划分与代码编制的相关内容提供了新的研究方向,本文在对不动产登记单元划分的相关问题展开讨论之后,阐述了不动产登记单元代码编制的相关注意事项,最后阐述了不动产登记单元划分与代码编制的相关发展策略。