SoC自动化验证方法的研究与实现

为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。

应用功能近红外脑成像对伴中央颞区棘波的良性癫痫患儿数学计算认知功能的研究

目的简单加减法计算任务态下,应用功能近红外脑成像(functional near-infrared spectroscopy, f NIRS)技术,评价6~8岁伴中央颞区棘波的良性癫痫(benign epilepsy with centro-temporal spikes, BECT)患儿与同年龄段正常儿童的大脑双侧顶叶皮层及额叶后部皮层的氧合血红蛋白(Hb O2)浓度的变化。方法将2014年12月至2016年9月在首都儿科研究所附属儿童医院神经内科门诊首诊的37例BECT患儿及在附近学校招募的16例健康儿童纳入本研究。采用f NIRS仪记录两组儿童在简单加减法计算任务态下,大脑双侧顶叶皮层及额叶后部皮层的Hb O2浓度变化。结果执行简单加减法计算任务期间,BECT患儿组正确率显著低于正常儿童组[(77.4±13.8)%比(88.7±4.7)%],反应时显著长于正常儿童组[(840.72±104.79)ms比(721.51±73.37)ms],差异均有统计学意义(P<0.05)。BECT患儿组Hb O2浓度变化值显著低于正常儿童组[顶叶:0.153(0.047,0.361)mm·mmol/L比0.228(0.056,0.419)mm·mmol/L;额叶后部:0.184(0.038,0.305)mm·mmol/L比0.245(0.044,0.427)mm·mmol/L],差异均有统计学意义(P<0.05)。结论 BECT患儿存在数学计算认知功能障碍;fNIRS可为判定BECT患儿数学计算认知功能障碍提供客观依据,或可成为评估认知功能损伤的新方法。

室内温度模糊神经控制策略研究

采用模糊神经控制器建立了室温控制系统模型.用遗传算法优化了模糊神经控制器的结构和参数,采用三段式遗传编码方式,有效地将隶属度函数和控制规则映射到遗传算法的搜索空间.实验结果表明,文中策略比一般的模糊神经控制在调节时间以及减少误差方面具有较好的性能.

注意缺陷多动障碍患儿认知功能检测方法的进展

注意缺陷多动障碍（attention deficit hyperactivity disorder,ADHD）是最常见的儿童时期精神行为障碍性疾病之一,临床表现为注意力不集中、多动、冲动,ADHD患病率为3%-5%。ADHD严重影响患儿的学习成绩、同伴关系、家庭生活、适应功能等,并且可以持续到成年。

大学生学业与自尊及自我效能感的关系

通过问卷法对190名大学生进行了调查研究,旨在研究大学生学业拖延与自尊及自我效能感的关系。研究发现:大学生学业拖延与自尊呈显著负相关,与自我效能感呈显著负相关。

大学城科技创新功能推动区域经济转型增长──以郑州高新区大学城为例

在内生增长理论中,知识积累、技术进步源于人们对于人力、知识资本的投资,对于人才的吸纳。大学城作为知识密集区,是科技创新的动力和源泉,发挥着创造知识、服务社会的功能。大学城与区域经济建立良性互动需从内部、外部两方面着手:以项目带动,实现高校的融合,加快内部"软环境"建设,形成聚集效应;引入多元化中介机构,发挥市场机制作用,减少政府干预,在大学城与企业之间建立有效衔接。互动机制的建立促使大学城科技创新功能更好地带动地方产业转型升级,推动区域经济发展。

浅析西方近代自由主义的发展

从近代自由主义传统的形成与发展来阐释自由主义的内涵是理解当代自由主义困境的新的理论视角。霍布斯、洛克等为近代自由主义确定了基本框架和理论体系。边沁与约翰.密尔对17世纪激进自由主义的哲学基础进行了批判,将功利主义作为自由主义的道德基础,发展了自由主义理论。密尔的自由主义理论既是对传统自由主义理论的总结,又对现代自由主义的产生和发展有着深远的影响。

基于并行遗传算法的对称多处理器任务调度策略研究

任务分配问题是公认的NP难问题。文章在以往有关多处理机任务分配算法的基础上,提出了一种适用于SMP系统结构的并行遗传调度算法。仿真结果表明,该算法具有较好的效果和收敛性。

探析我国城市群建设之集体行动困境

集体行动困难普遍存在于社会环境之中。奥尔森在他的《集体行动的逻辑》一书中,提出了集体行动理论,该理论包含了"理性经济人""集体行动""搭便车""选择性激励"等代表性观点。本文从集体行动理论的基础着手,通过集团规模、组织成本、制度安排三个方面来分析我国城市群建设以及建立区域合作机制方面存在的实践性问题,并结合上述三个方面提出了建设性建议。

基于BIM技术的土木工程施工管理与研究

近几年来,伴随着国民经济的快速发展,建筑业在国家的经济体系中发挥着越来越大的作用。伴随着信息全球的发展和科学技术的进步,建筑设计产业也在不断地发展壮大,同时,建筑的形态也变得越来越多样。建筑设计施工管理的质量是建设的关键,优质的建筑工程技术可以提高建设项目的使用年限,减少项目潜在的风险,防止人身和财产受到伤害。在工程建设过程中,工程质量起着至关重要的作用,它不仅关系到整个项目的进度,而且关系到企业和企业的经济效益,乃至企业的信誉。在此背景下,以往的工程施工项目管理模式已不能满足现代化建筑施工的发展要求,因此,加强施工管理的质量刻不容缓。文章对建筑业的特征、施工过程中遇到的困难以及施工质量管理中存在的问题进行了归纳,并将其运用于工程建设中,将 BIM的概念和 BIM运用到工程建设中,从而解决目前存在的一些问题。

地方本科院校教师教育类专业综合改革探索研究

文章针对地方师范院校师范生培养过程中存在的问题,提出教师教育类专业综合改革思路,从创新人才培养、课程体系建设、教学方法改革、师资队伍建设等方面着手进行综合性改革,力求探索出适用于地方师范类本科院校教师教育人才培养体系改革的新路子。

探析供给侧两种改革方式之优劣

由于内部经济结构调整、外部经济疲软的压力,我国经济由高速增长转入中高速增长轨道,进入"新常态"。为应对经济下行压力,政府推行了供给侧改革。目前对于供给侧改革有打破供给抑制、释放有效需求的外延性增长和放松管制、释放活力、营造创新环境的内生增长两种方式,两种方式各有优劣。在当前我国的供给侧改革中,要以内生增长作为经济改革主导,改善微观经济效率,做长远打算,谨慎适当选择外延式增长,避免路径依赖,为今后我国经济发展打好基础。

基于压缩感知追踪算法的低计算量分组稀疏均衡方案

在广义频分复用(Generalized Frequency Division Multiplexing,GFDM)系统中,为了应对复杂的信道带来的符号间干扰,基于信道的稀疏特性,使用广义记忆多项式(Generalized Memory Polynomial,GMP)模型对均衡器输入信号进行非线性建模,进而提出了一种基于压缩感知追踪算法和分组数据模式的低计算量分组稀疏均衡方案。该方案中,为了适应复杂变化的信道,均衡过程中采用了分组数据模式,此外,利用分块矩阵求逆的原理,摒弃了复杂的矩阵求逆运算,在每步的循环中使用矩阵乘法进行迭代计算的方式对正交匹配追踪(Orthogonal Matching Pursuit,OMP)算法及双正交匹配追踪(Double OMP,DOMP)算法进行了改进。仿真结果表明,此分组数据模式有效地改善了均衡效果,同时提出的改进算法在保证误符号率性能的前提下明显地降低了计算量,提升了运算速度。

河南新乡宠物犬、猫与弓形虫病感染关系探讨

目的:为了了解河南省新乡市宠物犬、猫弓形虫感染情况,探讨兽龄、性别与弓形虫感染关系,为弓形虫病的防治提供依据。方法:2014年10月-2015年10月直接采集动物静脉血,用酚试剂方法提取宠物犬、猫血液中总DNA,将弓形虫529多拷贝片段作为待检弓形虫序列,通过单管一步法巢式PCR技术随机对新乡市区124只宠物犬、54只宠物猫进行了弓形虫检测。结果:124份宠物犬样本中,弓形虫阳性13份,阳性率为10.48%(13/124),54份猫样本中有弓形虫阳性28份,阳性率为51.85%(28/54);猫血样本中,雌性阳性率63.16%(12/19),雄性阳性率47.83%(11/23);猫各年龄段中,小于6月龄阳性率66.67%(6/9),6月~12月龄阳性率75.00%(6/8),1岁~3岁阳性率60.00%(9/15),3岁以上阳性率50.00%(1/2)。结论:宠物猫弓形虫感染率高于宠物犬;宠物猫性别之间弓形虫感染无显著差异;随着年龄增长,宠物猫弓形虫感染率逐渐下降。

103例儿童发作性睡病的临床特点及随访

目的总结儿童发作性睡病的临床特点及治疗愈后。方法回顾分析2011年01月至2014年8月首都儿科研究所神经内科主要诊断为发作性睡病的103例病案资料及电话随访结果。结果 103例患儿全部现日间睡眠过多症状,27例患儿有明显猝倒表现,1例现睡眠瘫痪,2例现睡眠幻觉。可随访到的85例患儿中47例病情缓解,28例痊愈,其中66例应用盐酸哌甲酯治疗。结论我院观察的儿童发作性睡病患者四联征表现并不明显,药物治疗及非药物治疗控制疾病进展良好。

钢结构涂装完工后追加焊接连接零件的涂装

对钢结构涂装完工后追加焊接连接零件的原因进行说明,对追加零件时涂装的难点和方法以及如何对原有涂层的保护进行阐述,并进行了相关的试验。

政治关联、企业环境治理投资与企业绩效——基于中国民营企业的实证研究

利用2006年、2008年、2010年和2012年中国民营企业的环境治理投资数据,分别考察了政治关联对民营企业环境治理投资行动的影响、环境治理投资对企业绩效的影响以及政治关联对此关系的调节作用、政治关联对企业绩效的影响。结果显示:拥有政治关联的民营企业进行环境治理投资的可能性更大;企业环境治理投资有助于改善民营企业绩效;拥有政治关联的民营企业的环境治理投资对企业绩效的正向影响更大;政治关联有助于民营企业绩效的提升。上述结果支持了"波特假说",并进一步为处在制度压力下的民营企业进行环境治理投资提供了理论支撑与实践指导。

基于改进胶囊网络的X射线图像违禁品检测

针对X射线图像违禁品检测中存在的漏检和误检问题,提出基于改进胶囊网络的模型(DMF and SE Capsule)用于X射线图像违禁品检测。该模型在传统胶囊网络的基础上增加了特征增强(dilated convolution multi-scale feature fusion,DMF)模块和特征筛选(squeeze-andexcitation block,SE)模块。首先使用特征增强模块提取图像特征,通过增加空洞卷积层,并且将所得的高低层语义特征进行拼接融合,从而得到丰富的特征信息;然后再用特征筛选模块,以挤压激励的方式将得到的特征进行筛选;最后再经过网络的胶囊层,从而完成对违禁品的检测。为了验证模型对复杂场景下X射线图像中违禁品的检测能力,在SIXray数据集上进行实验,模型的检测准确率达到79.254%,与原始的胶囊网络(71.350%)相比提升了7.904%,因此,改进模型的检测能力提升明显。

“天时、地利、人和”、组织动态能力与企业战略的风车模型--基于一汽-大众奥迪的纵向案例研究

基于外部环境"天时、地利、人和"三因素、组织动态能力与企业战略相互影响的理论框架,运用纵向单案例研究方法,描述了一汽-大众奥迪在中国三个阶段的发展历程。研究发现:外部环境的剧烈变化对组织动态能力的形成和演化产生影响,同时组织动态能力也需要适应外部环境,占据"天时、地利、人和"优势,进一步支撑企业战略的成功实施。在此基础上,构建了"天时、地利、人和"三因素、组织动态能力与企业战略相互影响的整合模型。