应用线性方程组理论证明矩阵秩的性质

利用矩阵秩的定义证明矩阵秩的性质时,需要使用行列式的性质,证明过程较为复杂。线性方程组解的理论与矩阵秩的内在联系,使得用线性方程组解的理论证明矩阵秩的性质成为可能。应用线性方程组解的理论,可将矩阵秩的等式证明转化为线性方程组解空间相等的证明;将矩阵秩的不等式的证明转化为解空间包含的证明。从行列式性质法的证明转化为集合间关系的证明,不仅简化了矩阵秩的性质的证明,而且证明过程便于理解。

字的组合的半群方法

该文利用半群方法给出了语言的一些代数性质.首先,讨论了稠密语言的半群结构,给出了包含语言w(wk)(其中w∈A+,k是正整数)的一个稠密语言类;证明了稠密正规语言包含一个字与一个稠密正规右酉幺半群的积.其次,讨论了自由幺半群的正规分支可分解性,证明了自由幺半群及正规分支可分解语言与正规分支可分解的后缀语言的积是正规分支可分解的;应用这些结果证明了Shyr和Yu关于正规语言的两个猜想.

基于有限自动机的二值图像腐蚀

针对通用计算机在图像处理中串行体系结构的限制,提出适用于图像处理的一种并行体系结构,得到处理二值图像腐蚀运算的有限自动机。将图像与图像平移的并集作为状态集、探针与探针拷贝的并集作为输入字母表,用向量加减法构造状态转换映射和输出映射。分析结果表明,运算的时间复杂度从通用计算机的图像像素个数与探针像素个数之积,降低到腐蚀自动机的探针像素个数减1。

基于有限自动机的二值图像的开运算

以图像与图像平移的并集作为状态集,以探针与探针拷贝的并集作为输入字母表,用向量加减法构造状态转换映射和输出映射,给出了实现数学形态学基本运算开运算的有限自动机。与通用计算机对图像的串行处理相比,开运算自动机采取了并行结构。开运算自动机将运算的时间复杂度降低到了探针像素个数减1。

系主任在教学管理中的作用探讨

作为一系之长的系主任,要行使好自己的职权,发挥好作用,就必须在思想上先给自己定好位,然后要明确自己的权限,提高自己的个性品质,只有这样,才能真正做到为教学服务、为教师服务、为学生服务。

基于有限自动机的二值图像膨胀

以图像的补与图像的补的平移的并集作为状态集,以探针与探针拷贝的并集作为输入字母表,用向量加法和减法构造状态转换映射和输出映射,给出了实现数学形态学基本运算膨胀的有限自动机.与通用计算机对图像的串行处理相比较,膨胀自动机采取了并行结构,将运算的空间复杂度降低到了背景像素个数的3倍与探针像素个数的2倍之和.

基于问题解决的线性代数概念教学

概念是线性代数教学的基础,概念教学既是教学的重点,也是教学的难点.学生存在着为什么引入这些概念,为什么这样定义这些概念等疑问.教材中存在着概念引入分析不到位、概念强行引入等问题.教师作为学生与教材之间的纽带,必须按照"教师为主导,学生为主体"的教学原则,根据学生已有的知识基础,遵循"从具体到一般、从感性认识到理性认识"的认知规律,采取"探究式"教学方法,以适应"创新精神、创新意识和创新能力培养"的要求,审视概念的教学.教学实践表明,基于问题解决的线性代数概念教学是一个有效的方法.

无限维欧氏空间的子空间的正交补

文章利用标准正交基,证明了无限维欧氏空间的有限维子空间都有唯一的正交补.并进一步证明若无限维欧氏空间的有限维子空间是某正交变换的不变子空间,则其正交补也是该正交变换的不变子空间,但对无限维子空间结论不成立.

Euler收敛的Cauchy强收敛探讨

在理论计算机科学中,形式语言的讨论归结为形式幂级数半环上的方程x=ax+b,而半环上极限论是讨论半环上方程的重要工具,特别是当limn→∞an=0时,强收敛性保证了半环上方程x=ax+b有唯一解a*b.因此半环上的强收敛性的讨论具有十分重要的意义.文章在实数半环上利用Cauchy强收敛性证明了Euler收潋性及其强收敛性,简化了传统的对Euler收敛的讨论.

有效的哈希冲突解决办法

为了提高解决哈希冲突的效率,在冲突解决机制和数据元素被查找的先验概率的基础上,结合堆排序的优点,提出了一种更有效的处理哈希冲突的方法,称其为以先验概率为基础的哈希大顶堆查找。该方法首先依据关键字被查的先验概率的大小建立相应的哈希大顶堆,然后利用哈希大顶堆进行查找。最后通过严密的效率分析可看出:该方法在最坏的情况下的时间复杂度才为O(nlogn),不但降低了冲突时执行查询的查找长度,从而降低查询响应的时间复杂度,而且该方法对于记录数越大的文件越适用。

基于频繁访问页组的路径聚类研究

基于用户会话的页面聚类算法旨在发现用户在浏览过程中频繁访问的页组,为站点管理员优化站点结构提供有力的依据。将介绍一种改进的基于频繁访问页组的路径聚类算法K-PathPlus,其中定义了新的兴趣度、内容链接因子。最后采用龙城热线网站日志进行真实测试,实验的结果是成功的。

5,10,15,20-四[4-(2,3-环氧丙氧基)苯基]卟啉的合成与表征

以正丙酸、冰乙酸和硝基苯为混合溶剂，以对羟基苯甲醛和吡咯为原料，合成了5，10，15，20-四（4-羟基苯基）卟啉（THPP）．然后以THPP与环氧氯丙烷为原料，在异丙醇中以氢氧化钠为催化剂合成了5，1O，15，20-四[4-（2，3-环氧丙氧基）苯基]卟啉（TEPPP）．利用傅里叶变换红外光谱仪（FTIR）、核磁共振波谱仪（NMR）、紫外可见分光光度计（UV-Vis）和荧光分光光度计分别对THPP和TEPPP的化学结构和光学性质进行了表征与测试．结果表明：1349cm^-1和916cm^-1处为TEPPP卟啉环中C-N键伸缩振动吸收峰和环氧化物环的（C-O-C键）不对称伸缩振动吸收峰．TEPPP的1HNMR谱图中，在艿2.92～4.6O内5个位移峰峰面积比为1：1：1：1：1，与TEPPP中环氧基团的不同氢原子数比相一致．TEPPP的UV-Vis谱图具有与卟啉结构相符合的吸收峰．通过荧光光谱研究了THPP和TEPPP的荧光性质，并计算得到了二者的荧光量子产率分别为O.08和0.16.

ARINC429总线在飞机电源功率控制器中的应用

电源功率控制器(PCU)是实现飞机电气负载控制与电源自动化管理的重要组成部分;它通过电气数据总线向供电系统处理机(PSP)传送配电中心的数据信息,并且接收PSP发送的信息命令并执行;本系统采用ARINC 429总线设计实现了PCU与供电系统处理机和机电综合管理系统的通信;编写了基于DSP/BIOS的ARINC 429总线的设备驱动程序;实际的试验测试结果表明,该通信电路运行稳定可靠,数据传输准确,达到设计指标要求。

具一维导代数的李代数的结构

本文通过考察李代数与其中心的关系给出了所有具一维导代数的有限维李代数的结构。

国六后处理器尿素混合器优化分析

柴油机达到国六排放法规要求的典型技术路线为柴油机氧化催化(DOC)+颗粒捕集器(DPF)+选择性催化还原(SCR)/氨逃逸催化器(ASC)技术方案。为了满足国六排放法规对NOx的限值要求,需要进一步提高尿素喷射量,这样增加了尿素在混合器内结晶的风险。后处理器内尿素混合器对尿素结晶影响较大,所以必须优化混合器结构以提升抗尿素结晶的能力。结合计算流体动力学(CFD)分析以及试验结果,针对性地对尿素混合器进行优化设计,结构设计完成后再一次进行CFD模拟计算,根据计算分析结果可以看出,优化设计的新混合器基本满足设计要求,确定了混合器结构方案,锁定了6.6 L国六柴油机方箱式后处理器的整体结构。

快消品供应链数字化转型方案研究——以订单履约为例

以数字赋能促进企业技术创新,已成为主要发达国家的共同选择。文中分析了供应链数字化转型的内涵,提出供应链业务流程的优化、组织结构与战略模式的变革是供应链数字化转型的结果。并以快消品供应链为例,分析订单履约模式中的痛点问题,提出订单智能履约中台解决方案。

云计算在分布式地理信息系统中的应用

地理信息系统以地图作为应用的背景,通过在地图上叠加街道,设施等具有属性的信息来提供查询,建议等服务,这样的服务现在已经变的包罗万象。云计算通过网络向用户提供使用方便而廉价的强大功能,二者的结合,使得地理信息系统的应用前景变得更加广阔。将云计算运用于分布式地理信息系统的构建中,建立了基于Google App Engine系统的分布式地理信息系统体系结构,本结构可以使用户程序的功能和效率达到最大化,也可以为海量的用户群提供更为稳定、快速、安全的服务。

基于卓越工程师培养的软件工程一体化课程体系设置

从卓越工程师培养计划指导下的标准体系入手,分析本科卓越工程师培养的六个知识模块,以这六个知识模块为基础,设计基于卓越软件工程师培养的一体化课程体系。

矩阵标准形的应用

矩阵的等价、相似与合同是矩阵之间的三种重要的等价关系,按照这三种等价关系可将矩阵作相应的分类,由此产生了矩阵的各种标准形,每种标准形都是该等价类的最简形式。当面临的问题复杂、抽象,感到无从下手之时,可尝试先对标准形解决,再根据矩阵的一些在等价、相似、合同关系下不变的性质,比如相似矩阵有相同的特征值,将一般矩阵问题转化成标准形问题处理。通过例子说明:应当运用化归思想,借助矩阵的相应标准形可以解决有关矩阵的问题。