一种排版语言的设计

文字排版是计算机应用的一个重要领域。本文提出一种新颖的排版语言FMT,其特点是排版命令与正文相独立,可以使用户方便地描述实用而又美观的版面格式,将是办公自动化的一种有力工具。     

复自治微分系统(E)的奇点量计算公式

文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。     

基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

基于图形几何的平面区域位置关系判定方法

针对地理信息容量的增加带来的航迹规划计算量急遽增长的问题,首先将任务区大容量地理信息进行化简、合并成几何图形,并按电子地图比例尺谱系依次存储为数据文件;其次,通过开发内存虚拟绘图工具集,在确定的任务区域内,将预处理后的地理信息和飞行器预计航路及散布域分别绘制成平面图形区域;再次,采用图形几何方法将平面区域的相交判断转化为计算机图形几何运算,根据运算结果判定了平面区域之间的位置关系;最后,分别在Pow PC环境和AMD X86环境,对图形几何运算算法的计算效率进行了验证。仿真结果表明:该方法具有计算时间不随地理信息的增加而显著增长的特点,可以满足在有限硬件资源条件下进行大量复杂计算的要求。     

哈萨克斯坦哈萨克族大学生语言状况调查

哈萨克斯坦是一个多民族的国家,独立后推行的第一部《语言法》已经有20多年的历史.通过调查哈萨克斯坦高校哈萨克族大学生的语言状况,分析哈萨克族大学生在家庭、学校、社会、网络等方面的语言使用状况,学生对哈萨克语、俄语、英语的态度,三种语言的能力状况,从而分析新《语言法》在哈萨克斯坦推行的效果.     

基于Agent的"信息路由"通信模型

针对一种基于Agent的信息收集系统,提出了一个具备"信息路由"模块的通信模型.依据该通信模型,定义了一种用作消息传送的通信语言,并给出了该语言XML的描述.     

略评“语言谬误”──评介楚明锟主编的《逻辑学》

２０世纪５０年代以来,西方在非形式逻辑方面取得了重大进展。近几年来,我国逻辑界对此有愈来愈多的认识与响应。２０００年末出版的《逻辑学》教科书可视为一个例证。该书的价值和水平值得肯定。但其中的“语言谬误”一节大可商榷。     

空空导弹三维实时动态数字仿真

主要论述了某型空空导弹实现３维实时动态数字仿真的思路和方法,首先建立３维空战模型,然后通过一定的计算方法和编程技巧实现了数字仿真的实时性。在数字仿真实时性的基础上,实现了导弹攻击目标过程的３维动态图形显示。     

实时嵌入式系统程序设计语言发展

设计一个实时嵌入式系统时,程序设计语言的选择是至关重要的。决策者常常不从技术的角度考虑,而仅仅以其经济基础权衡,或者一味地追赶时髦,其结果往往适得其反。就软件开发人员来说,必须深刻了解一些与语言本身的技术内含有关的问题,才能在选择语言时做到有的放矢。本文详细分析了实时嵌入式系统程序设计语言的特征,系统介绍了实时嵌入式系统程序设计语言的发展历程和现状,分析和比较了当前几种主流语言各自的性能特点,并就其应用前景作了简要推测。     

战斗力在规范训练中提高——江苏省常熟市人武部规范民兵军事训练闻思录

江苏省常熟市人武部针对当前制约民兵训练中存在编非所训、训非所用,训练安排不合理、训练质量不高、训练管理不严等问题,以新的《民兵军事训练与考核大纲》为依据,以提高训练质量为目标,着眼提高民兵"两应"能力,注重从解决问题入手,形成了规范民兵训练的方法路子。近日,这个人武部的做法受到了总参有关部门的肯定。