-
公开(公告)号：CN106911785A
公开(公告)日：2017-06-30
申请号：CN201710121171.3
申请日：2017-03-02
Applicant: 西安电子科技大学
CPC classification number: H04L67/06 , H04L67/1061 , H04L67/28 , H04W28/021 , H04W40/04
Abstract: 本发明属于互联网计算技术领域，公开了一种移动点对点网络MHP2P的架构及相关服务实现方法。本发明基于一种稳定性和查询效率高、可扩展的HP2P网络，通过普通结点作为热点的形式使邻近的移动结点连接到普通结点，以使在原有网络拓扑结构不变的情况下可以较容易地融合移动结点。本发明每个普通结点看作附着在其上的移动结点的代理，通过代理来实现移动结点的资源发布、查询下载和元数据冗余等服务；其次还包括移动结点自身对局部单点失效的处理。本发明移动结点连接MHP2P网络的方式简单，易于实现；基于父结点的代理，实现了代码重用，解决了移动结点处理能力可能不足的问题；融合HP2P网络，保证了稳定性和高的查询效率。
-
公开(公告)号：CN106371887A
公开(公告)日：2017-02-01
申请号：CN201610980621.X
申请日：2016-11-08
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 本发明公开了一种MSVL语言的编译系统及方法，包括：MSVL前端和底层虚拟机后端；MSVL前端包括词法语法分析模块，预处理模块和中间代码生成模块；LLVM后端包括目标代码生成模块；所述MSVL语言的编译方法对MSVL中的简单语句用正则形的方法进行预处理，对复杂语句，分别对每个并发分量进行预处理，并对每个并发分量创建一个线程。本发明很好地解决了现有技术执行MSVL程序效率低，影响了程序验证和执行的效率的问题，提高了MSVL程序的执行和验证效率；根据程序本身复杂程度的不同，其执行速度可提高几十倍乃至上百倍；并且一次编译成功后程序可以反复执行，无需再次编译。
-
公开(公告)号：CN106326368A
公开(公告)日：2017-01-11
申请号：CN201610658112.5
申请日：2016-08-11
Applicant: 西安电子科技大学
IPC: G06F17/30
Abstract: 本发明公开了一种基于MSVL惰性并发链表建模和可线性化性质验证方法，利用MSVL对惰性并发链表建模、用PPTL描述其可线性化性质，最终在MSV平台中进行验证，确定该惰性并发链表的可线性化性质是否正确；用MSVL程序p为待验证的惰性并发链表建模，并使用PPTL公式φ描述所需要的性质。本发明的惰性并发链表用MSVL程序进行建模，可线性化性质用PPTL描述，而PPTL为PTL的命题子集，MSVL为PTL的可执行子集，因而MSVL和PPTL可以统一在MSV平台中执行，相比于其他方法，本发明不需要使用另外的形式语言，也不需要调用另外的工具、简单方便，而且MSV平台可以给出准确的结果示意图。
-
公开(公告)号：CN103150200B
公开(公告)日：2016-08-03
申请号：CN201310120182.1
申请日：2013-04-08
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 一种计算机语言转换系统，其用于将C语言程序转换成MSVL语言程序，其包括，词法分析模块，其将字符序列转换为单词序列，所述字符序列包括C语言中的关键字、标识符、常数、运算符、头文件以及注释行的定义；语法分析模块，其基于yacc中所规定的C语言的相关词法规则，进而识别出C语言中特定的语句；转换处理模块，其根据C语言与MSVL语言之间的语言转换规律将C语言转换成MSVL语言。
-
公开(公告)号：CN103294595B
公开(公告)日：2016-06-22
申请号：CN201310196339.9
申请日：2013-05-23
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 一种基于遗传算法的软件修复方法，其包括，A.将待修复程序表示为抽象语法树结构，并生成测试用例集，所述测试用例集中包含正测试用例和负测试用例，所述正测试用例为在程序中正确执行的测试用例，所述负测试用例为程序执行异常终止或者得出错误结果的测试用例；B.复制原始程序得到M个程序副本，对M个个体进行变异操作，设置程序进化的最大进化代数；C.确定适应度函数，将所述不变量作为计算适应度的不变量约束，对每个个体执行所有测试用例，计算通过的测试用例个数和不变量约束保持数目，通过计算得到每个个体的适应度值；D.遗传操作：对每一代种群中个体进行的遗传操作包括：变异、交叉和选择；E.终止条件判断。
-
Patent Agency Ranking
公开(公告)号：CN105653935A
公开(公告)日：2016-06-08
申请号：CN201610012054.9
申请日：2016-01-08
Applicant: 西安电子科技大学
IPC: G06F21/52
CPC classification number: G06F21/52
Abstract: 本发明公开了一种基于PPTL3的社交网络系统隐私安全运行时验证方法，对于待验证的性质P，用PPTL3公式来描述，然后分别将P与非P所对应的逻辑公式转化为范式，并进一步转化为范式图及带标记的范式图，根据后者可求得相应的Buchi自动机，通过改变接受集来定义一个有穷自动机并对其确定化，最终对有穷自动机求积以构造监控器；在此基础上，还公开了运行时验证在社交网络系统中的应用，通过PPTL3公式来描述社交网络应满足的性质，并建立相应的监控器，在系统运行的时候，对其进行监控以判断当前的运行是否满足该性质。
-
公开(公告)号：CN103235734B
公开(公告)日：2016-03-02
申请号：CN201310199628.4
申请日：2013-05-24
Applicant: 西安电子科技大学
IPC: G06F9/45
Abstract: 一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应的名字和原子命题映射规则将名字和原子命题映射为MSVL的通道和布尔变量，再将所述的系统模型通过进程转换规则转换为MSVL程序，采用区间动作前缀，即skip和Ip，为时间相关并发系统的时间相关行为建模，由于区间动作前缀考虑了时间，可以精确刻画时间相关行为；采用结构化的转换规则完成从p-π到MSVL的转换，鉴于规则具有高度的结构化对应关系，可以保证转换前后系统的结构等价性。
-
公开(公告)号：CN103246782B
公开(公告)日：2016-01-20
申请号：CN201310193926.2
申请日：2013-05-23
Applicant: 西安电子科技大学
IPC: G06F17/50
Abstract: 本发明公布了一种合理的自由选择工作流网到建模、仿真和验证语言（MSVL）的转换方法，本发明所述方法包括以下步骤：步骤一：将合理的自由选择工作流网转换成注释工作流网；步骤二：应用结构转换规则压缩所述注释工作流网，直至所述注释工作流网只剩一个变迁节点；步骤三：为所述变迁节点上注释的MSVL代码添加初始化、frame和过程定义语句，得到合理的自由选择工作流网的MSVL程序。转换得到的MSVL程序具有较强的可读性，而且可以用工具MSV对其进行仿真和验证，另外该转换方法很容易被修改从而用于生成其他并发编程语言的程序。
-
公开(公告)号：CN103268280B
公开(公告)日：2016-01-06
申请号：CN201310132421.5
申请日：2013-04-16
Applicant: 西安电子科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于距离度量和统计分析结合的软件故障定位系统及方法，所述系统包括总体输入模块、基于距离度量的故障定位模块、基于统计分析的故障定位模块以及定位结果展示模块，通过所述系统对目标软件进行故障定位：采用基于距离度量的软件故障定位和基于统计分析的软件故障定位进行故障定位，并得出语句的可疑度和非可疑度，然后前面两种方法得到的可疑度值和非可疑度值按照权值综合起来，用图形化的方式向用户展示故障定位结果，以友好的方式帮助用户排查软件故障。本发明结合了现有软件故障定位方法的优点，通过定义统一的路径格式可以针对普遍性软件进行软件故障定位，定位的准确率很高，实用性很强。
-
公开(公告)号：CN102611558B
公开(公告)日：2014-12-17
申请号：CN201210128858.7
申请日：2012-04-27
Applicant: 西安电子科技大学
IPC: H04L9/32
Abstract: 本发明公开一种基于幻方的多人共管电子账户密钥分配和身份认证方法，属通信安全领域，本发明提出单偶数幻方和双偶数幻方构造方法，利用规模不等、天文数量的幻方设计了多人共管电子账户密钥分配和身份认证方法。密钥分配方法在服务器端为每位用户分配账户密码、密钥密码和电子密钥，计算保存账户相关信息。规定时段内，所有用户在各自终端输入自己的账户密码，密钥密码和电子密钥完成多用户身份认证以进行修改操作；若多人身份认证失败，自动锁定并显示输错用户。利用账户密码完成单用户身份认证以进行查看操作。本发明时空复杂度低，保密信息难推测，安全高效且易于实现，可用于银行个人联名账户的网上银行业务、移动终端的多人共管电子账户。
-
-
-
-
-
-
-
-
-
Search Results
132
records
(took 0.033 seconds)
