基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

从ACCV＇95看计算机视觉技术的发展

介绍了第二届亚洲计算机视觉会议（ＳＥＣＯＮＤＡＳＩＡＮＣＯＮＦＥＲＥＮＣＥＯＮＣＯＭＰＵＴＥＲＶＩＳＩＯＮ,ＡＣＣＶ’９５）的一些情况;回顾了在该领域及相关学科的研究成果;讨论了当前计算机视觉所面临的理论与实际应用问题,并对中国空间技术研究院这一学科的发展提出看法。     

卫星间光通信开发动向

从轨道上向地面自由地发送、接收宽频带图像信号的光通信系统已十分引人注目。而卫星间光通信（ＯＩＳＬ）将是人类在大气层外或在卫星轨道上支持多种活动的基础。美国、欧洲、日本都在长期进行ＯＩＳＬ技术的开发，现将研究状况及未来动向概述如下：１．美国以航宇局（ＮＡＳＡ）、马萨诸塞工业大学（ＭＩＴ）等为中心进行ＯＩＳＬ的研究。喷气推进实验室（ＪＰＬ）主要目标是从事深空通信应用方面的研究。①ＮＡＳＡＮＡＳＡ的哥达德空间飞行中心（ＧＳＦＣ）正进行有关强度调制／直接检波（ＩＭ／ＤＤ）方式为主体的ＯＩＳＬ研究。按照传…     

从ACCV‘95看计算机视觉技术的发展

介绍了第二届亚洲计算机视觉会议（ＳＥＣＯＮＤ ＡＳＩＡＮ ＣＯＮＦＥＲ－ＥＮＣＥ ＯＮ ＣＯＭＰＵＴＥＲ ＶＩＳＩＯＮ，ＡＣＣＶ’９５）的一些情况；回顾了在该领域及相关学科的研究成果，讨论了当前计算机视觉所面临的理论与实际应用问题，并对中国空间技术研究院这一学科的发展提出看法。     

美国“地球观测系统”卫星参数表

美国“地球观测系统”卫星参数见表１。表１　“地球观测系统”参数表卫星ＥＯＳ－ＡＭＥＯＳ－ＰＭＥＯＳ－ＣＯＬＯＲＥＯＳ－ＡＥＲＯＥＯＳ－ＡＬＴＥＯＳ－ＣＨＥＭ科学用途测量地表、云、气溶胶和辐射收支特性测量云、降水和辐射收支、地面雪和海冰、海面温度和海洋生产率研究海洋生物量和生产率观测大气和气溶胶测量海平面高度、洋流和冰层质量测量大气化学成分及其传输过程、海洋现象有效载荷ＡＳＴＥＲ，ＣＥＲＥＳ，ＭＯＤＩＳ，ＭＩＳＲ，ＭＯＰＩＴＴＡＩＲＳ／ＡＭＳＵ／ＭＨＳ，ＭＯＤＩＳ，ＣＥＲＥＳ，ＭＩＭＲＳｅａＷＩＦ…     

Jobshop问题中动画仿真模型的 自动生成系统1)

对于给定目标，仿真过程可大致分为仿真建模、程序实现、仿真结果的统计分析三大部分.其中仿真建模是最基础的、关系整个仿真成败的环节.如果能够在仿真建模完成后自动生成相应的仿真程序，不仅可大大减少工作量，还可使工作者集中精力于仿真建模，使模型更准确、更优化.本文以Jobshop问题为例，给出了一种基于SIMAN/CINEMA软件的动画仿真程序自动生成系统，但该系统整体设计思想并不局限于SIMAN/CINEMA软件，只要做少量修改即可应用于其他仿真软件程序的自动生成.该系统可方便地生成标准的Jobshop问题的动画仿真模型程序，并可推广到其他生产管理、交通运输、邮电等领域，具有相当的通用性.     

IML—2计划与现状

日本宇宙开发事业团就有关预定于１９９４年７月进行的第２次国际微重力实验室（ＩＭＬ－２）的计划内容以及准备情况概述如下。１．ＩＭＬ－２计划概要ＩＭＬ－２计划是以美航宇局（ＮＡＳＡ）为中心，通过国际合作实施的空间实验计划。由参加的各国将各自准备的实验装置，搭载在哥伦比亚号航天飞机的空间实验室上，利用微重力环境进行各种生命科学和材料科学实验。（１）推动计划的办事处：ＮＡＳＡ生命、材料科学应用局（ＯＬＭＳＡ）（２）计划实施综合中心：ＮＡＳＡ马歇尔空间飞行中心（ＭＳＦＣ）（３）任务梗概：任务时间　１３天（…     

多媒体智能数据库系统MIDS／BUAA

ＩＤＢ（智能数据库）思想的提出，预示着人类的信息处理即将步入一个崭新的时代．ＩＤＢ将计算机科学中近年来日趋发展成熟的五大主要技术，ΟΟ（面向对象）技术、ＤＢ（数据库）技术、ＡＩ（人工智能）、Ｈｙｐｅｒｔｅｘｔ／Ｈｙｐｅｒｍｅｄｉａ（超文本／超媒体）和正文数据库与联机信息检索技术，集成为一体．其中ΟΟ、ＡＩ和ＤＢ是ＩＤＢ中的三大支柱技术．本文论述ＭＩＤＳ／ＢＵＡＡ数据模型（Ｄａｔａｍｏｄｅｌｉｎｇ）的哲学，并介绍ＭＩＤＳ／ＢＵＡＡ系统的设计思想、动机、核心数据模型，系统的功能构成和它的Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ体系结构．     

即将开辟通信领域新纪元的国际海事卫星终端

拥有７１个成员国的全球移动通信组织──国际海事卫星组织（ＩＮＭＡＲＳＡＴ）近年来为了迅速发展卫星移动通信业务和占领移动通信市场，加紧研制国际海事卫星及其终端，使ＩＮＭＡＲＳＡＴ的业务不断由海上扩充到陆地和空中。移动式通信卫星系统成功的关键，不仅在于卫星本身，其地面系统亦至关重要。ＩＮＭＡＲＳＡＴ从１９７９年开始提供海事通信业务以来，研制出多种型号移动通信终端，即Ｉｎｍａｒｓａｔ－Ａ型、Ｃ型、Ｂ型和Ｍ型，目前正在研制Ｉｎｍａｒｓａｔ－Ｐ型。到１９９３年８月，已有２．１万个Ｉｎｍａｒｓａｔ－Ａ型，８…     

民机营运维修保障系统仿真

阐述了民机维修保障仿真系统，并讨论了它与民机可靠性，维修性和经济性仿真大系统的关系。文中重点介绍了民机营运阶段维修保障系统仿真建模及其应用软件ＣＡＲＭＥＳ的功能模块设计，最后以国内某航空公司营运的Ｙ－７飞机为例对其ＲＭＥ进行分析和评价。     

太空发电站参数化有限元建模与设计平台

在进行太空发电站的动力学与控制研究时,由于其结构尺寸庞大,单元与节点众多,传统有限元建模方法效率极低,通常只能将其假设为刚体或刚柔耦合系统,但这种近似简化处理必然会导致真实动力学特性的缺失。因此,文章提出一种太空发电站参数化有限元建模方法并建立设计平台,旨在缩短有限元建模周期,提高太空发电站设计、分析与优化的效率。以平台式太空发电站为原型,介绍了其基本参数与有限元模型。定义了易用的有限元节点与单元编号规则并给出了参数设置过程。借助APDL、UIDL,以及TCL/TK的混合编程技术,建立了太空发电站参数化有限元模块及设计平台,利用简单的菜单及人机交互界面实现电站的参数化有限元建模,设计人员从输入参数到开始建模的前处理时间不会超过2min,提高了建模效率。     

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

基于Labview的功率计自动校准系统

设计开发了微波功率计在PC机上的自动校准系统,该系统基于Labview在PC机上进行通信控制和数据处理。文中给出了校准原理、程控技术和程序实现过程。该校准因子自动校准系统现已运用到实际工作中,其相对于手动测试,提高了测量速度和效率,测试数据量大,实用性强。     

应用Stateflow技术的安全性建模与仿真

为了保障高风险系统的使用安全性,探索事故的运动规律与应急决策,提出了面向事故过程的安全性仿真方法,并结合有限状态机原理与Stateflow技术设计了建模方法与仿真机制,该方法能实现混合系统过程状态逻辑与连续机理的建模与仿真,仿真结果能反映事故发展过程中系统的状态-时间特性、人机交互特性以及过程机理,为应急决策提供定量的依据.最后,对某产品实例的事故过程进行了模型设计与仿真实验,验证了该仿真方法的有效性与合理性.      

基于有限状态机的安全性仿真技术

为了研究系统中事故的动态变化机理,探索事故发展过程中的运动行为,制定正确的应急控制措施,提出了基于有限状态机理论的安全性建模仿真方法.结合Simulink/Stateflow工具开发了面向事故机理与应急过程的建模仿真平台,实现了系统的机理模型、安全状态控制模型以及应急操作模型的有效融合.该平台能实现对人-机-环境综合系统进行动态仿真,为明确事故的动态变化过程和制定应急控制措施提供依据.通过对某舰船舱室事故过程的仿真实例,验证了该方法的有效性和合理性.     

一个基于网络的程序自动评测系统

基于网络的分布式程序自动评测体系结构提供了一种高效、准确、适应性强的机制来实现一个评测系统.该体系结构通过被动激活方式利用木马技术,保证了系统在通讯和评测过程中的安全性,并在评测中实现了评测程序对系统资源的零占用,这使得样本程序在开发和评测时处于一致的运行环境中.该体系结构通过规则库和过滤程序的使用,提高了其灵活性和适应性,使得它可以适用于更多类型的样本程序.在此基础上,实现了一套完整的应用系统.经过多次实际应用,证明其具有高效、安全和配置灵活的特点.      

关系数据库的自动生成与维护

随着计算机信息处理量的日益增长,数据处理部门的能力愈发不能满足需要,这就要求向数据处理专业人员提供新工具以提高其生产力。对关系数据库的自动生成与维护的研究就是出于这个目的。本文将基于假说演算的逻辑程序自动设计技术引入关系数据库之中,并使其成为关系数据库应用系统自动生成与自动维护的核心技术。利用这一技术,可以把自动设计出的逻辑程序通过程序变换途径转换为数据库查询语句。目前,我们已利用这一技术建立了一个实验系统,利用它已可以自动构造和维护一些小规模的数据系统。     

喷油器瞬态两相流动的建模方法

为了研究柴油机喷油器内部的气穴现象,采用一种新的方法建模并进行瞬态两相流动的数值模拟. 首先求解针阀开启时刻的稳态流场,然后导入自编的程序进行瞬态流场的计算. 自编程序是基于Fluent提供的用户自定义函数,用于控制模型边界条件,分析针阀受力情况和计算其运动速度. 初始计算条件来自稳态流场,每一步瞬态计算都依赖之前流场的计算结果. 这种建模方法保证了数值模拟的连贯性和真实性,确定喷油器初始条件就可以完整地计算喷油过程,得到每一时刻喷油器内部的压力分布和两相流分布等数据. 研究结果表明,这种新的建模方法是可行和有效的,其数值模拟结果和实验结果相吻合,并能揭示出喷油器喷嘴入口处气穴现象的产生、发展和消失过程,是进一步深入开展柴油喷油系统两相流动特性研究的一种新的途径.     

可编程存贮器在星上遥测仿真信号源中的应用

介绍了利用新型的电可擦除可编程只读存贮器以及一些辅助电路组成一个遥测系统仿真信号源的数据流产生系统。该系统首先依据遥测系统所需信号,在计算机上进行编程,利用计算机辅助设计,产生出符合要求的遥测仿真数据以及数据格式。通过E~2PROM 编程卡,将仿真数据及格式写入到E~2PROM 可编程存贮器中,实现了遥测仿真数据流可编程设计和自动生成。实际应用表明:该系统较好地解决了以往信号源中数据流产生电路复杂、通用性差、灵活性差、修改数据流的数据和格式不方便等问题;此外,数据流的可靠性和稳定性大大提高,更好地满足遥测系统的要求。     

基于STK的卫星实时视景仿真系统设计

卫星在轨运行的可视化仿真,能够直观、逼真反映卫星的实时轨道和姿态运动。卫星工具软件包（STK）是进行卫星系统仿真和分析的重要工具,能够满足卫星二维和三维的可视化仿真要求。在深入研究STK/Connect模块的基础上,应用Windows Sockets和多线程编程技术,开发了STK实时视景仿真驱动程序,该程序利用UDP协议接收模拟遥测计算机给出的卫星参数,通过与STK/Connect模块的通信,实时驱动STK的仿真运行,成功实现了卫星在轨运行实时视景仿真的演示效果。