林尚垣
- 作品数：9 被引量：11H指数：3
- 供职机构：龙岩学院更多>>
- 发文基金：福建省自然科学基金福建省教育厅科技项目国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术自然科学总论更多>>
- Windows系统下安装Mdk 9容易引发的问题及修复
- 2005年
- 介绍安装Linux和Windows双系统常会遇到的分区和引导问题,并提出了这些问题的解决方案.
- 林尚垣
- 关键词：WINDOWS系统双系统
- 一类结合代数商模的同构
- 2005年
- 刻划一类商模序列的结构:每个商模M(n1,…,nλ)/M(n1,…,nλ)+都同构于不可约模M2,每个商模的自同构群AutM(n1,…,nλ)/M(n1,…,nλ)+均与C*同构,其中(n1,…,nλ)∈Zλ≥0.
- 林尚垣
- 关键词：顶点代数结合代数自同构群
- 谓词逻辑推理与机器证明
- 2005年
- 基于应用层面,探讨谓词逻辑推理规则的逻辑有效性,并透过示例,对一类问题用编程方式实现逻辑推断,以拓宽机器证明的方式方法。
- 林尚垣
- 关键词：谓词逻辑编程
- 一类基于量子环面非交换结合代数的模
- 2005年
- 在量子环面[1]上构造一类非交换结合代数AQ-模M(a,b),我们还刻划了AQ-模的结构并揭示[2]一类商模序列:每个商模Mn(a)/Mn+1(a)都同构于M(a,0),每个商模的自同构群AutMn(a)/Mn+1(a)均与C*同构.
- 林尚垣
- 关键词：量子环面顶点代数自同构群
- 一类结合代数的表示被引量：3
- 2005年
- 设LC= νi=1Zci,LD= νi=1Zdi 为格,L=LC+LD 为具有对称双线性形式(·,·)的双曲格,A为由eα,di 及关系e0=1,eα+β=eαeβ,dieα-eαdi=(di,α)eα,didj=djdi 生成的结合代数(α,β∈LC,1≤i,j≤ν).结合代数A的表示与顶点代数的表示密切相关.本文构造了一类A 模Mω,并研究了Mω的结构,同时还给出了两个 A 模Mω1 ,Mω2 同构的充要条件,最后研究了Mω的自同构群.
- 林尚垣叶从峰
- 关键词：结合代数自同构群双线性形式充要条件LCLD
- 计算学科界定与计算机科学技术学科建设的探索被引量：4
- 2005年
- 用权威研究成果的视角,即IEEE/CS与ACM关于计算学科的定义、相关知识体系、计算教程和教育部的本科专业目录,探索计算机科学和技术学科建设的关键和相应措施。
- 林尚垣
- 关键词：计算学科学科建设
- 单向粗关系及数据通讯安全
- 2009年
- 定义单向粗关系并刻画它的结构,该结构保留了S-粗集的基本特性,而且粗集的等价类也被一般关系剖分的子块所替代。作为应用实例,设计了一个形式算法,实现对数据通讯的数字签章和认证。
- 谢桦林尚垣任雪芳
- 图的深度优先遍历智能化分析与实现被引量：4
- 2005年
- 探讨了深度优先搜索的智能化,并给出BorlandC++Builder实现动态搜索的源代码,在判断方位准确性、缩短搜索路径方面提高了智能水平.
- 林尚垣
- 关键词：深度优先遍历BORLANDBUILDER深度优先搜索动态搜索搜索路径
- 指派模型及匈牙利方法的拓展
- 2006年
- 放宽通常指派模型的条件限制,使得指派问题[1]最优化的应用更加广泛,匈牙利方法[2]理论得到拓展;编写的.exe程序,对放宽条件限制的指派模型求解多了一个便捷工具,弥补这类指派模型无法用线性规划常用软件MATLAB、LINDO求解的不足。
- 林尚垣
