数学解题的形式化方法

对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果.     

基于多视图融合的分布式测试系统结构研究

本文针对分布式测试系统所面临的复杂性、可扩展性和适应性等问题,在分析国内外相关研究的基础上,融合多种技术视图,建立了分布式测试系统的一种形式化模型,分析了该模型的多种技术视图,在此基础上建立了分布式测试系统通用软件平台体系结构,最后给出相关的实践结果。     

GIS模型库关键技术及其在滑坡预警预报中的应用

GIS模型和模型库是实现地理信息系统与应用分析模型集成的关键技术。本文采用面向对象的思想，对支持模型复合的模型形式化方法开展研究，并以文件与数据库相结合的方式实现模型组织与存储。各项研究成果在深圳滑坡灾害预警预报系统开发建设中得到了实际应用，取得了良好效果。     

CHAM软件连接形式化模型研究

<正>一、CHAM形式化模型特点CHAM形式化模型以代数演算的方式研究通信并发系统,将进程看作是代标号的变迁系统,迁移的规则是以句法重新安排的方式来反映状态信息的变化过程。1.CHAM形式化模型结构。CHAM形式化模型最初是由     

科学探究的转型与教师主导作用的加强

科学探究范型的转换，要求加强教师的主导作用。加强教师的主导作用，必须要教师在探究中“导”与“引”、“合作”与“示范”；必须重视开发与整合课程资源；必须在情境探究中深入体验；必须充分发挥教师与学生的解释、评价和激励作用。     

一种基于MDE的形式化组合建模仿真方法

大规模的联合建模与仿真迫切需要提高模型及仿真的可组合性.针对实现可组合仿真的主要问题,分析并提出了基于不同抽象程度的组合仿真的层次化功能结构模型.结合MDE模型驱动工程的设计思想,应用形式化建模的相关方法和π语言,提出了覆盖可组合仿真系统设计整个生命周期的一整套开发方法.同时,建立了基于MDE的模型映射机制,实现了基于一系列工具支持的不同模型之间的相互关联和转换,并在某大型分布式仿真系统开发中得到了应用.     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

科学探究的转型与教师主导作用的加强

科学探究范型的转换,要求加强教师的主导作用.加强教师的主导作用,必须要教师在探究中"导"与"引"、"合作"与"示范";必须重视开发与整合课程资源;必须在情境探究中深入体验;必须充分发挥教师与学生的解释、评价和激励作用.     

电脑是如何下棋的?

<正>你喜欢下棋吗?有没有和计算机下过?现在,弈棋计算机的棋艺日益高强。让我们通过分析以围棋和国际象棋为代表的弈棋计算机,对人工智能的研究有一个更为深入的理解。弈棋计算机弈棋自古被视为一种关乎智力的高级挑战。和其他智力测试相比,弈棋具有直接对抗的特点.没有什么比在紧张的对局中看到对手一手精妙凶狠的棋招更能让人感觉到一种智力上的刺激和挑战了。弈棋相比于其他牌类游戏而言,随机和不可控因素更小,因此对局双方的决策能够更直接地控制整个局面的     

MRPII系统开发的一种形式化方法

研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。