基于平台的SoC设计技术研究

文章分析了平台的概念及基于平台的SoC的设计流程,重点讨论了平台的构建方法及基于平台的产品开发过程中的2个关键问题,即IP(Intellectual Property)集成方法和参数化总线桥的设计,为构建平台库及顺利利用平台进行SoC产品开发积累了一定的经验。     

多形状参数的均匀B样条曲线

利用分段积分的方法并引入多个形状参数,将单形状参数的均匀B样条曲线推广到多形状参数的情形;这类曲线具有标准的均匀B样条曲线及单形状参数的均匀B样条曲线的主要性质,如连续性、凸包性等;根据形状参数的各种不同取值,这类曲线既能整体地又能局部地调控其形状,由此生成的曲线与曲面,作为一种新的几何造型方法,可应用于CAD/CAM领域。     

Type-A半群的表示

给出了Type-A半群的表示,将文献[1]中著名的Vagner表示定理推广到Abandant半群中.证明了如果S是一个半群,则存在一个集合X及S到PJ(X)的单同态.     

基于X语言的起飞场景民机协同设计与仿真一体化方法

针对大型复杂产品,传统基于模型的系统工程(model-based system engineering, MBSE)方法存在系统设计和仿真验证的多语言、多平台集成实现,难以保证高效、准确地反馈系统设计的缺陷,无法达到快速优化设计目的等问题,提出采用基于面向复杂系统支持MBSE的新一代一体化建模仿真语言—X语言实现面向起飞场景的民机跨域子系统的一体化建模仿真。从民机起飞过程需求分析出发,建立了起飞场景的系统级模型和物理级模型,并在X语言的建模仿真软件—XLab进行统一的建模仿真验证,给出了基于X语言面向复杂产品协同设计与仿真一体化方法,为不同领域的设计人员实现复杂产品设计的协同与优化提供了全新的理论与方法参考。     

空间图有纽结的正则投射

Taniyam在文[5]中构造了一个平面图有Tn的正则投射,其中平面图是由正五边形所构造的。推广了Taniyam的结果,证明了由任意奇数边(≥5)正多边形所构造的平面图都会有一个有Tn的正则投射,另外,对于这些平面图,还构造了一种新的有Tn的正则投射。     

稀疏网络编码中秩分布分析模型研究

针对现有稀疏网络编码研究中线性相关概率性能指标精准度较低的问题,提出基于马尔可夫链的性能分析模型。对线性相关概率、秩的概率分布等性能指标及其复杂度进行分析,并通过该性能分析模型分析编码包传输后期的译码成功概率;基于吸收马尔可夫链计算编码包传输过程中的瞬态、吸收态以及各状态间的状态转移概率,并对状态转移概率中蒙特卡罗模拟误差较大的问题进行改进,由状态转移概率构建吸收马尔可夫链基本矩阵,得出信宿端收到非再生包的线性相关概率,进而推导出秩的概率分布和译码成功概率性能指标。仿真结果表明,在相同条件下所提模型性能指标精确度均优于对比模型,且能精确地评估信宿端解码矩阵秩的概率分布、译码成功概率等稀疏网络编码的译码行为。     

科技是建设生活品质之城的不竭动力

生活品质是人们物质生活和精神生活质量的集中体现.自从有了人类,科技就始终伴随着人们的生活.从早期人类的钻石取火,观天象知时节,到中国古代的四大发明,到蒸汽机、电、汽车、飞机、半导体、计算机、电视机、互联网等等的发明,每一次的科技进步,都给人类文明带来巨大的发展,也给人们的生活增添了无穷的乐趣,极大地提高了人们的生活品质.     

关于有限区间上波动方程的求解

用波的反射原理求解有限区间上的波动方程是数学物理方程中的基本内容,也是教学中的难点内容.传统教科书介绍该内容时,大多限制于某些特殊情形,没有讨论一般情形的求解方法.本文介绍一种新的求解方法,它能充分体现问题的本质,在教学中学生易于理解,能极大地提高学生的积极性与创造性,取得了良好的教学效果.     

基于改进的SEIR模型对新冠肺炎的疫情预测及防控措施的评估

基于国家卫健委每日公布的湖北省新冠(COVID-19)疫情数据,结合实际的疫情传播和防控流程,提出一种基于SEIR模型改进的传染病动力学CSEIR模型.在传统SEIR模型的基础上增加了潜伏追踪入院和发病追踪入院的传播流程以刻画疫情发展趋势;通过引入感染抑制因子描述感染率随时间的变化趋势,用于分析封城封村、居家隔离等抗疫...     

基于修正差别矩阵的高效属性约简算法

为降低基于修正差别矩阵的属性约简算法的复杂度,给出了基于修正差别矩阵的简化差别矩阵,证明了基于该简化差别矩阵的属性约简定义与基于原修正差别矩阵的属性约简定义是等价的.在此基础上设计了一个基于简化差别矩阵的属性约简算法,其空间和时间复杂度分别被降为O(|C|(|U'pos||U/C|))和max{O(|C|2(|U'pos||U/C|)),O(|C||U|log|U|)}.实例说明:用新算法进行属性约简,不仅减少了计算量,而且减少了存储空间,因而是一种高效的属性约简算法.