搜索筛选:
搜索耗时2.3014秒,为你在为你在102,285,761篇论文里面共找到 28 篇相符的论文内容
类      型:
[学位论文] 作者:文艳军,, 来源: 年份:2012
我国证券市场自1990年底成立以来,就明确规定禁止市场买空卖空交易行为,投资者都只能通过采取股价下跌时低买,股价上涨时高卖才能赚钱的单边做多方式获取收益。2008年10月5日...
[学位论文] 作者:文艳军,, 来源:国防科学技术大学 年份:2005
形式验证是提高软件可靠性的有效手段。为了控制形式验证特别是模型检验和精化检验的复杂性,研究人员提出了组合方法,其基水思想是“分而治之”,即把大的、系统整体的验证任...
[期刊论文] 作者:文艳军, 来源:电脑乐园·信息化教学 年份:2019
伴随新课改的大力实施,微课在高中教学中得到一定的重视,合理的将其应用到信息技术教学中能够发挥有效的作用。微课作 为新时代先进的产物,其能够根据学生的实际情况设置针对...
[期刊论文] 作者:文艳军, 来源:课程教育研究 年份:2020
【摘要】信息技术是高中教育重要组成部分,在于培养学生综合素质。随着核心素养引入,信息技术教学也越来越注重培养学生创造力,使学生具备适应社会发展能力,真正提高信息技术教学质量。  【关键词】高中 信息技术 创造力 培养策略  【中图分类号】G633.67 【文......
[期刊论文] 作者:文艳军,罗宇, 来源:计算机工程与科学 年份:2018
原理与实践的紧密结合是操作系统课程教学的一个难点,提出一种应对此问题的操作系统授课方法,该方法以对操作系统内核运行轨迹的调试分析为线索,来组织对操作系统原理知识的讲授......
[会议论文] 作者:文艳军,殷建平, 来源:1999年全国理论计算机科学学术年会 年份:1999
该文提出了一种用于联机手写汉字识别的汉字拐点识别算法,通过比较拐点前的笔段的平均方向与笔划上各象素点处的局部方向走势来判断拐点。实验表明,该算法是高效、准确的。...
[期刊论文] 作者:陈杰,文艳军,王戟, 来源:计算机工程与科学 年份:2008
本文提出了一种圆环型的有向图拓扑布局算法,能够清晰地展示软构件之间的相互依赖关系,有助于设计人员更好地理解和分析多构件系统中构件间依赖关系的整体态势,进而优化系统...
[期刊论文] 作者:文艳军,罗宇,WENYan-jun,LUOYu, 来源:计算机工程与科学 年份:2018
[期刊论文] 作者:王晋忠,文艳军,王茜,, 来源:西南金融 年份:2013
融资融券制度的推出对市场的运行特征会有哪些影响?本文选取沪深两市融资融券交易的整体数据,分别从股票市场的波动性和流动性两个角度,运用VAR模型以及Granger因果检验进行...
[期刊论文] 作者:文艳军,王戟,齐治昌, 来源:计算机工程与科学 年份:2006
接口自动机是一个用来描述软构件接口的时态行为的形式模型,传统的简单组合精化检验规则由于没有考虑到环境时子任务的影响而使其实际应用受到较大限制。本文提出了一种对该规......
[期刊论文] 作者:文艳军,王戟,齐治昌, 来源:软件学报 年份:2007
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它...
[期刊论文] 作者:文艳军,王戟,齐治昌, 来源:计算机科学 年份:2005
标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型.当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问...
[期刊论文] 作者:朱丽华,文艳军,董威, 来源:计算机科学 年份:2017
使用语义补丁技术对Linux的网卡驱动程序的后向移植方法进行研究。通过分析多个不同内核版本的驱动程序代码,在兼容库代码的支持下,提出了一种使用语义补丁进行驱动程序后向...
[会议论文] 作者:董威;文艳军;齐治昌;, 来源:2007年全国高校软件工程专业教育年会 年份:2007
在教育部近期制定的《高等学校计算机科学与技术本科专业规范》中,"软件设计与体系结构"课程是软件工程专业方向的重要核心课程。本文首先总结了专业规范对该课程的具体要求,...
[期刊论文] 作者:文艳军,罗宇,李姗姗,刘江潮, 来源:计算机教育 年份:2019
针对如何分解操作系统内核实验难度的问题,提出一种基于内核调试和抽象精化思想的实验设计方法,该方法聚焦几条内核执行路径,通过调试观察该路径在不同抽象程度的表现,从高层...
[期刊论文] 作者:董威, 文艳军, 李暾, 齐治昌,, 来源:计算机教育 年份:2015
针对国家和军队信息化建设对软件工程人才的迫切需求,以及软件工程专业课程面临的知识与工具变化快、项目实践要求高、强调协同与合作等特征为目前在线课程模式和平台带来的...
[期刊论文] 作者:文艳军,罗宇,邓胜兰,尹俊文, 来源:计算机教育 年份:2009
本文介绍了一个U盘驱动程序开发实验的设计与实施情况,包括实验内容、实验基本过程和思路、实验组织和效果等。本实验有助于学生更真实地了解设备管理的实际情况,加深对设备...
[期刊论文] 作者:罗宇,唐玉华,文艳军,李姗姗, 来源:计算机工程与科学 年份:2014
重点探讨了与计算机原理相关的几个重要知识点:中断与异常、原语的实现技术、页式虚存管理。特别澄清了中断与异常的不同,P.V.操作的忙等待实现方式,给出了访存指令执行过程中硬......
[期刊论文] 作者:李锋,文艳军,齐治昌,陆赛因, 来源:计算机工程与科学 年份:2012
MYGCC是一个编程规则检查工具,其目前的检查算法存在局限性,不能完整地展示违反编程规则的程序路径。本文提出并实现了一种改进的编程规则检查算法,可以弥补上述的局限性。实...
[期刊论文] 作者:李暾, 文艳军, 刘万伟, 董威, 罗宇,, 来源:计算机教育 年份:2015
针对当前软件体系结构课程教学的挑战,提出基于案例式教学、翻转课堂和开源软件的课程教学改革思路,阐述在软件工程硕士中进行课程教改的实施过程并说明效果。...
相关搜索: