并联内动机之图型计算

对非线性内动机进行了研究,定出了两类非线性内动机３种并联后之图型计算定理,即：Ｇ（Ｍ∥Ｍ’）＝Ｇ（Ｍ）Ｇ（Ｍ’）。     

关于仿射内动机的等价类的一些结果

用多位逻辑函数的结构理论，对有限域上仿射内动机的等价类进行了研究，定出了几种仿射内动机的等价类。     

多值逻辑中函数的完备性问题

在K值逻辑理论中,函数系的完备性之判定问题是一个基本而重要的问题,同时也是K值计算机理论中必需解决的问题。此问题的彻底解决依赖于定出K值函数集P_k中的所有极大封闭集。Post定出了P_2中的所有极大封闭集共5个,定出了P_3中的所有极大封闭集18个。作者定出了P_4中的所有极大封闭集共82个。     

多值逻辑中一元函数的完备集

首次提出了广义线性置换，并定出其划定的充要条件，同时还定出了几类新的一元多值逻辑函数的完备集．     

正则准完备类中的一元半群

证明了多值逻辑中准完备(除T_(D~K)外)内的非奇异变换部分(即置换群)用奇异变换部分(即一元奇异半群)唯一确定,并定出了全部极大正则一元半群。     

准完备类中的一元半群

系统地讨论了准完备类中的一元半群,定出了全部极大木质一元半群和群,从而精确地定出了基本一元集和基本群的充要条件。此外,还简捷地明明了不可迁群和非本原群的极大性定理。     

多值逻辑中某些函数集的结构

本文完全解决了多值逻辑函数集P_k(内著名极大封闭集T_D~K中完备性之判定问题,从而定出了TT_D~K的结构。同时还讨论了一元函数集P_K,P_(N0)的结构理论,也得到了一些基本的结果。     

布尔环上的线性群（Ⅰ）

本文定出了布尔环上的２级线性群和其自同构群的半直积．完全解决了２级线性群的自同构映射之充要条件，从而具体地定出了全部的自同构映射．     

一元多值逻辑函数集中的一类极大封闭集——线性置换群在对称群中的极大性

在多值逻辑理论和自动机理论中,一元多值逻辑函数系完备性之判断问题是一个基本而重要的问题。此问题的彻底解决依赖于定出集合E_k={0,1,…,k-1}上全体一元多值逻辑函数集P_k~(1)的所有极大封闭集。Bairamov对有限对称半群中完备性问题进行了研究,据其结果,我们可把P_k~(1)的所有极大封闭集的确定归结为定出E_k上K次对称群S_k的全部极大子群。但在有限群论中,定出S_k的所有极大子群至今还是一个尚待解决的困难问题。由K值逻辑中基本群之研究,我们将E_k上的置换群分为下列互不相同的四类: 一、非可迁群和非本原群; 二、保正则二项关系的置换群,此时K=h~m,h≥5,m≥2; 三、线性置换群; 四、基本置换群,即它与一个真多元取K个不同值的函数构成P_k的一个完备集,这里P_k是由E_k上全部多值逻辑函数所作成的集合。这样,只要定出上述四类置换群在S_k中的极大子群,就定出了S_k的全部极大子群Bairamovc和Balll分别定出了第一类置换群在S_k中的全部极大子群。罗铸楷根据多位逻辑函数之特性,简捷地确定了S_k中保正则二项关系置换群的具体表示,并定出了其在S_k和工A_k(K次交代群)中的全部极大子群(除K=5~2外)。目前,关于第四类置换群在S_k中的极大子群还只有一些零星结果。由于基本置换群与多值逻辑函数紧密相关,可以预见,在其极大性之研究中,多值逻辑函数的结构理论必将成为有力的工具。本文主要讨论线性置换群在S_k或A_k中的极大性问题。由[8]之结论和有限单群分类的成果,作者定出了线性置换群在S_k和A_k中的全部极大子群。此外,当K为质数时,作者还定出了S_k的全部极大子群,从而定出了P_k~(1)的所有极大封闭集。     

多值逻辑中正规关系的分类

在K位逻辑理论中,函数系的完备性乏判定问题是一个基本而重要的问题,此问题的彻底解决依赖于定出K值逻辑函数集中的所有极大封闭集。对于完全K值逻辑函数集P_K,和分别定出了自对偶函数集S_σ,T型集T_(E,O,)单调函数集M中的所有极大封闭集,作者4.5定出了线性函数集L_G的所有极大封闭集,保分别函数集T_D~r的大量极大封闭集(仅剩一类尚未定出)。之后,作者~6于1964年证明了P_K中任意极大封闭集必是一个S_σ,T_(E,O,)M,L_G或T_D~r(由于该学报一度停刊未能及时刊出)。由此基本结论只要定出T_D~r中的所有极大封闭集使能得到P_K中的全部极大封闭集。于1965年Rosenberg也证明了此结论并定出了T_D~r中的所有极大封闭集。因此,现在著名的Rosenberg定理其主要结论已由文[6]中的基本定理给出,它只不过是定出了保分划函数集T_D~r中剩下一类的所有极大封闭集。随着完备性判定问题之解决,近十几年来完全K值逻辑函数的结构理论有了广泛、深入、系统的发展,并用于一些实际应用领域。对于部分K值逻辑函数集P_K~*(包括完全和非完全函数)的完备性理论是由王湘浩教授首先进行研究的,并用群论方法提出了一个完备性的充要条件,依此定出了P_2~*和P_3~*中的所有极大封闭集,无疑这些结果是十分重要而基本的,但对一般的K,未能定出P_K~*中的所有极大封闭集。之后,Freivald证明了P_K~*中任意极大封闭集必是某一个保K~2项关系的函数集并定出了P_2~*中的所有极大封闭集;POMOB定出了P_K~*中一些特殊的极大封闭集并依此定出了P_3~*中的所有极大封闭集。这些结果的大部分内容早已在文[3]中指出。本文用保关系的统一思想和方法证明了P_K~*中任意极大封闭集(除极大封闭集:P_K∪{*},保E函数集T_E以外~(3,6))必是保某一个k项关系的函数集,且必保5类特殊、整齐的m项正规关系之一,m≤k。这就从根本上解决了关系分类这一困难问题,从而极大地缩小了极大封闭集的范围,对判定向题的解决作了实质性的推进。根据此结论,作者在另一文中定出了P_K~*中的全部极大封闭集。本文所采用的一些基本概念、事实、符号除指明的以外均见文[3]。     

常系数线性中立型方程的一般周期的周期解

本文利用Fourier经数理论及矩阵的Jordan标准形理论研究了单时滞常系数中立型方程组的一般周期的周期解,获得了保证周期解存在、唯一的充分必要条件及一些简单的充分条件.     

甘南藏族自治州中学理科教育研究

通过对甘南藏族自治州中学藏汉理科教育现状的调查研究,分析了甘南藏族自治州中学理科教育存在的问题,提出充分认识提高少数民族科技素养的重要性,加强双语资源建设的解决对策.这些措施有利于提高甘南藏族自治州中学理科教学水平.     

藏区甘南州生态环境退化与传统经济相关分析

以甘南藏族自治州为例 ,系统地分析了传统经济与生态环境之间的相关关系 ,论文指出 ,由于资源的过度利用和传统利用方式 ,导致了生态环境质量下降和资源衰退、环境灾害频发 ,使生态环境与传统经济之间处于严重的不协调状态     

纯量、自治系统初值解的存在唯一性

本文针对一类特殊的常微分方程初值即纯量、自治系统的初值问题解的存在唯一性做进一步的讨论,特别是在非平衡点解的唯一性要求条件减弱.     

C~(++)程序设计实验教学方法研究

针对信息与计算科学专业学生创新能力差及就业竞争力不足等问题,提出对C++程序设计课程的实验教学实施"启发——创新——实验"的教学方法,让学生在启发式教学中大胆尝试创新思路,在实验过程中更加灵活地掌握知识,逐步培养其主动学习、自主创新的能力,为后续的实践、实习和实训过程奠定基础.     

基于稀疏栅格优化的蜂窝车联网定位算法

蜂窝车联网（cellular-V2X,C-V2X）中的定位方案是车路协同与车联网业务发展的重要技术途径之一。目前基于基站、卫星等诸多定位方案,在车联网业务以及车路协同场景中常会遇到定位精度、定位处理时延、部署成本等诸多方面的挑战。针对这些问题,文章对已有栅格定位算法进行优化,提出一种基于统计信息网格（statistical information grid,STING）的稀疏栅格优化算法和基于极端梯度提升（extreme gradient boosting decision tree,XGBoost）进行指纹定位的车联网指纹定位算法。从栅格优化的角度出发,相较于传统指纹定位方法在定位精度和计算速率方面进行了优化,使其更适应于车路协同场景。该算法为目前的车联网定位提供了一种有效的定位方法。     

Java EE框架课程教学方法改革与实践

针对软件学院Java专业的学科特点和培养目标,对传统教学模式和教学方法进行改革和探索,提出了对该课程教学的一些建议.创设职业化训练场景,以项目驱动教学,提高学生自主学习和独立解决问题的能力,培养符合软件企业需求的高级软件人才.     

欠驱动无人艇轨迹跟踪的滑模控制方法

讨论欠驱动无人水面艇的轨迹规划和跟踪控制问题,并考虑动力学模型不确定性和环境干扰力的影响.对于给定二维惯性平面内的光滑期望轨迹,规划方法将获得船体坐标系下的参考跟踪速度和加速度. 然后基于滑模控制方法提出一种轨迹跟踪控制律. 通过理论分析可得,该控制律不但能保证无人艇轨迹跟踪的渐进稳定性,而且保证艏摇运动是有界输入有界输出稳定的. 进行数值仿真,无人艇均实现了对封闭或开放轨迹的跟踪以及定位控制,验证了所提方法的可行性和有效性.     

月面灰度图像中的陨石坑检测

提出了一种从灰度图像中自主检测陨石坑的方法. 通过Census变换对原始图像块进行转换,用获得的图像灰度直方图作为特征向量. 利用主分量分析对特征空间进行压缩,消除直方图冗余,并利用支持向量机构建模式分类器. 最后对连续缩放陨石坑候选区域不同尺寸的陨石坑区域进行检测. 相关实验表明,该方法可有效检测出尺寸大于20×20 的陨石坑区域.     

一个非线性扰动系统极限环的存在惟一性

本文应用动力系统分支理论的方法,讨论SIRS模型中提出的一个自治扰动系统,从而在双参数空间给出了同宿分支产生极限环的参数条件,并进一步确定了极限环的惟一性．