-
公开(公告)号：CN103885771B
公开(公告)日：2017-05-24
申请号：CN201410075155.1
申请日：2014-03-04
Applicant: 西安电子科技大学
IPC: G06F9/44
Abstract: 本发明公开了一种基于局部最小化ROBDD及面积延迟优化的工艺映射的方法，通过ROBDD的域节点来产生部分备选划分，放松非关键路径上的节点延迟来优化面积的工艺映射方法；逻辑优化部分，采用了带共享的最小化Local ROBDD的数据结构，利用ROBDD的域节点及操作提高了电路分解效率，避免了由于枚举所有备选划分而造成的时间和内存的浪费；结构优化部分，改进了经典算法Flowmap为电路中的每个节点进行延迟标记最小化的思想，关键路径上进行min‑height min‑cost覆盖，非关键路径上进行min‑cost覆盖。本发明避免了产生所有备选划分的低效性和延迟与面积相互制约的缺点，满足了现场可编程器件芯片对LUT输入个数的要求，且达到优化电路面积和延迟的目标。
-
公开(公告)号：CN103164230B
公开(公告)日：2017-04-19
申请号：CN201310129016.8
申请日：2013-04-15
Applicant: 西安电子科技大学
IPC: G06F9/44
Abstract: 本发明公开了一种基于新特征模型的需求建模及模型转换方法，新特征模型通过添加“服务层”来扩展能力特征的层次结构以及增加了四个层次结构的质量特征建模；通过引入“可选集”将特征模型的5种情况简化为两种情况；其次，本发明依据新特征模型设计了需求建模流程，并依据转换规则将特征图转换为UML类图和UML用例图。基于新特征模型的需求建模方法极大地促进了软件需求资产的复用性并提高了软件的生产效率和质量；模型转换方法衔接了基于特征模型的需求建模方法和UML图建模方法。
-
公开(公告)号：CN103886137B
公开(公告)日：2017-02-08
申请号：CN201410074915.7
申请日：2014-03-03
Applicant: 西安电子科技大学
IPC: G06F17/50
Abstract: 本发明公开了一种实现现场可编程门阵列快速布局布线的方法，将退火函数应用于现场可编程门阵列FPGA布局的温度更新；采用了重复退火过程，得到每一次退火过程所能找到的最好解current_best，然后进行下一次退火过程；采用了考虑负载平衡的初始化布线方法，假设P为处理器个数，则创建P个线程，并将芯片分为P个区域，将信号分区域地划分到每个线程的任务集；采用了多线程并行执行布线迭代，P个线程根据并行化的A*寻址算法并发地为各自任务集中每个信号寻找当前最合适的路径进行布线；采用重布线拥挤信号的方法，完成一次布线迭代。本发明实现了对布线过程的加速，使得最终电路的延时和线长两个重要性能指标基本不变的情况下，布局布线速度有了显著加快。
-
公开(公告)号：CN103914587B
公开(公告)日：2017-01-25
申请号：CN201410074911.9
申请日：2014-03-03
Applicant: 西安电子科技大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于模拟退火/回火现场可编程门阵列布局的方法，采取混合模拟退火和模拟回火的方法。首先使用传统模拟退火方法，得到模拟退火所能找到的最好解current_best，并记录当解的接受率为44%时的温度temp44，建立从temp44到冰点温度的适宜的温度梯度{t1,t2,…,tm}，然后根据该温度梯度开始模拟回火方法，在这个过程中如果碰到了比current_best更好的解，用该解替换current_best，最终得到的current_best即为需要的最优解。将本发明公开的基于模拟退火/回火现场可编程门阵列布局的方法应用于支持FPGA（Field Programmable Gate Array）现场可编程门阵列开发的EDA软件的布局工具，最终得到的布局结果稳定性好，同时能提高电路的质量，降低关键路径上的延时，改善最终的布线线长。
-
公开(公告)号：CN106294780A
公开(公告)日：2017-01-04
申请号：CN201610663033.3
申请日：2016-08-12
Applicant: 西安电子科技大学
IPC: G06F17/30
CPC classification number: G06F17/30864 , G06F17/30908
Abstract: 本发明公开了一种从社交网络抽取MSVL模型的方法，所述从社交网络抽取MSVL模型的方法包括：通过网络爬虫或现有SNS数据包来获取感兴趣的SNS系统的数据信息；将获得的SNS系统信息进行分析，转化为统一的XML格式；将提取到的XML格式的SNS数据转化成MSVL程序，用形式化建模语言MSVL实现对SNS系统的建模。本发明对真实的SNS数据(网络爬虫获取或现有SNS数据包)进行分析，提取，转化为统一的XML格式，将XML文件当作中间层，屏蔽各种各样SNS数据格式对转化为形式化建模语言MSVL的影响。
-
Patent Agency Ranking
公开(公告)号：CN103885796B
公开(公告)日：2016-11-30
申请号：CN201410074912.3
申请日：2014-03-03
Applicant: 西安电子科技大学
IPC: G06F9/445
Abstract: 一种基于脚本工具的软件动态部署方法，其包括：S1提供一服务器，所述服务器加入新软件时，服务器端启动脚本自动生成程序并运行所述软件，所述自动脚本生成程序监控并记录安装过程中鼠标点击的控件句柄，并生成安装所述软件时的鼠标点击的脚本文件，且所述服务器设有数据库，所述脚本文件存入所述数据库中，且所述数据库还存有所述软件的基本信息；S2提供至少一个客户端，所述客户端检测目标机器物理环境配置并生成硬件信息记录文档并发送至服务器；S3服务器端将接收客户端发送来的硬件信息记录文档，并写入数据库；S4服务器选择软件与客户端并将待部署软件发送至客户端；S5若部署成功，则软件动态部署过程结束，若部署失败，则启动补偿策略。
-
公开(公告)号：CN103530228B
公开(公告)日：2016-09-28
申请号：CN201310455252.9
申请日：2013-09-27
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 一种基于模型的软件测试方法，包括如下步骤：S1.分析被测试软件，确定测试对象和测试特征;S2.选择和构造UML模型；S3.对UML模型进行验证，确保UML模型的正确性；S4.通过深度优先搜索算法遍历UML模型，自动生成测试用例，根据语句覆盖准则、判定覆盖准则、条件覆盖准则及路径覆盖准则等充分性准则计算相关的覆盖率，完成对测试用例的评估；S5.根据待测程序和所述UML模型得到的测试用例生成测试脚本，自动执行所述测试脚本，并保存执行测试脚本得到的实际输出结果；S6.根据测试用例的实际输出与预期输出的比较，得出测试结果，再根据测试目标与预先设定好的停止准则，决定是否需要修改模型或修改待测程序。
-
公开(公告)号：CN103257921B
公开(公告)日：2015-07-22
申请号：CN201310130862.1
申请日：2013-04-16
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于改进随机森林算法的软件故障预测系统及其方法，所述系统包括数据处理层、预测模型构建层和故障预测层，其故障预测过程是：首先计算用来得到训练模型的软件项目属性集合从而得到软件故障预测模型的训练数据集，对训练数据集进行平衡化处理；然后根据改进的随机森林算法构建预测模型；其次根据准确率以及查全率的性能限制来筛选模型；最后根据待测软件项目的属性集合信息及训练好的预测模型来对该软件项目进行预测并对预测结果和预测模型进行显示。本发明具有预测准确率高、性能稳定和执行效率高的优点，可评估最终的软件产品是否达到了规定的质量或者满足用户期望，且可指导开发人员制定软件测试和形式化验证资源的分配策略。
-
公开(公告)号：CN104731582A
公开(公告)日：2015-06-24
申请号：CN201510079118.2
申请日：2015-02-13
Applicant: 西安电子科技大学
Abstract: 本发明公开了一种基于MSVL的社交网络系统建模及隐私策略性质验证方法，首先采用框架投影时序逻辑程序设计语言MSVL对社交网络系统进行建模，同时采用命题投影时序逻辑PPTL描述其中的隐私策略性质，最后通过MSV解释器加以验证，得出该社交网络的隐私策略性质是否正确。本发明中，系统建模用MSVL程序，隐私策略性质用PPTL描述，MSVL是PTL的可执行子集，PPTL是PTL的命题子集，两者同属PTL框架结构，使得两者可以统一在MSV解释器中执行，相比于其他方法，本发明不需要调用另外的工具，也不需要再定义另外的逻辑语言、简单方便，而且MSV解释器可以给出准确的结果示意图。
-
公开(公告)号：CN104657542A
公开(公告)日：2015-05-27
申请号：CN201510040674.9
申请日：2015-01-27
Applicant: 西安电子科技大学
IPC: G06F17/50
Abstract: 本发明公开了一种基于MSVL的Petri网模型检测方法，首先利用现有的建模工具Workcraft建立Petri网系统模型，然后将该模型转换成等价的MSVL程序，为此本发明给出了分别由Petri网系统的顺序语意、并行语意和最大并行语意指导的三种转换方法；最后使用现有的MSVL支持工具MSV对生成的MSVL程序进行仿真、建模和验证。针对上述转换方法，本发明开发了转换工具PN3MSVL和PN4MSVL，使得工具MSV能够对Petri网系统的各种语意进行分析和验证。本发明解决了现有的Petri网模型检测方法难以充分验证各种语意的完全正则性质的问题。
-
-
-
-
-
-
-
-
-
Search Results
132
records
(took 0.028 seconds)
