马尔可夫链最优停止的值函数

本文讨论了时间无限的马尔可夫链的最优停止问题。对于无限状态情况,给出了其最优停止变量以及值函数存在的一个充分条件;对于有限状态情况,这个充分条件以及问题的计算等价于解一个线性规划问题。     

YFT77 向量语句的实现

本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。     

有限马氏链最优停止的线性规划解

离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。     

TSR程序及其编制要点

在本篇文中介绍了ＴＳＲ程序的组成及其编制原理和要点,并给出了一个用Ｃ语言编制ＴＳＲ程序的通用例子。     

高级程序设计语言综述

为读者选择语言提供了总体思路,给出了高级语言的发展的趋势。     

《军事高技术知识》试题库管理系统的设计

本文主要介绍了《军事高技术知识》试题库管理系统的设计、特点和功能。在系统的设计过程中,采用了诸如RushMore和Ucdos5.0SDK等技术,设计了复合条件查询、备注字段的全屏幕编辑器等。整个试题库管理系统具有系统维护、选题操作、打印、统计更新、帮助及容错等功能。     

论言语与言语交际

言语是人们的一种心理活动,主要指人的说话或表达过程。言语具有符号性、模糊性等特点。言语交际必须把握几条基本法则:使用约定俗成的语言形式、选用恰当的词语、采用释义的方法等。     

基于元模型的军事信息系统体系结构建模方法

为了实现不同体系结构框架方法论及体系结构工具下所开发体系结构的可理解、可比较、可交换,促进体系结构数据的共享和重用,提出了基于元模型的军事信息系统体系结构建模方法;以模型驱动体系结构(MDA)思想为基础,研究了体系结构元模型到支持体系结构建模语言的转换方法;设计了元模型规范下的体系结构建模的实现方法;以作战规则模型(OV - 6a)的IDEF0建模为例分析了转换方法所涉及核心规则的具体实现,说明了该方法的可行性和有效性.     

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.