搜索筛选:
搜索耗时0.1026秒,为你在为你在102,285,761篇论文里面共找到 19 篇相符的论文内容
发布年度:
[期刊论文] 作者：陆斌,宋立彤,
来源：微处理机 年份：2004
本文以C++Builder编程语言为例,介绍了DirectDraw编程技术思想在DirectX以外环境中实现高质量平面动画的应用方法....
[期刊论文] 作者：李航,宋立彤,
来源：软件学报 年份：1996
部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术，本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量式部分求值器，使得函数例化尽量在前次已......
[期刊论文] 作者：陆斌,宋立彤,
来源：计算机测量与控制 年份：2003
为了实现动态实时显示全景图像的目的,文章提出了全景图像的合成及用Borland C++Builder编程语言实现的方法,达到了预期的效果,结论证明该方法合理可行....
[期刊论文] 作者：陆斌,宋立彤,
来源：计算机仿真 年份：2004
经纬仪是我国靶场测量的主要光测设备,占据了外弹道测量试验任务中的主导地位。为了解决其日常训练中存在的设备磨损、缺少形象的测量对象和环境等问题,该文介绍了采用以加挂的方式,在经纬仪上加装能够产生与实际试验任务图像环境一致的计算机及接口设备,利用Di......
[期刊论文] 作者：陆斌,宋立彤,
来源：微计算机信息 年份：2003
本文提出和实现了用Visual Basic语言实现在计算机模拟过程对运动对象控制的各种交互动画模拟方法....
[期刊论文] 作者：陆斌,宋立彤,
来源：微处理机 年份：2003
本文以观测站点对运动目标跟踪的计算机动画模拟为例 ,提出了大背景中运动目标的动画模拟方法以及其在 VB、VC、C++Builder语言中的实现方法。...
[会议论文] 作者：宋立彤,刘磊,
来源：第六次全国软件工程学术会议 年份：1996
部分求值技术在软件工程与软件自动化领域中起着重要的作用，最近几年中我们在这一领域取得了一定的成果，并实现了几个实验性系统。这其中包括函数式语言的部分求值、过程式语言......
[期刊论文] 作者：陆斌,宋立彤,等,
来源：微处理机 年份：2003
本文以观测站点对运动目标跟踪的计算机动画模拟为例,提出了大背景中运动目标的动画模拟方法以及其在VB、VC、C++Builder语言中的实现方法....
[期刊论文] 作者：宋立彤,田宏宇,
来源：吉林大学自然科学学报 年份：1995
深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性......
[期刊论文] 作者：宋立彤,金成植,
来源：吉林大学自然科学学报 年份：1994
本文讨论了代数和规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换，首先给出了一种基于抽象数据类型的代数规格证明语言ＡＳＬ；然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换的形式化方法。在这种方法......
[期刊论文] 作者：宋立彤,金成植,
来源：软件学报 年份：1996
本语言基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高。...
[期刊论文] 作者：宋立彤,金成植,
来源：软件学报 年份：1996
本文给出高阶函数式语言Ｐｒｏｌｏｇ语言的一种转换技术，其中主要用到抽象闭包分析，Ｌａｍｂｄａ提升，顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌｌ技术，本文的研究征顺于高阶性的处理上。......
[会议论文] 作者：宋立彤,田宏宇,
来源：第六届全国青年计算机工作者会议 年份：1996
该文基于抽象编译技术设计并实现了一自应用型的函数式语言部分求值器ＦＭＩＸ，与已知的国外同类其它部分求值器相比，ＦＭＩＸ在设计方法和实现策略上具有独到之处，在几个普遍较难处理的问题上运......
[期刊论文] 作者：李航, 宋立彤, 金成植,,
来源：软件学报 年份：1996
部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已......
[期刊论文] 作者：何友金,李楠,宋立彤,,
来源：舰船电子对抗 年份：2006
舰载激光武器拦截海上来袭导弹是保护航母的一种有效手段．首先分析了航空母舰的概况，然后对舰载激光武器反导的原理进行了介绍，计算了激光大气传输的透过率和激光破坏导弹所需的......
[期刊论文] 作者：宋立彤, 田宏宇, 金成植,,
来源：吉林大学自然科学学报 年份：1995
深入研究了Ｐｒｏｌｏｇ抽象分析，并将其应用到Ｐｒｏｌｏｇ的并行化编译开发中．用这一技术开发出的模型是采用动静态结合的方式，它改进了ＤｅＧｒｏｏｔ算法，在一定程度上避免了并行性的损失。这是一种动态开销小，并行性......
[期刊论文] 作者：宋立彤,金成植,魏仲慧,
来源：吉林大学自然科学学报 年份：1996
定义了函数式语言ＳＦＬ，给出了由ＳＦＬ到ＰＲＯＬＯＧ的一般性转换方法，设计并实现了自动转换系统。...
[期刊论文] 作者：宋立彤,何友金,刘季彤,糜玉林,
来源：海军航空工程学院学报 年份：2003
分析了电影经纬仪日常跟踪训练的要求与特点,提出了一种适应性、灵活性较强的模拟仿真方法,并介绍了其各主要部分的基本实现方法....
[期刊论文] 作者：任建存,李廷军,宋立彤,金慧琴,
来源：海军航空工程学院学报 年份：2001
神经网络用于专家系统是实现人工智能的一种新方法,为获取专家经验提供了一条有效途径.文中利用人工神经网络的学习特性,实现对管理专家评估思想的学习与模拟,建立了航空维修...
相关搜索：
