电子商务系统形式化分析与验证技术综述(Ⅱ)

应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．本文将目前用于电子商务系统的形式化方法划分为四大类，综合分析并比较了各类方法的应用特点，并指出了进一步地研究工作．     

地方高校推进科技工作持续发展的思路和策略——以曲靖师范学院为例

地方高校的科技工作要顶天立地,发挥比较优势,形成研究特色,为地方经济社会发展服务。基于此,曲靖师范学院提出了推进科技工作科学发展的思路和措施：（1）进一步解放思想,明确责任,迅速提高学校的核心竞争力;（2）借助三大杠杆,突破领军人才和创新团队建设两大“瓶颈”;（3）创新机制,着力推进具有全局战略意义的三项工程。     

建筑物重建中的三维激光扫描精度分析

针对三维激光扫描技术在建筑物重建中数据采集、处理方面存在的误差,从三维激光扫描仪测站定向误差、仪器扫描误差、数据拼接误差进行分析,并构建了点位误差模型,为三维激光扫描技术在建筑物的重建中测量成果的精度评定及测量方案的优化设计提供了理论基础.最后以脉冲式三维激光扫描仪为例对建筑物重建进行精度分析.     

科技治理的模式:一种国际及国内视角

从全球视角来看,科技治理的是基于国际研发合作以及贸易这两方面的诉求产生.从国内视角来看,科技治理是源于国家使命地方化的以及地方利益区域化的诉求产生.根据不同的诉求,国际科技治理可以分为基于研发的科技治理模式与基于贸易的科技治理模式2种;国内科技治理可以分为中央与地方政府间纵向科技治理模式、地方间政府横向科技治理模式以及...     

加速经济转型的科技战略管理工具:技术路线图

技术路线图作为一种技术预见方法和战略管理规划工具,被广泛地应用到各个领域,主要为国家、产业以及公司的发展规划提供技术预见和战略谋划。同时,也可以有效解决山西省科技战略研究中将科技规划的顶层设计与产业转型升级的实际需求紧密联系的矛盾。     

航空气象技术在空中交通管理中的应用

航空气象技术是航空安全的重要保障手段,同时对于空中的交通管理也发挥着重要的作用。该文通过对航空气象技术的发展以及技术内容的阐述,介绍了航空气象技术在空中交通管理中的应用。     

基于S3C2410电力线载波远程抄表系统的设计

提出并初步实现了基于电力线载波的三级架构的远程无线抄表系统,其中基于S3C2410处理器的集中器的设计开发为远程抄表系统的核心。该集中器可用于家用三表的远程抄表,与传统的人工抄表、电话线抄表相比,极大地提高了效率。同时在设计中增加了除电力线外的其他通信接口,便于因地制宜地采用符合实际的通信方式。     

基于R & D资源布局的河南省科技金融中心成因分析

R&D资源是一个非常广泛的概念,2012年,各地区在“科学技术是第一生产力”思想的指导下,普遍加大了对R&D资源的投入,但由于经济实力和发展速度存在一定的差异,河南省R&D资源的区域布局也存在差异化。而科技金融产业汇集发展到一定程度和水平时,又会形成科技金融中心。在科学技术成为第一生产力的时代,探讨地区间R&D资源状况,明确地区间R&D活动差距的状况和变动趋势,对了解河南省金融中心的形成因素具有重要意义。     

浅谈水源热泵技术的应用

介绍了水源热泵技术的概念和工作原理,结合应用实例,总结了水源热泵技术的主要特点及其节能效果。     

应用现代教育技术改革大学英语教学

社会经济与科技的发展,对人才的要求提高了,不仅要求大学毕业生有过硬的专业水平,而且对他们的英语水平要求也提高了,大学英语教学也随之进行了改革。随着教学大纲的重新修订,教材的更换,传统的教学方法和手段难以达到大纲的要求。文章着重讨论了应用现代教育技术改革大学英语教学,以达到大学英语教学改革的目的。