oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 48 )

2018 ( 1123 )

2017 ( 1152 )

2016 ( 1207 )

Custom range...

Search Results: 1 - 10 of 64899 matches for " 邵维忠 "
All listed articles are free for downloading (OA Articles)
Page 1 /64899
Display every page Item
可视化编程环境下人机界面的面向对象设计
,刘昕?
软件学报 , 2002,
Abstract: 可视化编程环境的出现给人机界面的开发带来了巨大的变化,使人机界面的实现可以通过可视化操作,以"所见即所得"的方式进行定制,并在环境的支持下生成程序代码.这种变化给人机界面的面向对象设计提出了新的问题:既然界面的实现主要不是靠手工编程,那么在实现之前还要不要进行设计?面向对象的设计阶段建立的类图还有什么用?旨在对此问题作出回答.首先论述这种条件下的人机界面开发仍然需要设计,但设计策略应当改进.然后给出针对可视化编程环境的人机界面ood(objected-orienteddesign)策略.该策略使设计工作大为简化,且更为有效、更适合基于可视化编程环境的人机界面开发.
GGBS及其激发剂固化合肥湖积软土的试验研究
Experimental Study of Lacustrine Soft Soil Solidification in Hefei Area by adding GGBS and Activators

,,魏源
- , 2015, DOI: 10.7520/1001-4888-15-018
Abstract: 将CaO和石膏作为激发剂掺入粒化高炉矿渣微粉(GGBS)制备GGBS+CaO+石膏固化黏土,通过无侧限抗压强度试验研究固化黏土的强度变化规律,基于正交试验确定GGBS、CaO和石膏三掺量的最佳配合比。研究表明:单掺GGBS对软土有一定的固化效果,但固化速度慢、效果差;将CaO、石膏和GGBS混合后固化效果明显,固化土3d(天)即可形成一定强度。养护28d后,固化黏土最大强度可以达到2.9MPa;利用极差分析得出石膏掺量变化对抗压强度的影响最大,GGBS次之,CaO影响最小;GGBS、CaO和石膏三掺量固化黏土最佳配合比分别为11%、3.5%和5%。上述研究成果为在合肥滨湖地区应用矿渣类软土固化剂提供了理论依据。
Calcium oxide (CaO) and gypsum as activators are added into granulated blast furnace slag (GGBS) to prepare GGBS plus CaO and gypsum solidified clay. Study of solidified clay intensity variation was carried out through unconfined compressive strength experiment. The optimum mix ratio of three contents GGBS, CaO and gypsum was obtained based on orthogonal experiment. Experimental results show that single GGBS has only a bit effect on soft soil solidification with slow solidification speed. The solidifying effect is obvious by mixing CaO, gypsum and GGBS, and the solidified soil will present certain intensity after three days. The maximum strength of solidified soil will reach 2.9MPa after 28 days. Based on the range analysis, the maximum effect on compressive strength is contributed by gypsum, next one comes from GGBS, calcium oxide contributes the minimum impact. It is found that the optimum mix ratio of solidified soft soil is 11% GGBS, 3.5% CaO and 5% gypsum. Above results provide theoretical reference for application of GGBS to solidify lacustrine soft soil in Hefei lakeside new district
An Overview of UML 2.0
UML 2.0述评

马浩海,,麻志毅
计算机科学 , 2004,
Abstract: 在经过4年之久的修订过程之后,OMG采纳了UML 2.0。本文首先介绍了UML 2.0的修订背景和提案需求;然后分别介绍了UML 2.0规范的主体部分:基础结构和上层结构的修订特点,进而总结了UML 2.0基础结构的设计目标和体系结构,归纳了上层结构的设计目标、体系结构组织,着重于比较UML 1.X和2.0在模型构造能力上显著增强的部分;最后针对UML 2.0规范及对其存在的问题给出了一些评述,这些可以作为今后相关研究工作的框架。
模型转换中特性保持的描述与验证
刘辉,麻志毅,
软件学报 , 2007,
Abstract: 模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.
一种基于图转换的模型重构描述语言
刘辉,麻志毅,
软件学报 , 2009,
Abstract: 提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模型重构描述语言的描述能力.结果表明,该语言具有较强的描述能力,能够比较简洁地描述复杂的模型重构规则.
一种基于决策树的构件查询方法
李戈?,张路?,谢冰?,
软件学报 , 2004,
Abstract: 在基于构件的软件开发中,构件查询是影响软件开发效率的关键性问题.为了降低复用者的查询难度。提高构件查询效率,提出将决策树方法引入构件查询过程中,从软件开发项目的构件查询历史信息中获取决策信息。辅助构件查询.在对传统构件查询过程进行分析的基础上,首先对决策树方法与构件库查询过程结合的需求进行了探讨i然后针对如何利用构件查询历史信息建立决策树,如何利用决策树进行构件查询,以及如何对决策树规则集进行存储等关键问题给出了解决方案,提出了一种基于决策树的构件查询方法.还对基于该方法搭建的构件查询系统的基本功能进行了介绍,并给出了该系统的一个应用实例.
一种支持多种模型转换技术的组合方法
何啸?,麻志毅?,冯超?,
软件学报 , 2012, DOI: 10.3724/SP.J.1001.2012.04041
Abstract: 模型转换是模型驱动开发中的核心技术.为了解决复杂的转换问题,需要将多个相对简单的转换组合起来构成组合转换.目前存在多种转换技术,它们之间存在异构性,阻碍了组合转换的实现.首先分析实现组合转换的必要条件,进而提出一个组合转换模型,其中主要包括公共类型表示、公共模型表示、公共转换描述和组合转换定义语言等部分,用以实现支持多种转换技术的组合.另外,还介绍了一个组合转换平台的设计与实现,并通过一个案例说明所提方法及工具的可行性.
“青鸟”系统中永久对象的实现*
柳军飞?,,杨芙清?
软件学报 , 1995,
Abstract: 永久对象概念的实现为程序员提供了在高级语言级一致地操纵内外存的手段,并使程序之间共享数据更方便和有效.本文讨论了永久对象的描述方式和实现技术,介绍了一个集成化软件工程环境——“青鸟”系统中永久对象的实现方法,并详细地给出了其核心部分——“青鸟”对象管理系统(jb2/oms)的设计.
扩展qvtrelations实现业务流程模型的转换
何啸?,麻志毅?,张岩?,
软件学报 , 2011, DOI: 10.3724/SP.J.1001.2011.03753
Abstract: qvt(query/view/transformation)relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对qvtrelations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展之后的qvtrelations可以解决流程模型转换的问题.
面向对象系统软件的分层构造模型
章远阳?,杨芙清?,,
软件学报 , 1993,
Abstract: 本文从分析系统软件传统模型的特点和局限性出发,介绍了永久性对象存储的概念,在此基础上,从实现的通用性和可移植性考虑,讨论了面向对象系统软件的分层构造模型,最后,围绕着分层模型,我们试图以一种统一的观点,就面向对象系统软件各部分之间的功能分配及相互关系等方面,阐述了我们的有关认识。
Page 1 /64899
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.