吕国亮
- 作品数：27 被引量：90H指数：5
- 供职机构：渭南师范学院数学与信息科学学院数学系更多>>
- 发文基金：渭南师范学院科研基金国家自然科学基金中国博士后科学基金更多>>
- 相关领域：理学电子电信文化科学自动化与计算机技术更多>>
- 集合的划分与第二类Stirling数被引量：6
- 2005年
- 非空集合A上的等价关系与A的划分是一一对应的,但A上的二元关系有2|A A|种,直接确定划分特别是不同划分不容易。文章用第二类Stirling数研究划分的种类的计数。并用指数生成函数讨论了S2(n,m)的计算。给出Stirling数展开式:S2(n,m)1m!∑m-1k=0(-1)k(m m-k)(m-k)
- 吕国亮
- 关键词：第二类STIRLING数生成函数等价关系展开式计数
- 群的轮换指标与Polya理论
- 2006年
- 文章从置换的轮换指标出发,引用第一类Stirling数S1(n,k),证明了∑λ1+2λ2+…nλn=n1λ1!λ2!…λn!1λ12λ2…nλn=1,∑λ1+2λ2+…nλn=n(-1)λ1+2λ2+…nλnλ1!λ2!…λn!1λ12λ2…nλn=0.应用旋转群的概念,导出正八面体的顶点,边,面的轮换指标,并在Polya理论下,根据等价函数类和推广等价函数类的概念,讨论了其轨道个数的计算.
- 吕国亮陈斌
- 基于立体图像对的体视显示新算法研究与实现
- 2007年
- 研究了由带有视差的图像对恢复摄像机矩阵和空间物体的三维几何形状这一多视图三维重构问题,结合Hartley和Rorther等人提出的基于无穷远平面诱导的单应进行射影重构算法,提出了根据图像间的对应关系确定插补图像像素的位置和灰度的新算法,通过这种新算法输出符合双眼特性的体视图像,试验证明插补后体视图像效果较好,速度快。
- 吕国亮沈威江娟娟董戴吴华夏
- 关键词：射影重构重采样基本矩阵
- 拟阵M+M^e中集的结构与关系
- 2010年
- 研究拟阵M+Me中集的结构与关系。应用单扩张与模割的一一对应,讨论了X∈L(M+Me)的各种情况。讨论了在单平行扩张下拟阵M+Me,模割M,主模割MF的等价关系。给出了拟阵主扩张M+Fe中基与极小圈的表示。
- 吕国亮赵小鹏
- 拟阵的并与横贯拟阵
- 2011年
- 研究拟阵的并与横贯拟阵。首先导出定义在不同集上拟阵的并的秩函数,然后结合多项拟阵函数所确定拟阵与横贯拟阵的秩函数,给出了拟阵的并与横贯拟阵的多种关系与性质。
- 吕国亮余保民
- 双圈与双圈拟阵的连通性
- 2009年
- 对双圈G与双圈拟阵B(G)的连通性进行了研究,比较了它们的连通度。在讨论双圈拟阵的秩函数r(X)和用用极小顶割集AG(G[X])表示了连通函数k(X)的基础上,由主要引理"M是Tutten-连通的,且(X,E-X)是M的一个满足o(X)=min{o(X′):(X′,E-X′)是M的一个Tutten-分离划分},则G[X],G[E-X]都是连通的",推出如下结果:(1)用统一方法证明"B(G)是Tutten-连通的G是n-双圈连通的"等三个命题;(2)比较了连通度,给出双圈与双圈拟阵各种连通性的图形交换.
- 吕国亮王雪琴
- 拟阵(M-Z_1)/Z_2在Z^+中的(F-Z_1)-可流性
- 2010年
- 研究幼阵M′在Z+中的F′-可流性。首先给出M是一个在Z+中的F-可流拟阵的定义,由定义证明了,若对任意的非负整数函数p′,使得当对任意D′∈C M′*都有p′D′∩F′≤p′D′-F′被满足时,总可以找到满足∑e∈C′,C′∈C′F′Φ′C′≥p′e,若e∈F-Z1,∑e∈C′,C′∈CΦ′C′≤p′e,若e∈E-F-Z1。的非负整数值函数Φ′C′;E→Z+,从而M′是在Z+的F′-可流拟阵。
- 吕国亮赵小鹏
- 嵌入式逻辑分析技术及其在FPGA系统开发中的应用被引量：11
- 2007年
- 介绍了嵌入式逻辑分析仪,特别是SignalTapⅡ的功能和特点。利用Chip EditorViews、Technology Map Viewer等工具,简要分析了SignalTapⅡ的内部结构和工作原理。结合实例,说明了如何使用SignalTapⅡ调试基于FPGA的数字系统。
- 吕国亮赵曙光赵俊
- 关键词：现场可编程门阵列嵌入式逻辑分析仪
- 关于儿童早期教育的理论和实践被引量：5
- 2007年
- 早期教育——从零岁开始的教育提出和发展经历了两个世纪,人们终于认识到要想培养适用于21世纪的人才,零岁教育是必不可少的。零岁教育最重要的理论基础可分为才能递远递减法则;学习的关键期:儿童身心发展规律的可变性。
- 吕国亮
- 关键词：关键期
- 拦截子的对偶拟阵
- 2009年
- 从拦截子的角度考虑对偶拟阵,证明了I*∈I(M*)E-I*∈S(M),接着推出了C*C(M*)E-C*∈H(M),用它证明了X∈C(M*)B∈B(M),B∩X≠φ,并且X的每一个真子集都不满足这个条件,主要结论:在拦截子b(A)=Min{X■E对于∈A,都有X∩A≠φ};又M=M(E·I),则有C(M*)=b(B(M))Λb((M*))=B(M).
- 吕国亮陈斌
- 关键词：对偶拟阵
