简介：该信息系统的设计目标是利用Isabelle提取证明步骤和证明状态,同证明步骤的提取一样,都可用提取界面提取所有的证明步骤和历史证明状态数据

简介：　　1.3零件设计和修改非常方便　　使用三维CAD系统软件,可以在装配环境中设计新零件,直接在计算机上对设计出的零件进行虚拟加工和装配试验

简介：例如在Flash中可以打开多个文件,如果要在Flash上打开一个文件,先将FlashROM设备加入设备表中（最开始假设Flash中没有任何文件）

简介：2.2　串口驱动程序开发VxWorks操作系统有两种方式实现驱动,详细介绍了VxWorks下双485口串行通信系统BSP、驱动程序和应用程序的开发过程,2)VxWorks的I/O系统将设备程序作为内核过程实现

简介：INTEMOR智能监测系统的开发,INTEMOR智能监测系统与KJ95系统和束管系统的集成,（2）INTEMOR智能监测系统

简介：监控端接收到图像数据后,用CDMA模块无线传输图像数据,顶层应用层程序通过JPEG图像数据接收、管理服务程序获取从CDMA驱动接收来的图像数据

简介：不同的是微教学单元是提高教师学生在教学中重组使用而准备的资源,三、网络课件的设计思想　　　　网络课件作为一种教学材料,使用于不同的教学目标、教学设计及课件的使用场合

简介：从而可以在顶层对标准单元模块及层次化模块都能优化,但是子模块的时序是在顶层对整个设计的时序分析后产生的,（2）层次化设计可以给一个模块里的设计单元一些约束

简介：以及地铁车站废水泵站和污水泵站的设计及控制方式等问题,3车站污水泵站设计 ,2.3主废水泵站设计 

简介：本系统使用星形网络实现通信,数据采集　ZigBee　CC2430　C8051F020,为此本文介绍了如何利用射频芯片CC2430与C8051F020实现基于ZigBee的无线数据采集系统

简介：被监控管理的设备包括系统中所有与监控管理网互连的设备,用户通过监控管理界面可以查看系统中所有设备运行状态、系统资源的使用状况、对系统中设备进行配置管理和维护等,运行在监控管理服务器上的软件包括设备监控服务、数据库服务、监控管理界面脚本、Web服务等

简介：不同的色彩给人不同的感觉,它包括使用功能、审美功能、社会功能、环境功能等,这是因为不同色彩有不同波长

简介：可以装配环境中设计新零件,三维CAD技术采用先进的设计方法,在用三维CAD系统进行新机械的开发设计时

简介：使用条形码绘制控件后,我们就得到了条形码中任一点M（a,方法计算校验位（符）模块数据值

简介：1.定义所需图素structcircle/*定义圆*/{intx,Element.circle.y=cy,Element.circle.y+=dl-y

简介：发展经济的同时必须保护环境是可持续发展战略的要求。本文提出了一种适用于不同生产和治污系统的环保工况监控系统架构,并对监控数据的分类、接入方式和数据分析进行了介绍。基于此架构,环保工况监控系统能够同时保证接入数据的通用性和数据分析的专业性,能够对被监控对象中不同工艺情况的设备或系统实现定制化、自动化、智能化的数据分析。本系统可以为环保执法提供依据,为企业生产提供指导。

简介：企业门户能为用户提供建设信息型企业网站的应用,企业知识门户是企业信息门户的延伸与发展,1.2.1.企业信息门户企业信息门户（EnterpriseInformationPortal

简介：构建了基于移动互联网技术的旅游信息系统M-TIS,构建了基于移动互联网技术的旅游信息系统M-TIS,本文将探讨基于移动互联网技术的移动旅游信息系统M-TIS（MobileTourismInformationSystem）

简介：这是一种不使用表单就可以向CGI传送信息的方法,Web服务器向CGI程序的标准输入STDIN传送数据,在详细介绍一种嵌入式Web服务器BOA的实现与配置方法的基础上

简介：固态硬盘功耗不仅引起发热导致耗电上升、散热设计方案复杂化,高温也导致介质颗粒的可靠性下降。采用低功耗设计不仅能使其支撑更长的待机时间,而且能显著降低整体拥有成本(TCO),提升NANDFLASH介质颗粒的可靠性和使用寿命。本文对固态硬盘及其主控的低功耗设计方案进行了研究,最后通过实验给出了采用本方案的固态硬盘功耗指标数据。实验结果显示,综合运用一系列低功耗设计方法的方案能显著地降低固态硬盘的动态功耗及待机功耗。