胡成军
- 作品数：14 被引量：54H指数：3
- 供职机构：国防科学技术大学计算机学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术军事轻工技术与工程更多>>
- 虚拟实体对象的行为建模方法研究被引量：32
- 1998年
- 虚拟实体对象的行为建模方法已成为虚拟现实技术的研究热点之一。本文总结了前人在行为建模方面的成就，分析了其中存在的问题，并在此基础上提出了一种新的适于虚拟现实开发平台的虚拟实体对象行为模型SCP模型，并对这种行为模型的基本理论和应用界面进行了详细阐述。SCP模型以控制论为基础，适用领域广，表达能力强，适合并发实现，且易于重用已有的行为建模成果。
- 郑援李思昆胡成军鄢来斌
- 关键词：虚拟现实
- 实现实时混声被引量：1
- 1998年
- 利用Visual C++的多媒体播放函数mciSendCommand()、mciSendString()或sndPlaySound()能够很容易地播放各种WAVE格式的声音文件。这些函数帮助我们减少了很多工作,用起来很方便。但是,由于这些函数以设备独占的方式工作,只要当前WAVE文件没有全部播放完毕,就不能播放另一个WAVE文件,并且播放过程不受用户的干预。而实际应用中常常要求实时播放各种声音,即当前声音还没有播放完毕。
- 郑援胡成军
- 关键词：多媒体声音播放
- Windows动画图符的表现
- 1996年
- 我们曾经在WINDOWS环境中见到过一副小动画,也就是一副活动的位图,比较有趣。找到这副小动画的操作路径是这样的:在Program Manager中,有一个Help菜单项,同时按住Shift键和Ctrl键之后,用鼠标点击Help菜单项,并选择“About”菜单项,就会弹出一个对话框,在这个对话框的左上角有一个Microsoft公司的标志,用鼠标在这个图符上连点两下,就会出现另一部分信息,中间很醒目的就是一面飘动的旗帜——一个活动的位图,一副不停息的小动画。注意,在这一过程中Shift键和Ctrl键必须按住不放。 我们想,如果能够实现这种动画,并应用于在WINDOWS下开发的应用程序的界面中,必然会使应用程序的界面变得活泼可爱。因此,我们经过考虑,找到了一种实现方法,并制作了一个小小的演示程序。
- 胡成军郑援
- 关键词：WINDOWS位图
- 区间时序逻辑的标记相继式演算
- 1999年
- 区间逻辑在许多领域如人工智能、形式化方法中都有成功应用．其中，区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视．由于区间时序逻辑具有较强的表达能力，这也使得该逻辑的定理证明变得相当困难．该文提出了区间时序逻辑的一个标记相继式演算，并给出其可靠性和相对完备性结论．该演算应用于机器辅助定理证明工具中，可以有效地提高证明的自动化程度．在高阶逻辑证明工具ＰＶＳ中，作者尝试性地实现了这一演算，获得了很好的效果．
- 胡成军王戟陈火旺
- 关键词：区间时序逻辑定理证明人工智能
- 音乐动画贺卡的制作
- 1998年
- 我们曾经制作了一张配有音乐和动画的电子贺卡,在节日时通过E-mail寄给了一位朋友,这份别致的礼物令朋友很高兴,也增加了节日的喜悦气氛。它是一个可执行程序,运行时后台播放美妙的音乐,前台是循环不断的动画图象,程序的标题上是祝福的话语,About对话框中是有关赠言的说明。这个程序是使用Visual C++的多媒体功能制作的。下面我们介绍一下这张贺卡的制作方法。
- 郑援胡成军
- 关键词：贺卡多媒体
- 全文增补中
- 合成虚拟实体对象复合行为状态被引量：3
- 1999年
- 实现行为合成要求行为必须可重用，且行为由虚拟实体对象自主控制．文中提出一种基于ＳＣＰ模型合成复杂行为的方法，通过引入三种分别表示行为状态的顺序执行、并行执行以及重复执行的合成算子进行行为状态的运算，来合成复杂行为，构成复合行为状态，并通过扩充的Ｐｅｔｒｉ网予以实现．合成算子的引入增强了ＳＣＰ模型对复杂行为的描述能力，有利于虚拟实体对象行为的重用。
- 郑援李思昆胡成军鄢来斌甘咏梅
- 区间逻辑的一个辅助证明工具被引量：2
- 2000年
- DC/ P(duration calculus prover)是一族实时区间逻辑的辅助定理证明工具 .它采用 Gentzen风格相继式演算作为基本证明系统 ,并结合项重写、自动判定算法等技术以提高证明的自动化程序 .该文介绍了 DC/ P的语义编码方法、采用的相继式证明系统及实现技术 ,并给出了应用实例 .
- 胡成军王戟陈火旺
- 关键词：区间逻辑时段演算定理证明
- 通用的应用程序扩充工具
- 1996年
- 本文在分析DOS加载应用程序的基础上,设计并实现了一个通用的扩充EXE型文件的实用工具,并例示了其用法。
- 胡成军郑援
- 关键词：应用程序EXE文件DOS
- 虚拟实体对象建模语言SCPL被引量：11
- 1999年
- 本文给出一种新的虚拟实体对象建模语言ＳＣＰＬ．这种语言以基于控制论的行为模型ＳＣＰ为中心组织虚拟实体对象的建模，具有实现连续和更复杂行为的能力，适用领域较广．ＳＣＰＬ将行为的控制封装于对象内部，同时行为又可在虚拟实体对象类外部单独定义，可重用性好．ＳＣＰＬ还以自然的方式支持把具有行为的虚拟实体对象作为子对象．应用情况表明，该语言程序具有程序简洁明了，执行效率较高的优点，有效克服了已有建模语言在行为建模。
- 郑援李思昆胡成军彭宇行
- 关键词：建模语言
- 软件重用及其途径被引量：2
- 1995年
- 采用软件重用技术开发软件能明显提高生产率、保障软件质量。因而,软件重用技术近年来得到了越来越多学者的关注。本文概要地介绍了重用技术及其主要实现途径。
- 胡成军郑援
- 关键词：软件工程
