宋小震
- 作品数:9 被引量:2H指数:1
- 供职机构:榆林学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:理学自动化与计算机技术文化科学更多>>
- 格值上下文无关文法的代数刻画
- 2011年
- 在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,给出格值逻辑意义下广义的格值子集构造方法,并证明了任一与除一步推导为格值以外,其余推导都是经典推导的之间的相互等价性。
- 宋小震
- 关键词:格值逻辑
- 关于无心二次曲面轨迹问题的研究
- 2011年
- 研究了过空间内任一定点的动直线上的点满足一定条件(此条件与定点、动直线和无心二次曲面之交点有关)的轨迹问题,此轨迹的方程仍表示无心二次曲面,并且给出了求动点满足本文中给定条件的无心二次曲面方程的方法。
- 宋小震
- 格值可逆自动机的代数性质
- 2011年
- 首先在格值逻辑框架下引入格值自动机的概念,并提出可逆映射的概念,从而诱导出格值可逆自动机的概念;其次研究了格值可逆自动机的代数性质,同时给出保证该代数性质成立的充分必要条件.
- 宋小震
- 关键词:格值逻辑格值自动机代数性质
- 用时频小波表示Hartley变换
- 2008年
- 研究一种新概念A-wavelet变换,讨论了如何用A-wavelet变换表示Hartley变换。类似于小波变换,A-wavelet变换运用一种尺度完全可调制窗口,但A-wavelet变换又不同于一般的小波变换,它仅在特定的时频点上做平移。类似地,逆Hartley变换也可用A*-wavelet变换表示。A-wavelet变换能被推广用作其它类型的酉变换。
- 连军江宋小震
- 关键词:HARTLEY变换
- 立方补数的两个渐近公式被引量:1
- 2006年
- 在通过对任一正整数提出另外一种唯一分解式的基础上,利用初等方法得到了关于立方补数的几个有趣的渐近公式。
- 宋小震安刚
- 关键词:渐近公式MOBIUS函数
- 量子上下文无关文法的代数性质被引量:1
- 2011年
- 提出了量子上下文无关文法(l-VCFG)的概念,并研究了其具有的代数性质;证明了量子上下文无关文法(l-VCFG)和Chomsky范式文法(l-VCNF)以及Greibach范式文法(l-VGNF)的相互等价性;详细研究了量子上下文无关语言的代数刻画以及对于正则运算的封闭性。
- 宋小震韩召伟李永明
- 关键词:量子逻辑正交模格
- 格值上下文无关语言的运算性质
- 2011年
- 在格值逻辑框架下给出上下文无关文法及上下文无关语言的概念,并研究了格值上下文无关语言在正则运算下的封闭性。
- 宋小震
- 关键词:格值逻辑
- 利用Riemann函数构造的两种反例
- 2006年
- 利用Riemann函数构造的两种新函数,反驳了有关函数连续、可导的两个错误命题。
- 宋文檀宋小震
- 关键词:RIEMANN函数可导