检索结果-维普期刊中文期刊服务平台

基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型被引量：2: 1; 作者唐浩坤刘宴兵 +1 位作者黄俊张衡《计算机科学》 CSCD 北大核心 2013年第5期141-146,共6页; 良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性... 展开更多; 关键词结构化P2P网络逻辑矩阵蠕虫对抗节点搅动; 在线阅读下载PDF 职称材料

互连网络拓扑等价的图分析法与逻辑名矩阵被引量：1: 2; 作者艾军李再光曹明翠《电子学报》 EI CAS CSCD 北大核心 1994年第8期91-94,共4页; 本文提出了互连网络拓扑等价的图分析法和描述网络逻辑名结构的逻辑名矩阵。报导了全交叉网络的光学实验研究结果，阐述了光互连铰叉网络在巨型计算机系统和电信交换系统领域的潜在应用。; 关键词互连网络拓扑等价逻辑名矩阵; 在线阅读下载PDF 职称材料

C反编译中逻辑分支语句的识别及复合研究: 3; 作者张龙杰谢晓方袁胜智《计算机工程与应用》 CSCD 北大核心 2010年第13期40-43,52,共5页; 在进行软件逆向工程的过程中,对C反编译后的逻辑分支语句结构进行了形式化的描述,将图论领域中的与或图概念应用到逻辑分支语句的识别上来,克服了相关识别算法的局限性。求解与或图的过程中,提出了逻辑关联矩阵的概念,通过执行动态剪枝... 展开更多; 关键词反编译识别算法复合算法逻辑分支语句与或图逻辑关联矩阵软件逆向工程; 在线阅读下载PDF 职称材料

逻辑控制图表在动车组调试方法中的应用: 4; 作者王垚沈华波 +1 位作者邴晨阳居法云《铁道机车车辆》 2015年第5期113-115,共3页; 通过对动车组调试现状的分析,提出了基于可视化展示方式的逻辑控制图表的实现思路,将复杂的动车组逻辑控制系统转换为直观、易操作的逻辑控制图表,并采用逻辑控制代码和矩阵作为数据的分析基础,便于车间调试人员对信息的获取,也有利于... 展开更多; 关键词逻辑控制矩阵逻辑控制代码自动化调试系统; 在线阅读下载PDF 职称材料

块序列布尔网络的拓扑结构被引量：2: 5; 作者宋金利李志强《控制理论与应用》 EI CAS CSCD 北大核心 2015年第2期142-149,共8页; 利用矩阵的半张量积,通过建立逻辑变量与向量的对应,块序列布尔网络被表示为离散时间系统,将对序列布尔网络的研究转化为对结构矩阵的研究.块序列布尔网络的结构矩阵是一个逻辑矩阵,利用逻辑矩阵的1特征值与和1特征向量的特殊性质,从矩... 展开更多; 关键词半张量积布尔网络特征向量逻辑矩阵; 在线阅读下载PDF 职称材料

城市高密地区的理性高密增长——福州八一七路多重制约背景下的规划探讨被引量：3: 6; 作者刘博敏《南方建筑》 2008年第4期72-77,共6页; 城市中心的发展就是城市中心地区在某些方面的效益增长,传统概念上常指空间上量的增长。城市中心都处于城市高密地区,可用改造建设用地有限时,有时还会遇到历史文化保护区的制约,只从物质空间上寻求进一步增长显得很难。要从看似很难形... 展开更多; 关键词城市中心逻辑矩阵分析高密增长理性高密增长; 在线阅读下载PDF 职称材料

基于设备功能的智能变电站二次设备状态评估方法研究被引量：20: 7; 作者陈军王利平 +2 位作者朱小红杨琪任杰《电测与仪表》北大核心 2019年第3期47-51,57,共6页; 当智能变电站发生故障/告警时,二次系统网络中数据量异常庞大,此时快速、准确的定位到故障/告警位置,查找到故障原因是十分困难的。一般的二次设备状态评估方法以物理设备性能为指标并利用算法进行指标评价,并未对设备中的逻辑模型进行... 展开更多; 关键词智能变电站逻辑模型影响因子功能逻辑矩阵; 在线阅读下载PDF 职称材料

具有遗忘个体的社会网络多维观点动力学分析与应用被引量：2: 8; 作者刘青松李明鹏柴利《自动化学报》 EI CAS CSCD 北大核心 2023年第10期2201-2210,共10页; 在个体观点演化过程中,由于通讯技术和实际环境的限制,个体之间往往不能进行充分的交流.另一方面,由于社会群体的从众压力影响,个体会改变已形成的观点.为此,研究了具有遗忘个体和从众压力的拟强连通社会网络中表达/私人观点演化问题.... 展开更多; 关键词多维观点动力学遗忘个体逻辑矩阵表达观点私人观点; 在线阅读下载PDF 职称材料

VHDL和MAX+PLUS在设计数字电路中的应用: 9; 作者卜庆凯贾振红赵光胜《现代电子技术》 2004年第19期109-111,共3页; 以 VH DL为开发工具 ,以 MAX+ PL U S 为开发环境 ,以几个典型芯片为例 ,采用符合国际工业标准的 V HDL语言的行为级描述方法 ,以自上而下的方式重新设计了芯片。; 关键词多阵列矩阵及可编程逻辑用户系统Ⅱ 硬件描述语言进程仿真; 在线阅读下载PDF 职称材料

题名基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型被引量：2: 1; 作者唐浩坤刘宴兵黄俊张衡; 机构电子科技大学计算机科学与工程学院重庆邮电大学通信与信息工程学院西南大学计算机与信息科学学院; 出处《计算机科学》 CSCD 北大核心 2013年第5期141-146,共6页; 基金 "新一代宽带无线移动通信网"国家科技重大专项课题(2011ZX03002-004-03) 重庆市高等教育成果转化项目(Kjzh10206) 公安部信息网络安全重点实验室项目(C11609)资助; 文摘良性蠕虫对抗恶性蠕虫是结构化P2P环境下应对蠕虫攻击的有效手段之一,但是已有模型对对抗环境下蠕虫传播过程的描述过于复杂。针对这个问题,提出一种简单的结构化P2P蠕虫对抗模型。该模型利用逻辑矩阵对结构化P2P网络中恶性蠕虫与良性蠕虫的对抗传播过程进行形式化描述,借助模型可以快速地推导出对抗环境下影响恶性P2P蠕虫传播效率的关键因素。此外考虑到P2P节点搅动特征对蠕虫传播的重大影响,将节点变化率引入到模型中,以提高模型的准确性。实验表明,借助形式化逻辑矩阵能有效地降低对抗环境下蠕虫传播模型的复杂度,快速地发现制约蠕虫传播的关键因素,为后续的蠕虫防御提供指导。; 关键词结构化P2P网络逻辑矩阵蠕虫对抗节点搅动; Keywords Structured P2 P network Logic matrix Worm-anti-worm P2 P churn; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名互连网络拓扑等价的图分析法与逻辑名矩阵被引量：1: 2; 作者艾军李再光曹明翠; 机构广东工学院计算机系; 出处《电子学报》 EI CAS CSCD 北大核心 1994年第8期91-94,共4页; 文摘本文提出了互连网络拓扑等价的图分析法和描述网络逻辑名结构的逻辑名矩阵。报导了全交叉网络的光学实验研究结果，阐述了光互连铰叉网络在巨型计算机系统和电信交换系统领域的潜在应用。; 关键词互连网络拓扑等价逻辑名矩阵; Keywords Interconnection network Optical interconnect Photonic switching Parallel computer architecture; 分类号 TN711 [电子电信—电路与系统]; 在线阅读下载PDF 职称材料

题名C反编译中逻辑分支语句的识别及复合研究: 3; 作者张龙杰谢晓方袁胜智; 机构海军航空工程学院兵器科学与技术系; 出处《计算机工程与应用》 CSCD 北大核心 2010年第13期40-43,52,共5页; 文摘在进行软件逆向工程的过程中,对C反编译后的逻辑分支语句结构进行了形式化的描述,将图论领域中的与或图概念应用到逻辑分支语句的识别上来,克服了相关识别算法的局限性。求解与或图的过程中,提出了逻辑关联矩阵的概念,通过执行动态剪枝策略,大大简化了算法复杂度。最后给出算法实例和复杂度分析,验证了算法的正确性和有效性。; 关键词反编译识别算法复合算法逻辑分支语句与或图逻辑关联矩阵软件逆向工程; Keywords decompilation recognition algorithm composite algorithm logic compound sentences logic diagram logical correlation matrices software reverse engineering; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名逻辑控制图表在动车组调试方法中的应用: 4; 作者王垚沈华波邴晨阳居法云; 机构南车青岛四方机车车辆股份有限公司技术工程部北京航天测控技术有限公司; 出处《铁道机车车辆》 2015年第5期113-115,共3页; 文摘通过对动车组调试现状的分析,提出了基于可视化展示方式的逻辑控制图表的实现思路,将复杂的动车组逻辑控制系统转换为直观、易操作的逻辑控制图表,并采用逻辑控制代码和矩阵作为数据的分析基础,便于车间调试人员对信息的获取,也有利于自动化调试系统中测试数据的自动接收、分析与判读,可以有效提高动车组的调试效率和准确率。; 关键词逻辑控制矩阵逻辑控制代码自动化调试系统; Keywords logic control matrix logic control code automatic test system; 分类号 U266.2 [机械工程—车辆工程]; 在线阅读下载PDF 职称材料

题名块序列布尔网络的拓扑结构被引量：2: 5; 作者宋金利李志强; 机构河南财经政法大学数学与信息科学学院; 出处《控制理论与应用》 EI CAS CSCD 北大核心 2015年第2期142-149,共8页; 基金国家自然科学基金项目(61203050 61374079 +3 种基金 11202068) 河南省高等学校哲学社会科学研究"三重"重大项目(专项)(2014--SZZD--30)资助~~; 文摘利用矩阵的半张量积,通过建立逻辑变量与向量的对应,块序列布尔网络被表示为离散时间系统,将对序列布尔网络的研究转化为对结构矩阵的研究.块序列布尔网络的结构矩阵是一个逻辑矩阵,利用逻辑矩阵的1特征值与和1特征向量的特殊性质,从矩阵特征值和特征向量的角度研究了块序列布尔网络的拓扑结构,显式表示出了不同长度极限环的个数,并指出网络的极限环总数等于(2n-结构矩阵的秩).; 关键词半张量积布尔网络特征向量逻辑矩阵; Keywords semi-tensor product Boolean network eigenvector logical matrix; 分类号 O157.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名城市高密地区的理性高密增长——福州八一七路多重制约背景下的规划探讨被引量：3: 6; 作者刘博敏; 机构东南大学建筑学院; 出处《南方建筑》 2008年第4期72-77,共6页; 文摘城市中心的发展就是城市中心地区在某些方面的效益增长,传统概念上常指空间上量的增长。城市中心都处于城市高密地区,可用改造建设用地有限时,有时还会遇到历史文化保护区的制约,只从物质空间上寻求进一步增长显得很难。要从看似很难形成空间增长的城市中心里寻求新的增长途径,理性高密增长模式是一种值得尝试的方法。与传统单纯物质空间高密增长模式不同,理性高密增长是立足于目标效益增长的多维发展模式,作者在福州八一七路规划中,尝试从物质空间、功能格局、活动构成与环境特色四个方面,寻求合适地区效益增长的可行发展方式,借助于逻辑矩阵比较分析,为规划混沌局面突破提供一些具有创新理念的策略与技术方法。; 关键词城市中心逻辑矩阵分析高密增长理性高密增长; Keywords the central area of a city,logic matrix analysis,high-density growth,effective higher-density growth; 分类号 TU984.11+1 [建筑科学—城市规划与设计]; 在线阅读下载PDF 职称材料

题名基于设备功能的智能变电站二次设备状态评估方法研究被引量：20: 7; 作者陈军王利平朱小红杨琪任杰; 机构四川电力调度控制中心电子科技大学电力系统广域测量与控制四川省重点实验室; 出处《电测与仪表》北大核心 2019年第3期47-51,57,共6页; 文摘当智能变电站发生故障/告警时,二次系统网络中数据量异常庞大,此时快速、准确的定位到故障/告警位置,查找到故障原因是十分困难的。一般的二次设备状态评估方法以物理设备性能为指标并利用算法进行指标评价,并未对设备中的逻辑模型进行评估。文章利用设备中的逻辑模型建立了功能集合与评价逻辑设备功能的指标体系,并以影响功能的影响因子作为触发计算的条件,完成判别功能状态的逻辑矩阵。实例证明该方法对故障判别与查找有很大的帮助。; 关键词智能变电站逻辑模型影响因子功能逻辑矩阵; Keywords smart substation logic model influence factor functional logic matrix; 分类号 TM933 [电气工程—电力电子与电力传动]; 在线阅读下载PDF 职称材料

题名具有遗忘个体的社会网络多维观点动力学分析与应用被引量：2: 8; 作者刘青松李明鹏柴利; 机构武汉科技大学信息科学与工程学院浙江大学工业控制技术全国重点实验室浙江大学控制科学与工程学院; 出处《自动化学报》 EI CAS CSCD 北大核心 2023年第10期2201-2210,共10页; 基金国家自然科学基金(61903282,61625305) 中国博士后科学基金(2020T130488)资助。; 文摘在个体观点演化过程中,由于通讯技术和实际环境的限制,个体之间往往不能进行充分的交流.另一方面,由于社会群体的从众压力影响,个体会改变已形成的观点.为此,研究了具有遗忘个体和从众压力的拟强连通社会网络中表达/私人观点演化问题.为刻画不同话题之间表达/私人观点的相互影响,提出一个新的多维观点动力学模型.根据逻辑矩阵和网络影响子矩阵的正则性,给出表达观点和私人观点收敛的充分条件.应用本文所提出的观点动力学模型,复现了“多元无知”的社会现象.仿真分析表明,从众压力的恢复力越小,表达观点与私人观点的差异越大.; 关键词多维观点动力学遗忘个体逻辑矩阵表达观点私人观点; Keywords Multidimensional opinion dynamics oblivion individuals logic matrices expressed opinions private opinions; 分类号 O157.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名VHDL和MAX+PLUS在设计数字电路中的应用: 9; 作者卜庆凯贾振红赵光胜; 机构新疆大学信息科学与工程学院; 出处《现代电子技术》 2004年第19期109-111,共3页; 文摘以 VH DL为开发工具 ,以 MAX+ PL U S 为开发环境 ,以几个典型芯片为例 ,采用符合国际工业标准的 V HDL语言的行为级描述方法 ,以自上而下的方式重新设计了芯片。; 关键词多阵列矩阵及可编程逻辑用户系统Ⅱ 硬件描述语言进程仿真; Keywords MAX+PLUSⅡ VHDL process simulation; 分类号 TP312 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于形式化逻辑矩阵的结构化P2P蠕虫对抗模型	唐浩坤刘宴兵黄俊张衡	《计算机科学》 CSCD 北大核心	2013	2	在线阅读下载PDF 职称材料
2	互连网络拓扑等价的图分析法与逻辑名矩阵	艾军李再光曹明翠	《电子学报》 EI CAS CSCD 北大核心	1994	1	在线阅读下载PDF 职称材料
3	C反编译中逻辑分支语句的识别及复合研究	张龙杰谢晓方袁胜智	《计算机工程与应用》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
4	逻辑控制图表在动车组调试方法中的应用	王垚沈华波邴晨阳居法云	《铁道机车车辆》	2015	0	在线阅读下载PDF 职称材料
5	块序列布尔网络的拓扑结构	宋金利李志强	《控制理论与应用》 EI CAS CSCD 北大核心	2015	2	在线阅读下载PDF 职称材料
6	城市高密地区的理性高密增长——福州八一七路多重制约背景下的规划探讨	刘博敏	《南方建筑》	2008	3	在线阅读下载PDF 职称材料
7	基于设备功能的智能变电站二次设备状态评估方法研究	陈军王利平朱小红杨琪任杰	《电测与仪表》北大核心	2019	20	在线阅读下载PDF 职称材料
8	具有遗忘个体的社会网络多维观点动力学分析与应用	刘青松李明鹏柴利	《自动化学报》 EI CAS CSCD 北大核心	2023	2	在线阅读下载PDF 职称材料
9	VHDL和MAX+PLUS在设计数字电路中的应用	卜庆凯贾振红赵光胜	《现代电子技术》	2004	0	在线阅读下载PDF 职称材料