共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用程序的动态切片技术,同时结合了程序的静态切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序在特定的情况下是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。 相似文献
3.
程序切片技术是一种在程序调试、测试、代码理解和软件维护等领域用来分析和理解程序的技术,它具有简化问题、缩小目标范围的特性。首先从程序切片的基本概念演化、切片的分类以及基本应用等方面比较系统地研究了现在已经存在的一些程序切片技术成果,最后总结了程序切片技术存在的一些问题并对其作出展望。 相似文献
4.
为更好地满足储层建模系统三维可视化改进的需求,在研究软件三维显示功能的基础上,针对原有软件的特点,提出一种将原先只使用OpenGL库进行三维显示的系统改造成利用Open Inventor库与OpenGL库共同实现三维绘制功能的软件思路和实现方法。分析和总结了使用Open Inventor调用OpenGL常见的几种技术。结合储层建模的一般原理,将测井数据和地震数据资料的计算和储层模型的可视化功能进行了分离。 相似文献
5.
本文提出了一种检测C语言程序的循环结构中是否存在死循环的方法,该方法基于循环结构中的循环变量,采用了程序的后向切片技术,以及程序的静态分析方法来分析和理解程序,通过上述方法来判断给定的程序中是否存在死循环模式,也即在程序运行中是否会遇到死循环问题,从而提高程序的运行效率。 相似文献
6.
7.
8.
最短路径问题在解决很多现实性问题中发挥着及其重要的作用,常用的算法为Dijkstra算法和Floyd算法等,本文主要研究了Floyd算法的JAVA语言实现过程及其应用。 相似文献
9.
10.
《中国科学院院刊》2004,19(3):206-207,239
作为“奥运科技(2008)行动计划”及奥科委的主要成员单位之一,中国科学院十分重视与其它成员单位及奥组委的密切合作,积极部署科技奥运项目,加强科技奥运咨询服务工作,有效地推动奥运科技项目的实施。在部署项目时,强调奥运需求导向,突出高科技特色;注重与院内外力量联合,加强技术集成,注重项目的工程化应用;加强与知识创新工程战略行动计划相结合,充分利用市场化机制,采取经费多元化方式支持。为更好地将我院科研成果服务于2008年北京奥运会,我院根据2008年北京奥运对科技提出的需求,与国家科技部、奥科委、奥组委、国家体育总局等有关部门紧密结合,积极在环保、交通、场馆建设、数字奥运、运动科研等方面组织了一批奥运科技项目。三年来,共计有10个项目获得国家科技部和我院支持。目前这批项目总体进展良好,其中一些项目已取得阶段性成果。为使广大读者及时了解这些项目进展,本刊与我院综合计划局项目管理处合作,从本期开始开设专栏进行连续报道。 相似文献
11.
人体上肢运动链模型的准确构建和仿真设计是进行虚拟人体运动和控制的关键技术,是实现虚拟人体运动控制和模式识别的理论前提。传统方法采用几何法、解析法等模拟人体上肢运动链模型,无法有效实现人体上肢运动链的高自由度控制模拟,产生后期搜索迟钝效应。提出一种基于分层子维空间运动规划的人体上肢运动链六自由度模型构建方法,构建人体上肢运动的各关节单元,得到上肢结构及运动学模型D-H表示方法,设计上肢运动链位姿变换,基于分层子维空间运动规划方案,得到人体上肢运动链动力学模型方程,采用六自由度全关节分析方法分析上肢运动链各关节单元,实验得出该模型构建能更好模拟人体上肢运动链模型,控制误差较传统方法减小,能有效实现人体上肢运动链的高自由度控制模拟。 相似文献
12.
为改进固定组织冰冻切片过程中出现的冰晶现象及脱片现象,本试验以福尔马林固定的猪肺脏为材料,进行冰冻切片并对其进行HE染色,通过对载玻片进行防脱片处理,以及将组织浸泡于蔗糖溶液中降低冰晶产生,从而提升冰冻切片的质量。结果表明,经蔗糖浸泡过的组织,切片完整、厚薄均匀、不易形成皱折;镜下组织结构完整,细胞形态清晰,染色鲜艳,胞质与胞核红蓝对比鲜明,细胞无肿胀且无明显收缩,组织无人为裂隙,无空泡及空网状形成,而未经蔗糖浸泡过的组织,切片不完整,组织中有许多空隙,厚薄不一,镜下组织结构不完整;多聚赖氨酸处理过的载玻片的脱片数为零,在四个试剂中防脱片效果最佳,其次是明胶硫酸铬钾,而经蛋白甘油处理过的载玻片和从试剂公司购买的载玻片出现不同程度的脱片现象。 相似文献
13.
14.
物流配送是物流的核心环节之一,配送线路的优化选择决定着配送效率和运输成本。为了求解大规模城市路网中的物流配送最短路径问题,提出了基于Map Reduce的并行算法和GIS仿真结合的求解方法。在该求解方式中,构建Map Reduce并行化模型和算法流程;数字化城市路网,借助于mapin-fo分层管理道路和配送点,并对道路和配送点进行拓扑化处理,生成MID文件供Map Reduce使用;通过Hadoop平台实现最短路径计算并在Map X直观显示出计算结果。 相似文献
15.
16.
对人的三维姿态进行估计在人的行为识别,三维建模等方面具有重大意义。现有的三维姿态估计方法都具有其局限性。提出了基于四肢方向的人体三维模型估计方法,具有适用广泛,编码简单,误差小等特点,可在行为识别方面起到较好作用。 相似文献
17.
5D建模与编程技术是3D应用软件中的关键技术,目前应用比较广泛的有OpenGL、Direct3D、Java3D和VRML等,本文对OPenGL的运行原理、实现机制和程序结构等作了探讨,讨论了使用OpenGL技术进行了具体编程的步骤以及有效利用5D建模软件快速开发可视化系统。 相似文献
18.
目的:对甘草等5种常见干药材软化方法进行研究。方法:采用15%氢氟酸、5%甘油溶液、15%甘油溶液和20%甘油溶液,分别软化12h、24h,后进行固定、脱水、透明、浸蜡、包埋、切片和染色,最后用树胶封片,与市面上销售的永久石蜡切片进行比对。结果:黄芪根用冰乙酸-乙醇溶液软化24h;甘草根用15%甘油溶液或20%甘油溶液软化24h;肉桂用15%氢氟酸软化24h,苦杏仁用15%甘油溶液软化12h;15%氢氟酸软化12h;小茴香用15%氢氟酸、5%甘油溶液软化12h。 相似文献
19.
20.
在应用程序中构建三维人体模型是实现三维虚拟试衣系统的一项基础工作。在Visual C++6.0开发环境下,利用OpenGL和3DS优势互补实现人体模型的构建和交互。克服了因OpenGL没有提供三维模型的高级命令,仅通过点、线及多边形等基本几何图元构建模型所造成的工作量和难度大的问题,实现了快速构建高质量三维人体模型的目的。 相似文献