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

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

跟踪目标的动态模型问题的评述

本文提出跟踪飞机一类机动目标的动态模型,对这些模型的特点和应用范围作出评述。     

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

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

12.7mm高射机枪模态试验与分析

本文利用实验模态分析技术和有限元法研究机枪—土壤系统的动态特性,通过模态试验获得机枪在硬质土壤支撑条件下的低阶模态信息,据此对机枪有限元模型的边界条件进行模拟,并从动力学角度分析影响射击精度的主要因素,为进一步研究机枪结构动力修改和质量评估提供依据,     

新的军品定价机制初探

军事经济作为国民经济的一个子系统,必须与社会主义市场经济相适应;军品定价机制作为军事经济运行机制的一个子系统,应该遵循价值规律。但是,传统的军品定价机制既不适应社会主义市场经济的要求,也没有遵循价值规律,已经妨碍了部队装备现代化建设。因此,必须建立新的军品定价机制。首先应对军品的范畴及其社会属性进行科学的界定和分析。其次必须统一对现行军品定价机制缺陷的认识。最后还要对新的军品定价方法和军品定价管理进行深入探讨与实践。     

加强标准经费管理的基本思路

加强标准经费管理,立足标准经费过好紧日子,既有现实的紧迫性,又有长远的战略意义。目前,在标准经费管理方面,存在着超标准、超计划、乱开口子花钱;花钱办事不注重实效;行政消耗性开支比例过大;钱变物后失控;将经费供需矛盾掩盖了管理上的矛盾等问题。解决上述问题,必须实行财务统管,建立科学的理财机制,同时,要努力抓好开源节流工作。     

多媒体技术发展综述

本文主要论述多媒体技术的现状和发展动态.     

FMS可靠运行技术研究

本文对长春FMS实验中心的FMS运行实践进行了分析和综合;并对如何有效提高实验中心FMS的可靠性水平及实现系统的稳定运行提出了改进措施。     

关于建立党委理财机制的研究

创建近些年来各级党委在理财上取得了一些成绩和经验,但也存在不少问题。主要是理财权责不清;财务关系不顺;财力分配不当;财务监督不力。因此,必须建立完善而高效的理财机制,把党委理财纳入法制轨道,形成惯性运行。文章认为,党委理财机制的模式是:实行集中领导、集权领导、集体领导;发挥分管首长、事业部门和财务部门的作用;实现落实财经政策和财务法规、完成部队事业建设任务、经费收支平衡的目标。     

论建立和完善军队税收辅助管理机制

为确保军队生产经营提供尽可能多的收益弥补军费不足,国家对军队企业实行了一系列优惠政策。但从军队税收管理现状来看,军队的财政管理功能不足以实现国家税收管理之目的;而军地企业不同的税负标准和效益评价差异,则不利于提高军队企业经营效益。这就决定了军队必须制定与国家税收法律制度相配套的、与军队实际情况相吻合的辅助性税收管理法规,以保证国家税收法律制度在军队的有效实施,避免国家税收优惠政策对军队主体的负增益效应,同时,规范军队企业财务管理制度,最终使国家税收优惠政策落实到促进军队建设上来。根据国家对军队企业税收政策的目的,建立军队税收辅助管理机制,应体现国家优惠政策原则、职能定义原则、法制化管理原则、税收管理和财务管理相结合的原则以及有限性原则。