基于形式概念分析的软件子系统构建方法及应用

嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求，但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展，提出了实时有色Pet

ModelSim电子系统分析及仿真

Linux输入子系统及触摸屏驱动分析.doc在Linux系统中，一种更值得推荐的实现这类设备驱动的方法是利用input子系统。Linux系统提供了input子系统，按键、触摸屏、鼠标都可以利用inpu

《ModelSim电子系统分析及仿真》.pdf

传统定性趋势分析方法中，存在划分片段宽度难以自适应、依赖人为设定阈值、算法复杂等问题，针对这些问题，提出了一种新的基于滑动窗口的定性趋势分析方法。方法采用一个滑动的窗口，并对窗口内的数据进行线性拟合，

影子系统2009破解版及使用方法 病毒、木马、恶意软件、误操作等等，你多长时间就需要重新安装一次操作系统。你是不是正在为每次的重新安装而头疼?也许对计算机稍熟悉一些的朋友会使用Ghost备份系统，这样

介绍了传统聚类算法及其局限性,然后对直接K2means 算法进行分析改进,着重分析了该算法的思想体系以及它的优缺点 西安工业学院计算机科学与工程学院 石云平, 辛大欣

宿舍管理子系统包含数据库和各个界面。包含文档不需修改即可使用。

换流阀用晶闸管作为高压直流输电系统的核心器件,其运行时的性能状态直接决定了输电系统的安稳运行。在实际运维过程中,晶闸管的阻断性能评估测试作为重要定检项目之一,因设备条件限制、评估条件不充分、数量庞大等

在计算机软件高速发展的今天，仅仅简单的编程已经不再满足于人们需求了，现在很多软件设计者们都在研究如何将软件如现实社会紧密结合，《形式逻辑》这本书就是打开你思维的大门。