专注信息产业 领航“数字山西”——访山西泰森科技股份有限公司总经理郭发云

记者：在山西乃至全国的数字领域,山西泰森科技股份有限公司的知名度非常高,目前,泰森科技已形成以数字电视、GPS产品研发、生产、销售与运营;系统集成运行与维护;软件开发及技术服务为一体的高新技术企业。面对多种业务,泰森科技是如何有序开展的呢？     

关于近环(Near-ring)是可换环的几个定理

本文主要讨论了有单位元或无零因子的分配生成近环，以及满足无零因子、有中心幂等元等Ｈ－近环成为可换环的若干个条件     

黎曼可积的周期函数的若干性质

本文给出黎曼可积的周期函数的定义,并给出黎曼可积的周期函数的5条性质及其详细证明.     

山西霍山华北落叶松的叶绿素及硝酸还原酶含量的测定

本文对山西霍山华北落叶松的两个居群进行了叶绿素含量和硝酸还原酶活性的分析、测定。结果表明：两个居群有明显的差异，推测这些差异是由遗传差异所致，A居群有较强的适应力，可以作为育种的种质资源。     

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

一种基于POMDP用户意图建模的智能轮椅导航控制方法

通过部分可观测马尔可夫决策过程(POMDP)模型对用户意图进行建模,提出了一种基于POMDP用户意图建模的智能轮椅导航控制方法.该方法考虑了动作的不确定性和状态的部分可观测性,对用户意图、智能轮椅导航控制的动作空间进行建模,通过状态预测进而选择行为的最优规划,实现用户期望总值的最大化.首先介绍了POMDP的原理及模型,然后提出了基于POMDP用户意图的智能轮椅控制状态空间、动作空间、观察值集合、奖赏值和概率分布,进而提出了一种基于概率密度函数的用户意图求解方法.最后,对基于POMDP用户意图建模的智能轮椅导航控制进行了试验,并对试验结果进行了分析,从而验证了所提方法的实时性和有效性.     

“金昌”的成功之路—来自绍兴纺织业科技创新服务中心的报告

导言：区域科技创新服务中心（即“生产力促进中心”）是由政府出面帮助小企业提高技术开发和技术创新能力而设立的社会公益性机构，它是一个新生事物。在实践中，浙江省的许多地市根据经济发展的实际情况进行了一些大胆的尝试和富有创新的不同作法，充实了它的内涵。今年二月，浙江省科技厅区域科技创新服务中心工作小组专门组织了一次调研，对这些经验进行了总结，形成了若干报告。我们在这一期特辟此专题，集纳汇编，以供各地参考。     

电视教材可解读性的几种方法

提出了电视教材可解读性的几种方法，使用这些方法可提高电视教材的视听效果，达到了激发学习兴趣，帮助理解重、难点问题的目的。     

“外延发展”转向“内涵提高”是振兴乡镇企业的必由之路

针对目前乡镇企业发展困难的状况，提出振兴乡镇企业必须首先从项目、资金、人员等方面强化企业的内部管理。     

广义Riccati方程可积性的一类判定方法

对广义Riceati方程给出一类可积性判定方法。