面向体系结构的构件接口模型及其形式化规约 被引量：7

1

作者 任洪敏 张敬周 钱乐秋 《计算机工程》 EI CAS CSCD 北大核心 2005年第23期67-69,共3页

借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软... 借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件。同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议。 展开更多

关键词 基于构件的软件工程 软件体系结构 构件接口模型 接口规约 行为协议

在线阅读 下载PDF 职称材料

粒计算的集合论描述 被引量：55

2

作者 苗夺谦 徐菲菲 +1 位作者 姚一豫 魏莱 《计算机学报》 EI CSCD 北大核心 2012年第2期351-363,共13页

粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,... 粒计算的形式化研究一直没有被仔细讨论.文中在集合论框架下,对粒计算做了系统研究,给出了粒度空间的三层模型(论域,基,粒结构).借用逻辑语言L判定粒的可定义性,将经典粗糙集通过此模型重新解释.根据模型中从基到粒结构不同的构造规则,引出并可约和交可约粒度空间的定义,分别讨论了不同粒度空间下覆盖、基和粒结构的关系,从而给出从覆盖求基的方法;进一步,利用子系统表示方法对扩展粗糙集以及一般的交可约与并可约空间的上下近似进行了研究,分析了现有的4种基于覆盖的粗糙集模型的合理性;研究了形式概念分析以及知识空间的粒度空间模型,给出这两种理论中上下近似的概念. 展开更多

关键词 粒计算 粒度空间 粗糙集 形式概念分析 知识空间

在线阅读 下载PDF 职称材料

基于混合映射的XML数据的关系存储和查询 被引量：6

3

作者 吴爱华 刘小玲 +1 位作者 王洪 吴清茂 《郑州大学学报（理学版）》 CAS 2007年第2期157-160,共4页

XML数据关系存储有很多优点,但必须将XML的树型结构映射为关系表的二维表结构,以基于结构的映射方法为基础,根据XML数据和查询的特点,结合纯XML查询的优点,提出使用混合映射来解决XML数据的存储问题,即文本和枚举仍保留为XML文档,其他... XML数据关系存储有很多优点,但必须将XML的树型结构映射为关系表的二维表结构,以基于结构的映射方法为基础,根据XML数据和查询的特点,结合纯XML查询的优点,提出使用混合映射来解决XML数据的存储问题,即文本和枚举仍保留为XML文档,其他部分映射为关系数据. 展开更多

关键词 XML XML存储 查询系统 树型索引 混合映射 查询优化

在线阅读 下载PDF 职称材料

EDI-XML通用数据转换构件系统的设计与实现 被引量：2

4

作者 任洪敏 钱乐秋 蔡国钧 《计算机科学》 CSCD 北大核心 2007年第12期129-131,160,共4页

本文分析了基于EDI和XML技术的电子商务系统应用集成问题,描述了一个EDI-XML通用数据转换构件系统的设计原则和软件架构,论述了该架构方案中EDI-XML数据模式的定义机制,提出了一个EDI-XML通用数据转换的实现算法。

关键词 EDI XML 企业应用集成 构件系统

在线阅读 下载PDF 职称材料

用户界面管理系统(UIMS)发展与面临的问题 被引量：1

5

作者 刘正捷 孙玫 +1 位作者 史一民 邢月华 《计算机工程与应用》 CSCD 北大核心 1998年第5期26-28,共3页

在概括总结用户界面管理系统（ＵＩＭＳ）发展的基础上，本文着重讨论了人机交互技术发展对ＵＩＭＳ提出的新问题，包括说明性描述技术、ＵＩ模型的改进以及对直接操纵技术、多媒体／多模态和协同工作ＵＩ的支持，以及可能的解决途径。

关键词 用户界面 管理系统 UIMS 计算机

在线阅读 下载PDF 职称材料

基于代价模型的不一致XML数据修复启发式计算 被引量：1

6

作者 吴爱华 王先胜 +1 位作者 谈子敬 汪卫 《软件学报》 EI CSCD 北大核心 2009年第4期918-929,共12页

在实际应用中,为不一致的XML文档计算最优修复意义重大.但求解最优修复是一个NP完全问题,特别是在XML文档同时违反函数依赖约束和主键约束时.提出一个基于代价模型的、可以在多项式时间内完成的启发式修复求解算法.该算法首先借助索引表... 在实际应用中,为不一致的XML文档计算最优修复意义重大.但求解最优修复是一个NP完全问题,特别是在XML文档同时违反函数依赖约束和主键约束时.提出一个基于代价模型的、可以在多项式时间内完成的启发式修复求解算法.该算法首先借助索引表,在一遍扫描原始XML文档的情况下寻找不一致数据集,然后为每一类约束的不一致数据集构造候选修复,同时计算其修复代价,最后启发式地求解一个代价最小的修复方案.实验结果表明,该算法的时间复杂度不超过冲突类的3次方,即便是在不一致数据量很大、噪声比例很大以及涉及多类语义约束时,也能较快地完成修复. 展开更多

关键词 不一致性 不一致数据 修复 一致的查询回答 XML数据清洗 不完整数据库

在线阅读 下载PDF 职称材料

软件体系结构交互动作精化研究 被引量：1

7

作者 任洪敏 刘晋 《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第1期137-143,共7页

分析了当前体系结构精化的研究工作,基于体系结构形式化描述语言ADL,提出了体系结构交互动作精化的概念,定义了交互动作精化的规约方法,给出了交互动作精化遵循的法则,有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的... 分析了当前体系结构精化的研究工作,基于体系结构形式化描述语言ADL,提出了体系结构交互动作精化的概念,定义了交互动作精化的规约方法,给出了交互动作精化遵循的法则,有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题。开发了体系结构交互动作精化的推导算法,确保精化过程中高层体系结构的行为特性得到保持,并自动生成低层体系结构。实例研究表明了该方法的可行性。 展开更多

关键词 演算 体系结构精化 交互动作 软件体系结构

在线阅读 下载PDF 职称材料

基于π演算的软件体系结构一致性分析研究

8

作者 任洪敏 刘晋 《计算机科学》 CSCD 北大核心 2011年第4期196-198,208,共4页

体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量。基于体系结构的πADL形式化规约,结合体系结构领域的需求和特点,运用π演算基本理论形式化定义了... 体系结构是系统的高层抽象和集成蓝图,基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量。基于体系结构的πADL形式化规约,结合体系结构领域的需求和特点,运用π演算基本理论形式化定义了系列概念和多种进程关系,并以此作为理论基础,提出了πADL规约的8种一致性分析方法,用以提高体系结构规约和系统组装的质量。 展开更多

关键词 软件体系结构 体系结构分析 形式化方法 Π演算

在线阅读 下载PDF 职称材料

基于属性坐标的枚系统评估决策模型

9

作者 吴志雄 冯嘉礼 屠梅曾 《系统管理学报》 北大核心 2007年第4期454-456,共3页

以枚系统的物料、能量和信息的转化效率等属性为依据进行评估,提出了一种基于属性坐标学习和分析的评估决策模型,并给出实例。

关键词 枚系统 决策 属性坐标系

在线阅读 下载PDF 职称材料

船舶客运信息管理系统的设计与实现

10

作者 高茂庭 刘积芬 《船海工程》 北大核心 2007年第2期135-138,共4页

针对船舶在客运管理中,航线、航班次数多、客流量大,手工信息处理复杂等问题,设计并实现了船舶客运信息管理系统,对客运船舶的站点、航线、航班、票价等基础信息以及客运售票、退票、预订等业务信息进行分析,并对售票、退票业务进行统... 针对船舶在客运管理中,航线、航班次数多、客流量大,手工信息处理复杂等问题,设计并实现了船舶客运信息管理系统,对客运船舶的站点、航线、航班、票价等基础信息以及客运售票、退票、预订等业务信息进行分析,并对售票、退票业务进行统计和核算。 展开更多

关键词 船舶客运 信息管理 系统设计 系统实现

在线阅读 下载PDF 职称材料

可调结构的船舶适装货品检索系统设计

11

作者 高茂庭 刘积芬 《船海工程》 北大核心 2006年第2期53-56,共4页

介绍可调结构的船舶适装货品检索系统的功能设计、可调指标结构设计、船舶适装检索处理设计等相关实现技术,实际应用表明,系统具有较大的灵活性,能适应船舶检验业务的多种处理需要。

关键词 船舶检验 可调结构 系统设计 系统结构

在线阅读 下载PDF 职称材料

修订限定的SVN全文检索系统研究与实现

12

作者 任洪敏 李敏 +1 位作者 赵要强 张敬周 《计算机应用与软件》 2017年第11期86-90,共5页

针对SVN版本仓库数据检索困难问题,开发一个基于Lucene的SVN全文检索系统。结合版本控制管理工作特点,提出两种修订限定的SVN全文检索方式。设计版本限定的SVN全文检索系统体系结构,给出基于Lucene过滤器的版本限定实现算法,描述系统的... 针对SVN版本仓库数据检索困难问题,开发一个基于Lucene的SVN全文检索系统。结合版本控制管理工作特点,提出两种修订限定的SVN全文检索方式。设计版本限定的SVN全文检索系统体系结构,给出基于Lucene过滤器的版本限定实现算法,描述系统的关键实现技术。该系统提供了便捷的SVN全文检索功能,提升了SVN文档资源的检索效率。 展开更多

关键词 SUBVERSION SVN Lucene全文检索

在线阅读 下载PDF 职称材料

自然语言上海市内出行路线问答系统

13

作者 张琳 吴蔚林 +1 位作者 高峰 陆汝占 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第z1期32-36,共5页

介绍了一个基于电话和Internet的限定领域的口语问答对话系统,该系统为出行者提供上海市任意两地间的最佳的出行路线.系统集成了语音识别、自然语言理解、语音合成以及对话管理技术;在语言理解中采用了部分句法分析,系统的实现通过对话... 介绍了一个基于电话和Internet的限定领域的口语问答对话系统,该系统为出行者提供上海市任意两地间的最佳的出行路线.系统集成了语音识别、自然语言理解、语音合成以及对话管理技术;在语言理解中采用了部分句法分析,系统的实现通过对话管理中情景语义框架的定义和容错控制的设计来完成.文中还介绍了系统的构成,重点分析了语言理解和对话管理的设计,并对系统效率和理解能力作了评测. 展开更多

关键词 问答系统 语音识别 语言理解 对话管理

在线阅读 下载PDF 职称材料

一种低复杂度的水声OFDM通信系统子载波分配算法 被引量：1

14

作者 尤凌 管张均 《计算机科学》 CSCD 北大核心 2021年第S01期387-391,共5页

近年来,随着国家"智慧海洋"战略的推进,以及海洋资源开发的需求,基于OFDM调制的水声通信技术得到了飞速发展,其关键问题之一就是主节点如何分配子载波资源以优化系统性能。据此,提出了一种低复杂度的水声OFDM子载波分配算法,... 近年来,随着国家"智慧海洋"战略的推进,以及海洋资源开发的需求,基于OFDM调制的水声通信技术得到了飞速发展,其关键问题之一就是主节点如何分配子载波资源以优化系统性能。据此,提出了一种低复杂度的水声OFDM子载波分配算法,以某个准则挑选出每轮待分配的候选节点,选择综合信道状态最差的节点分配子载波,在提高系统整体传输性能的同时兼顾了最差传感器节点的传输性能。此外,针对多轮分配的连续轮空现象,优先为上轮的"空闲"节点分配其上信道状况最好的子载波。仿真结果表明,改进的算法在几乎不降低原算法性能的前提下较好地解决了连续轮空的问题。算法的提出对水下多传感器组网的资源分配有一定的参考意义。 展开更多

关键词 水声通信 正交频分复用 子载波分配 信道状态信息 计算复杂度

在线阅读 下载PDF 职称材料

几种文本特征降维方法的比较分析 被引量：16

15

作者 高茂庭 王正欧 《计算机工程与应用》 CSCD 北大核心 2006年第30期157-159,共3页

文本挖掘中采用向量空间模型(VSM)来表达文本特征,表现出巨大的维数,从而导致处理过程计算复杂,为此,需要先对文本特征矩阵进行合理的降维处理。隐含语义分析(LSA)、概念索引(CI)、非负矩阵分解(NMF)和随机映射(RP)是几种有效的降维方法... 文本挖掘中采用向量空间模型(VSM)来表达文本特征,表现出巨大的维数,从而导致处理过程计算复杂,为此,需要先对文本特征矩阵进行合理的降维处理。隐含语义分析(LSA)、概念索引(CI)、非负矩阵分解(NMF)和随机映射(RP)是几种有效的降维方法,在分析降维空间的含义和计算复杂度后,通过文本聚类实验比较和分析了这几种降维方法的差异,实验表明,这些方法不仅可以对文本特征空间作有效的降维处理,还能在不同程度上凸现文本和词条之间的语义关系,从而提高文本挖掘的效率和准确率。 展开更多

关键词 文本挖掘 降维 随机映射 非负矩阵分解 概念索引 隐含语义分析

在线阅读 下载PDF 职称材料

基于遗传算法的多目标的有时间窗的车辆调度 被引量：8

16

作者 王惠 陈燕 《计算机应用》 CSCD 北大核心 2004年第9期144-146,共3页

对传统有时间窗的车辆优化调度问题进行了分析 ,指出了其中存在的问题。提出了一个以最大的顾客满意度和最小的费用为目标的多目标模型 ,给出了具体的操作步骤。从遗传算法的角度分析了该模型在最坏和最好情况下的时间复杂度。仿真结果... 对传统有时间窗的车辆优化调度问题进行了分析 ,指出了其中存在的问题。提出了一个以最大的顾客满意度和最小的费用为目标的多目标模型 ,给出了具体的操作步骤。从遗传算法的角度分析了该模型在最坏和最好情况下的时间复杂度。仿真结果和在某物流公司的实际应用证明该算法是可行的 。 展开更多

关键词 遗传算法 车辆优化调度问题 费用 顾客满意度

在线阅读 下载PDF 职称材料

基于π演算的动态软件架构研究 被引量：3

17

作者 任洪敏 张敬周 杨志应 《计算机科学》 CSCD 北大核心 2009年第9期127-130,共4页

动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并... 动态软件架构(Dynamic Software Architecture)是架构领域的研究热点。分析了动态软件架构建模应关注的问题,基于π演算提出了动态软件架构形式化建模的方法,给出了动态软件架构语义的推导算法,奠定了动态架构行为分析和仿真的基础,并能对动态架构的诸多要素进行建模,包括动态演化的起因、时间、操作、非瞬时特性、断点继续执行等。 展开更多

关键词 软件架构 动态软件架构 架构描述语言 Π演算

在线阅读 下载PDF 职称材料

基于LSA降维的RPCL文本聚类算法 被引量：5

18

作者 高茂庭 王正欧 《计算机工程与应用》 CSCD 北大核心 2006年第23期138-140,共3页

文本聚类中,存在诸如文本特征空间维数巨大、聚类的数目不能事先确定等问题。隐含语义分析方法可以对文本特征空间作降维处理并有效地凸现出文本和词条之间的语义关系;次胜者受罚竞争学习规则可以进行有效的聚类并自动确定适当的聚类数... 文本聚类中,存在诸如文本特征空间维数巨大、聚类的数目不能事先确定等问题。隐含语义分析方法可以对文本特征空间作降维处理并有效地凸现出文本和词条之间的语义关系;次胜者受罚竞争学习规则可以进行有效的聚类并自动确定适当的聚类数目。将这两种方法结合进行文本聚类可以在一定程度上解决维数和聚类数的问题,实验表明,这种方法能够收到较好的聚类效果,同时,实验还验证了向量余弦距离比欧氏距离方法更适合于文本相似度的计算。 展开更多

关键词 文本聚类 次胜者受罚竞争学习 隐含语义分析 聚类分析

在线阅读 下载PDF 职称材料

一种多权值神经元覆盖网络的构造方法 被引量：7

19

作者 魏莱 徐菲菲 王守觉 《计算机学报》 EI CSCD 北大核心 2012年第5期1031-1037,共7页

仿生模式识别利用多权值神经元覆盖网络构造模式类的覆盖来进行相应事物的识别.但在构造多权值神经元覆盖网络的过程中,关于构造神经元个数的确定方法没有相关讨论,即需要使用多少个神经元才能完成对模式类的覆盖.较多的神经元在精确的... 仿生模式识别利用多权值神经元覆盖网络构造模式类的覆盖来进行相应事物的识别.但在构造多权值神经元覆盖网络的过程中,关于构造神经元个数的确定方法没有相关讨论,即需要使用多少个神经元才能完成对模式类的覆盖.较多的神经元在精确的对模式类进行覆盖同时,也增大了网络的复杂度.文中提出了一种多权值神经元覆盖网络的构造方法.在保持神经网络对模式类的覆盖能力的基础上采用尽量少的神经元,从而能有效的降低神经网络构造代价.最后,通过实验作者验证了算法的有效性. 展开更多

关键词 模式识别 神经元 单纯形 覆盖 多维尺度变换

在线阅读 下载PDF 职称材料

软件复合连接件的形式化研究 被引量：2

20

作者 任洪敏 张敬周 钱乐秋 《计算机科学》 CSCD 北大核心 2005年第3期132-135,共4页

基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities),是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加,连接件变得愈加... 基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities),是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加,连接件变得愈加复杂和多样。因此,需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式,即连接件运算符,组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约,给出了该复合连接件形式化规约的生成算法。 展开更多

关键词 构件 软件开发 形式化 连接件 系统功能

在线阅读 下载PDF 职称材料