-
公开(公告)号：CN103424189B
公开(公告)日：2015-04-22
申请号：CN201310374562.8
申请日：2013-08-24
Applicant: 西安电子科技大学
IPC: G01J3/28
Abstract: 本发明公开了一种红外多光谱成像系统性能测试装置及方法。所述装置包括控制处理机、滤光器控制器、数字温度控制器、靶轮控制器、多光谱靶标模拟器、多光谱光学准直仪。所述方法包括步骤：（1）设置参数；（2）生成三角形靶标；（3）获得靶标图像；（4）获得方向指向辨识数据；（5）记录方向指向判断结果；（6）判定方向指向判断次数是否足够；（7）获得正确判断概率；（8）判定热对比度的设置次数是否足够；（9）获得三角形方向鉴别阈值；（10）判定空间频率的设置次数是否足够；（11）判定光谱差异系数的设置次数是否足够；（12）获得二维三角形方向鉴别阈值曲面。本发明能够全面测试红外多光谱成像系统的综合性能。
-
公开(公告)号：CN104281480A
公开(公告)日：2015-01-14
申请号：CN201410531029.2
申请日：2014-10-10
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 本发明公开了一种基于时序逻辑语言MSVL的函数调用方法，首先判断被调用函数的类型是MSVL函数、有返回值的外部函数还是无返回值的外部函数，根据不同的函数类型对被调用函数进行定义或者修改其定义；然后判断函数调用的位置，根据不同的函数调用位置以及相应的被调用函数类型，以不同的方式进行调用。本发明可以在同一程序中以不同的方式对被调用函数进行解释；并且在MSVL程序中可以调用由C语言和Java语言编写的函数，有利于多种不同编程语言程序的集成，有效降低程序开发的难度，提高代码复用率。
-
公开(公告)号：CN104182216A
公开(公告)日：2014-12-03
申请号：CN201410334324.9
申请日：2014-07-15
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种MSVL中结构体以及结构体指针类型的扩展解释系统，具体包括结构体类型定义模块、结构体变量定义声明模块、结构体变量存储模块和结构体及结构体指针类型赋值操作处理模块；在该系统的基础上，还公开了一种MSVL中结构体以及结构体指针类型的扩展方法，该方法在MSVL基本数据类型(包括整型、浮点型、字符型、字符串型)和指针类型的基础之上扩展了结构体类型和相应的结构体指针类型，解决了现有MSVL中数据类型单一，应用范围窄的问题，使得MSVL可用于相对复杂的多数据类型系统的建模、仿真和验证。
-
公开(公告)号：CN104168430A
公开(公告)日：2014-11-26
申请号：CN201410406429.0
申请日：2014-08-18
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种基于TDI CCD焦平面编码的超分辨率光学成像装置，所述装置包括离轴三反光学系统、TDI CCD耦合编码模板、光学TDI CCD探测器和图像重构模块；本发明还公开了一种基于TDI CCD焦平面编码的超分辨率光学成像方法，包括设置光学TDI CCD探测器焦平面阵列、设置TDI CCD耦合编码模板、获取四幅同一场景的低分辨率编码图像阵列、图像预处理及超分辨率图像重构五个步骤。本发明可捕获到目标场景更多信息，提高超分辨率成像能力，提高采样频率，减少混淆效应。
-
公开(公告)号：CN103916327A
公开(公告)日：2014-07-09
申请号：CN201410106285.7
申请日：2014-03-21
Applicant: 西安电子科技大学
IPC: H04L12/803 , H04L29/08
Abstract: 一种HP2P网络负载平衡的方法，其包括，HP2P网络群间负载平衡的方法，通过群分裂以及群在网络地址空间的移动来实现群之间的负载转移，并通过新节点加入负载较大的群诱导群发生分裂和合并从而使得负载较大的地址空间群数目较多，负载较小的地址空间群数目较少；HP2P网络群内负载平衡的方法，通过超级节点对群内负载有效的调度，使群内负载率较低的节点找到群内负载率较高的节点。
-
Patent Agency Ranking
公开(公告)号：CN103606185A
公开(公告)日：2014-02-26
申请号：CN201310646195.2
申请日：2013-12-03
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种微光电视成像中的光晕仿真方法，主要解决传统实验研究方法代价高和效率低的问题。其实现步骤是：（1）在基于OGRE的三维场景仿真平台上，导入强光源和微光电视成像器件的三维模型，生成三维微光场景；（2）在三维微光场景中，根据微光电视系统内部电子运动规律、光电转换原理和微通道板散射理论，统计到达荧光屏的电子量；（3）以到达荧光屏的电子量为依据，通过系统电压信号转换原理及灰度量化原理，实现光晕灰度分布的模拟。本发明精度高、适应面广、实时性强，能实现强光源在微光电视系统中成像的精确仿真。
-
公开(公告)号：CN103530228A
公开(公告)日：2014-01-22
申请号：CN201310455252.9
申请日：2013-09-27
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。
-
公开(公告)号：CN103455362A
公开(公告)日：2013-12-18
申请号：CN201310454977.6
申请日：2013-09-27
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 本发明公开了一种硬件语言自动转换系统，所述转换系统包括词法分析模块，将字符序列转换为tokens，所述字符序列包括Verilog语言中的关键字、标识符、常数、字符串、运算符以及注释符；语法分析与语义检查模块，其中，语法分析基于Bison中规定的Verilog语言的语法规则，识别出Verilog程序中的表达式、语句、过程快、模块等结构，语义检查在语法分析的同时进行；中间表示存储，将得到Verilog源文件的各种结构体，以模块为单位作为中间表示；转换模块，根据Verilog语言与MSVL语言之间的语言转换规则将Verilog语言转换成MSVL语言。
-
公开(公告)号：CN103268280A
公开(公告)日：2013-08-28
申请号：CN201310132421.5
申请日：2013-04-16
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于距离度量和统计分析结合的软件故障定位系统及方法，所述系统包括总体输入模块、基于距离度量的故障定位模块、基于统计分析的故障定位模块以及定位结果展示模块，通过所述系统对目标软件进行故障定位：采用基于距离度量的软件故障定位和基于统计分析的软件故障定位进行故障定位，并得出语句的可疑度和非可疑度，然后前面两种方法得到的可疑度值和非可疑度值按照权值综合起来，用图形化的方式向用户展示故障定位结果，以友好的方式帮助用户排查软件故障。本发明结合了现有软件故障定位方法的优点，通过定义统一的路径格式可以针对普遍性软件进行软件故障定位，定位的准确率很高，实用性很强。
-
公开(公告)号：CN103246926A
公开(公告)日：2013-08-14
申请号：CN201310196431.5
申请日：2013-05-23
Applicant: 西安电子科技大学
IPC: G06Q10/00
Abstract: 一种基于目标和场景的用例驱动需求获取方法，（1）将所述目标和场景分成四层结构，所述四层结构包括业务层、服务层、交互层和内部层；（2）引导用户填写表格，从而获取需求（3）将步骤2所获取的需求转化为目标场景表格，并把目标场景表格转换为用例表格；（4）将所述用例表格转换为用例图，并通过用例图生成活动图、序列图和状态图；（5）非功能性需求和功能性需求相关，把用户添加后的非功能需求模板转换为可视化的非功能需求图和软目标树。设计并实现了目标和场景四层结构，方便需求分析人员和用户交互；将目标和场景获取的需求转换为用例模型；提供了用例模型到UML需求模型的转换。
-
-
-
-
-
-
-
-
-
Search Results
132
records
(took 0.039 seconds)
