软件模型

摘要： 上海市出台的《关于全面推进上海城市数字化转型的意见》提出,要以数字维度全方位赋能城市迭代进化、加速创新。为此,上海市各区大数据中心纷纷发力,重点关注数据权益保障、数据流通利用、数据安全管理等内容,结合数字经济相关市场主体的发展瓶颈,最大程度促进数据流通和开发利用、赋能数字经济和社会发展。近年来,上海市公共数据治理工作稳步推进。

摘要： 拼接币是一种利用拼接技术合成的假币,拼接工具是人们日常生活中用到的胶带.通过对采集的人民币图像进行处理来识别人民币是否为拼接币,可以大大提高ATM机的识别准确性,给银行运营和广大群众的生活带来保障.文章利用ATM机伪钞识别系统中现成的硬件来实现拼接币的识别,从而节省ATM机升级所需的费用,对于改善ATM机的自动识别系统在阻止各类利用ATM机犯罪事件上具有很大的意义.

摘要： 藏式传统建筑装饰工艺品是融合西藏文化、审美、民俗、信仰等于一体的工艺结晶,广泛应用于藏式建筑领域.藏式传统建筑装饰工艺主要以工匠的高超手工技艺完成,独具魅力与艺术价值,需要永久性保护.今天随着建筑业的迅速发展,需要规模化的建筑装饰品.我们通过3D打印技术尝试了部分藏式建筑装饰品的复制技术,发现具有较高的立体仿真效果.3D打印藏式建筑装饰品的基本方法是通过对原装饰品进行3D扫描,形成软件模型,精心修饰软件模型,达到满意效果后由3D打印机打印产品.再经过珠光、蒸汽平滑或砂纸打磨等流程处理表面抛光,形成最终产品.我们使用PLA等材料打印了藏式建筑雕花、吉祥八宝(扎西达杰)和相关藏式喷焰宝、佛塔等工艺品二十多种.发现3D打印藏式工艺品,总体效果良好,但是由于藏式建筑等相关工艺品表面纹路复杂,一般3D扫描仪或打印机较难处理精细、复杂的纹路,需要由专业的相关软件来做补充处理.3D打印技术最大优点是一旦建立装饰品的模型软件,可以永久保存数字化的艺术品,对贵重、稀少、容易失传的工艺品具有重要的保护意义.尽管机器产品无法替代手工艺术价值,但是在批量需求领域可以随时批量打印三维的工艺品,大大提高制作效率.

摘要： 随着软件安全性的重要性日益增长,使用模型驱动的方法进行软件开发越来越受到重视.针对目前存在跨域模型的集成障碍,提出了一种基于元建模技术提取多视角模型信息进行存储的方法,并详细阐述了针对AADL、SysML、Simulink三种建模语言设计的建模元素解析、集成描述文件生成的方法框架.实验结果表明:按照所提方法实现的模型仓库能够准确提取出不同视角模型间的集成相关信息,在能够正确存储、查询的条件下,实现的元素数量覆盖率均在90％以上.

摘要： 业界针对保护产品开展软件模块级的白盒动态测试越来越多,而相应的测试工具却较少.为了进一步提升智能保护装置产品的质量,设计了一款软件模块动态仿真测试工具,该工具创新地构建装置仿真数据模型,实现对软件模块的运行环境仿真;通过自动分析软件模块源代码,实现测试用例的自动生成;通过任务链表控制测试流程;通过预期数据与实际数据的对比实现自动判断测试结果,最终达到测试流程规范、测试过程高度自动化的效果.实际应用效果表明,该工具能显著提高测试效率、降低测试难度、规范测试流程,已成为保障装置产品质量的重要技术手段.

摘要： 为了提高雷达参数测试软件的开发效率及测试仪器的互换性,通过对雷达参数测试进行详尽的用例需求分析,在归纳总结测试需求的基础上使用UML语言建立了基于需求驱动的雷达参数测试软件开发模型,并详细介绍了模型中的类图设计方法;实践表明该模型能够在雷达参数测试中完成雷达装备天线增益、天线方向图及灵敏度等相应测试项目的 组合配置,大大提高了测试软件的开发效率及仪器的互换性,对于其他装备参数软件开发也具备一定的参考、借鉴价值.

摘要： 针对当前全权限数字式电子控制(FADEC)系统研制过程中安全性评估工作不充分和不准确的问题,中国航发动控所创新团队开展了基于模型仿真的''失效模式和影响分析''(FMEA)工作,实现了故障模式对系统功能、性能影响的定性、定量和动态化分析,显著提高了复杂系统安全性评估的准确性和效率,降低了数控系统的研发成本,缩短了研制周期。

摘要： 造成软件项目失败的原因经过一些机构的调查,根据调查报告显示结果来看,需求规格不充分和需求的改变占有很大比例.所以项目需求是项目开发的基础,对于软件项目的开发,无论采取何种开发模型,项目需求是软件项目开发的基石.

摘要： 造成软件项目失败的原因经过一些机构的调查,根据调查报告显示结果来看,需求规格不充分和需求的改变占有很大比例.所以项目需求是项目开发的基础,对于软件项目的开发,无论采取何种开发模型,项目需求是软件项目开发的基石.

摘要： 针对软件工程技术在系统软件开发中的应用进行分析,介绍了传统软件工程和软件系统的分析和运用。结合这些内容,探讨了软件工程技术在系统软件开发中的应用,内容主要有:适用局限性分析,现代软件工程理念,软件模型的科学构建。希望通过对这些内容的分析,能够促使软件工程技术在系统软件开发中得到科学应用。

摘要： 随着航空技术不断发展，特别是具有综合化航空电子系统、数字电传操作系统的飞机的出现，机载嵌入式计算机和电子设备的使用日益增多，功能更为复杂，导致对设备维修性、测试性要求越来越高。机内测试(BIT)技术是指系统或设备内部提供的测试和隔离故障的自动测试。针对机载嵌入式产品BIT软件如何实现的问题,根据BIT的种类和测试时机的不同,分别构建两套软件模型(BPBIT和GBIr)予以实现;并根据机载电子产品硬件系统的组成,分类介绍了关键类硬件的BIT测试算法,重点介绍了非易失性存储设备和I/O接口设备测试算法,并在实际系统中得到了应用和验证.介绍的软件模型及测试算法具有一定的实用价值，并已在实际系统中得到了应用，但面对机载电子技术的高度发展，还需进一步研究新硬件的测试算法和优化现有的测试算法，使BIT技术得到进一步的发展。

摘要： 介绍了一种测量控制设备的通用化软件模型，实现了时序控制、触发控制和实时测量.rn 在某测量控制设备的研制过程中，利用数据库技术实现了该数学模型，采用模块化设计技术编写了测控软件。提高了系统开发效率，便于设计人员使用。

摘要： 本文介绍了汽车电子模块软件开发流程,分析了当前汽车电子模块开发在主机厂与零部件商间存在的矛盾,提出了建立以基于软件模型的控制器开发方法。以一个小型车身控制器为例,说明了控制器软件开发过程的一个重要阶段,通过进行该阶段的开发研究,验证模块逻辑控制关系,使其最初的功能及需求定义更为合理。

摘要： 数字电视接收设备的内置软件是一个复杂的系统，它包括设备驱动软件、中间件软件系统和应用程序系统。这类软件系统集成综合在一起构成开放式数字电视软件平台，而数字电视中间件就是介于数字电视接收设备驱动层和应用软件层之间的软件系统，它使应用软件和特定的硬件平台相互分离。介绍了数字电视中间件技术的软件模型，主要论述了数字电视软件平台的层次结构，并按照模块化的思想对数字电视中间件各个模块进行设计，此外论文详述了各个模块的功能和模块之间的通信机制。

摘要： 针对现代化战争中,多弹协同作战性能测试与保障的实际需求,提出一种基于云测试的装备分布式测试系统.依托云测试系统体系架构,并充分结合分布式测试系统的相关技术,从系统硬件模型和软件模型两个方面详细阐述了基于云测试的分布式测试系统的架构、组成及功能.与传统的分布式测试系统相比,本系统将云计算技术、虚拟化技术、动态资源管理技术、自动测试技术、网络技术等相关技术融合在一起,实现了共享测试资源、提高装备测试保障效率的目的.

摘要： 从无刷直流电机的基本结构出发,联系直接转矩控制理论,提出了改进型无刷直流电机直接转矩控制系统,在对系统的基本原理和组成部分进行充分分析的基础上,利用Matlab/Simulink建立了无刷直流电机直接转矩控制系统的软件模型.仿真结果表明改进型直接转矩控制系统具有良好的动静态性能.

摘要： 针对2H-4000轮机仿真训练器的通讯量大、高可靠性的要求,设计了如下的数据通讯方案:软件模型采用分布式运算架构,用通讯代理实现数据在共享内存中的通讯；采用USB2.0技术实现盘台数据与计算机之间的通讯.实际运行效果显示.数据通讯方案实现了2H-4000轮机仿真训练器的可靠性、易维护性、可扩展性和数据通讯的快速性.

摘要： 提出了仪器技术中的物理世界、数字世界、信息世界三个世界观点,并指出了虚拟仪器的基本思想是以数字世界中的软件算法模型实现物理世界巾的仪器测量原理,以数据变换处理代替信号变换处理,实现信息的获取和传递。最后,讨论了虚拟仪器技术中的优点与不足。1)软件模型;2)自定义功能;3)标准化通用硬件平台;4)公共软件平台;5)与计算机紧密结合;6)标准化独立软件模块;7)解决测量难题;8)智能仪器与集成仪器方向;9)不确定度评定;10)实时性差;11)量化误差;12)操作复杂;13)指标不规范。

摘要： 阐述了基于高职教学的“软件模型”法进行GPS高程拟合的步骤，提出了相应的精度估算方法，结合测区的GPS和水准测量的数据分析，证实了所阐述的高程拟合方法的有效性，并给出了一些建议。

摘要： 本文总结了上海交通大学在数字化校园建设中应用WCF技术的经验，探讨了信息共享平台的建设模式，指出了WCF技术在实际应用应重点考虑的问题及解决方案，对高校信息化建设具有较高的借鉴价值。

摘要： 本发明提供软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法。软件行为模型化装置(100)包括：事件信息取得部(110)，其取得表示在软件的运行中发生的特定事件的事件信息；堆栈信息取得部(120)，其取得在发生特定事件的时刻存储在暂存器中的堆栈信息；模型生成部(130)，其根据包含在堆栈信息中的返回地址存储在暂存器中的存储位置，对返回地址设定得分，并使用存储位置以及得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。

摘要： 软件动作模型化装置(100)具备：堆栈信息记录部(120)；终端信息记录部(150)；使用终端信息记录部(150)记录的终端信息，作为堆栈差分信息生成将从堆栈信息的调用堆栈上位开始到检测到终端信息为止的信息相互联结后的信息的堆栈差分信息生成部(130)；以及根据堆栈差分信息，生成该软件的动作模型的模型生成部(140)。

摘要： 本发明提供软件行为模型化装置、软件行为模型化方法、软件行为验证装置以及软件行为验证方法。软件行为模型化装置(100)包括：事件信息取得部(110)，其取得表示在软件的运行中发生的特定事件的事件信息；堆栈信息取得部(120)，其取得在发生特定事件的时刻存储在暂存器中的堆栈信息；模型生成部(130)，其根据包含在堆栈信息中的返回地址存储在暂存器中的存储位置，对返回地址设定得分，并使用存储位置以及得分，对所述特定事件与所述要素之间的关系进行模型化，生成所述软件的行为模型。

摘要： 软件动作模型化装置(100)具备：堆栈信息记录部(120)；终端信息记录部(150)；使用终端信息记录部(150)记录的终端信息，作为堆栈差分信息生成将从堆栈信息的调用堆栈上位开始到检测到终端信息为止的信息相互联结后的信息的堆栈差分信息生成部(130)；以及根据堆栈差分信息，生成该软件的动作模型的模型生成部(140)。

摘要： 本发明涉及一种用于建立软件需求模型的系统及建立软件需求模型的方法，用于建立软件需求模型的系统包括一个独立的或是计算机内部建立的软件需求信息处理器，还有输入设备和输出接口；所述软件需求信息处理器包括：一个软件需求信息单元，一个建立场景单元，一个建立行为模型单元，一个软件需求模型检测、修改和输出单元。建立软件需求模型的方法步骤为：A、输入软件需求信息；B、建立场景；C、建立行为模型；D、检测、修改和输出软件需求模型。本发明优点在于，通过使用场景和视点技术，能够为复杂软件系统的建立高质量的需求模型，自动检测软件系统的需求是否正确和完整，能兼容一些其它的建模方法和技术，还能减少研究成本，提高研究效率。

摘要： CAD软件、UG软件与CAE软件之间的模型传输方法，属于软件应用技术领域。CAD软件与CAE软件之间的模型传输方法，包括：步骤一：Sat文件的输出，借助CAD软件生成的二维模型，用创建面域的方法使有限元软件ANSYS读入；步骤二：Sat文件的读入，运行CAE软件，直接读入CAD软件生成的Sat文件。UG软件与CAE软件之间的模型传输方法，包括：步骤一：Parasolid文件的输出，借助UG软件生成三维模型，将UG生成的模型输出为Parasolid格式的文本文件，并通过＊.db模块生成参数化模型；步骤二：Parasolid文件的读入，运行CAE软件，直接读入UG软件生成的Parasolid文件。

摘要： 基于移动点的FSQ-RWD软件可靠性增长模型及该模型的修正模型，涉及软件故障修正技术。它为了解决软件故障修正模型不能详细地刻画软件故障修正过程的问题。本发明针对故障修正服务台动态调整而产生移动点，利用移动点技术，建立考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即FSQ-RWD-CP模型。在此模型基础之上，进一步建立了既考虑故障修正过程中的不完美排除，又考虑排错等待延迟的基于移动点和有限服务台的软件可靠性增长模型，即修正的FSQ-RWD-CP模型，能够更准确地描述软件测试的实际情况。本发明适用于软件故障修正。

摘要： 本发明提供一种恶意软件检测模型训练、恶意软件检测方法及装置，恶意软件检测模型训练方法包括：获取多个恶意软件；确定各恶意软件对应的训练合成行为图；对训练合成行为图添加第一标签；根据训练合成行为图获取一个或多个训练公共行为图，各训练公共行为图分别对应一个恶意软件家族，对训练公共行为图添加第二标签；将训练合成行为图和训练公共行为图输入到图匹配模型中得到第一相似系数；若第一相似系数和第二相似系数的差值小于预设相似系数，将当前的图匹配模型确定为恶意软件检测模型。本发明通过提取训练公共行为图缩小了在检测恶意软件时的检测范围，提高了恶意软件检测模型的检测速度，以及检测结果的准确性。

摘要： 本发明公开了一种基于软件元模型构造软件模型的通用软件建模方法,在确定软件元模型基础组元后通过以软件层级模型、软件接口模型、软件交互模型、软件算法模型、软件流程模型、软件传输模型为步骤要素构造软件模型，为各个领域提供具有运算性、通用性、易用性优点的软件建模规范:本发明构造的软件模型结构清晰，层次可调，建模粒度可控，具有可被运算的充分一致性；方法统一，既方便自顶向下分析设计，也方便自底向上实现集成，适用于各种软件系统建模；建模要素数量少，建模方法简单，即使不了解建模语言和计算机程序语言的普通领域人员，也能独立轻松构造软件模型，免除了对专业建模人员或程序开发人员的依赖和沟通，建模时间大大缩短。

摘要： 本发明公开了一种基于软件元模型构造软件模型的通用软件建模方法,在确定软件元模型基础组元后通过以软件层级模型、软件接口模型、软件交互模型、软件算法模型、软件流程模型、软件传输模型为步骤要素构造软件模型，为各个领域提供具有运算性、通用性、易用性优点的软件建模规范:本发明构造的软件模型结构清晰，层次可调，建模粒度可控，具有可被运算的充分一致性；方法统一，既方便自顶向下分析设计，也方便自底向上实现集成，适用于各种软件系统建模；建模要素数量少，建模方法简单，即使不了解建模语言和计算机程序语言的普通领域人员，也能独立轻松构造软件模型，免除了对专业建模人员或程序开发人员的依赖和沟通，建模时间大大缩短。