搜索筛选:
搜索耗时0.0913秒,为你在为你在102,285,761篇论文里面共找到 17 篇相符的论文内容
发布年度:
[期刊论文] 作者：化志章,,
来源：江西师范大学学报(自然科学版) 年份：2013
提出了一种基于前序和中序遍历序列恢复二叉树的解法,算法以数学公式形式呈现,反映了建树过程中相关数据变化的一般规律,具备数学上的引用透明性,由此能机械获得非递归程序和...
[会议论文] 作者：化志章,薛锦云,
来源：2004年全国理论计算机科学学术年会 年份：2004
随着计算机软硬件系统日趋复杂,提高系统可靠性的验证技术日益受到重视.模型检测(modelchecking)以自动化程度高,实用性强而引人注目,并成功地应用于芯片设计、数字电路、通信协议、控制系统等诸多领域.如Intel,IBM,Lucent,Motorola等公司已经将该技术应用于产......
[期刊论文] 作者：化志章, 杨庆红, 揭安全,,
来源：江西师范大学学报(自然科学版) 年份：2010
提出树遍历统一的新解法,使其非递归算法像递归算法一样简单.首先以后序遍历为例,基于结点状态标记和遍历规则提取,从遍历定义导出遍历的递推公式,由此机械获得非递归算法和...
[期刊论文] 作者：化志章, 揭安全, 甘登文,,
来源：计算机与现代化 年份：2002
吸收了几何实验室教学智能平台的一些先进思想,将之应用于计算机程序设计,提出以研究、提炼程序设计知识元件为基础,研发计算机程序设计教学辅助平台的设想.并对平台的内容、...
[期刊论文] 作者：化志章,揭安全,薛锦云,
来源：计算机与现代化 年份：2002
PAR方法是一种实用统一的形式化程序设计方法,并有以PAR方法为指导思想的计算机程序设计ICAI模型.本文实现该模型的教学决策部分.首先基于建构主义等认知理论以及程序设计知...
[期刊论文] 作者：化志章,揭安全,薛锦云,,
来源：微计算机信息 年份：2007
模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,已有许多工业应用.其主要缺陷是空间爆炸问题.本文通过一简单实例介绍其基本思想、检测步骤和相关理论,给出一...
[期刊论文] 作者：揭安全,化志章,薛锦云,
来源：计算机与现代化 年份：2002
利用软件技术构建硬件虚拟实验环境(VEE)是提高计算机硬件教学及实验效率、降低实验成本的一条有效途径.本文以接口技术课CAI为例,首先介绍了VEE的概念及特征,总结出VEE的一...
[期刊论文] 作者：肖美华, 薛锦云, 化志章,,
来源：计算机工程与应用 年份：2003
UNITY是一种简单统一的理论、计算模型和证明系统,而且具有很强的把UNITY程序映射成不同的计算机体系结构模式的能力。该文在简述UNITY机理的基础上,分析UNITY与几种典型的程...
[期刊论文] 作者：JIE An-quan,化志章,DU Da-wei,薛锦云,
来源：微计算机信息 年份：2008
并发程序对提高应用系统的处理能力具有重要作用,基于嵌入式平台的并发程序开发尚无统一的工具支持.本文提出了一种基于嵌入式平台的并发虚拟机(CVM)设计思想,并采用标准C实...
[期刊论文] 作者：揭安全, 化志章, 薛锦云, 李云清,,
来源：计算机工程与设计 年份：2009
分析了基于角色的访问控制的工作原理，提出了一种基于Web应用的RBAC权限控制有效实现方法，并将其应用于高校办公自动化系统设计。介绍了OA系统的设计与配置方法，重点阐述了基于W......
[期刊论文] 作者：化志章, 揭安全, 李云清, 薛锦云,,
来源：计算机工程与科学 年份：2007
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于...
[期刊论文] 作者：揭安全,化志章,薛锦云,杜大威,
来源：微计算机信息 年份：2008
并发程序对提高应用系统的处理能力具有重要作用．基于嵌入式平台的并发程序开发尚无统一的工具支持。本文提出了一种基于嵌入式平台的并发虚拟机（CVM）设计思想，并采用标准C实现了......
[期刊论文] 作者：化志章,吴传孙,揭安全,薛锦云,
来源：微计算机信息 年份：2007
软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心技术，并总结出软件模型检测的一些新策略．......
[期刊论文] 作者：揭安全, 李云清, 杨庆红, 化志章, 王岚,,
来源：计算机教育 年份：2010
数据结构是一门理论性与实践性都很强的课程,数据结构实践教学体系的建设对于学生实践能力和创新能力的培养起着重要的作用。该文结合数据结构课程的特点,从实践内容的设计优...
[期刊论文] 作者：揭安全, 李云清, 杨庆红, 化志章, 王岚,,
来源：计算机教育 年份：2008
本文介绍了江西师范大学“数据结构”课程组以课程建设为主线，以全面提高课程教学质量为目标，以促进教学团队建设为宗旨，以现代教育理论为指导，对该课程进行一系列的教学综合改革......
[期刊论文] 作者：揭安全,李云清,杨庆红,化志章,王岚,
来源：计算机教育 年份：2008
“数据结构与算法”是计算机科学技术专业重要的专业课程，该课程的教与学都有相当的难度。近年来，我们在该课程中引入了项目式教学方法，通过精心设计项目，以软件工程思想指导项目......
[期刊论文] 作者：化志章,揭安全,王岚,石海鹤,钟林辉,万中英,
来源：计算机教育 年份：2022
为实现面向对象程序设计(OOP)课程的培养目标,针对综合实践能力培养,提出以“举一反三”能力作为突破口,用OBE理念指导基于案例的内容重塑和教学设计,形成以“精通基础设计框架、拥有丰富实践经验、具备专业思维能力”为特色的教学实施方案;通过六轮实践的结果......
相关搜索：
