基于排序形式化规格说明的软构件匹配

基于排序形式化规格说明的软构件匹配是检索可重用构件的有效方法,在软件复用和库检索中,有助于确定一个构件是否可以取代另一个构件或一个构件如何通过修改以满足另一个构件的要求.利用基于排序形式化规格说明来描述软构件的行为,并在构件和方法层次上给出多种不同类型的基于排序形式化规格说明软构件匹配的定义,及其在构件检索中的应用.     

一个基于AI产生式系统的软件开发新模型

在设计一个程序以前，应该完整地并且精确地说明要求解的问题．作为一个产品。软件相对于其形式规格说明来说应该是可靠和正确的．规格说明是程序变换方法的起点，程序变换方法保证了程序的正确性．本文给出了ＡＤＴＳＬ的简要描述，并提出了一个基于人工智能中的产生式系统的软件开发新模型．     

一种地图水印的嵌入方法

地图水印是地图版权保护的有效方法,以往的地图水印算法都不能得到很好的抗剪切性。本文分析了已有的地图水印算法,提出了采用字移和行移文档的水印技术思想,在同种颜色的区域内,通过改变边缘上相邻两个点的距离信息来达到嵌入水印的目的,并通过实验证明此算法是有效的。     

再生混凝土抗压强度及工作性能的影响因素分析

用重量比为C20∶C30∶C35∶C40∶C45=1∶4∶3.5∶0.5∶1的混掺废弃混凝土试块制作了再生粗、细骨料,采用正交试验对比分析了水灰比、再生粗骨料取代率、再生细骨料取代率、搅拌工艺4个因素对再生混凝土抗压强度及工作性能的影响规律,并采用极差归纳了其各因素对再生混凝土抗压强度和工作性能的影响.结果表明:掺加100%再生粗骨料和50%的再生细骨料能满足C30强度等级要求及和易性要求,再生粗骨料的取代率对强度影响最明显.     

从团粒结构失稳角度探讨由灌溉引起的黄土湿陷发生机理

利用SEM/EDX等测试手段,探讨了由灌溉引起的黄土湿陷发生机理.结果表明:黄土湿陷过程包括初始快速变形和后续迟缓变形2个阶段,这2个阶段的发生都与黄土的骨架颗粒--团粒有关.前者是由于黄土中非水稳性团粒遇水破坏所至,而后者是因为水的渗透造成黄土团粒主要胶结物碳酸钙的淋溶移动损失,从而导致失稳.黄土中松散结构或架空孔隙的存在是产生湿陷的重要条件,但不是湿陷发生的根本原因.     

全要素生产率分析新方法:F(a)re-Primont指数

针对全要素生产率现有分析方法中存在的问题,基于全要素生产率的定义,引入F(a)re-Primont 指数,并对其性质和分解进行了介绍.首先,以距离函数为加总函数构造出F(a)re-Primont指数,并证明该指数满足乘法完备性和传递性;其次,结合相关效率概念的经济学内涵,将F(a)re-Primont指数完全分解为技术进步、技术效率变化、规模效率变化与剩余混合效率变化的乘积;最后,利用该指数对我国29个省区2001年～2010年的全要素生产率进行了实证分析.     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

一个面向对象的需求规格说明语言——SEURSL

提出了一种从建模到实现的完整的面向对象开放方法，它以Ｃｏａｄ／Ｙｏｕｒｄｏｎ方法为基础并对它进行了改进，改进后的方法能够有效地描述系统的功能和行为；同时给出了支持这种方法的需求规格说明语言———ＳＥＵＲＳＬ的规范化定义。     

芜湖市银湖路刚改柔工程沥青混合料配合比设计

在芜湖市银湖路刚改柔工程中，工程设计人员通过选择合适的级配与沥青结合料，经过室内马歇尔试验与路用性能试验，确定最佳的配合比使该工程上下面层沥青混合料的高温稳定性、水稳定性均能满足芜湖地区高温多雨以及大交通量的要求。     

随机骨料投放的分层摆放法及有限元坐标的生成

为了提高混凝土细观力学预处理过程中骨料投放效率,提出了一种随机骨料的投放方法。基于混凝土随机骨料生长方式,提出了骨料投放的分层摆放法。采用状态矩阵法的判别准则,判别空间中任意一点与骨料凸多边形/凸多面体的位置关系,实现了二维平面/三维空间有限元网格坐标的生成。结果表明,与现有方法相比,该方法可节省CPU时间,具有极高效率。这为实现大规模数值细观混凝土预处理,提供了有力的工具。