结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

高阶模态对弹性屈曲梁混沌运动的影响

为了讨论高阶模态对混沌运动的影响,建立了横向载荷作用下弹性屈曲简支梁的非线性动力方程,将其化为常微分方程或方程组。对梁的单模态模型采用Ｍｅｌｎｉｋｏｖ函数法给出了发生混沌运动的门槛值,对梁的单模态模型和双模态模型利用时程曲线、相平面轨迹,Ｐｏｉｎｃａｒｅ映射判断是否发生混沌运动,理论和数值分析表明高阶模态对混沌运动具有很大的影响。     

一个实用的地图着色算法

给出一种计算机实现地图四色着色的算法,并以Ｐａｓｃａｌ语言编制了程序．该程序稍作改动,即可成为分块图形实现四色着色的通用程序．     

系统可视性动态模拟软件平台的研究

对适用于社会经济系统可视性动态模拟的通用型软件平台进行了研究,提出了采用系统对象模型的建模方法。为了实现通用的可视化能力,文中对典型的计算机图形进行了抽象和分类,并介绍了自行设计的软件平台原型,包括语法协议、语法解释器流程和工作流程。     

终周期双峰映射拓扑熵的计算

利用符号动力学的揉理论,讨论双峰映射拓扑熵的计算．对于具有重要意义的终周期揉序列对,给出了决定其拓扑熵的揉行列式的解析表达式．     

凹面体散射近场的有限元—人工透射边界解法

采用有限元－人工透射边界法求出平面波在无限长圆柱上的散射近场,并与解析解进行比较,进而对几种凹面体电磁波散射近场求解。实际应用表明该方法具有图象清楚,过程简单,适应性强等优点,可有效解决分层介质,非均匀介质中各种复杂的散射问题,亦可广泛应用于声波等其他类波的散射问题。     

构造 TCM 好码的动态规划算法

提出了一种构造ＴＣＭ好码的动态规划算法（ＤＰ）．ＤＰ算法在建立了ＴＣＭ好码规则、编码器及信号网格图间的对应关系的基础上,采用动态规划算法进行寻优,从而获得ＴＣＭ好码．与常规ＴＣＭ好码构造算法［４,５］相比,本算法在精度、计算复杂度和灵活性上均有所改进．     

THE FINITE AUTOMATA OF EVENTUALLY PERIODIC UNIMODAL MAPS ON THE INTERVAL

For unimodal maps on the interval we prove that, if the kneading sequences (KS) are eventually periodic, then their formal languages are regular ones. The finite automata for such languages are constructed. Comparing with the languages generated by periodic KS, it is shown that the languages here are not finite complement languages.     

GPS技术在水利工程中的应用

使用GPS技术进行测量工作,速度快精度高,具有传统测量方法无法比拟的优点,该项技术在安徽省长江防汛、河道治理、水资源合理开发利用过程中发挥着重要作用。     

ArcGIS在武夷山保护区林业有害生物分布电子地图制作中的应用

本文详细介绍了利用ArcG IS 9.0制作林业有害生物分布电子地图的方法,包括创建要素图层,建立连接,数据符号化以及图层标注。