论文部分内容阅读
摘 要：优化电力生产管理系统，可以提高电力企业的生产效率，也可以提高企业的经济效益，有助于提高企业自身的竞争力。本文对电力生产管理系统的可信构造方法的工作模式进行了探讨，还从多个方面对该系统构造方法的可信度进行了研究与分析，希望可以促进我国电力企业更好的发展，可以提高电力企业电能的生产量，为人们提供更加优质的电力服务。
关键词：电力生产；管理系统；可信；构造方法
电力企业在不断的发展，人们的用电质量也在不断提高，随着电力企业竞争性的不断增大，企业管理者必须不断的优化电力生产管理系统，还要对可信构造方法的效用进行研究，这样才能促进电力企业向着自动化、智能化的方向发展。随着社会的不断发展，人们的用电量也在不断增大，为了更好的满足用户的需求，电力企业一定要多利用计算机等先进技术，提高电力生产管理系统运行的效率，还要提高电力生产软件的可信性，解决软件编程中存在的缺陷问题，这样才能保证电力生产系统更加安全、稳定的运行。
1 电力生产管理系统可信构造方法的工作模式
随着电力行业的不断发展，电力企业间的竞争越来越强，为了提高企业的竞争力，相关人员对电力生产管理系统的可信构造方法进行了研究，这有助于提高企业的生产效率以及经济效益。在研究的过程中，需要明确采用的可信技术。到目前为止，我国对电力生产管理系统的可信构造研究已经取得了一定成绩，而且得出了相关研究理论以及研究技术方法，还提出了可信构造方法的工作模式。在研究的过程中，相关学者将研究内容分为了4个部分，分别是生产管理系统、系统实施过程、可信评估以及可信证明。
在对电力生产管理系统进行可信构造时，需要建立完善的电力生产管理系统，这样可以提高研究的准确性。电力企业具有一定的特殊性，而且电力生产管理系统的运行也具有一定的特殊性，比如电力企业生产管理系统的运行质量与系统实施过程有较大关系。在构建管理系统时，要需要建立配套系统，这有助于对企业的全面管理，也有助于提高管理的水平。为了保证电力生产管理系统发挥最大的效用，必须加强对管理人员的培训，这样可以保证企业各项管理制度更好的落实，也可以保证管理系统更加科学、合理的建立，為提高系统的可信构造提供了更加有力的条件。
2 可信构成方法的研究
在对电力生产管理系统的可信构造方法进行研究时，需要先建立可信分析逻辑架构，可信分析主要包括两项内容，分别是可信评估与可信证明。相关人员首先需要总结可信评估与可信证明的结果，然后制定出最终的可信性报告，最后再对该系统的可信构造给出分析结论。
2.1 可信属性
相关人员在分析电力生产管理系统的可信构造前，首先需要建立系统可信属性模型，这项工作主要是对电力管理系统运行过程中的可信属性进行集合，是可信分析的前期工作。电力企业生产管理系统的可信属性包括多项内容，其是可用性、可靠性、安全性以及实时性等内容的集合。在对可信属性进行集合时，需要结合系统所处的环境以及需求，还要提取不同系统可信属性的要求，从而制定出可信属性模型。
2.2 可信分级
电力行业具有一定的特殊性，其可以为人们提供电能资源，在电力企业运行的过程中，其可信级别可划分为5层，从低到高排列可得：不可信级、可用级、实用级、标准级以及证明级。另外，在电力企业中，还存在不可用的资源，这些资源无法进行可信分析，属于不可信的资源。通过可信分析，并已经处于实际运行状态，有实际的应用示范工程，运行效果良好，定义为实用级；不仅通过可信分析并有成功的应用示范工程，而且通过权威的标准化组织的认证，成为一定范围内的规范标准，定义为标准级；资源不仅通过可信分析，而且能够使用形式化工具进行证明，定义为证明级.显然，证明级是可信分级中的最高级别，但是，实际应用中，资源可信性的完全证明一般是比较困难的。
3 可信证据度量和获取
3.1 实现层
这里主要对实现层的证据进行度量和获取，实现层主要是指系统底层的实现代码、模型和文档等等，例如：对于系统代码正确性的度量，我们可以使用一些工具对代码是否存在bug、死锁和内存泄露等问题进行检查，提取代码的正确性证据；对于代码规范性的度量，我们也可以使用一些工具对代码的是否按照标准缩进、是否按照标准命名、是否添加注释等问题进行检查，提取代码的规范性证据。
3.2 功能层
这里主要对功能层的证据进行度量和获取，功能层的含义是指资源是否能够达到预期的目标，满足用户的功能；也可以通过计算可测试的功能比率，来度量和提取功能的可评估性证据。
3.3 框架层
这里主要对框架层的证据进行度量和获取，框架层的含义是指系统整体是否能够很好的与用户或其他应用进行交互，是否能够很容易的安装、维护和集成，是否具备很好的兼容性。
3.4 规范层
这里主要对规范层的证据进行度量和获取，规范层的含义是指系统遵循的编码规范、过程管理规范等各种规范，例如：确定软件开发过程是否遵循IS09000标准或者CMMI标准，度量和提取软件开发的认可性证据；确定系统应用于个人、企业范围或国家，国际范围，度量和获取软件应用的广泛性证据。
4 可信证明
在前面介绍的可信分级中将证明级认定为最高可信级别，可见系统可信性的完全证明是非常困难的，很多时候并不能够获取足够的所需资源，可信的证明和可信的评估是同时进行的，很多可信证据的获取过程也能够提取系统的形式化证明资源，我们这里采用一系列的规则来控制可信证明的过程，在证明分析规则指导下提取证明所需要的资源；在描述规则指导下，基于形式化模型对系统进行形式化的描述，生成系统的形式化表示；在证明规则的指导下进行推演，对系统的可信性进行证明；最后在合成规则的指导下，根据系统可信性的证明情况，生成系统的可信分析报告，这里所使用的规则都是保存在电力资源库之中的，这些规则同样包含了丰富的行业知识。
结束语
进入21世纪后，电力行业的发展越来越快，而且用户对电力企业的生产质量也提出了更高的要求，由于人们的用电量在不断增加，而且人们生活中用电器也越来越多，电力企业必须不断的改进管理制度，优化管理系统，这样才能提高电力企业的生产效率以及经济效益。电力企业在发展的过程中，应用了较多的先进技术以及软硬件设施，为了保证系统安全、稳定的运行，必须加强对这些软件可信性的管理，这样才能快速达到企业制定的发展目标，才能加快企业生产的进度。
参考文献
[1]欧阳建权，王怀民，史殿习.普适计算的可信研究[J].计算机应用研究，2008（12）.
[2]麻志毅，刘辉，何啸，张乐，吉喆，戈牧.一个支持模型驱动开发的元建模平台的研制[J].电子学报，2008（4）.
[3]王怀民，唐扬斌，尹刚，李磊.互联网软件的可信机理[J].中国科学E辑：信息科学，2006（10）.
关键词：电力生产；管理系统；可信；构造方法
电力企业在不断的发展，人们的用电质量也在不断提高，随着电力企业竞争性的不断增大，企业管理者必须不断的优化电力生产管理系统，还要对可信构造方法的效用进行研究，这样才能促进电力企业向着自动化、智能化的方向发展。随着社会的不断发展，人们的用电量也在不断增大，为了更好的满足用户的需求，电力企业一定要多利用计算机等先进技术，提高电力生产管理系统运行的效率，还要提高电力生产软件的可信性，解决软件编程中存在的缺陷问题，这样才能保证电力生产系统更加安全、稳定的运行。
1 电力生产管理系统可信构造方法的工作模式
随着电力行业的不断发展，电力企业间的竞争越来越强，为了提高企业的竞争力，相关人员对电力生产管理系统的可信构造方法进行了研究，这有助于提高企业的生产效率以及经济效益。在研究的过程中，需要明确采用的可信技术。到目前为止，我国对电力生产管理系统的可信构造研究已经取得了一定成绩，而且得出了相关研究理论以及研究技术方法，还提出了可信构造方法的工作模式。在研究的过程中，相关学者将研究内容分为了4个部分，分别是生产管理系统、系统实施过程、可信评估以及可信证明。
在对电力生产管理系统进行可信构造时，需要建立完善的电力生产管理系统，这样可以提高研究的准确性。电力企业具有一定的特殊性，而且电力生产管理系统的运行也具有一定的特殊性，比如电力企业生产管理系统的运行质量与系统实施过程有较大关系。在构建管理系统时，要需要建立配套系统，这有助于对企业的全面管理，也有助于提高管理的水平。为了保证电力生产管理系统发挥最大的效用，必须加强对管理人员的培训，这样可以保证企业各项管理制度更好的落实，也可以保证管理系统更加科学、合理的建立，為提高系统的可信构造提供了更加有力的条件。
2 可信构成方法的研究
在对电力生产管理系统的可信构造方法进行研究时，需要先建立可信分析逻辑架构，可信分析主要包括两项内容，分别是可信评估与可信证明。相关人员首先需要总结可信评估与可信证明的结果，然后制定出最终的可信性报告，最后再对该系统的可信构造给出分析结论。
2.1 可信属性
相关人员在分析电力生产管理系统的可信构造前，首先需要建立系统可信属性模型，这项工作主要是对电力管理系统运行过程中的可信属性进行集合，是可信分析的前期工作。电力企业生产管理系统的可信属性包括多项内容，其是可用性、可靠性、安全性以及实时性等内容的集合。在对可信属性进行集合时，需要结合系统所处的环境以及需求，还要提取不同系统可信属性的要求，从而制定出可信属性模型。
2.2 可信分级
电力行业具有一定的特殊性，其可以为人们提供电能资源，在电力企业运行的过程中，其可信级别可划分为5层，从低到高排列可得：不可信级、可用级、实用级、标准级以及证明级。另外，在电力企业中，还存在不可用的资源，这些资源无法进行可信分析，属于不可信的资源。通过可信分析，并已经处于实际运行状态，有实际的应用示范工程，运行效果良好，定义为实用级；不仅通过可信分析并有成功的应用示范工程，而且通过权威的标准化组织的认证，成为一定范围内的规范标准，定义为标准级；资源不仅通过可信分析，而且能够使用形式化工具进行证明，定义为证明级.显然，证明级是可信分级中的最高级别，但是，实际应用中，资源可信性的完全证明一般是比较困难的。
3 可信证据度量和获取
3.1 实现层
这里主要对实现层的证据进行度量和获取，实现层主要是指系统底层的实现代码、模型和文档等等，例如：对于系统代码正确性的度量，我们可以使用一些工具对代码是否存在bug、死锁和内存泄露等问题进行检查，提取代码的正确性证据；对于代码规范性的度量，我们也可以使用一些工具对代码的是否按照标准缩进、是否按照标准命名、是否添加注释等问题进行检查，提取代码的规范性证据。
3.2 功能层
这里主要对功能层的证据进行度量和获取，功能层的含义是指资源是否能够达到预期的目标，满足用户的功能；也可以通过计算可测试的功能比率，来度量和提取功能的可评估性证据。
3.3 框架层
这里主要对框架层的证据进行度量和获取，框架层的含义是指系统整体是否能够很好的与用户或其他应用进行交互，是否能够很容易的安装、维护和集成，是否具备很好的兼容性。
3.4 规范层
这里主要对规范层的证据进行度量和获取，规范层的含义是指系统遵循的编码规范、过程管理规范等各种规范，例如：确定软件开发过程是否遵循IS09000标准或者CMMI标准，度量和提取软件开发的认可性证据；确定系统应用于个人、企业范围或国家，国际范围，度量和获取软件应用的广泛性证据。
4 可信证明
在前面介绍的可信分级中将证明级认定为最高可信级别，可见系统可信性的完全证明是非常困难的，很多时候并不能够获取足够的所需资源，可信的证明和可信的评估是同时进行的，很多可信证据的获取过程也能够提取系统的形式化证明资源，我们这里采用一系列的规则来控制可信证明的过程，在证明分析规则指导下提取证明所需要的资源；在描述规则指导下，基于形式化模型对系统进行形式化的描述，生成系统的形式化表示；在证明规则的指导下进行推演，对系统的可信性进行证明；最后在合成规则的指导下，根据系统可信性的证明情况，生成系统的可信分析报告，这里所使用的规则都是保存在电力资源库之中的，这些规则同样包含了丰富的行业知识。
结束语
进入21世纪后，电力行业的发展越来越快，而且用户对电力企业的生产质量也提出了更高的要求，由于人们的用电量在不断增加，而且人们生活中用电器也越来越多，电力企业必须不断的改进管理制度，优化管理系统，这样才能提高电力企业的生产效率以及经济效益。电力企业在发展的过程中，应用了较多的先进技术以及软硬件设施，为了保证系统安全、稳定的运行，必须加强对这些软件可信性的管理，这样才能快速达到企业制定的发展目标，才能加快企业生产的进度。
参考文献
[1]欧阳建权，王怀民，史殿习.普适计算的可信研究[J].计算机应用研究，2008（12）.
[2]麻志毅，刘辉，何啸，张乐，吉喆，戈牧.一个支持模型驱动开发的元建模平台的研制[J].电子学报，2008（4）.
[3]王怀民，唐扬斌，尹刚，李磊.互联网软件的可信机理[J].中国科学E辑：信息科学，2006（10）.