美国全国性职业认证机构的院校认证 ——以独立院校认证委员会(ACICS)为例

美国独立院校认证委员会作为全国性职业认证机构,在认证中,鉴定独立院校教育质量,诊断独立院校教育得失,直接调控与间接调控相结合,监督与自我监督相链接.但在2016年由于认证工作的不规范,从2017年起不再得到美国教育部的认可.这对我国新建本科院校合格评估的发展有着一定的警醒,合格评估中要完善评估内容,构建动态科学的评估指标体系,评估为手段,诊断问题是目标,打造良好的评估生态,真正落实以评促建,推动新建本科院校的国际化发展,合理运用评估结果,施行对合格评估的元评估.     

HLA联邦的桥接扩展和影响时空一致性的实例分析

随着计算机技术和仿真应用的发展 ,越来越需要组建大规模分布仿真系统 ,HLA框架的定义和应用为此提供了很好的契机。使用桥接技术把不同的联邦连接起来是构建大规模联邦的有效方法 ,其中桥接邦元更适合于不同RTI的异地连接。桥接HLA联邦会带来影响系统时空一致性和性能的新问题 ,时间推进和所有权转移是两个有代表性的例子 ,需要重点解决     

一个报表生成器的原理与实现

本文介绍了一个基于数据库文件的报表生成器的原理与实现,该生成器具有两种制表机制,它不但能快速简单地生成二维格式通用报表,而且能生成任意格式报表、空表、固定表等,从而为用户提供了一个简便、实用、高效的制表软件开发工具.本生成器采用TURBO C语言在长城系列微机上实现,生成DBASEIII报表打印源程度。     

矩形带簇的推广

本文将矩形带簇的概念扩张到了广义矩形带簇,讨论了广义矩形带簇的若干性质.     

MIS结构生成器—MISSG的设计与实现

MISSG是一个能支持“快速原型法”的通用生成工具,它不但能快速生成MIS结构的可执行原型,并且还具有“边执行——边维护”的生成方式,为MIS的生成和维护提供了一种全新的实用方法。本文阐述了MISSG的特点、组成结构和实现方法。     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

液晶显示屏(LCD)的汉字及图形生成方法

本文介绍了利用通用的ＷＰＳ汉字系统的汉字字库及图形编辑软件ＳＰＴ生成ＬＣＤ液晶屏显示需要的汉字字集和图形数据的有效方法,详细介绍了以ＭＣＳ－５１单片机为控制核心的ＬＣＤ液晶屏的汉字显示原理及实用程序。     

利用等价无穷小求极限的注记

该文给出了利用等价无穷小求解某类极限问题的一系列定理,使得求解这类极限过程大为简化.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

模糊格中的有补元

模糊格概括了模糊集理论的运算规律,随着计算机等学科的发展,越来越需要对该学科进行完善。有补元是模糊格中的一种特殊元素;首先,给出了有补元在模糊格中的四个重要性质;第二,给出了有补元与模糊格分明元的关系定理;第三,通过有补元,建立了模糊格“分支”的两个刻划定理。