-
公开(公告)号：CN116011173A
公开(公告)日：2023-04-25
申请号：CN202211505155.1
申请日：2022-11-28
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F30/20 , G06F9/54 , G06F111/02
Abstract: 本发明公开了一种融合科学计算环境和系统建模仿真环境的方法、系统，该方法包括：建立科学计算环境与系统建模仿真环境之间的数据通信，实现二者的数据共享；科学计算环境采用Julia语言，系统建模仿真环境采用Modelica模型；在实现科学计算环境与系统建模仿真环境之间数据共享的基础上，在Modelica模型中集成Julia函数代码，实现科学计算与系统建模仿真的代码互调。填充了国内在科学计算与系统建模的双向深度融合方面的技术空白。
-
公开(公告)号：CN113688532A
公开(公告)日：2021-11-23
申请号：CN202111008015.9
申请日：2021-08-30
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F30/20 , G06Q10/06 , G06Q50/02 , G06F111/04
Abstract: 本申请公开了一种矿山灾害预警方法以及装置、存储介质、电子装置。该方法包括获取所述GIS系统中的初始数据；将所述GIS系统在矿山作业进行过程中的更新数据输入预设数字孪生矿山系统，其中所述预设数字孪生矿山系统是基于所述GIS系统的初始数据通过modelica数字化建模得到的，所述modelica用于基于预设数字孪生矿山系统仿真出矿山灾害；通过所述预设数字孪生矿山系统的仿真结果对可能发生的矿山灾害进行预警。本申请解决了对于矿山灾害预警无法进行实时监测以及管控的技术问题。通过本申请实现了对矿山灾害的安全监测以及预警。
-
公开(公告)号：CN109857394A
公开(公告)日：2019-06-07
申请号：CN201910113770.X
申请日：2019-02-14
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F8/34 , G06F3/0484 , G06F3/0486
Abstract: 本发明涉及一种图形化飞行程序编排和检查验证系统、方法和存储介质。其主要包括：飞行指令数据库、约束规则库、光照及测控覆盖判断计算模块以及飞行程序编排单元。能够基于飞行指令数据库，通过图形化拖放式建模，快速搭建飞行程序，能够对飞行程序进行各种约束检查，同时能够对飞行程序进行自动化调整，不仅能解决人工编排和检查容易发生疏漏的问题，还能显著提升飞行程序编制效率。
-
公开(公告)号：CN106844009A
公开(公告)日：2017-06-13
申请号：CN201710030912.7
申请日：2017-01-17
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F9/455
Abstract: 本发明公开了一种基于Modelica的数字化仪表创建方法，包括1）利用MWorks仿真平台，创建一个模型作为数字化仪表模型；2）在模型文本中定义一个变量，该变量的值将作为数字化仪表上显示的数值；3）调用Modelica标准函数DynamicSelect，并将函数返回值赋给上述变量，将函数的第一参数设为常量表达式，将第二参数设为变量或变量引用；4）在MWorks参数面板中，将参数coupling_variable的值设置为上述定义的动态变量；5）将MWorks仿真模式设置为实时同步仿真，驱动模型进行仿真，数值显示器的数值动态变化展示了数字化仪表的效果；6）结束。本发明可以快速创建通用的数字化仪表，提高建模效率，创建出的数字化仪表具有较高的实时性和准确性，不易出错，适应虚拟数字化仪表的未来需求。
-
公开(公告)号：CN105607996A
公开(公告)日：2016-05-25
申请号：CN201510843598.5
申请日：2015-11-27
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F11/36
Abstract: 本发明公开了一种基于C代码模型的构件接口组装测试方法，包括以下步骤：源代码扫描，扫描所测的几个需要组装的函数的源代码；配置测例，组装测试针对多个接口的调用序列进行测例的配置；生成测试工程；代码编译；代码运行；结果检查。本发明所述的基于C代码模型的构件接口组装测试方法，通过识别构件代码中的需要打桩的接口，在生成测试代码时自动替换桩函数，从而在不改变被测代码的情况下实现测试用例代码的自动生成，便于进行手工调试，并提供测例配置界面和准确的测试输出信息，从而降低测试工作的复杂度，减轻测试的工作量，提高效率。
-
Patent Agency Ranking
公开(公告)号：CN105468525A
公开(公告)日：2016-04-06
申请号：CN201510843755.2
申请日：2015-11-27
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F11/36
CPC classification number: G06F11/3684 , G06F11/3688
Abstract: 本发明公开了一种基于C代码模型的构件接口单元测试方法，包括以下步骤：源代码扫描；配置测例；生成测试工程，其中被标记的外部调用函数若被确定为桩函数，则其代码用桩函数代码替换，若函数不被打桩，则其代码还是使用其原函数代码；代码编译；代码运行，得到运行输出结果；结果检查。本发明所述的基于C代码模型的构件接口单元测试方法，通过识别构件代码中的需要打桩的接口，在生成测试代码时自动替换桩函数，从而在不改变被测代码的情况下实现测试用例代码的自动生成，便于进行手工调试，并提供测例配置界面和准确的测试输出信息，从而降低测试工作的复杂度，减轻测试的工作量，提高效率。
-
公开(公告)号：CN102043657A
公开(公告)日：2011-05-04
申请号：CN201110034496.0
申请日：2011-02-01
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F9/445
Abstract: 本发明公开了一种物理建模语言Modelica的模型库文件序列化方法，其特征在于：在第一次加载模型库时，对Modelica模型库的源文件进行词法/语法分析，创建文档对象模型抽象语法树，通过序列化技术将文档对象模型抽象语法树的数据保存至序列化结果文件。同时公开了相应的反序列化方法。本发明通过预处理过程，在第一次加载模型库时，生成序列化结果文件，因而在以后加载模型库时，只需要直接从读取结果文件即可，避免每次都模型库进行词法语法解析，大大加快了模型库的加载速度。以Modelica2.1标准库为例，未使用本发明的方法时，加载时间为300秒，使用本发明的方法后，加载时间仅为600毫秒。
-
公开(公告)号：CN120067056A
公开(公告)日：2025-05-30
申请号：CN202510136298.7
申请日：2025-02-07
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F16/14 , G06F16/16 , G06F16/13 , G06F3/0483 , G06F3/04842
Abstract: 本发明公开了一种帮助文档处理方法、装置、电子设备及存储介质。所述方法包括响应于检索词输入操作，确定目标检索词；响应于文档检索操作，确定预先构建的目标帮助文档项目中与目标检索词关联的至少一个目标帮助文档，并显示至少一个目标帮助文档，目标帮助文档项目中包括路由跳转配置完成的多个帮助文档类目，每个帮助文档类目下包括多个应用帮助文档；响应于针对目标帮助文档的触发操作，路由跳转至目标帮助文档对应的目标文档类目，并显示目标文档类目下的应用帮助文档。本发明能够基于类目分块集成的帮助文档项目进行用户所需帮助文档的精准检索定位，提高文档检索定位的精准性和便捷性，以便用户基于所定位帮助文档对目标应用进行相关操作。
-
公开(公告)号：CN117785215A
公开(公告)日：2024-03-29
申请号：CN202311842425.2
申请日：2023-12-28
Applicant: 苏州同元软控信息技术有限公司
Abstract: 本申请实施例公开了一种端云一体化平台的实现方法、装置、电子设备及介质。该方法包括：在安装系统不同的客户端中，对科学计算平台的源码进行打包编译，得到客户端版本的科学计算平台代码；在云服务器中，基于代码运行工具对科学计算平台的源码进行打包编译，得到云端版本的科学计算平台代码；根据客户端版本和云端版本的科学计算平台代码，实现科学计算平台的端云一体化。上述方案能够解决目前客户端的平台与云端的平台相互独立，难以实现数据互通的问题，从而通过对同一套源码在客户端和云端分别进行编译打包得到科学计算平台代码，使客户端和云端共用相同的后端进行数据处理，从而实现科学计算平台的端云一体化。
-
公开(公告)号：CN109857394B
公开(公告)日：2022-04-19
申请号：CN201910113770.X
申请日：2019-02-14
Applicant: 苏州同元软控信息技术有限公司
IPC: G06F8/34 , G06F3/0484 , G06F3/0486
Abstract: 本发明涉及一种图形化飞行程序编排和检查验证系统、方法和存储介质。其主要包括：飞行指令数据库、约束规则库、光照及测控覆盖判断计算模块以及飞行程序编排单元。能够基于飞行指令数据库，通过图形化拖放式建模，快速搭建飞行程序，能够对飞行程序进行各种约束检查，同时能够对飞行程序进行自动化调整，不仅能解决人工编排和检查容易发生疏漏的问题，还能显著提升飞行程序编制效率。
-
-
-
-
-
-
-
-
-
Search Results
44
records
(took 0.031 seconds)
