Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

嵌段聚氨酯弹性体的动态力学性能研究

以预聚体法合成了两嵌段聚醚—聚酯型聚氨酯弹性体。研究了配料比、氨酯基浓度及固化剂用量等对该体系动态力学性能的影响。发现:该嵌段共聚物是完全相容的,其玻璃化转变温度T_g与聚醚含量呈线性关系;固化剂用量对该体系的T_g亦有影响。此外,对于聚酯氨酯体系,其T_g值与氨酯基浓度U亦呈线性关系。     

聚氨酯/环氧树脂(PU/EP)AB-交联聚合物的研究

用二胺同时固化聚醚氨酯预聚物及环氧树脂,制得了PU/EP AB-交联聚合物(AB-CP)。以动态粘弹仪对其进行了表征,结果表明:形成AB-CP后,PU与EP相之间的相互作用大大加强(强于PU/EF IPN中PU与EP之间的作用),使PU链运动受到限制,其Tg移向高温区并形成了一个单一的Tg峰;研究了物料比、环氧值等对其动态力学谱(DMS)的影响。预期该化合物是一类有前途的增韧环氧树脂材料。     

航炮吊舱与飞机发动机相容性试验

航炮吊舱与飞机发动机地面相容性试验,是为进行空中首次实弹射击是否会引起飞机发动机空中停车事故而进行的摸底试验,涉及到航炮发射时炮口产生的压力场、温度场、所形成的流动变化是否会影响到发动机吞恶劣气流能力。重点介绍了试验过程中所采取的方法和测试手段。通过分析保障空中实弹射击成功的全过程。     

正态总体参数的Bayes评估及其应用

论述了正态总体参数的Ｂａｙｅｓ评估问题及其在命中精度估计中的应用。叙述了正态总体参数的验前、验后分布和多阶段试验之下的估计,推导出了正态总体参数的Ｂａｙｅｓ估计置信区间以及Ｂａｙｅｓ假设检验,提出了相容性检验的必要性及其方法,并对反舰导弹的命中概率和舰空导弹的落入概率作出Ｂａｙｅｓ估计。     

带噪声的 AR 模型的参数估计及定阶

本文讨论了带噪声情形下 AR 模型的参数估计及定阶问题,还给出了噪声模型的参数估计,并证明了它们的强相容性。     

基于本体的异构信息查询技术研究

将本体应用于异构信息集成领域,提出了基于混合本体的信息集成框架,并结合实际对基于本体的查询处理问题进行了研究,通过实例验证了该信息集成框架的可行性.     

层次化新闻视频处理框架的设计与实现

提出了一个通用的层次化新闻视频处理框架,将新闻视频处理分为句法分段、语义标注以及视频摘要三个层次,并给出了三个层次中涉及的故事单元探测、字幕探测、视频摘要等关键技术的解决方案。框架突破了传统的新闻视频处理框架仅局限于句法分段以及单媒体特征进行处理的缺陷,通过对视音频特征进行多模态的综合分析来获取新闻视频高层的语义内容。实验通过一个新闻视频处理原型系统NVPS验证了框架的可行性,重点对故事单元探测、标题探测以及口播帧探测三个算法进行了实验,实验结果分别达到88%,86%和86%的探测准确率,从而进一步证实了层次框架在新闻视频处理方面的有效性。     

灾害应急反应建模与仿真

为了满足多智能体应急反应仿真的需求,首先对构建多智能体应急反应仿真模拟框架的复杂性进行了分析,在此基础上提出并设计了组件式仿真模拟框架.采用本体(Ontology)建模、语义网模型及产生式规则推理等理论方法构建了仿真模拟框架的场景建模模块、人员Agent建模模块等组件.最后对依照上述研究内容所开发的原型系统进行了测试,对测试结果进行了分析,结果表明该框架能够有效满足多智能体应急反应仿真的建模需求.     

“同志”的语义演变及军语语用功能

汉语中“同志”一词的使用具有较长的历史,其语义不断发生变化,从指称一种现象发展到指称人和称呼人。在军队中,“同志”是条令规定的用语,必须充分认识其在使用中具有的建构功能和人际功能,从而促进军人之间高尚革命友谊关系的建立和保持。