【摘 要】
：
针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构
【基金项目】
：
浙江省科技计划基金资助重点项目（2007C23087）, 浙江省自然科学基金资助项目（LY12F02009）
论文部分内容阅读
针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。
其他文献
对公路改扩建工程进行中,提高公路加宽项目的工程质量和使用寿命已经是大势所趋。鉴于此,本文分析研究了当前公路改扩建道路路基加宽施工技术存在的问题,对其存在的问题进行
2019年5月15日,长江委正式发布2018年《长江泥沙公报》,《公报》发布了长江流域干流、主要支流及洞庭湖、鄱阳湖区主要水文控制站2018年的水沙特征值及逐月径流量、输沙量,并
改革开放已走过三十年,农村金融虽然在我国实现了快速的发展。但是在农村金融市场中,农户对资金的需求与日俱增,其速度远远超过了正规金融渠道借贷可以提供的支持,资金供不应
为解决需求不确定的联合补充问题，提出一种基于改进模糊模拟的混合遗传算法。应用模糊集理论将需求处理为模糊变量，并用梯形模糊数表示，建立模糊期望值模型，改进经典模糊模拟，给出
高职政治理论教学需要结合高职教育的具体目的与基本特点、高职学生的特点以及高职政治理论教学现状,进行高职政治理论课教学的问题探索,深刻解读学生学习兴趣不高、教学方法
目的探讨联合检测细胞角蛋白19(CK19)、高频率的基因突变(BRAF)、黏着斑激酶(FAK)在甲状腺乳头状癌中的表达及临床意义。方法收集该院2013年1月—2018年1月收治的60例甲状腺
针对视觉导航中路径彩色图像数据量大、维数高,引导标线检测算法耗时较长的问题,提出一种基于颜色特征聚类的快速标线检测算法。在分析常见的标线检测算法特征基础上,建立彩色图像的颜色稀疏矩阵,隔行检测疑似标线的颜色特征点,计算各特征点之间的近邻系数,利用近邻函数法对颜色特征点聚类分析,找出特征点最多的目标类作为标线,按路径结构将特征点连通,并提供路径导航信息。实验结果表明,与传统颜色空间转换和基于霍夫变换
为提高局部保持投影(LPP)在人脸图像超分辨率中的适用性,在LPP中引入典型相关分析(CCA),提出一种相关性增强的局部保持投影方法(CELPP)。CELPP用于提取高分辨率图像与低分辨率图像特征,根据关系学习建立低分辨率图像特征与高分辨率图像特征之间的映射变换,输入低分辨率图像,通过CELPP特征提取和关系映射,得到高分辨率图像,并将其用于人脸识别。对人脸库ORL和Yale进行的实验结果表明,该
介绍了落球式全机械式地震自动关闭的燃气阀门以及永磁式全机械地震燃气阀门以及基于地震动参数控制的城市燃气管道地震安全控制系统技术的结构原理、技术性能,并对其进行了
通过对美国新奥尔良大学董平沙教授的基于结构应力的主S-N曲线法的介绍,提出了一种基于应力线性化的主S-N曲线法,并给出该方法的操作流程。就方形管节点,分别采用董平沙教授