基于SystemC的周期精确事务级AMBA总线建模

采用系统建模语言SystemC建立了周期精确的事务级AMBA总线模型,并利用该模型对蓝牙模块间的通信过程进行仿真.AMBA总线模型采用SystemC 2.0的接口、端口和通道的概念,运行时使用SystemC自带的仿真内核.实验结果表明:本模型完全符合AMBA2.0规范和蓝牙协议规范,实现了在SoC设计前期的高层仿真和验证.

不锈钢基体多模CO_2激光熔覆工艺研究

采用多模CO2激光器在不锈钢表面进行激光熔覆,研究了激光熔覆工艺参数对熔覆层微观组织和界面形状的影响。研究表明,离焦量(聚焦镜高度)、扫描速度和激光功率变化将影响激光熔覆层高度和宽度,以及熔化深度。激光熔覆层的宽度为激光线能量和光斑直径的函数,其线性回归方程为W1=AD(1-90VS/P),其相关系数R=0.9976。多模激光熔覆可通过调节离焦量得到界面熔合完整、熔覆质量良好的熔覆层。

Hilbert C* -模中g^-框架的新的等式和不等式

利用算子理论方法给出了Hilbert C*-模中g-框架的新的等式和不等式,所得结果包含了已知的一些结果。

FI-C_(11)-模

作为FI-扩张模和C11-模的推广,引入了FI-C11-模(如果M的任意全不变子模存在一个补是M的直和因子),讨论了该模的基本性质.例如:FI-C-模的全不变子模仍是FI-C-模;FI-C-模的任意直和仍是FI-C-模.

Hilbert C~*-模中g-Riesz基的新刻画

利用算子理论方法证明了Hilbert C~*-模上的可伴算子序列是g-Riesz基且有唯一对偶g-框架当且仅当相应的合成算子是一线性同胚,这修正了已有的一个结论.进一步,作为该结果的直接应用,给出了Hilbert C~*-模中的g-Riesz基具有唯一对偶g-框架的保界等价刻画.

Hilbert C*-模中融合框架的新定义及其系数的最小性

观察到Hilbert C*-模中融合框架原定义的不合理性,通过权重集的选取将其改进,得到融合框架的新定义并给出了新定义的等价形式.得到了Hilbert C*-模中融合框架系数的一个最小性质,作为该性质的应用,给出了融合框架去掉某个框架元素后不再成为融合框架的条件.

可伴算子保持Hilbert C~*-模中g-框架的充要条件

利用算子理论方法证明了可伴算子保持Hilbert C~*-模中的g-框架当且仅当它是单射且有闭的值域,这修正了已有的一个结果。

相对C_(11)模的特征及结构

给出了相对C11模的定义 ,并研究了相对C11模的特征与结构 。

广义C3模

作为C3模的真推广,引入广义C3模(简称G-C3模)的概念,研究这类模的基本性质,证明遗传环R是右V-环当且仅当每个有限余生成R-模是G-C3模当且仅当每个有限余表示R-模是G-C3模.

关于1型χ-C_(11)模

通过对 1型χ- C1 1 模的研究得出两个结论 :1°设χ是一个模类 ,以下叙述等价 :(1 )模 M是1型χ- C1 1 模 ;(2 )对于模 M的任意一个χ-子模 N,存在模 K|M,使得 K∩ N =0 ,且 K N≤ e M;(3)对于模 M的任意一个χe-子模 N,存在模 K|M,使得 K∩ N =0 ,且 K N≤ e M;(4)对于模M的任意一个χe-补子模 N,使得 K∩ N =0 ,且 K N≤ e M.2°设χ是一个模类 ,χ关于子模封闭 ,M =M1 M2 ,若 M1 ,M2 是 1型χ- C1 1 模 ,M1 或 M2 属于χ,则 M是 1型χ- C1 1 模 .

Hilbert C＊-模H中标准框架的刻画

应用A-值线性算子T:H→l2(A),刻画了H中标准框架、正规紧标准框架及两个互为对偶的标准框架,讨论了A-值线性、有界、可逆及正的框架算子S=T*T的等价性质,证明了模H的标准框架与它的典型对偶标准框架是正规紧标准框架的充分必要条件是框架算子S=I.

C_(11)-模的推广——1型χ-C_(11)模

作为C1 1 模的推广 ,定义了 1型 χ C1 1 模 ,研究了其性质和特征 ,并且讨论了C1 1 模 ,1型 χ C1 模 ,1型 χ C1 1 模之间的关系 ,证明了在一定条件下 1型 χ C1 1 模的直和因子仍是 1型 χ C1 1 模 .

χ-C_3模

作为 C3-模的推广 ,定义了 χ- C3模 ,得到了 χ- C3模的一个等价命题 ,证明了在一定条件下 χ- C3的 1型 χ- C1 1 模的直和因子是 1型 χ- C1 1

Hilbert C~*-模和JB~*-Triples

研究了HilbertC*-模和JB*-tripes的关系,我们证明了:(1)C*-代数上的每个Hilbert模等距同构于算子JB*-triple;(2)交换JB*-triple必定是某一C*-代数上HilbertC*-模。

准HilbertC＊-模上保正交映射的稳定性

对于准Hilbert C*-模之间的ε-近似保正交A-线性映射T,得到了‖〈T(x),T(y)〉-||T||2〈x,y〉‖的一个估计,研究了保正交A-线性映射在"ε-近似保正交"意义下的稳定性,给出了准Hilbert C*-模之间的A-线性映射是ε-近似保正交A-线性映射的一些充分条件。

基于OPN的C^4ISR系统的子网划分及建模过程

如何实现模块化可继承的建模,一直是C4ISR系统的建模及分析的难点之一。基于时间对象Petri网的建模,层次分明可视界面较强,各对象间层次关系明确,是实现C4ISR系统建模工作的基础。本文提出一种基于OTPN的C4ISR系统的子网划分规则,该规则的特点是以C4ISR系统的实际情况出发,对C4ISR系统的实际建模有较强的参考价值。

基于Proteus的处理器C++建模与仿真

研究利用C++创建Proteus模型的方法,实现一个基于Proteus的自定义指令集仿真器模型,构建该模型的虚拟板级系统,并进行测试。实验结果表明,基于Proteus的处理器仿真器能在芯片RTL模型面世前构建虚拟板级系统,为芯片的功能测试提供更方便直观的平台,有利于芯片早期开发的软硬件协同设计。

投射生成子与D_(C)-内射模

利用同调代数的方法,讨论D_(C)-内射模的若干性质,证明I_(C)(R)是DI_(C)(R)的投射生成子,其中DI_(C)(R)表示所有D_(C)-内射R-模组成的类,I_(C)(R)表示所有形如Hom R(C,E)(E为内射模)的R-模组成的类.借助投射生成子这一工具,研究DI_(C)(R)-投射维数小于等于n的若干等价刻画,及短正合列0→L→M→N→0中各项DI_(C)(R)-投射维数之间的关系.

Hilbert C＊-模上的算子值框架及分解

已知A是含单位的C*-代数,在文中仅在标准模HA=l2(A),以及其子模H0上讨论,主要给出了判定某序列{Aj}j∈J B(HA,H0)是算子值框架的一个等价命题,以及利用算子理论中有关算子的分解,从而得到框架的相关分解的命题.

Hilbert C*-模上可共轭算子的极分解的一个注记

在Hilbert C*-模上的可共轭算子的这个一般的框架下,给出了算子极分解的若干性质的刻画.