期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
使用输出分组和电路可满足性的等价性验证算法 被引量:3
1
作者 郑飞君 严晓浪 +2 位作者 葛海通 杨军 卢永江 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第11期2484-2488,共5页
介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用... 介绍了一种使用电路可满足性解算器的组合电路等价性验证算法.对包含多输出的复杂验证问题,首先对联接电路作输出分组,将等价性验证问题转化为包含若干个组的电路可满足性问题,继而使用电路解算器解决问题.同时,注意各个子问题间的有用隐含信息的共享,减小了SAT推理的搜索空间.实验结果表明,该算法是实用有效的. 展开更多
关键词 等价性验证 输出分组 电路可满足性
下载PDF
NEMO模式系统基于“天河一号”的存储性能分析与优化 被引量:1
2
作者 朱小谦 孙超 +2 位作者 孟祥飞 张保 冯景华 《计算机应用》 CSCD 北大核心 2012年第5期1411-1414,共4页
在"天河一号"超级计算机上测试NEMO模式系统,针对NEMO模式在进行大量进程并发存储时所导致的整体应用性能下降问题,提出了并发进程分组输出优化方法。通过将大量并发存储的进程进行合理分组并排队输出,以解决大量进程同时读... 在"天河一号"超级计算机上测试NEMO模式系统,针对NEMO模式在进行大量进程并发存储时所导致的整体应用性能下降问题,提出了并发进程分组输出优化方法。通过将大量并发存储的进程进行合理分组并排队输出,以解决大量进程同时读写文件时对存储资源的竞争所导致的存储效率下降问题。测试表明,在使用分组输出优化方法后,NEMO模式GYRE012算例的存储性能最高可提升33%以上,总体时间性能最高可提升28%以上。 展开更多
关键词 “天河一号” 并发进程分组输出 NEMO模式系统 GYRE012算例 LUSTRE文件系统
下载PDF
SFBC MIMO-OFDM系统中基于循环移位和盲检测的低复杂度SLM算法 被引量:4
3
作者 杨霖 胡武君 何向东 《电子学报》 EI CAS CSCD 北大核心 2015年第8期1637-1641,共5页
为了降低空频分组编码的多输入多输出正交频分复用(Space Frequency Block Coding Multiple Input Multiple Output Orthogonal Frequency Division Multiplexing,SFBC MIMO-OFDM)系统中传统选择性映射(Selected Mapping,SLM)算法的计... 为了降低空频分组编码的多输入多输出正交频分复用(Space Frequency Block Coding Multiple Input Multiple Output Orthogonal Frequency Division Multiplexing,SFBC MIMO-OFDM)系统中传统选择性映射(Selected Mapping,SLM)算法的计算复杂度,本文提出了结合时域信号的循环移位和等效SFBC编码来产生更多具有不同峰均功率比(Peak to Average Power Ratio,PAPR)的备选序列的方法.接收端通过比较反向旋转序列与最近星座点的距离来恢复出循环移位因子和相位旋转因子,从而实现接收信号的盲检测.仿真结果表明,本文提出方法能有效地抑制SFBC MIMO-OFDM系统的PAPR.另外,本文提出方法明显降低了传统SLM算法的计算复杂度,而且可以获得与传统SLM算法在已知边带副信息情况下相似的比特误码率(Bit Error Rate,BER)性能. 展开更多
关键词 空频分组编码的多输入多输出正交频分复用 选择性映射 峰均功率比 循环移位 盲检测
下载PDF
异构多智能体系统分组输出时变编队跟踪控制 被引量:15
4
作者 田磊 赵启伦 +2 位作者 董希旺 李清东 任章 《航空学报》 EI CAS CSCD 北大核心 2020年第7期295-306,共12页
空地协同控制是前沿的热点研究之一,以无人机、无人车为代表的空地智能体动力学模型的差异为研究带来了挑战。研究了高阶异构多智能体系统在有向拓扑条件下的分组输出时变编队跟踪控制问题,提出了虚拟领导者、分组领导者以及跟随者组成... 空地协同控制是前沿的热点研究之一,以无人机、无人车为代表的空地智能体动力学模型的差异为研究带来了挑战。研究了高阶异构多智能体系统在有向拓扑条件下的分组输出时变编队跟踪控制问题,提出了虚拟领导者、分组领导者以及跟随者组成的三层协同控制架构。虚拟领导者用于规划整个多智能体系统的状态轨迹,分组领导者跟踪虚拟领导者所提供的轨迹信息,并相互协作以实现分组间的协同配合。跟随者跟踪分组领导者的输出并实现期望的输出编队。在有向通信拓扑结构条件下,基于局部邻居间的相对信息、观测器理论和滑模控制理论构造了控制协议,利用Lyapunov稳定性理论证明协议的有效性。数值仿真结果表明提出的方法能够实现无人机、无人车等异构智能体的空地协同,具有较好的工程应用价值。 展开更多
关键词 空地协同控制 高阶异构多智能体系统 分组输出时变编队跟踪 滑模控制 观测器理论
原文传递
Modeling and Control of Nonlinear Discrete-time Systems Based on Compound Neural Networks 被引量:1
5
作者 张燕 梁秀霞 +2 位作者 杨鹏 陈增强 袁著祉 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2009年第3期454-459,共6页
An adaptive inverse controller for nonliear discrete-time system is proposed in this paper. A compound neural network is constructed to identify the nonlinear system, which includes a linear part to approximate the no... An adaptive inverse controller for nonliear discrete-time system is proposed in this paper. A compound neural network is constructed to identify the nonlinear system, which includes a linear part to approximate the nonlinear system and a recurrent neural network to minimize the difference between the linear model and the real nonlinear system. Because the current control input is not included in the input vector of recurrent neural network (RNN), the inverse control law can be calculated directly. This scheme can be used in real-time nonlinear single-input single-output (SISO) and multi-input multi-output (MIMO) system control with less computation work. Simulation studies have shown that this scheme is simple and affects good control accuracy and robustness. 展开更多
关键词 adaptive inverse control compound neural network process control reaction engineering multi-input multi-output nonlinear system
下载PDF
USER SELECTION FOR SINR-BASED UPLINK MULTIUSER MIMO SYSTEMS
6
作者 Zhang Xiaoge Xu Chengqi 《Journal of Electronics(China)》 2009年第4期492-496,共5页
To avoid the exhaustive search, we propose a fast user selection algorithm for Signal-to-Interference-plus-Noise-Ratio (SINR)-based multiuser Multiple-Input Multiple-Output (MIMO) systems with Alamouti Space-Time Bloc... To avoid the exhaustive search, we propose a fast user selection algorithm for Signal-to-Interference-plus-Noise-Ratio (SINR)-based multiuser Multiple-Input Multiple-Output (MIMO) systems with Alamouti Space-Time Block Code (STBC) transmit scheme. A locally optimal selection criterion is proposed at first. Then, the incremental selection approach is applied, which selects one among the residual available users to maximize the minimum user SINR step by step. Simulation results show that the fast algorithm gains over 90% of the diversity benefit achieved by the exhaustive search selection, and that the fast algorithm has much lower computational burden than the exhaustive search one, for the scenario where the number of all the available users is much greater than that of the selected users. 展开更多
关键词 Multiple-Input Multiple-Output (MIMO) User selection Signal-to-Interference- plus-Noise-Ratio (SINR) Fast
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部