计算机科学杂志   北大期刊CSCD期刊统计源期刊

摘要：为了提高实对称矩阵特征值分解算法的速度，在FPGA上设计并实现了符合IEEE-754标准的单精度浮点（32-bit）CORDIC算法，以在保证运算精度的前提下，最大限度地优化资源和速度。整个设计是在Xilinx公司的Spar-tan-3xc3sd1800a-5FPGA上实现的。测试结果显示：1）对于3＊3的实对称矩阵（每个矩阵元素是32-bit浮点数），精度达到2^-20；2）设计实现的结构占用2467个slices，占芯片总资源的14％，最高运行时钟频率达到154MHz。

摘要：随着航空电子系统的飞速发展，机载操作系统对保证不同安全关键级别的软件互不影响越来越严格，面对这种情况，多重独立安全级别（MILS）嵌入式操作系统应运而生。MILS架构的中间件层采用实时CORBA技术。同时MILSCORBA架构采用分区通信机制进行通信。为了满足分区通信的安全性和MILS架构对分区密级的严格控制，设计了基于实时CORBA技术的MILS架构的多级安全分区通信机制。提出了将MILSIOP作为实时CORBA的一部分来实现MILSCORBA架构的多级安全分区通信的机制。整个机制保证了不同密级的数据安全独立的传输，同时也了保证系统的整体安全性。

摘要：根据初始状态、状态之间的转换关系和命题赋值函数是否为分明的，模糊Kripke结构可分为8类。提出将模糊计算树逻辑作为判断模糊Kripke结构之间是否是等价的依据；详细讨论了8种模糊Kripke结构之间的关系。这些结论为设计应用中模型的合理选取提供了理论依据，也为解决模糊计算树逻辑的模型检测问题提供了一种新的方法。

摘要：模糊规则库谐调性是规则库研究中的重要内容。在决定一组新来的模糊规则可否加入到已有规则库时，需要知道它对已有规则库的谐调程度。利用模糊关系方程理论和贴近度定义了模糊规则组之间的谐调度。实验表明此定义能很好地容纳相容规则并排除矛盾规则，这对于知识库的建立和维护是至关重要的。

摘要：主要研究命题逻辑公式中的冗余子句和冗余文字。针对子句集中必需的、有用的、无用的子句，分别给出了一些等价描述方法，进而讨论子句集的无冗余等价子集。另外，得到了子句集中冗余文字的判别方法，借助可满足性给出了冗余子句的一种等价条件。上述结果为命题逻辑公式的化简奠定了一些理论基础。

摘要：随着中断控制在嵌入式实时系统中的不断广泛应用，中断控制的可靠性是系统设计中面临的重要问题。虽然基于体系结构分析与设计语言（AADL）的形式化方法为这一问题的解决提供了思路，但AADL自身缺少有效的元素和方法来描述和建模中断。为此，提出一种结合AADL与中断控制器的中断控制系统设计方法，并运用GSPN可靠性计算模型对可靠性进行分析，从而为AADL在航电系统中的应用提供了思路。

摘要：在利用经典相容关系研究人际关系的基础上，引入了人际关系中的模糊属性。利用截集的概念，研究了满足模糊相容关系即相似关系下的人际关系中社会交际圈的划分、成员活跃度和成员完成各项任务的代价等，并给出了相关算法和讨论。计算结果表明，该模型能够有效描述满足相似关系的社会关系网络。

摘要：移动设备的计算能力、存储能力、网络带宽、电池续航等都非常受限，而且现有的云服务基本没有针对移动设备的上述特点做优化，严重降低了移动设备访问云服务的质量。针对存在的问题，提出了面向移动设备的数据传输格式优化模型和服务Mashup模型，设计并实现了一个基于的移动云服务访问框架，使得移动设备通过服务器来访问云服务。在4种不同情况下对移动设备的服务请求响应时间、响应结果处理时间、请求响应流量和能耗分别进行了测试，结果表明实现的框架具有一定的实际意义。

摘要：目前云计算数据中心规模大，网络设备多，手动配置设备地址不但耗时耗力，而且容易出错。已有自动配置工作未能充分利用数据中心网络拓扑结构特征，导致从规划设计到实际设备配置的映射过程回溯步骤多，效率低。为此，提出了一种基于支点的数据中心网络地址快速自动配置方法PFAC（Pivot-basedFastAutomaticConfiguration）。PFAC通过预处理分析数据中心网络拓扑层次关系，依据拓扑特征优选支点完成快速匹配，并基于支点缩小配置映射节点的候选集，有效提高了配置效率。基于FatTree结构的模拟实验表明，PFAC能够根据数据中心网络规划蓝图，自动快速地为物理设备分配地址。与经典数据中心网络地址配置方法相比，PFAC算法平均耗时缩短了35％。

摘要：根据分包数据系统的星上数据源特点及随机过程理论，得到星上数据源的模型参数。进一步利用STK和OPNET软件建立卫星网络模型，依据数据源的建模结果为低轨卫星添加业务，并在高轨卫星处收集网络业务量。最后，分别运用R／S分析法、方差-时间图法和周期图法对收集到的卫星网络业务量的自相似程度和突发性的重要参数——Hurst参数进行辨识。仿真结果表明卫星网络业务量也具有自相似性。

摘要：针对基于耦合系数的无标度网络演化模型中的节点进行中心化研究，首先对常用的中心化指标进行了分析，接着对经典的无标度（BA）模型和演化的BA-S模型中各节点的几种指标进行了累积概率分布研究，最后对两种模型的中心化程度和效率进行了中心化测试对比研究，结果证明，演化的BA-S模型较BA模型具有更强的鲁棒性以及抗故障的能力。

摘要：针对多天线OFDM系统中时域信道训练符号采用非正化的数字序列而导致其矩阵求逆运算计算复杂度高的问题，采用多用户CDMA系统上行链路的信道训练符号设计方法，提出了多天线Steiner信道估计方法。该方法通过时域途径设计的训练符号，使所有发射天线的训练符号矩阵成为一个循环矩阵，从而接收机可用离散傅立叶变换矩阵进行对角化，避免了信道估计矩阵求逆运算。同时，根据Steiner初始信道估计分离出每条路径的有用信息，再用每条路径的空间冲激响应来估计该路径信号的波达方向（DirectionofArrival，IX）A），去除天线间接收信号的相干性，有效地利用空间信息提高Steiner信道估计的精度。实验结果表明，通过估计接收信号在每个接收天线上的波达方向角，基于波达方向的Steiner估计算法，在QPSK调制模式下获得了近0．5dB的性能提升，而在16QAM调制方式下可获得近2dB的信噪比增益。

摘要：无线传感器网络节点随机分布，针对均匀分簇容易造成网络中能耗不均的问题，提出一种能量均衡的非均匀分簇算法EBUCA（Energy-BalancedUnequalClsteringAlgorithm）。该算法在簇头选举阶段，根据节点的剩余能量、节点所在区域稀疏程度来保证簇头的均匀分布；同时结合各簇头所在区域的节点密度与距sink节点的距离来构造大小不等的簇半径，使节点所在区域密度大或距离基站较近的簇半径较小，平衡了簇内和簇间的通信能耗。仿真结果表明与LEACH、DBCP、EEUC算法相比，EBUCA算法能够有效地均衡节点能耗，延长网络生命周期。

摘要：Duffing方程是一种重要的动力系统。研究了该系统的数学模型，通过变量分解的方法改变了系统的结构，并证明了运用新结构的Duffing系统实现混沌掩盖的合理性，最后给出了新Duffing系统的运行轨迹和混沌掩盖通信的解调结果。仿真结果表明，所提出的方法是正确有效的。

摘要：随着IT技术的不断发展，IT行业在整个节能减排环节中占据的地位越来越高，由此提出了绿色计算、绿色网络等概念。从绿色网络的概念入手，分析网络中主要设备的节能方式和可能性，提出了在网络管理中增加能耗管理的功能，研究并提出了实现能耗管理应具备的MIB信息，并设计了能耗监视、控制和统计的实施方案，从而可以对网络中的能耗进行定量监视和控制，为绿色节能网络的建立提供全面的监控和管理。