关于信任模型的介绍及讨论 刘升平 19901044 shpliu@https://www.doczj.com/doc/3a13505619.html, 摘要 鉴于信任或信任关系在安全系统中的广泛应用，本文介绍近年来提出的信任模型，重点介绍了BBK-Scheme,因它能较好地解决世纪问题，并已在学术界引起广泛关注。本文举例说明了它的应用，并分析了它的缺点及有待改进的地方。 关键词信任，信任模型，BAN-Logic, BBK-Scheme, 一,引言 在基于Internet的分布式安全系统中,信任和信任关系扮演了重要的角色.如, 作为分发公钥的KDC(Key Distribution Center) 的用户必须完全信任KDC,相信他是公正和正确的,不会与特殊用户勾结,也不会犯错误.有时,一个被用户信任的实体可以向用户推荐他所信任的实体,而这个实体又可以推荐其他的,从而形成一条信任路径.直观地讲,路径上的节点越远,越不值得信任. 所以,有必要引进信任模型。 二.信任的定义 假设在一个组织中,有两个系统管理员,各自管理自己的系统,也相互尊重个人的技能.每个管理员都信任自己的和对方的系统,尽管信任程度可能相同,但信任机制完全不同.前者是基于对自己系统的完全控制,这是理性的;后者是基于对对方的相信,这是感性的. 据此，我们定义感性信任某个实体是指相信它不会有恶意的行为，理性信任某个实体是指相信它能抵抗任意恶意的攻击。 三,理性信任模型 BAN-Logic 和安全评价标准(Security Evaluation Criteria)是两种常用的模型,本文不打算详细介绍,有兴趣的读者请分别参考文献[BAN89],EC[92]. 四.感性信任模型 1.背景: 目前大多数安全系统需要一个实体完全信任或不信任另一个实体,而不能限制在某一能力或程度上。而且，信任关系使用层次模型，例如，实体A需要信任一个远程的认证服务器D,它可以请求已经信任的服务器B来推荐D，如果B 不信任D，它可以请求另一个服务器，直到建立此信任关系。但是，如果在通往D的路径中，有个实体是A不信任的，则D永远得不到A的信任。 为了克服这问题, Yahalom, Klein ,and Beth[Yah93] 定义了几种信任类，考虑了实体之间的信任关系，并放弃实体之间的固定层次关系，而采用了信任继承的算法。本文要介绍的BBK-Scheme采用类似的方法。 另外，信任程度是有差别的，在PGP中，对一个公钥的信任值可以是不认识(Unknown)，不信任(Untrusted)，接近信任(Marginally Trusted)，完全信任(Complete Trusted),对自己的公钥是最高信任(Ultimate Trust).但这非常粗糙. BBK-Scheme 首先由T.Beth,M.Borcherding,B.Klein三人在1994年提出的，它赋与信任一个实数值v (v∈[0,1]),
第34卷第3期电网技术V ol. 34 No. 3 2010年3月Power System Technology Mar. 2010 文章编号：1000-3673（2010）03-0061-04 中图分类号：TM 71 文献标志码：A 学科代码：470·40 电力系统仿真模型有效性的动态评估 周成，贺仁睦 （电力系统保护与动态安全监控教育部重点实验室(华北电力大学)，北京市昌平区 102206） Dynamic Evaluation of Effectiveness of Power System Simulation Models ZHOU Cheng, HE Ren-mu (Key Laboratory of Power System Protection and Dynamic Security Monitoring and Control (North China Electric Power University), Ministry of Education, Changping District, Beijing 102206, China) ABSTRACT: The only approach to improve the confidence level of a priori simulation results is to meliorate the validity of model and its parameters. The first step for the improvement of simulation validity is to build a system to evaluate the validity of model to make the researchers enable to master the conditions of all models and their parameters. The influences of modeling theory, source of parameters and a posteriori simulation on validity of models are researched and an evaluation method of model validity based on the three factors is proposed, and the significance of performing dynamic evaluation of model validity is analyzed. Finally, a dynamic correction process for concrete indices is given. KEY WORDS: dynamic simulation; power system; effectiveness of model; evaluation 摘要：只有提高模型及其参数的有效性才能提高先验仿真结 果的可信度。因此提高仿真可信度的第1步工作就是要建立 模型有效性评估体系，使研究人员能详细掌握所有模型及其 参数的情况。分析了模型的建模理论、参数的来源及后验仿 真对模型有效性的影响，提出了基于这3方面因素的模型有 效性评估方法，并分析了对模型有效性进行动态评估的重要性。最后给出了具体的指标动态修正流程，便于该评估体系 用于生产实践。 关键词：动态仿真；电力系统；模型有效性；评估 0 引言 电力系统动态仿真在系统运行中扮演了越来越重要的角色，因此仿真结果的可信度直接影响系统运行的安全性与经济性[1-4]。“乐观”的计算结果将给系统安全埋下安全隐患，而“保守”的结果将降低系统运行的经济性[5]。提高动态仿真的可信度只能以保证参与仿真计算的模型及参数的有效性 基金项目：国家自然科学基金资助项目(50707009)。 Project Supported by National Natural Science Foundation of China (50707009)．为基础[6]。已有文献针对一些具体模型的验证问题进行了深入的研究[7-11]。文献[12-15]利用(wide area measurement system，WAMS)的实测数据对电网分块进行仿真来寻找误差源、验证模型的有效性。但每个子块中元件数目仍然很大，如何进一步确认模型有效性仍然存在困难。本文目的是利用各种能反映参数来源及模型验证的信息，构建模型及参数的有效性动态评估体系。根据评估指标的信息，工作人员不仅可以清晰掌握参与仿真计算的模型及其参数的有效性，还可以对仿真结果的可信度给出一个合理的评估结果。确认模型及参数的有效性是一个长期的过程，需要不断地利用后验仿真对其进行修正，这就是称为“动态评估”的原因。 1 模型及参数有效性评估指标 1.1 建模理论完善度 评估模型及参数的有效性，第1步要确定衡量评估模型及参数有效性的指标。参与仿真计算的模型要考虑2个方面：模型结构与参数。可以利用建模理论完善度与参数可信度来衡量模型及参数的有效性，同时利用后验仿真可以直接评估模型的有效性，因此后验仿真准确度也可以作为一个评估指标。 自20世纪60年代电力系统数字仿真兴起之后，发电机、励磁系统等元件的建模理论都得到了长足的发展，但由于各种元件的建模难度不同，各元件模型的建模理论完善程度是不同的。例如发电机，根据双反应理论可以建立最详细的6阶模型，也可以利用一些假设条件建立4阶模型，甚至只考虑转子运动方程的经典2阶模型[16]。负荷由于时变性、随机性，是所有元件建模中最困难的。目前使用的负荷模型既有理论最简单的静特性模型，也有
软件可靠性与安全性分析、评估方法及建议 一、背景介绍 随着产品技术的发展及数字化技术的应用，软件在产品中所占的比重越来越大，其规模和复杂性急剧增加，对产品的可靠性、安全性工作提出了严峻的考验。为保证软件可靠性，需要对软件进行可靠性测试和评估工作，从而尽早发现并改进软件中影响产品质量的缺陷，有效提高软件可靠性。为保障软件安全性，需要对软件进行安全性分析与验证工作。 目前，随着GJB Z 161-2012 军用软件可靠性评估指南、GJB 900A-2012 装备安全性工作通用要求、GJB 102A-2012军用软件安全性设计指南、ARP4761与民用机载系统安全性评估流程及DO-178B/C机载系统合格审定过程中的软件考虑等标准的颁布实施，以及空军航定〔2012〕4号《航空军用软件定型测评进入条件评估准则》中明确提出关键软件在进入定型测评前必须具备《软件失效风险分析报告》；空军装型〔2010〕131号《空军重点型号软件工程化要求》中也明确提出在软件研制阶段中，必须要开展软件安全性分析与验证工作等规定。美国在70年代研制F/A-18飞机期间首次引入软件安全性技术。在研制F-22和F-35飞机时，则明确要求按照MIL-STD-882和DO-178B开展机载软件安全性工作。在民机领域，波音和空客均严格按照ARP-4761及DO-178B/C标准开展了软件安全性分析与验证，并作为适航审定的核心要素。在高铁、核工业、汽车、医疗等领域，同样要求按照IEC 61508、EN50128、IEC60880、IEC 61513、ISO 14971等标准，对构建高安全性软件做出严格规定。 从上述可以看出，当前世界各国对于软件产品的可靠性评估、安全性分析验
第1章数学建模与误差分析 1.1 数学与科学计算 数学是科学之母，科学技术离不开数学，它通过建立数学模型与数学产生紧密联系，数学又以各种形式应用于科学技术各领域。数学擅长处理各种复杂的依赖关系，精细刻画量的变化以及可能性的评估。它可以帮助人们探讨原因、量化过程、控制风险、优化管理、合理预测。近几十年来由于计算机及科学技术的快速发展，求解各种数学问题的数值方法即计算数学也越来越多地应用于科学技术各领域，相关交叉学科分支纷纷兴起，如计算力学、计算物理、计算化学、计算生物、计算经济学等。 科学计算是指利用计算机来完成科学研究和工程技术中提出的数学问题的计算，是一种使用计算机解释和预测实验中难以验证的、复杂现象的方法。科学计算是伴随着电子计算机的出现而迅速发展并获得广泛应用的新兴交叉学科，是数学及计算机应用于高科技领域的必不可少的纽带和工具。科学计算涉及数学的各分支，研究它们适合于计算机编程的数值计算方法是计算数学的任务，它是各种计算性学科的联系纽带和共性基础，兼有基础性和应用性的数学学科。它面向的是数学问题本身而不是具体的物理模型，但它又是各计算学科共同的基础。 随着计算机技术的飞速发展，科学计算在工程技术中发挥着愈来愈大的作用,已成为继科学实验和理论研究之后科学研究的第三种方法。在实际应用中所建立的数学模型其完备形式往往不能方便地求出精确解，于是只能转化为简化模型，如将复杂的非线性模型忽略一些因素而简化为线性模型，但这样做往往不能满足精度要求。因此，目前使用数值方法来直接求解较少简化的模型，可以得到满足精度要求的结果，使科学计算发挥更大作用。了解和掌握科学计算的基本方法、数学建模方法已成为科技人才必需的技能。因此，科学计算与数学建模的基本知识和方法是工程技术人才必备的数学素质。 1.2 数学建模及其重要意义 数学，作为一门研究现实世界数量关系和空间形式的科学，在它产生和发展的历史长河中，一直是和人们生活的实际需要密切相关。用数学方法解决工程实际和科学技术中的具体问题时，首先必须将具体问题抽象为数学问题，即建立起能描述并等价代替该实际问题的数学模型，然后将建立起的数学模型，利用数学理论和计算技术进行推演、论证和计算，得到欲求解问题的解析解或数值解，最后用求得的解析解和数值解来解决实际问题。本章主要介绍数学建模基本过程和求解数学问题数值方法的误差传播分析。 1.2.1 数学建模的过程 数学建模过程就是从现实对象到数学模型，再从数学模型回到现实对象的循环，一般通过表述、求解、解释、验证几个阶段完成。数学建模过程如图1.2.1所示，数学模型求解方法可分为解析法和数值方法，如图1.2.2所示。 表述是将现实问题“翻译”成抽象的数学问题，属于归纳。数学模型的求解方法则属于演绎。归纳是依据个别现象推出一般规律；演绎是按照普遍原理考察特定对象，导出结论。演绎利用严格的逻辑推理，对解释现象做出科学预见，具有重要意义，但是它要以归纳的结论作为公理化形式的前提，只有在这个前提下
基于“淘宝网”信任评价模型的研究 杨欣 北京交通大学交通运输学院交通信息管理工程系，北京(100044) E-mail：qwzhxyangxin@https://www.doczj.com/doc/3a13505619.html, 摘要：随着经济与网络技术的迅猛发展，C2C模式的电子商务也迎来了发展的春天，但是缺乏消费者信任给目前电子商务发展所带来的障碍是不容我们忽视的。如何建立起消费者对网站的信任并将其不断维持下去成为当今C2C网站在市场竞争中取得优势的关键。本文通过对比分析国内外对于电子商务信任领域的相关研究，提出了有关C2C电子商务网站信任的综合模型，重点针对淘宝网进行分析验证，并通过研究，对淘宝网目前信任模型建立过程所出现的问题提出了相关建议。 关键词：淘宝；信任模型；评价 中图分类号：F062.5-43 1.引 言 随着因特网的飞速发展和广泛应用，电子商务也迎来了发展的新浪潮，其中C2C交易的发展尤为迅猛，其市场竞争也日趋激烈。在电子商务迅猛发展的过程当中，也涌现出了不少的问题。 众所周知，从看货付款的“直接交换”过渡到以信用工具和信用体系为中介的“间接交换”是电子商务交换模式的一个重要特点，而这种间接交换的普遍性依赖于消费者与网站之间的信任关系。因而，电子商务网站的成功就在于使人们传统的交易习惯和行为规范发生转变，形成一种在制度支持下的普遍信任。显然，提高交易双方的信任程度，也就成为了提升交易成功次数的重要因素。 中国互联网络信息中心（CNNIC）2008年7月发布的统计报告称，截止到2008年6月，中国参与网络购物的总人数为6329万，约占网民总数的25%，远小于韩国的57.3%和美国的66% [1]。因此，网上电子商务仍有巨大的发展空间。而且研究也表明，缺乏信任是消费者不在网上购买商品最主要的原因之一[2]。 在这样的背景之下，对于国内C2C网站进行信誉、信任的相关研究分析是十分必要的。淘宝网是由阿里巴巴于2003年4月建立一个C2C交易平台，目前已成为国内C2C的第一网站。2008年9月，北京正望咨询有限公司发布的《2008中国网上购物调查报告》[3]调研结果显示，2007年度八个城市额网上购物消费者中，有70.4%的用户曾在淘宝上有过购物经历，足以证明淘宝在市场用户占有率方面的绝对优势。所以本文选取了“淘宝网”作为研究对象，通过建立适用于评价C2C网站的信任模型，重点针对淘宝目前所建立的信任体系进行评价研究，以期对国内其他C2C网站的信任的建立有所借鉴价值。 2.国内外研究综述 2.1国内研究综述 国内学者对电子商务中的信任问题所进行的研究，主要分为两个方向：对于电子商务网上交易的消费者信任影响因素的研究与电子商务信任模型的构建的研究。 对于网上消费者信任的影响因素方面，朱红涛[4]做了相关的分析研究，将电子商务活动中影响网络信任的因素分为两类：提示性因素和经验性因素，并在此基础上探讨了电子商务企业创建网络信任的具体策略。宋光兴等人[5]对电子商务中的信任分为两类，一类是技术信
管理人员素质模型 管理人员的个人素质主要反映在以下八大方面： 沟通能力、创新能力、开拓能力、控制能力、协调能力、决策能力、组织能力、领导能力 1 沟通能力 编号有效行为特征无效行为特征 1-1 仔细聆听别人的意见，让别人把话说出来；忽略他人的意见，打断别人，滔滔不绝 1-2 正确传播各种信息；传播信息有困难； 1-3 能说服别人，并能获得理解；不能说服并造成对方反感； 1-4 为他人也为谈话留出时间；偶尔交谈且浅尝辄止； 1-5 恰当且及时沟通；阻断重要信息； 1-6 能够被整个队伍及环境所接受；扮演局外人的角色； 1-7 待人以友好恰当的方式；表现出灵活性；不易接近，不热情； 1-8 欣赏他人的有效劳动；不愿承认他人的劳动； 2创新能力 编号有效行为特征无效行为特征 2-1 以队伍绩效激励他人强烈表现自己的利益 2-2 支持自主性；只注意依赖和提出问题； 2-3 激励处于困境中的项目成员；在关键时刻退出； 2-4 提出解决方案；等待他人建议； 坚持熟悉方法，且对新事物犹豫不决； 2-5 关注新闻，富于创新性，且喜欢决定新的建 议，采纳首创精神； 缺乏民主作风，表现迟缓，无耐性，勿忙放弃；2-6 有协商的态度，有坚持到底的潜力、精力和 毅力； 2-7 创造激情，鼓励他人的积极热情；多批评，无能力激励； 2-8 坚持有效的合作，寻求不同意见的协调；阻碍、拖延，冻结建设性合作，回避不同分歧 间的协调； 编号有效行为特征无效行为特征 3-1 态度开放、积极、乐观向上；悲观，对别人紧闭双眼； 3-2 自信，激发良好愿望；表达出不信任； 3-3 积极主动接触他人；等待他人主动，行为保守； 3-4 与涉及的团体经常保持联系；避免与相关团体接触； 3-5 为队伍中的积极的环境作出贡献；给他人和队伍中制造压力； 使别人感到他的反感，只知道自我概念， 3-6 接受其他成员且具忍耐力，容纳、促进队伍 中的其他观点，且促进接受的观点； 3-7 接受和尊敬少数派；将自已定位于现存的位置； 3-8 使他人成功；阻碍他人成功； 编号有效行为特征无效行为特征
1基于安全相似域的风险评估模型 本文从评估实体安全属性的相似性出发,提出安全相似域的概念,并在此基础上建立起一种网络风险评估模型SSD-REM 风险评估模型主要分为评估操作模型和风险分析模型。评估操作模型着重为评估过程建立模型,以指导评估的操作规程,安全评估机构通常都有自己的操作模型以增强评估的可实施性和一致性。风险分析模型可概括为两大类:面向入侵的模型和面向对象的模型。 面向入侵的风险分析模型受技术和规模方面的影响较大,不易规范,但操作性强。面向对象的分析模型规范性强,有利于持续评估的执行,但文档管理工作较多,不便于中小企业的执行。针对上述问题,本文从主机安全特征的相似性及网络主体安全的相关性视角出发,提出基于安全相似域的网络风险评估模型SSD-REM(security-similar-domain based riskevaluation model)。该模型将粗粒度与细粒度评估相结合,既注重宏观上的把握,又不失对网络实体安全状况的个别考察,有助于安全管理员发现保护的重点,提高安全保护策略的针对性和有效性。 SSD-REM模型 SSD-REM模型将静态评估与动态评估相结合,考虑到影响系统安全的三个主要因素,较全面地考察了系统的安全。 定义1评估对象。从风险评估的视角出发, 评估对象是信息系统中信息载体的集合。根据抽象层次的不同,评估对象可分为评估实体、安全相似域和评估网络。 定义2独立风险值。独立风险值是在不考虑评估对象之间相互影响的情形下,对某对象进行评定所得出的风险,记为RS。 定义3综合风险值。综合风险值是在考虑同其发生关联的对象对其安全影响的情况下,对某对象进行评定所得出的风险,记为RI。 独立域风险是在不考虑各评估实体安全关联的情况下,所得相似域的风险。独立网络风险是在不考虑外界威胁及各相似域之间安全关联的情况下,所得的网络风险 评估实体是评估网络的基本组成元素,通常立的主机、服务器等。我们以下面的向量来描述{ID,Ai,RS,RI,P,μ} 式中ID是评估实体标识;Ai为安全相似识;RS为该实体的独立风险值;RI为该实体合风险值;P为该实体的信息保护等级,即信产的重要性度量;属性μ为该实体对其所属的域的隶属
动态评估理论在中学英语写作教学中的应用发表时间：2013-9-23 来源：《中学课程辅导·教学研究》2013年第19期供稿作者：徐蔚 [导读] 以色列心理学家费厄斯坦(Feuerstein)发展了维果茨基的理论，创立了一种强调社会环境作用，以互动为中介的学习理论。 徐蔚 摘要：本文以维果茨基和费厄斯坦的动态评估理论为依据，建立了动态评估介入的中学英语写作评估模型，研究在中学英语写作教学活动中实施动态评估的可行性和效果。研究表明该模式深受学生欢迎，激发了学生的写作潜力，提高了学生的英语习作水平。 关键词：动态评估；英语写作；中学英语教学 一、引言 2001年我国正式启动基础教育课程改革，中学英语教学评价成为中学英语课程改革热点之一。长期以来，我国中学英语教学活动评价多以静态的终结性测试为主。这种评价方式以客观、量化为特征，设计精密、结构性强，但同时该方法也逐渐暴露出诸多弊端，如它以评价者为中心，着重描述学生目前已达到的水平, 偏重学习结果而忽略了学生的学习过程和潜在的学习能力。根据新课标的要求，我们需要一个评价主体多元化、评价形式多样化、评价目标多层次的评估体系来促进中学英语教学改革，促进中学英语教学和教育水平的提高。随着社会文化理论、认知心理学、语言学、二语习得理论的发展和实践，一种新的评价体系——动态评估理念(Dynamic Assessment)——出现并引起人们的关注。本研究把动态评估理念引进中学英语写作教学，以点带面尝试构建动态评估理论与二语教育实践之间的联系。 二、动态评估理论 动态评估(DA)，又称学习潜能评价(Learning Potential Assessment)，是指通过评价者和学生的互动,探索和发现学生潜在发展能力的一系列评价方式的统称(Lidz 2003: 337) 。该术语在20 世纪初由苏联的维果茨基(Vygotsky，Luria)提出，后经以色列心理学家费厄斯坦(Feuerstein)在70 年代大力推广，如今已成为西方心理和教育测量领域的研究热点。 维果茨基(Lev Vygotsky，1896-1934)是前苏联建国时期的卓越的心理学家，他被誉为“心理学中的莫扎特”。他在探讨思维和语言、儿童学习与发展的关系问题时提出了“最近发展区概念”(Zone of Proximal Development)，即“儿童独立解决问题的实际水平与在有经验的成年人指引下或与能力高的同伴合作解决问题时所体现出的潜在水平之间的差距, 这个差距被称为该个体的最近发展区(Vygotsky 1978: 86) 。” 以色列心理学家费厄斯坦(Feuerstein)发展了维果茨基的理论，创立了一种强调社会环境作用，以互动为中介的学习理论。该理论认为学习是一个相互作用的过程，教育者、学习者和学习任务三者之间不断相互作用。教育者作为中介者有意图地选择、安排和重复那些对学习者认知发展重要的刺激，唤起他的好奇心，保证学习者能以某种方式体验到这些刺激之间的关系(Feuerstein et al .1988: 56)。 学习潜能评估程序(Learning Potential Assessment Device)是一个多维度、多水平、多侧面结合的测验工具。在LPAD实施过程中, 测验实施者观察学习者完成任务的频率、顺序、任务本身的复杂程度和测验的情境,并随时对学习者的行为做出反应。它关注的是学习者认知结构的转化, 而非行为表现的水平。LPAD强调测验者与学习者的互动，指出学习者如何通过帮助取得成功。这种模式还可清楚地诊断学习者的行为表现及其思考过程，这正是传统测验无法做到的。 三、动态评估理论在中学英语写作教学活动中的应用研究 写作能力是二语学习者要培养的五种能力之一(听、说、读、写、译)。有研究表明，这五种语言技能是一个有机的整体，写作能力的提高有助于其它能力的提升。而在这五种语言技能中中国学生的英语写作技能最薄弱。传统的中学英语写作教学和评估模式内容单一，
可靠性软件评估报告 目前，关于可靠性分析方面的软件产品在市场上出现的越来越多，其中比较著名的有以下3种产品：英国的ISOGRAPH、广五所的CARMES和美国Relex。总体上来说，这些可靠性软件都是基于相同的标准，因此它们的基本功能也都十分类似，那么如何才能分辨出它们之间谁优谁劣呢？根据可靠性软件的特点和我厂的实际情况，我认为应主要从软件的稳定性、易用性和工程实用性三个方面进行考虑，现从这几个方面对上述软件进行一个简单的论证，具体内容如下。 稳定性 要衡量一个可靠性软件的好坏，首先是要看该软件的运行是否稳定。对一个可靠性软件来说，产品的稳定性十分重要。一个没有经过充分测试、自身的兼容性不好、软件BUG很多、经常死机的软件，用户肯定是不能接受的。当然，评价一个可靠性分析软件是否具有良好的稳定性，其最好的证明就是该产品的用户量和发展历史。 ISOGRAPH可靠性分析软件已将近有20年的发展历史，目前全球已有7000多个用户，遍布航空、航天、铁路、电子、国防、能源、通讯、石油化工、汽车等众多行业以及多所大学，其产品的每一个模块都已经过了isograph的工程师和广大用户的充分测试，因而其产品的稳定性是毋庸置疑的。而广五所的CARMES和美国Relex软件相对来说，其用户量比较少，而且其产品的每一个模块的发布时间都比isograph软件的相应模块晚得多，特别是一些十分重要的模块。 例如，isograph的故障树和事件树分析模块FaultTree+是一个非常成熟的产品，它的发展历史已经有15年了。Markov模块和Weibull模块也具有多年的发展历史，这些模块目前已经拥有一个十分广泛的用户群，它们已经被Isograph的工程师和大量的客户广泛的测试过，产品的稳定性值得用户信赖。而Relex的故障树和事件树相对比较新，它大约在2000年被发布，而Markov模块和Weibull模块2002年才刚刚发布，这些模块还没有经过大量用户的实际使用测试，其功能的稳定性和工程实用性还有待于时间的考验。广五所的CARMES软件的相应模块的发布时间就更晚了，有些甚至还没有开发出来，而且其用户主要集中在国内，并没有经过国际社会的广泛认可。 易用性 对一个可靠性分析软件产品来说，其界面是否友好，使用是否方便也十分重要，这关系到工程师能否在短时间内熟悉该软件并马上投入实际工作使用，能否充分发挥其作用等一系列问题。一个学习十分困难、使用很不方便的软件，即使其功能十分强大，用户也不愿使用。 ISOGRAPH软件可以独立运行在Microsoft Windows 95/98/Me/2000/NT/XP平台及其网络环境，软件采用大家非常熟悉的Microsoft产品的特点，界面友好，十分容易学习和使用。该软件提供了多种编辑工具和图形交互工具，便于用户在不同的模块间随时察看数据和进行分析。你可以使用剪切、复制、粘贴等工具，或者直接用鼠标“托放”来快速的创建各种分析项目，你还可以将标准数据库文件，如Microsoft Access数据库、Excel电子表格以及各种格式的文本文件作为输入直接导入到isograph软件中，使项目的建立变得非常简单。另外，Isograph 各软件工具都提供了功能强大的图形、图表和报告生成器，可以用来生成符合专业设计要求的报告、图形和表格，并可直接应用到设计分析报告结果中。 ISOGRAPH软件的一个显著特性就是将各软件工具的功能、设计分析信息、分析流程等有机地集成在一起，其全部的分析模块可以在同一个集成界面下运行，这既可以保证用户分析项目的完整性，还可以使用户在不同的模块间共享所有的信息，不同模块间的数据可以实时链接，而且还可以相互转化。例如，你可以在预计模块和FMECA模块之间建立数据链接，当你修改预计模块中的数据时，FMECA模块中对应的数据会自动修改，这既可以节省
【最新整理，下载后即可编辑】 软件可靠性模型综述 可靠性是衡量所有软件系统最重要的特征之一。不可靠的软件会让用户付出更多的时间和金钱, 也会使开发人员名誉扫地。IEEE 把软件可靠性定义为在规定条件下, 在规定时间内, 软件不发生失效的概率。该概率是软件输入和系统输出的函数, 也是软件中存在故障的函数, 输入将确定是否会遇到所存在的故障。 软件可靠性模型，对于软件可靠性的评估起着核心作用，从而对软件质量的保证有着重要的意义。一般说来，一个好的软件可靠性模型可以增加关于开发项目的效率，并对了解软件开发过程提供了一个共同的工作基础，同时也增加了管理的透明度。因此，对于如今发展迅速的软件产业，在开发项目中应用一个好的软件可靠性模型作出必要的预测，花费极少的项目资源产生好的效益，对于企业的发展有一定的意义。 1软件失效过程 1.1软件失效的定义及机理 当软件发生失效时，说明该软件不可靠，发生的失效数越多，发生失效的时间间隔越短，则该软件越不可靠。软件失效的机理如下图所示：
1）软件错误（Software error）：指在开发人员在软件开发过程中出现的失误，疏忽和错误，包括启动错、输入范围错、算法错和边界错等。 2）软件缺陷（Software defect）：指代码中存在能引起软件故障的编码，软件缺陷是静态存在的，只要不修改程序就一直留在程序当中。如不正确的功能需求，遗漏的性能需求等。 3）软件故障（Software fault）：指软件在运行期间发生的一种不可接受的内部状态，是软件缺陷被激活后的动态表现形式。 4）软件失效（Software failure）：指程序的运行偏离了需求，软件执行遇到软件中缺陷可能导致软件的失效。如死机、错误的输出结果、没有在规定的时间内响应等。 从软件可靠性的定义可以知道，软件可靠性是用概率度量的，那么软件失效的发生是一个随机的过程。在使用一个程序时，在其他条件保持一致的前提下，有时候相同的输入数据会得到不同的输出结果。因此，在实际运行软件时，何时遇到程序中的缺陷导致软件失效呈现出随机性和不稳定性。 所有的软件失效都是由于软件中的故障引起的，而软件故障是一种人为的错误，是软件缺陷在不断的测试和使用后才表现出来的，如果这些故障不能得到及时有效的处理，便不可避免的会
预算分析模型报告 ——孙平平（20081428）时秀英（20081399）张振华(20081666) 一、模型总体构想 1、预算模型的目标 预算目标是集团公司战略目标在本期内的财务具体化，公司战略是预算管理的目标导向，引导年度预算目标的确定； 年度预算目标强调可操作性，必须能通过预算编制体现出来。 2、预算模型的功能 （1）公司管理、提升公司治理能力 （2）预算是企业平衡各项资源的有效方法：收入与费用平衡，成本发生与行为责任平衡，贡献业绩与奖励平衡，现金流入与流出平 衡，人力、物力、财力平衡，管理手段、经营目标、经济活动、 组织措施平衡。 （3）计划预算工作的渗透性对组织的渗透：影响企业组织结构、职权关系和行为规范，影响领导工作：集权还是分权，贯穿控制全过程：没有预算，就没有控制。 二、功能模块的实现 1、经营预算 经营预算是从维持企业生产经营的角度出发，来预测企业所需的人 工，物料的需求情况。
图一经营预算的内容 （1）、销售预算 是根据本年度实际来推算本年的销售量，来预计本年度的销售收入，本年的现金流入，及应收账款和税金的支付情况。这些是根据以前年度的历史情况来计算的，这样的预测更具有可信性。其中的会有一些是支付现款，而一些则是留作应付账款，这样更符合企业的实际情况。 （2）、生产预算 是对生产中的一些问题进行预算，比如，生产中的生产成本的预算，生产成本中直接人工，直接材料，还有制造费用。对与这些中的各项问题进行预算。 图二直接人工 图三直接材料
图四制造费用预算 图五生产成本预算 按照这个步骤来实现对生产总成本的预算，结合销售预算来看看本年度中的各个季度的销售成本与销售收入，及哪个季度可能的利润最高等等。 2、资本预算 在这个例子中的资本预算包括，增加了一项固定资产，还有投资收益的增加。 图六资本预算模型 3、财务预算
-------------------------------- 收稿日期：2011-11-1；修返日期： 基金项目：山东省自然科学基金项目(ZR2011FM019)； 作者简介：张永胜(1962－)，男，山东潍坊人，教授，研究方向Web 服务安全、软件工程环境；吴明峰(1985－)，男，山东枣服务计算环境下的信任评估模型 张永胜 吴明峰 李园园 （1. 山东师范大学 信息科学与工程学院，济南 250014；2.山东省分布式计算机软件新技术重点实验室， 济南 250014） 摘 要：信任管理是服务计算环境下的一个重要研究领域,而信任模型的信任度评估是该领域需要解决的关键技术之一。本文分析了传统信任评估模型，以及介绍了信任概念和信任计算方法学，根据第三方代理的信誉推荐和团体信誉看法，提出了一种新的服务计算信任评估安全模型（SOC-TrustSM ）。SOC-TrustSM 在传统信任评估模型的基础上，引入了第一手、第二手、第三手的信誉看法及团体信誉看法。实验结果表明：SOC-TrustSM 能够较准确地获得出服务计算环境下获信代理的可信度，同时可以有效地抵御代理的恶意推荐行为。 关键词：服务计算;Web 服务;信誉;团体信誉;可信度 中图法分类号: TP393 文献标识码: A Trust Evaluation Model In Service Computing ZHANG Y ong-sheng WU Ming-feng LI Y uan-yuan (1.School of Information Science and Engineering,Shandong Normal University ,Jinan 250014,China ；2.Shandong Provincial Key Laboratory for Novel Distributed Computer Software Technology, Jinan 250014,China) Abstract: The trust management is one of the important research areas in the environment of service computing,and its trust evaluation model is one of the key technology needed to solve. On the basis of the analysis of the traditional trust evaluation model ， s advantages and disadvantages ，trust concept and trust calculation methods ，according to the third party agent reputation and group recommended opinions ，we propose a new trust evaluation security model in the environment of service computing (SOC-TrustS M ）. On the basis of traditional trust evaluation model ，SOC-TrustS M introduces the thought of first or second or third-hand view and group credit view. The experimental results show that SOC-TrustS M can effectively evaluate the agency credibility of both sides in the environment of service computing,and resist malicious recommendation behavior of agency effectively. Key words: service computing;web services;credit;group credit;trust level 0引言 服务计算（Service Computing ，SC ）是利用服务作为基本组件来开发应用系统。其中，Web 服务是SC 的核心支撑技术。Web 服务是一种新型的分布式计算模型，凭借其动态性、松散耦合、语言与平台无关等特性而成为企业异构平台应用集成的最佳选择。随着Web 服务应用规模的不断扩大，涉及的Web 服务提供者、Web 服务请求者的数 目也在不断增加。系统并不能保证每一个实体都是可信的，因此有必要通过信任评估技术来度量 Web 服务的可信度，从而有效的降低恶意代理带来的威胁。本文分析了传统信任评估模型，在此基础上提出了一种新的服务计算信任评估安全模型。该模型引入了信任关系强度、第三方代理的信任推荐、第三方代理的信誉推荐、和团体信誉等概念。实验表明: SOC-TrustSM 能有效提高信任度度量的准确性和可靠性。
基于蚁群算法的加强型可抵御攻击信任管理模型 摘要：通过将网络节点推荐行为分析和网络恶意节点密度的自适应机制纳入信誉度评价过程，提出了基于蚁群算法的加强型可抵御攻击信任管理模型――EAraTRM，以解决传统信任模型因较少考虑节点的推荐欺骗行为而导致容易 在恶意节点的合谋攻击影响下失准的问题。在对比研究中发现，EAraTRM可以在网络中恶意节点密度达到90%，其他传统信任模型已经失效的情况下，仍保持较高的正确性。实验结果表明，EAraTRM能提高节点评价其他节点信誉度时的精度，并降低整个网络中恶意节点间进行合谋攻击的成功率。 关键词：信任管理；蚁群算法；异常检测；信誉度评估中图分类号：TP393.08 文献标志码：A Abstract：Traditional trust and reputation models do not pay enough attention to nodes’deceit in recommendation，so their reputation evaluation may be affected by malicious nodes’collusion. A trust and reputation model named Enhanced Attack Resistible Antbased Trust and Reputation Model （EAraTRM）was proposed，which is based on ant colony algorithm. Node
recommendation behaviors analysis and adaptive mechanism to malicious nodes density were added into reputation evaluation of EAraTRM to overcome the shortage of traditional models. Simulation experiments show that EAraTRM can restrain the collusion of malicious nodes，and give more accurate reputation evaluation results，even when 90% nodes in a network are malicious and the comparison models have failed. 英文关键词Key words：trust and reputation management；ant colony algorithm；anomaly detection；reputation evaluation 0 引言 信任管理系统是为了解决在电商网络、对等（PeertoPeer，P2P）网络、AdHoc网络以及无线传感器网络等网络环境中，服务消费方、服务请求节点常常对于服务提供方和服务提供节点的具体情况不甚了解的这个问题而设计的，它可以计算并提供网络中其他节点作为服务提供方的可信程度，从而向网络中服务请求方提供决策辅助，以便其寻求到更良好的服务。信任管理系统的基本思想是：首先，网络中节点在完成一次网络上多节点协同处理的事务后，对协同节点进行评价，如果该事务的处理结果良好，则评价节点对协同节点给出高分评价，反之则给低分评价；然后，信任管理系统利用自身的信任管理模型来计算出特定节点的可信任度的值，也
软件可靠性的评价准则 迄今为止,尚无一个软件可靠性模型对软件的不同特性和不同使用环境都有效。已公开发表的100余种软件可靠性模型,表达形式不同,适应性各异,与实际的软件开发过程有较大差异。而且,新模型还在不断发表。因此,在进行软件可靠性预计、分析、分配、评价和设计之前,对软件可靠性模型进行评价及选择与软件项目相符或相近的模型非常重要。通过建立有效的评价准则,在考虑它们与各种软件的关系的基础上,对拟评价的可靠性模型就有效性、适应性和模型能力等进行评价,判定它们的价值,比较它们的优劣,然后选择有效的软件可靠性模型。另一方面,在可接受的模型之间无法做出明确的选择时,可根据模型的使用环境等,在模型评价准则的基础上,进行模型择优。当然,软件可靠性模型的评价不仅依赖于模型的应用,还依赖于理论的支持和丰富的、高质量可靠性数据的支持。软件可靠性模型的评价最早始于1984年Iannino、Musa、Okumoto和Littlewood所提出的原则。根据这一原则,结合后人的工作,形成了基本的软件可靠性评价准则集。它们是软件可靠性模型比较、选择和应用的基础。 准则一:模型预测有效 软件可靠性模型最重要的评价指标是模型预测的有效性。它根据软件现在和过去的故障 行为,用模型预测软件将来的故障行为和可靠性水平。它主要通过能有效描述软件故障随机过程特性的故障数方式对模型进行描述与评价。基于软件故障时间特性的随机过程也是一种常用的方法,而且这两种方法相互重叠。 要确定软件可靠性模型预测的有效性,首先要比较模型预测质量。这种比较通常通过相 对误差法、偏值、U图法、Y图法、趋势法等方法进行。故障数度量是一种在工程上被广泛应 用的方法。此外,还可以通过比较不同数据集合所做出的中位线图形来评价模型预测的有效性。如果一个模型产生的曲线最接近于0,则该模型是最优的。而且,这种有效性测定方法有效地克服了规范化图形评价与具体软件项目之间的联系,保证了它的独立性。 用给定可靠性数据对软件可靠性模型进行比较时,必须考察拟合模型与观察数据的一致 性和符合性。当然,根据拟合模型进行采样,是否可以获得足够的观察数据非常重要。拟合优度检验是一种系统地表达并证明观察数据和拟合模型之间全局符合性的方法,使用最广泛的是x2检验。 1.准确性 软件可靠性模型预测的准确性可用前序似然函数来测定。设观察到的失效数据对应于软 件相继失效之间的时间序列t1,t2,..,ti-1,并用这些数据来预测软件在未来可能的Ti,即希 望得到Ti的真实概率密度函数Fi(t)的最优估计值。假设以t1,t2,...,ti-1为基础预测Ti的 分布Fi(t)的概率密度函数 @@42D11000.GIF;表达式1@@ 对Ti+1,Ti+2,...,Ti+n的这种向前一步预测,即进行了n+1次预测之后的前序似然函数为 @@42D11001.GIF;表达式2@@ 由于这种度量常常接近于0,所以常用其自然对数进行比较。假定比较的两个软件可靠性 模型分别为A和B,则对它们进行n次预测之后的前序似然比为 @@42D11002.GIF;表达式3@@