局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．     

Z──循环矩阵及其对角化

文［１］讨论了循环矩阵的对角化问题。本文讨论更广泛的一类循环矩阵──Ｚ─循环矩阵。首先确定了交换环上Ｚ──循环矩阵集的代数结构，然后解决复Ｚ──循环矩阵的对角化问题。     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序...     

越南槐与多叶越南槐的叶形态研究

【目的】为了快速准确鉴别越南槐(Sophora tonkinensis Gapnep.)与其变种多叶越南槐(Sophora tonkinensis Gapnep.var.polyphylla S.Z.Huang et Z.C.Zhou),对这两个物种的叶形态特征进行比较研究。【方法】通过性状鉴别法和显微鉴别法,对越南槐和多叶越南槐的叶形态进行观察和比较,并利用扫描电镜和体式显微镜分别对叶脉和叶片表皮进行显微观察和微形态研究。【结果】越南槐和多叶越南槐的叶形态可从叶片形状、叶片大小、叶片数目、叶被毛、叶脉的一级脉和二级脉、叶片表皮的蜡质和角质层等特征加以区别。【结论】叶片数目和叶被毛为首要分类性状,可快速鉴别越南槐和多叶越南槐的成年植株;叶脉和叶表皮的微形态可以作为较好的分类和鉴别依据,再结合其他形态特征可准确鉴别包括幼年植株在内的越南槐和多叶越南槐;本文结果支持《广西中药材标准》(1990年版)及《全国中草药汇编》(1996年版)中对中药材山豆根基源种越南槐和多叶越南槐的划分。     

干扰长链非编码RNA Z38表达对鼻咽癌细胞增殖的影响

新型的长链非编码RNA Z38已证实高表达于肿瘤组织,低表达于癌旁组织,属于癌基因,但其功能和作用机制尚需深入分析。研究目的在于探讨稳定干扰长非编码RNA Z38对鼻咽癌细胞HNE1、5-8F功能和机制的影响。采用慢病毒包埋Z38-shRNA转染进人鼻咽癌细胞HNE1与5-8F,用嘌呤霉素筛选出稳定的干扰细胞系,利用相对实时荧光定量的方法检测干扰效率;使用MTT、和平板克隆集落形成实验验证其对HNE1、5-8F细胞增殖的抑制作用;Transwell检测细胞迁移的能力;采用Western Blot检测干扰Z38表达对抑癌因子P~(53)、P~(21)表达水平的影响。结果表明,慢病毒干扰鼻咽癌细胞显著降低了Z38基因表达水平,并且干扰Z38基因表达后使细胞增殖能力、细胞集落形成能力降低,穿过Transwell小室的细胞数降低,抑癌因子P~(53)、P~(21)表达量上调。由此推测,Z38基因可能为鼻咽癌细胞的癌基因之一。     

二维局部Z2-系统与不可定向闭曲面

用多面体构造流形(代数簇)是环簇理论中的一个经典技巧.通过局部Z_2-系统我们可以将这种构造推广到实流形上.在本文中,作者给出了这类流形的欧拉数的计算公式,并证明了所有的不可定向闭曲面都可以由二维局部Z_2-系统来实现.     

CRP复合材料板复合型裂纹扩展方向预测理论研究

本文对碳纤维增强的复合材料板裂纹扩展方向预测理论进行了研究。介绍了最新发展起来的复合材料Z断裂理论 ,并通过试验证明了新理论的正确性     

设计串联校正装置的一种解析方法

根据时域指标设计串联校正装置,一般使用根轨迹法(图解法)。此类方法无法将静态指标(如位置误差系数 K_p 或速度误差系数 K_r)与根轨迹作图有机结合,使设计计算复杂化。此处提出的解析法可免于这一问题,使设计计算更合理更简单,且物理概念清楚明了。