一相能量型stefan问题

本文讨论了一相能量型stefan问题.首先利用迭代方法及紧性讨论证明了古典解的存在性;其次给出了解的比较原理,由此证明了解的唯一性。     

一个面向对象的需求规格说明语言——SEURSL

提出了一种从建模到实现的完整的面向对象开放方法，它以Ｃｏａｄ／Ｙｏｕｒｄｏｎ方法为基础并对它进行了改进，改进后的方法能够有效地描述系统的功能和行为；同时给出了支持这种方法的需求规格说明语言———ＳＥＵＲＳＬ的规范化定义。     

主流区风口模型在CFD模拟中的应用

提出主流区风口模型计算气流温度和速度的特性公式,并研究其在工程中的实际应用情况．利用主流区风口模型、基本模型、盒子模型、N点动量模型分别模拟了送风口气流分布情况．结果表明,基本模型与盒子模型对于结构复杂的送风口模拟失效;基于N点动量模型和主流区模型的流体速度在工作区的模拟值与实测值的相对误差小于20％;在主流区模型中,送风口附近的气体速度模拟值与实测值的最大相对误差小于15％．     

长期事件研究方法论——一个综述

本文对国外长期事件研究方法论文献进行了全面的梳理,并着重介绍和分析了期望收益模型(或收益基准)选择、异常收益度量,以及检验统计量的设定与检验力等。研究发现,在各期望收益模型、两种度量异常收益方法—AAR(或CAR)与BHAR的选择,以及各检验统计量是否存在错误设定等问题上,国外学界并未达成共识,争论仍在继续。     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

高校考试质量控制与试卷档案规范管理

随着经济社会的快速发展,人力资源市场对高素质人才的需求标准也越来越高。高等教育如何实现高素质人才目标的培养,使得高校毕业生在走向职场时能尽快展现职业岗位的胜任力、缩短人职匹配的磨合期,同样有了新的要求。高校提高人才培养质量的重要途径之一,就是加强考试质量的控制、规范试卷档案的管理。对于考试质量的控制主要体现在考试试题的质量、考试过程的监控以及考试试卷的评分和反馈信息的分析等方面;对于考试试卷档案的规范管理,已引起人们的高度关注,做到试卷档案的规范管理、更好地为教育教学改革服务,是人们针对试卷档案管理工作进行研究的新方向。     

高职教育人才结构中的规格需求分析

人才结构是一个动态发展的结构,新的人才结构必然要求新的人才规格与之相适应。通过对人才结构新格局的形成及其对高职教育人才规格的要求、高职教育人才规格的现状及原因的分析,提出应对人才结构新格局要求的高职教育人才规格举措。     

基坑监测相关规范比较

与基坑监测相关的国家规范及行业规程主要有三种,它们既有相同或相似的条文,也有差异显著的技术指标。通过对比研究,认为冶金部颁布的规范较为全面、详细;国家规范反映了更新的技术进展。     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．