基于Land TM和ETM+的北川河流域土地利用研究

根据北川河流域2000年ETM+、1994年和2007年TM共三期遥感影像数据,在RS和GIS技术支持下,分析了研究区土地利用的数量变化和空间变化特征,明确了土地利用变化的主要类型和方向,探讨了土地利用变化的过程,并进行了土地利用变化的景观格局分析.结果显示:该流域土地利用以草地和耕地为主,1994-2007年耕地大面积减少,主要转化为草地和林地;耕地和未利用地朝着规模缩小的方向发展,林地、水域和建设用地朝着规模增加的方向发展,草地变化缓慢;随着时间的推移和经济的发展,各种景观的多样性、破碎度、优势度和分离度发生了不均匀较为复杂的变化,各种景观形态的复杂程度排序为:建设用地>林地>草地>未利用地>水域>耕地.     

关联矩阵的稀疏表格法

关联矩阵的稀疏表格法是一种把电路的KCL方程、KVL方程和支路方程全部罗列出来的方法,是以关联矩阵为基础的稀疏表格法.现成为用计算计辅助分析网络中的一种先进方法.本文就这一方法进行讨论和分析,为复杂电路的分析提供一种科学的方法.     

二元域上对称循环矩阵的非退化性

齐次旋转对称布尔函数与F2n在F2上的一类特殊正规基有着密切的联系,这类正规基的存在性依赖于二元域F2上n×n对称循环矩阵的可逆性.利用有限域上多项式的性质给出了F2上一类n×n对称循环矩阵的行列式计算公式,并由此得到一类特殊的可逆对称循环矩阵.     

一类带正权超线性对称方程对称周期解的分布

讨论一类带正权函数超线性对称方程对称周期解的分布情况.运用相平面定性分析的方法,得到了在关于时间映射的超线性条件下,方程无穷多个对称调和解的存在性以及对称次调和解的稠密性分布结果.     

On Symmetric Cayley Graphs of Valency Eleven

A Cayley graph Γ=Cay(G,S)is said to be normal if G is normal in Aut Γ.In this paper,we investigate the normality problem of the connected 11-valent symmetric Cayley graphs Γ of finite nonabelian simple groups G,where the vertex stabilizer Av is soluble for A=Aut Γ and v ∈ VΓ.We prove that either Γ is normal or G=A5,A10,A54,A274,A549 or A1099.Further,11-valent symmetric nonnormal Cayley graphs of A5,A54 and A274 are constructed.This provides some more examples of nonnormal 11-valent symmetric Cayley graphs of finite nonabelian simple groups after the first graph of this kind(of valency 11)was constructed by Fang,Ma and Wang in 2011.     

一类对偶平坦的球对称的芬斯勒度量

In this paper,we study spherically symmetric Finsler metrics.By analysing the solution of the spherically symmetric dually flat equation,we construct several new families of dually flat spherically symmetric Finsler metrics.     

"批"概念下的继电控制系统功能仿真

提出模拟继电控制系统中事件的时序的“批”概念,再根据事件传播特性给出了事件模拟算法。利用深度广度结合遍历方式及Tarjan拓扑块划分算法获取线路中元件的电气拓扑——连接矩阵。基于以上两点,再利用继电控制线路图上表达出的驱动元件与开关之间的关系。实现了对继电控制系统的功能仿真。     

人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

The Influence of Different Bleaching Protocols on Dentinal Enzymatic Activity: An In Vitro Study

This study aimed to investigate matrix metalloproteinase (MMP) activity in human dentin using in-situ and gelatin zymography, after at-home and in-office bleaching, related to their clinical exposure times. Dentin specimens (n = 5) were treated with 35% hydrogen peroxide (50 min per session/4 sessions), 10% carbamide peroxide (180 min/21 sessions), or no treatment. All were subjected to in-situ zymography. Dentin slices were, subsequently, obtained, covered with fluorescein-conjugated gelatin, and examined with confocal laser-scanning microscopy. The fluorescence intensity was quantified and statistically analyzed using one-way ANOVA and Bonferroni tests (α = 0.05). Furthermore, gelatin zymography was performed on protein extracts obtained from dentin powder (N = 8 teeth), treated with hydrogen peroxide or carbamide peroxide, with different exposure times (10/50 min for hydrogen peroxide; 252/1260 min for carbamide peroxide). The results of the in-situ zymography showed no statistical differences between the bleached specimens and the control group, with a medium level of gelatinolytic activity expressed in the dentin tubules. The results of gelatin zymography showed an increased expression of pro-MMP-9 in carbamide peroxide groups. The expression of pro-MMP-2 decreased in all the experimental groups. The bleaching treatments performed on the enamel of sound teeth do not influence dentinal enzymatic activity. However, when unprotected dentin tissue is bleached, matrix metalloproteinases are more expressed, particularly when carbamide peroxide is used, proportional to the exposure time.     

浅析高阶控制系统的校正方法

自动控制系统的难点就是对高阶复杂系统的方程线性化,从而实现控制,利用主导极点与偶极子的性质可以将高阶系统近似为一阶、二阶系统来分析,实现高阶系统的有效校正,实验结果符合控制要求。