基于SPIN的CSCW系统的验证

近年来,CSCW系统呈现出用户越来越多、权限关系越来越复杂、组织结构规模越来越大、处理的情况越来越复杂的趋势。因此,CSCW系统的访问控制策略以及访问控制策略的验证已成为国内外CSCW领域十分值得研究和探讨的问题。针对CSCW系统设计的特点,提出了一种验证策略。结合具体实例,使用RBAC模型描述CSCW系统的访问控制权限,利用SPIN工具将模型检测应用于验证CSCW系统属性。     

教室内温度对阅读工效的影响研究

教室内热环境与学生的学习效率、身体健康息息相关。为探究教室内温度对学生学习效率的影响,从而营造更适于学生进行学习生活的教室热环境。本文以教室内温度与阅读工效的关系为例,进行了实验探究。通过问卷调查得出,85%的学生可接受19.6-24.4℃的室内温度。在此温度区间内,通过温度的不同取值与阅读效率的变化关系,以求得适于阅读环境的室内温度控制方法。     

大幅面地图的快速自动地形晕渲

在提出一个建立三维规则数据场的新算法的基础上,提出了一个可用于大幅度地图的快速实用的地形自动晕渲算法,与传统数据网格化的方法不同,本算法采用了用网格点相邻等高线的高程值插值计算出网格点高程值的新思想,并且提出了相应的网格点相邻等高线的识别方法,该方法充分利用等高线所具有的先验知识,得到的网格点高程值质量很高,另外,该规则数据场的建立方法经改进后,其时间复杂性与数据点数（ｍ）和网格点数（ｎ）成线性关     

基于Matlab与Qt的继电保护仿真培训软件开发

利用Qt的快速界面开发技术及其丰富的库类,开发出继电保护装置仿真培训软件,该平台采用积木式结构,根据保护原理方便地调换不同模块,可对保护的动作过程进行直观的显示;此外平台还利用Matlab强大的仿真功能,可进行电力系统中各种故障的仿真,获得的三相电压、电流波形及保护动作波形,并借助Qt显示在前台界面上。通过该平台,学员能直观比较不同厂家同类保护装置的动作逻辑,并提高故障分析能力。     

武钢1号高炉冶炼专家系统开发的新进展

武钢等单位开发的高炉专家系统已在武钢1号高炉投入生产运行.该专家系统的主要功能包括:高炉布料控制、炉温预报、高炉操作炉型的管理及控制、高炉炉缸炉底侵蚀的预测模型,以及理论焦比计算模型等.以上模型已在线运行一年多,对改善高炉操作发挥了重要作用.     

GFA-SkW整流器电流失控故障浅析

我影院使用的GFA-5kw氙灯整流器，在一次外电网电压突然升高的情况下（相电压为450V），发现2号机整流器的电流偏高，达120A（我们一般控制在100A），而且电流表指针在10A左右之间摆动。针对这种情况，我们即时将电流进行了由大到小调整，但电流指示仍为120A．这说明该整流器的电流调节已失控。     

国有公司制企业内部控制制度存在的问题及对策

国有公司制企业内控制度建设是国有企业内部管理的薄弱环节 ,亟待提高。分析其原因可归纳为产权不明晰、法人治理结构不完善、法制环境不健全、内控制度本身的局限性等。必须借助现代企业制度建设、企业法制建设、建立健全内部会计控制制度和营造良好的外部环境等措施加以解决。     

“纯草根”逆袭互联网百亿富豪

正胡润IT富豪榜10月18日出来了,有一位高中没毕业的福建人成为互联网投资精英、富豪,让人吃惊。一直以来互联网精英都是高科技的代表,来了一个"纯草根"的,倒是少见。蔡文胜是唯一一位来自福建、扎根福建的IT富豪,排2016胡润IT富豪榜35位,资产是105亿元。这一段时间,关于蔡文胜的新闻此起彼伏。先是他创立的美图秀秀,奔赴香港上市;然后是他的"发家法宝"——享联科技挂牌新三板。享联科技拥有站     

眼下，不想买房为哪般

由于多种因素的作用，近年来，“涨价”始终是我国楼市难以摆脱的关键词。一边是房价的居高不下，一边是居民对于住房的持续需求，在房产市场的实施严厉调控政策大背景下，这种博奕时刻都在发生变化。