部分评估和自动程序生成Partial Evaluation and Automatic Program Generation

所需积分/C币:6 2019-11-15 102B TXT
评分

本书是关于部分评估的,这是一种程序优化技术,也称为程序专业化。 它提供了为各种编程语言构造部分评估器的一般原理,并提供了应用程序示例。

...展开详情
立即下载 最低0.43元/次 身份认证VIP会员低至7折
举报 举报 收藏 收藏
分享
45.53MB
追日房地产评估管理和自动生成报告系统软件V6.86Update2

实现房地产价格(价值)评估的电算化,为房地产交易、缴税、信贷等提供依据,是房地产估价机构、资产评估机构、会计师事务所、造价咨询机构、设计部门、银行、税务部门的好助手。 1.1.2.1 根据房地产的特点和需求及市场情况,按照《房地产估价规范》准确快速对房地产价格(价值)进行评估。 1.1.2.2 对房地产评估单位信息进行设置保存。 1.1.2.3 业务词典功能对业务常规用语进行保存,以便下次再次使用,有效加快输入速度,提高工作效率。 1.1.2.4 对评估业务受理进行登记,并按《房地产估价规范》进行评估,编写房地产评估报告,并进行审核审批。 1.1.2.5 根据模板自动生成房地产评估报告,评估报

2017-08-16
6.2MB
GBT 18336.1-2015 信息技术安全技术信息技术安全评估准则 第1部分:简介和一般模型.pdf

GB/T18336的本部分建立了IT 安全评估的一般概念和原则,详细描述了ISO/IEC15408各部分给出的一般评估模型,该模型整体上可作为评估IT 产品安全属性的基础。 本部分给出了ISO/IEC15408的总体概述。它描述了ISO/IEC15408的各部分内容;定义了在ISO/IEC15048各部分将使用的术语及缩略语;建立了关于评估对象(TOE)的核心概念;论述了评估 背景;并描述了评估准则针对的读者对象。此外,还介绍了IT 产品评估所需的基本安全概念。 本部分定义了裁剪ISO/IEC15408-2和ISO/IEC15408-3描述的功能和保障组件时可用的各种 操作。 本部分

2020-03-18
102B
部分评估和自动程序生成Partial Evaluation and Automatic Program Generation

本书是关于部分评估的,这是一种程序优化技术,也称为程序专业化。 它提供了为各种编程语言构造部分评估器的一般原理,并提供了应用程序示例。

2019-11-15
12.61MB
GBT 30976.1-2014 工业控制系统信息安全 第1部分评估规范

GBT 30976.1-2014 工业控制系统信息安全 第1部分:评估规范

2018-03-22
218KB
海氏职位分析评估自动生成系统

海氏职位分析评估自动生成系统,包括对技能水平评估,解决问题能力评估,职务责任评估等内容

2018-02-10
6.2MB
GB∕T 18336.1-2015 信息技术安全技术信息技术安全评估准则 第1部分:简介和一般模型.pdf

GB∕T 18336.1-2015 信息技术安全技术信息技术安全评估准则 第1部分:简介和一般模型

2019-10-30
4.26MB
可信云服务认证评估标准和方法.pptx

可信云服务认证评估标准和方法.pptx可信云服务认证评估标准和方法.pptx

2019-10-24
291KB
App违法违规收集使用个人信息自评估指南.pdf

App违法违规收集使用个人信息自评估指南

2020-02-18
912KB
信息安全测评或网络安全风险评估的一般方法和流程自主学习报告

这是老师布置的网络安全概论学习报告作业,花了挺长时间做的,可以参考看一下。一、信息安全风险评估概述: 信息安全风险评估是指依据有关信息安全技术标准和准则,对信息系统及由其处理、传输和存储的信息的保密性、完整性和可用性等安全属性进行的全面、科学的分析和评价的过程。信息安全风险评估将对信息系统的脆弱性、信息系统面临的威胁以及脆弱性被威胁源利用后所产生的实际负面影响进行分析、评价,并将根据信息安全事件发生的可能性和负面影响的程度来识别信息系统的安全风险。 通过系统缜密的风险分析和评估,可以导出信息系统风险的安全需求,实现信息系统风险的安全控制,从而建立一个可靠的、有效的风险控制体系,保障信息系统的动

2018-12-08
902KB
软件工作量评估-FPA评估方法-评估模板

软件工作量评估-FPA评估方法-评估模板,

2015-12-31
41KB
风险评估报告模板-非涉密信息系统信息安全风险评估报告

一、风险评估项目概述 1 1.1 工程项目概况 1 1.1.1 建设项目基本信息 1 1.1.2 建设单位基本信息 1 1.1.3承建单位基本信息 2 1.2 风险评估实施单位基本情况 2 二、风险评估活动概述 2 2.1 风险评估工作组织管理 2 2.2 风险评估工作过程 2 2.3 依据的技术标准及相关法规文件 2 2.4 保障与限制条件 3 三、评估对象 3 3.1 评估对象构成与定级 3 3.1.1 网络结构 3 3.1.2 业务应用 3 3.1.3 子系统构成及定级 3 3.2 评估对象等级保护措施 3 3.2.1 XX子系统的等级保护措施 3 3.2.2 子系统N的等级保护措施 3

2009-05-31
7.97MB
信息技术 安全技术 信息技术安全性评估准则第1部分(GB18336.1-2008-T)

GB/T 18336-2008《信息技术 安全技术 信息技术安全性评估准则》-第1部分:简介和一般模型

2010-10-19
46.93MB
GBT20274信息安全技术信息系统安全保障评估框架4个部分

GBT20274.1-2006信息安全技术信息系统安全保障评估框架第一部分:简介和一般模型 GBT20274.2-2008信息安全技术信息系统安全保障评估框架第2部分技术保障 GBT20274.3-2008信息安全技术信息系统安全保障评估框架第3部分管理保障 GBT20274.4-2008信息安全技术信息系统安全保障评估框架第4部分:工程保障

2018-04-20
2.35MB
网上教师教学质量评估系统

随着计算机网络及其相关技术的发展和不断完善,尤其是在初步实现教育信息化的今天,人们正在企图以计算机网络为操作平台,探讨教学质量评估技术,保证评估结果的公平、公正,从而提高其效率与效益,促进我国教育事业的发展。然而,在现在的教学质量评估系统中尚存在着一些问题,其中主要的问题是评估材料一般都由评估组织者将评估表分发给评估人然后收回评估表进行统计,评估结果基本上以书面通知的形式进行发布等,所以评估工作量大、费用高、耗时长,导致评估效率低。另外评 估工作难以经常化,评估过程缺少模型化,评估指标权重的确定缺乏科学性等等,严重影响学校评估工作的开展。本课题研究的目的,就是要力图改变这种现状,实现教学质量评

2011-06-13
30.45MB
信息安全风险评估教程.pdf

内容简介 吴晓平、付钰编著《信息安全风险评估教程》较系统地介绍了信息安全风险评估的基本概念、风险要素与分布、评估准则与流程、风险评估工具与基本方法,构建了信息安全风险系统综合评估模型和计算机网络空间下的风险评估模型,讨论了信息安全风险管理的原则与风险控制策略,给出了信息安全风险评估的案例和信息安全风险评估的相关标准。内容丰富、结构严谨、概念清晰、语言流畅、深入浅出、特色鲜明、启发性好,注重理论联系实际和学生应用能力培养,全书内容完整,系统性强,便于教学。 《信息安全风险评估教程》可作为高等院校信息安全、计算机科学与技术、通信与信息工程等专业高年级学生的教材,也可供信息安全科研院所、大型企事业单

2012-12-03
355KB
SAP-MM分割评估相关配置和操作

某公司有成品A,A产品在同一工厂下既有自制入库,也有外购入库。当A是自制入库时,会计计入的存货科目为Z1(库存商品);当A是外购入库时,会计计入的存货科目为Z2(外购库存商品)。也就是说,同一物料在同一工厂下他即有自制又有外购,那么在创建物料时分配一个评估类,显然是不太合适的。基于这种业务我们找到了以下的方法来解决同一物料在同一工厂因业务不同,自动分配不同的存货科目。

2016-10-11
368KB
聚类评估指标分析

几十种聚类评估方法,包含类内评估和类间评估。说到聚类性能比较好,就是说同一簇的样本尽可能的相似,不同簇的样本尽可能不同,即是说聚类结果“簇内相似度”(intra-cluster similarity)高,而“簇间相似度”(inter-cluster similarity)低。 聚类性能的评估(度量)分为两大类: 外部评估(external evaluation):将结果与某个“参考模型”(reference model)进行比较; 内部评估(internal evaluation):直接考虑聚类结果而不利用任何参考模型。

2019-01-02
40KB
西工大自动评估工具

西工大自动评估工具 课用于西工大教学评估

2012-03-06
209KB
干旱评估标准

为加强对抗旱工作的指导,统一干旱评估方法,规范干旱评估工作,特制定本标准。本标准包括农业旱情旱灾评估和城市干旱等级及预警两部分。生态干旱评估因条件不成熟,暂未列入本标准。 农业旱情旱灾评估主要适用于因干旱引发的种植业、牧业受旱、受灾程度的评估。城市干旱等级及预警主要适用于因供水不足导致城市干旱而进行的干旱等级划分和干旱预警评估在干旱评估中,除应符合本标准外,还应符合国家现行有关标准和规范。

2014-05-07
5.48MB
GB∕T 18336.1-2015,信息技术安全技术信息技术安全评估准则 第1部分:简介和一般模型

信息技术安全技术信息技术安全评估准则 第1部分:简介和一般模型

2019-03-12
img
  • 至尊王者

    成功上传501个资源即可获取

关注 私信 TA的资源

上传资源赚积分,得勋章
相关内容推荐