面向多用途的数学概念知识分层表示方法

着重介绍NKIMath中数学概念的知识表示方法.首先给出了NKIMath知识系统的体系结构,分析了获取数学知识的不同用途.在次基础上给出了一种融合了本体、框架和逻辑综合的知识表示方法,将知识分为谓词逻辑层、知识描述层和概念关系层,不同层次可以满足不同用途的需求,详细给出了数学概念知识表示的基本模式以及参数表示形式.NKIMath可以很容易地实现与W3C推荐的数学文档标注语言OMDoc之间的相互转换,同时在知识表示的多粒度、多语言版本知识自动生成等方面优于OMDoc.     

不确定需求下供应链合作广告与订货策略的博弈

基于报童类型产品的二级供应链结构,放宽了市场需求为确定性的假设,引入了订货量这一决策变量,先后考察了Stackelberg主从博弈和Nash合作博弈时制造商与零售商的最优广告策略及零售商的最优订货策略,比较了不同博弈均衡下的策略选择及系统期望利润,探讨了市场需求随机性对制造商与零售商广告投入水平的抑制作用.并利用Nash讨价还价理论对合作利益进行了分配.最后,通过一个数学算例验证了有关结论.     

基于灰色系统的桂西贫困地区农业经济分析

桂西是广西乃至全国贫困人口高度集中的地区,其经济发展状况直接关系到广西经济的整体发展和西部大开发战略的实施.通过人均劳动力创造的农村社会总产值、人均劳动力创造的农业产值、平均每公顷土地产出的农业社会总产值和农村居民人均纯收入4个指标,将桂西与广西其它4大经济区有关农业经济数据进行横向对比,引用灰色系统的相对关联分析模型,分析并找出影响桂西地区农业经济的主要因素.分析结果表明桂西农业经济仍存在较大的发展空间,可为政府对桂西农业经济进行宏观调控和产业结构调整提供依据.图2,表1,参6.     

资源受限多项目选择计划模型及其免疫优化决策方案

针对资源受限多项目选择计划问题探讨其数学模型,利用改进的克隆选择算法对其进行求解.算法设计中,利用启发式规则生成初始抗体群;利用变异算子改善进化群体的质量和增强进化群体的多样性;在群体更新中,基于启发式规则,插入新的成员微调进化群体的多样性.数值实验结果说明了模型设计的合理性,以及改进的克隆选择算法的有效性,获得了所建模型的较好决策方案.     

分布式虚拟现实仿真环境中的数据过滤技术研究

减少网络通讯负载一直是分布式交互仿真环境致力解决的问题。本文针对分布式虚拟现实仿真环境ＤＶＳＥ２０００遇到的拔号网络通讯瓶颈问题,讨论了基于数据转发器的实体状态数据包压缩技术及静态实体数据包传送技术。另外本文还基于大规模分布交互仿真环境介绍了兴趣管理技术,并提出了多阈值ＤＲ技术的思想。多阈值ＤＲ技术为解决大规模分布交互仿真环境的通讯负载提供了新思路。     

2007—2016年中国省域碳排放效率评价及影响因素分析——基于超效率SBM-Tobit模型的两阶段分析

利用超效率SBM模型,对中国30个省级行政区(未包含西藏自治区和港澳台地区)2007—2016年的碳排放效率进行实证分析,并运用Tobit模型探究影响碳排放效率的因素.结果表明,省际碳排放效率分布不均衡,北京的碳排放效率居全国首位.全国整体碳排放效率自2007年起小幅度下降,2015年后略有提升.从四大区域来看,居碳排...     

自主可控视角下中国半导体产业链风险及对策研究

从半导体产业链和产业特征出发,梳理中国半导体产业链存在的风险点,并从实现半导体产业自主可控角度提出政策建议.研究发现,中国半导体产业链关键节点面临风险为上游原料硅晶圆全球寡头垄断、晶圆加工工艺不先进、半导体设计软件对外依赖度高、半导体加工设备仪器自给率低;风险形成的原因为起步晚并遭到发达国家技术封锁、研发投入还有待加强...     

一类低相关序列

给出一类d型函数,用该函数构造出了一类低相关序列集.这类序列集的周期为2n-1,集合中序列的条数为2n,其中n=4m 2.证明了其非平凡相关值只取以下4个值{-1,±2n/2-1,2n/2 1-1}.     

智能高速频率计设计

论述了一种频率测量范围为1 Hz4 GHz高分辨率频率计的设计方法.智能高速频率计数器分成两个通道,利用ECL逻辑电平高速芯片和CPLD共同完成对高频信号的整形和计数,采用单片机进行智能控制和显示,具有多时基档位转换、频率测量、周期测量、自动校准、外部计数等多种功能.     

河北省创新型人才资源开发研究

创新型人才资源匮乏是制约河北省经济和社会发展的根本性矛盾,如何解决这一问题,一方面在于坚持好市场导向、结构导向、协调发展、超前培养、注重实效等基本原则;另一方面在于构建起多层面立体化的创新型人才资源综合开发机制。