-
公开(公告)号：CN103684891A
公开(公告)日：2014-03-26
申请号：CN201210316757.2
申请日：2012-08-30
Applicant: 中国科学院软件研究所 , 中科方德软件有限公司
Abstract: 本发明公开了一种MVB协议分析仪及其工作方法，属于列车网络通信领域。本发明MVB分析仪包括ARM核心、FPGA核心、MVB接口、LCD触摸屏；其中，ARM核心与FPGA核心通信连接，FPGA核心收到ARM核心发出的数据采集指令后进行数据采集并解码后传输给ARM核心，收到ARM核心的停止数据采集指令时，停止数据采集；ARM核心根据TCN协议对列车MVB网络数据进行数据解析；LCD触摸屏与ARM核心连接，负责人机交互功能，用于协议分析软件操作及相关数据显示。本发明的MVB分析仪携带方便，而且不需搭建软件运行环境，既可以在列车未出厂时为调试人员使用也可以在出厂运行时使用，对操作人员的专业性要求不高。
-
公开(公告)号：CN103678101A
公开(公告)日：2014-03-26
申请号：CN201210333675.9
申请日：2012-09-10
Applicant: 中国科学院软件研究所
IPC: G06F11/36
Abstract: 本发明涉及一种检测高速列车网络控制系统的可靠性的方法，通过可靠性测试过程中获取的错误发生时间数据，根据Jelinski-Moranda模型的公式，使用极大似然估计方法获取模型参数，再代入模型公式获得系统的各个可靠性参数的结果来判断系统是否满足可靠性要求。本发明通过测试过程中获取的错误发生时间数据，使用可靠性增长模型推导的公式，可以定量评估软件可靠性的参数，同时可以预计还需要多少测试时间或发现多少问题才能使软件达到可靠性要求，为测试人员或管理人员控制测试进度，把握项目进度提供参考。而且本发明的检测系统与使用的程序设计语言无关。软件系统可靠性的检测与选用什么程序语言来编写软件之间没有直接联系。
-
公开(公告)号：CN103561384A
公开(公告)日：2014-02-05
申请号：CN201310547983.6
申请日：2013-11-07
Applicant: 中国科学院软件研究所
Abstract: 本发明提出了一种基于移动智能终端地理位置信息的数据保护方法，基于地理位置信息的个人数据保护应用程序客户端读取并记录当前智能移动终端的地理位置信息，通过选择加密保护某地理位置区域内的个人数据功能，并设定该地理位置的保险箱密钥；当用户手机再次进入已设定加密保护的地理位置区域时，基于地理位置信息个人数据保护客户端会自动判断出用户智能终端已经进入该地理位置区域，在该区域内产生的文件和数据将自动进行加密保护。本发明改进了移动智能终端用户隐私数据加密保护方式，为特定需求的用户提供了自动、批量的数据加密保护方式，充分利用了移动智能终端移动性的特点，满足了用户对数据保护的需求，同时实现了节时、高效的特点。
-
公开(公告)号：CN101930362B
公开(公告)日：2013-04-24
申请号：CN201010247053.5
申请日：2010-08-06
Applicant: 中国科学院软件研究所
IPC: G06F9/44
CPC classification number: G06F11/3672
Abstract: 本发明公开了一种TTCN语言与数据描述语言的集成方法，属于软件工程领域。本发明的方法为：1)待集成数据描述语言文件的翻译与序列化；2)采用所选中间语言对TTCN语言文件进行翻译，得到TTCN语言文件的中间代码文件；3)将该数据描述语言文件的数据定义信息向TTCN运行环境注册；4)执行TTCN语言文件的中间代码文件，采用注册的编解码接口，对接收的码流解码为抽象数据值，或对抽象数据进行编码后发送。本方法提供了TTCN与多种数据表示语言的通用描述集成，可以应用于多个领域中单个或多个设备测试和验证、测试环境仿真和验证等。
-
公开(公告)号：CN101930362A
公开(公告)日：2010-12-29
申请号：CN201010247053.5
申请日：2010-08-06
Applicant: 中国科学院软件研究所
IPC: G06F9/44
CPC classification number: G06F11/3672
Abstract: 本发明公开了一种TTCN语言与数据描述语言的集成方法，属于软件工程领域。本发明的方法为：1)待集成数据描述语言文件的翻译与序列化；2)采用所选中间语言对TTCN语言文件进行翻译，得到TTCN语言文件的中间代码文件；3)将该数据描述语言文件的数据定义信息向TTCN运行环境注册；4)执行TTCN语言文件的中间代码文件，采用注册的编解码接口，对接收的码流解码为抽象数据值，或对抽象数据进行编码后发送。本方法提供了TTCN与多种数据表示语言的通用描述集成，可以应用于多个领域中单个或多个设备测试和验证、测试环境仿真和验证等。
-
Patent Agency Ranking
公开(公告)号：CN1967572A
公开(公告)日：2007-05-23
申请号：CN200510086935.7
申请日：2005-11-18
Applicant: 中国科学院软件研究所
IPC: G06Q10/00
Abstract: 本发明提供了一种用于业务密集型领域的业务过程管理方法，包括步骤：1)根据领域应用中各部分功能结构关系定义业务过程的基本元素集，所述的基本元素集包括：活动集、规则集、活动之间的结构关系集和事件集；2)根据约定的映射规则，将所定义的业务过程模型中元素映射至可执行业务过程语言。本发明还提供了与该方法相对应的系统，包括：业务过程模型编辑器，用于编辑融合宏观的业务实体和微观的业务逻辑的业务过程模型；业务过程映射器，用于将业务模型编辑器中输出的业务过程模型映射为标准的可执行业务过程语言；业务过程引擎，用于驱动可执行的业务过程语言，实现业务过程管理系统的自动执行。
-
公开(公告)号：CN1786996A
公开(公告)日：2006-06-14
申请号：CN200510053523.3
申请日：2005-03-08
Applicant: 中国科学院软件研究所
IPC: G06Q10/00
Abstract: 本发明涉及一种在工作流管理中针对参与者的动态分配方法，用于实现多变业务过程中工作流参与者的动态分配。它通过建立工作流程及流程中各个活动的行为目标，以及系统中参与者的外部接口和内部结构约束，根据行为目标匹配参与者的外部接口和内部结构，由此宿定过程和活动的参与者为人员个体或动态组织，适应业务过程运作中参与者的不确定性调整。分布在异构环境中的工作流参与者可以首先建立其外部接口和内部结构约束关系，通过定义行为目标映射为参与者的映射准则，从而保证存在冲突的参与者不被加入到动态组织中。本发明能够极大地适应分布环境中参与者的动态变化。
-
公开(公告)号：CN119918507A
公开(公告)日：2025-05-02
申请号：CN202510390267.4
申请日：2025-03-31
Applicant: 中国科学院软件研究所
IPC: G06F40/151 , G06F40/16
Abstract: 本发明涉及编译器优化技术领域，提供一种基于多级中间表示与知识库的Pass流水线自动生成方法，通过从待转化文件的当前方言集合中选择得到待转换方言，并从知识库中搜索待转换方言适用的目标Pass；在目标Pass对所述待转换方言进行转化成功的情况下，将转化后的当前方言集合作为更新方言集合；重复从更新方言集合中选择得到待转换方言，并从知识库中搜索得到待转换方言适用的目标Pass，直至完成待转化文件向目标方言集合的转化，将各轮次得到的目标Pass作为Pass流水线，实现了准确、可靠、性能更优且通用性强的自动化Pass流水线生成。
-
公开(公告)号：CN117459226A
公开(公告)日：2024-01-26
申请号：CN202311422288.7
申请日：2023-10-30
Applicant: 中国科学院软件研究所
Abstract: 本发明公开了一种基于CPU‑GPU异构平台的SM3密码恢复方法。本方法为：1)CPU端读取存储待恢复密码的目标哈希值的哈希文件并对其进行解析，得到目标哈希值；2)CPU端初始化OpenCL运行环境，配置内核运行环境；3)CPU端生成候选密码并将其写入GPU显存；4)GPU线程从GPU显存中读取候选密码，并行计算每一候选密码的哈希值，判断计算结果与目标哈希值是否匹配，根据匹配结果生成对应候选密码的标志位并将其写入GPU显存；5)当所有线程都完成计算后，CPU端从GPU显存中读取标志位信息；根据标志位确定是否找到目标密码，如果找到目标密码则结束并释放当前资源；否则返回步骤3)，直至找到目标密码。
-
公开(公告)号：CN115186635A
公开(公告)日：2022-10-14
申请号：CN202210818650.1
申请日：2022-07-12
Applicant: 中国科学院软件研究所
IPC: G06F40/166 , G06F40/253 , G06F40/14
Abstract: 本发明公开了一个基于思维导图的PDDL问题计算方法及系统。所述方法包括：基于要编辑的PDDL问题，得到domain.pddl文件，并根据所述domain.pddl文件，确定编辑所述domain.pddl文件对应的PDDL问题所需要的组件信息；利用所述组件信息，对所述PDDL问题进行思维导图编辑；解析所述思维导图，得到problem.pddl信息；根据所述problem.pddl信息与所述PDDL问题对应的domain，生成problem.pddl文件；基于所述domain.pddl文件与所述problem.pddl文件，得到所述PDDL问题的解。本发明能够为用户利用PDDL求解规划问题提供便利。
-
-
-
-
-
-
-
-
-
Search Results
86
records
(took 0.063 seconds)
