期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
契约对重构中行为保持的作用
1
作者 李伯林 李瑞 《计算机时代》 2007年第9期48-49,56,共3页
应用软件重构技术,需要解决修改代码却不影响程序原有功能的问题。文章利用契约式程序设计思想解决重构的行为保持问题,给出了契约式重构(Refactoring by Contract)方法,并应用Java语言给出了这种方法的具体实现过程。
关键词 重构 契约 行为保持 属性 工具
下载PDF
模型转换中特性保持的描述与验证 被引量:19
2
作者 刘辉 麻志毅 邵维忠 《软件学报》 EI CSCD 北大核心 2007年第10期2369-2379,共11页
模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这... 模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法. 展开更多
关键词 模型转换 特性保持 行为保持 重构 演化 MDA
下载PDF
基于过程蓝图的重构操作 被引量:5
3
作者 刘建宾 杨林邦 《计算机科学》 CSCD 北大核心 2007年第1期242-247,共6页
提出基于过程蓝图的模型重构操作形式,将传统的基于源代码的程序过程重构变为基于过程蓝图的可视化重构,使基于过程源代码的重构能够在更高抽象层次的过程模型中得到应用,避免程序源代码的语法分析,简化重构过程及其实现,从而提高了重... 提出基于过程蓝图的模型重构操作形式,将传统的基于源代码的程序过程重构变为基于过程蓝图的可视化重构,使基于过程源代码的重构能够在更高抽象层次的过程模型中得到应用,避免程序源代码的语法分析,简化重构过程及其实现,从而提高了重构处理的效率。 展开更多
关键词 模型重构 过程蓝图 前置条件 后置条件 行为保持
下载PDF
Adaptive distributed formation maintenance for multiple UAVs:Exploiting proximity behavior observations 被引量:4
4
作者 LIU Wei-heng ZHENG Xin DENG Zhi-hong 《Journal of Central South University》 SCIE EI CAS CSCD 2021年第3期784-795,共12页
The formation maintenance of multiple unmanned aerial vehicles(UAVs)based on proximity behavior is explored in this study.Individual decision-making is conducted according to the expected UAV formation structure and t... The formation maintenance of multiple unmanned aerial vehicles(UAVs)based on proximity behavior is explored in this study.Individual decision-making is conducted according to the expected UAV formation structure and the position,velocity,and attitude information of other UAVs in the azimuth area.This resolves problems wherein nodes are necessarily strongly connected and communication is strictly consistent under the traditional distributed formation control method.An adaptive distributed formation flight strategy is established for multiple UAVs by exploiting proximity behavior observations,which remedies the poor flexibility in distributed formation.This technique ensures consistent position and attitude among UAVs.In the proposed method,the azimuth area relative to the UAV itself is established to capture the state information of proximal UAVs.The dependency degree factor is introduced to state update equation based on proximity behavior.Finally,the formation position,speed,and attitude errors are used to form an adaptive dynamic adjustment strategy.Simulations are conducted to demonstrate the effectiveness and robustness of the theoretical results,thus validating the effectiveness of the proposed method. 展开更多
关键词 unmanned aerial vehicle formation maintenance proximity behavior adaptive distributed control formation flight control
下载PDF
The Buddhist Philosophical Perspective of Environmental Preservation and Management
5
作者 R. Saman Rajapaksha A.G. Amali Uthpala Nandasiri 《Journalism and Mass Communication》 2016年第4期226-236,共11页
At present we face a lot of environmental issues at both national and global levels. At the same time we will have to face severe environmental issues in the future. This is evident in forming the elements of earth, a... At present we face a lot of environmental issues at both national and global levels. At the same time we will have to face severe environmental issues in the future. This is evident in forming the elements of earth, air, and water which reflect the human influence on organic and inorganic life. So, it is timely significant to pay attention on environmental preservation and management. The main purpose of this study is to explore how the Buddhist teaching could be used for environmental preservation and management. Accordingly, this study introduces a suitable long term environmental preservation model. The other objectives of this study are to learn Buddhism for environmental preservation and management, to create a new model which combines man and environment together, to compare Buddhist thinking and modem man's thinking regarding environmental preservation and management through the above and, to motivate man to preserve environment in through both direct and indirect ways. This study was based on the question whether the Buddhist philosophical teaching could be utilized to solve today's environmental issues? The hypothesis was that the Buddhist philosophical teaching could be utilized for environmental preservation and management. For this purpose, the teachings of Buddha, related to environmental preservation as found in "Suttapil;aka" and "Vinayapi!;aka" were studied. In order to address these conditions we have subjected randomly collected information for interpretation and comparative analysis in qualitative research methodology. The content that has been analyzed is compared with the ethical code related to the patterns of human behavior and its relation to conservation. This has also given way to building some models related to the Buddhist teaching of environmental preservation. The objective of Buddhist philosophy is to generate sensitivity in the mind, of human beings and persuade them to preserve organic and inorganic environment, based on the view "Man is a creation of the environment". The Buddhist philosophical process of environmental preservation includes preserving flora and fauna, water, air, soil as well as garbage disposal. These elements, along with ethics, can be used in effective environment preservation. This new model of environmental preservation directs human beings towards sustainable development with a realistic vision. The Buddhist teaching on environment civilizes man's physical and spiritual behaviors, with a view to lead human beings towards environmental preservation with a realistic perspective. 展开更多
关键词 environmental preservation MODELS Buddhist teaching
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部