基于SysML的三余度飞控计算机系统建模方法研究

提出了一种基于Sys ML的三余度飞控计算机设计方法.在设计过程中,利用Sys ML静态图构建三余度飞控计算机系统结构模型;利用Sys ML的动态行为图构建余度管理算法模型,实现了三余度飞控计算机系统模型.以某三余度飞控计算机系统为例,构建三余度飞控计算机系统结构模型;设计计算机同步算法、监控表决算法并对算法进行建模.最后,通过所构建的仿真环境进行验证,结果表明所提出方法可行有效.     

微型计算机在平面框架结构分析中的应用

<正>应用结构矩阵分析进行结构计算,早几年已在大中型计算机上实现,但由于大中型计算机价格昂贵,设备和管理条件的要求较高,使得计算机分析的应用受到很大限制。全国设计单位除少数大型工程结构应用电算分析,大多数的中小型结构,仍然采用手算。随着微型计算机的普及,采用较简单的BASIC语言编程的结构分析方法,对缩短设计时间和推广微机在结构计算中的应用,有其积极作用。     

安全的基于网络的计算机系统

为了解决日益严重的局域网安全问题,提出了一种安全的基于网络的计算机系统模型。该模型以透明计算机系统为基础,利用透明计算技术对计算机内部的安全问题进行控制。针对网络内主机间的安全问题,采用星型拓扑结构,在网络的中心位置引入监控器设备,监控系统中各个部件之间的通信过程,以实现对主机与服务器之间、主机之间及主机与外网之间的通信数据过滤和动态物理隔离,提高了系统的安全性。理论分析表明:该系统可有效地解决网络安全问题,从而为局域网提供了可靠的安全保证。     

基于计算模型的OpenID Connect协议认证性的自动化分析

分析了OpenID Connect协议的消息结构,基于计算模型应用Blanchet演算对OpenID Connect协议进行了形式化建模,应用自动化验证工具Crypto Verif验证了其认证性.结果表明:在OpenID Connect协议中,客户端能够认证终端用户,但是终端用户与授权服务器之间不能相互认证、令牌终端不能认证客户端.为此,给出了OpenID Connect协议中不具有认证性问题的解决方法.     

一种新的非冯·诺依曼计算机体系结构TriBA

针对复杂问题的分解方式,提出一种基三计算机体系结构,该体系结构易于扩展,具有分形特征.设计了一种面向对象多核CPU,支持对象并行运行,在一定程度上实现了软件结构与计算机系统结构的统一.片上多核间采用基三分层互连网络互连,连接简单,体现计算局部性特点,易于硬件实现. 基于该互连方式讨论了面向对象多核CPU上的4种基本软件流水模型.     

具有分层结构的综合评价系统及其模型数据库的研究

在对多指标综合评价系统进行分析的基础上,提出了具有分层结构的综合评价系统ＤＬＣＥＳ的概念,并对其框架结构,数据转换作出分析,给出四元总体的相关模型数据库结构的设计方案。在具体实现上采用模型字典的方法对综合评价系统的多模型结构予以描述,在对模型库结构的处理上采用了层次路径结构方式。     

安全的基于网络的计算机系统

为了解决日益严重的局域网的安全问题,提出一种安全的基于网络的计算机系统模型。该模型以透明计算机系统为基础,利用透明计算技术对计算机内部的安全问题进行控制。针对网络内主机间的安全问题,采用星型拓扑结构,在网络的中心位置引入监控器设备,监控系统中各个部件之间的通信过程,以实现对主机与服务器之间、主机之间及主机与外网之间的通信数据过滤和动态物理隔离,提高了系统的安全性。理论分析表明:该系统可有效地解决网络安全问题,从而为局域网提供了可靠的安全保证。     

容错计算机系统的可靠性建模和分布式仿真

对容错计算机系统的可靠性进行评估是一项重要而困难的工作.为容错计算机系统的各个组成部件建立了部件级故障模型,并以此为基础建立了整个客错计算机系统的可靠性测评模型.基于所建立模型,我们提出了分布式仿真的思想,它把系统的各个部件仿真为网络上的一个站点,并增设一台服务器来对整个系统的可靠性性能进行统计和分析.仿真结果验证了建立模型的正确性和方法的有效性.     

利率期限结构模型的比较与实证分析

运用极大似然估计从统计分析的角度分别对四个常用利率期限结构模型的参数进行估计.通过对我国金融市场上债券回购利率的实证分析,对以上利率期限结构模型进行比较,结果表明比较适合我国利率市场的利率期限结构模型为CKLS模型.     

浅析操作系统内核体系结构

操作系统内核是整个计算机系统的核心，负责管理整个计算机系统的资源及控制系统的运行，而操作系统内核的不同实现又会影响整个系统的高效运行，从体系结构的角度出发，对UNIX、Linux、Windows2000等3种操作系统内核结构进行了较为详细的分析，并对它们的内核结构进行了比较。     

基于Flask和Spring Boot框架的校园点歌平台的设计与实现

当前,市场上的点歌系统大部分都是针对KTV的点歌系统,较少针对校园点歌系统,而且实现技术多为PHP和C#等,在开发难度、开发效率和易维护性等方面具有一定的缺陷。本文采用新近的主流轻量级框架技术,包括Spring Boot框架、Flask框架、Vue和Element-ui前端框架,还采用了腾讯云的人脸识别接口和语音合成接口、富文本编辑和PDFKit等前沿技术以及MySQL等数据库技术,开发了一个基于B/S模式的校园点歌平台。该平台包括手机用户端和电脑管理员端两套系统,手机端可使用户快速点歌和投稿,电脑端能够方便地进行用户管理、点歌管理和稿件管理,并在稿件管理中,设计了一种基于敏感词过滤技术的稿件审核算法以自动过滤掉包含有敏感词的稿件。本平台操作简单、易于维护和易于扩充功能,具有较高的可靠性和可扩展性,可满足大多数高校对于校园点歌的需求,充分地推动校园文化的建设。     

基于Zxing下移动端与PC端交互的新型购物系统开发

分析介绍了基于Zxing下移动端与PC端交互的新型购物系统.意在弥补国内外购物模式单一的现状,在移动互联的时代,这种新型购物模式是线上和线下的有机组合,既可以满足消费者对传统购物"看得见,摸得着"的购物体验,又避免了笨重的购物车和繁琐的排队付款.也大大降低了商家在货架上摆放重复货物上的成本.新型购物系统由服务器模块、移动模块、PC模块三大部分组成,产品实物包括用户手机APP和商家电脑端.     

医院业务管理计算机辅助系统的设计

通过分析医院业务管理计算机辅助系统的模型和设计方法,阐述了系统的数据流图、功能结构以及网络拓扑结构,并给出了系统中药品的优化库存方法．该系统在医院实际使用效果良好．图３,参４．     

AHCI中对用户建模的模糊数学处理方法

自适应人机接口是智能计算机领域需要研究的关键问题之一。从人机工程学的角度对人的因素进行了分析,提出了应当关注的若干因素,并把用户类型作了新手划分。     

仓库物资存储信息计算机管理系统

利用Delphi4.0可视化开发工具和局域网组网技术 ,对合成洗涤剂厂仓库物资存储信息计算机管理系统进行了系统的总体设计 ,系统由用户权限模块、新增数据模块、数据查询模块、报表生成模块和数据统计模块5大模块组成 ,具有用户管理、数据库管理等功能。对仓库物资存储这一比较复杂的问题加以简化 ,建立了仓库物资存储模型 ,确立了比较合理的存储策略 ,对库存量进行控制 ,不致使原材料短缺 ,而影响企业正常生产 ,或无计划的原材料采购 ,造成物资积压 ,使大量资金不能正常运转     

计算机数制转换的新思路

人类习惯使用十进制，而计算机却只能直接识别和处理二进制。这一对矛盾的关系约束了人类与计算机之间的沟通，探索二进制与其它数制的之间转换是从事计算机工作者的基本任务。作为普通的计算机用户而言也应该认清计算机数制与其它数制之间的关系。     

基于Range Test的交互式数据相关性分析技术

数据相关性分析是开发程序并行性最重要的技术之一 ,但是传统的自动数据相关性分析难以处理实际应用程序的复杂情况 ,而且 ,程序中固有的语义信息也无法为并行化工具所理解。这种状况限制了现有并行化系统的并行效果。一种新技术——交互式数据相关性分析可以改善这一状况 ,其中核心的数据相关性信息提取模块能够将自动数据相关性分析所得的不确定性结果转化成一些简单的问题并提交给用户 ,从而使用户与并行化工具紧密合作 ,改进数据相关性分析的结果 ,进而提高并行化系统的能力。交互式数据相关性分析技术已在清华大学开发的 TIPS并行化系统中实现了。     

基于802.1x和Web Portal认证技术的校园网用户端点准入控制系统的设计及应用

分析了当前高校校园计算机网络的网络安全和控制问题,指出原有认证系统无法满足现有的安全需求.探讨了基于802.1x和Web Portal认证技术的用户端点准入控制系统,并提出某高校校园网的实际组网设计及应用方式以解决网络安全和控制问题.     

面向智能化信息系统的信息模型

本文研究将人工智能引入计算机信息系统的问题,提出一种能综合运用知识推理、模型演算和数据管理技术的信息处理模型.文中讨论了信息表达模型、信息处理模型以及信息处理模型的动态建模、运行与控制问题.     

RC有源滤波器CAD

本文报导了新研制的ＲＣ有源滤波器软件ＦＩＬＴ。它能根据用户指定的设计要求和选定的滤波器类型。自动确定阶数和零极点位置，分析并给出了频域的幅频和相频曲线及对价跃函数和冲击函数的时域响应特性；自动生成ＰＳＰＩＣＥ源文件，并直接用ＰＳＰＩＣＥ元件库中的运放进行特性模拟，ＦＩＬＴ不仅是有实用价值的工程设计软件，而且也是很好的计算机辅助教学软件。