-
公开(公告)号：CN104156264B
公开(公告)日：2017-10-10
申请号：CN201410381993.1
申请日：2014-08-01
Applicant: 西北工业大学
Abstract: 本发明实施例提供了一种基带信号处理中的任务调度方法，涉及计算机技术领域，可以提高基带信号处理的实时性和吞吐量。所述方法包括：应用发送任务到调度器，调度器根据所述任务的属性将所述任务放到相应的任务队列中；调度器定期检查m个GPU的flag_GPU标志，检查完成后得到m个GPU共需要的任务数m′；然后为所述GPU选取依据排序后的m′个任务，并且所述m′个任务继承其所属任务队列的preDeviee属性；根据所述m′个任务各自的preDevice属性，将所述m′个任务分配给预取处理器，使所述GPU执行所述m′个任务；每个任务执行完成后需要执行完成的任务所属队列的flag置为有效；直到各个任务队列为空。
-
公开(公告)号：CN104102513B
公开(公告)日：2017-06-16
申请号：CN201410341238.0
申请日：2014-07-18
Applicant: 西北工业大学
IPC: G06F9/445
Abstract: 本发明实施例提供了一种基于Kepler架构的CUDA运行时参数透明优化选择方法，涉及CUDA编程技术领域，可以节省核函数获得性能优化的配置运行时参数所用时间。所述方法包括：后台服务端解封截获端发送过来的封装后的调用请求，获得核函数的运行时参数信息；后台服务端根据核函数的运行时参数信息计算出核函数所需线程总数，从而确定其所属线程数等级；然后根据所确定的线程数等级来修改线程块的大小，进而计算获得修改后的线程块数量和修改后的共享内存大小；最后，后台服务端将修改后的核函数运行时参数与核函数执行部分发送给后台服务端的CUDA运行时层进行执行。
-
公开(公告)号：CN103714208B
公开(公告)日：2017-05-17
申请号：CN201310723207.7
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的一个子图；所得到的子图还原为CPS系统子结构图；在该结构模型基础上针对每一个实体构建动态行为模型，之后按照场景事件流图中事件的交互关系组合实体的行为模型；通过将结构模型与行为模型结合起来，通过场景驱动的方法先构建系统结构模型的一个视图，即针对该场景的一个子结构模型，之后构建该结构中实体之间的动态的交互行为模型，实现结构模型与行为模型的协同建模。
-
Patent Agency Ranking
公开(公告)号：CN103699743B
公开(公告)日：2017-01-25
申请号：CN201310723208.1
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型的形式化定义HPM，并在满足模型转换一致性的前提下建立CPS-ADL模型元素与HP模型元素之间的转换规则；基于这些转换规则，将具体CPS的模型描述代码自动转换为混合程序；按照定理证明器KeYmaera的输入格式，由混合程序和以动态微分逻辑描述的系统属性公式生成KeYmaera的输入文件；在KeYmaera中打开输入文件，进行推理验证。本发明细化了基于CPS-ADL模型向HP转换的方法和机制，实现了CPS-ADL模型元素向HP模型元素转换的规则。
-
公开(公告)号：CN104123452A
公开(公告)日：2014-10-29
申请号：CN201410341239.5
申请日：2014-07-18
Applicant: 西北工业大学
IPC: G06F19/00
Abstract: 本发明实施例提供了一种基于模糊决策的GPU的负载评价方法，涉及计算机技术领域，可以正确对GPU的负载进行评价。所述方法包括：针对一个GPU来说，获得n时刻所述GPU的负载向量，然后计算获得n时刻评价负载用的评价负载向量L，综合所述评价负载向量L中的元素utilization，memory，pstates，以及occupancy进行模糊评判，获得模糊判决矩阵R；根据用户给出的诸因素权重分配为：W＝(w1，w2，w3，w4)以及模糊判决矩阵计算获得综合评价A，对所述综合评价A进行归一化处理获得A′，根据最大隶属度原则获得所述GPU的负载情况。
-
公开(公告)号：CN104102513A
公开(公告)日：2014-10-15
申请号：CN201410341238.0
申请日：2014-07-18
Applicant: 西北工业大学
IPC: G06F9/445
Abstract: 本发明实施例提供了一种基于Kepler架构的CUDA运行时参数透明优化选择方法，涉及CUDA编程技术领域，可以节省核函数获得性能优化的配置运行时参数所用时间。所述方法包括：后台服务端解封截获端发送过来的封装后的调用请求，获得核函数的运行时参数信息；后台服务端根据核函数的运行时参数信息计算出核函数所需线程总数，从而确定其所属线程数等级；然后根据所确定的线程数等级来修改线程块的大小，进而计算获得修改后的线程块数量和修改后的共享内存大小；最后，后端服务器将修改后的核函数运行时参数与核函数执行部分发送给后台服务端的CUDA运行时层进行执行。
-
公开(公告)号：CN103699743A
公开(公告)日：2014-04-02
申请号：CN201310723208.1
申请日：2013-12-25
Applicant: 西北工业大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型的形式化定义HPM，并在满足模型转换一致性的前提下建立CPS-ADL模型元素与HP模型元素之间的转换规则；基于这些转换规则，将具体CPS的模型描述代码自动转换为混合程序；按照定理证明器KeYmaera的输入格式，由混合程序和以动态微分逻辑描述的系统属性公式生成KeYmaera的输入文件；在KeYmaera中打开输入文件，进行推理验证。本发明细化了基于CPS-ADL模型向HP转换的方法和机制，实现了CPS-ADL模型元素向HP模型元素转换的规则。
-
公开(公告)号：CN102222040A
公开(公告)日：2011-10-19
申请号：CN201110154978.X
申请日：2011-06-09
Applicant: 西北工业大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于多属性熵权合成的软件可信等级评估方法，首先定义待评软件的可信属性集合并获取支持这些可信属性的证据项，根据证据类型不同，对每一个可信证据进行度量，获取度量结果，然后获取软件可信证据对软件可信属性的基本信任分配函数，对软件可信证据进行分类及合成，利用不确定熵计算不同证据类合成结果的权重并得到可信属性的支持度，最终确定基于规则评估软件可信等级。本发明解决了不同应用领域、不同类别的软件可信度量及可信分级问题，提高了可信评估的可靠性和真实性，解决了证据本身不确定性问题。
-
-
-
-
-
-
-
Search Results
68
records
(took 0.025 seconds)
