国家自然科学基金(60573087) 作品数:14 被引量:46 H指数:4 相关作者: 张维石 史金余 谢兄 张秀国 郝江凌 更多>> 相关机构: 大连海事大学 大连工业大学 南阳理工学院 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 交通运输工程 农业科学 电子电信 更多>>
通用构件行为适应方法研究 2009年 基于构件的软件工程中,构件行为适应是一个关键的问题.目的是为了解决构件交互过程中由于行为不兼容而引起的各种不匹配问题.给出了解决构件行为不匹配的一种通用的方法.该方法首先根据给定的构件接口的行为协议描述计算构件行为之间的同步关系,得到适配器的描述.然后在构件的同步产品中,利用死锁来检测具有同步行为关系的行为之间的不匹配.利用构件及适配器描述计算同步矢量产品的过程中,根据同步矢量来计算适配器的行为协议,适配器通过一对互补事件与被适应构件进行交互.适配器适应交互的构件行为,使得构件交互过程中没有死锁发生,实现对消息顺序的重新排序,解决了具有数据传递的构件行为之间的不匹配问题.最后,用一个实例对文中所述方法进行了说明. 谢兄 张维石关键词:适配器 无死锁 基于嵌入式雷达的近海渔船分布式监控系统 2008年 为对渔船实施有效监控,提出一种基于嵌入式雷达的近海渔船分布式监控系统.系统由多个雷达监控站和一个中心指挥系统构成.雷达监控站使用MD-3641/3642雷达,采用Internet网络技术和CDMA/GPRS通信技术实现与指挥中心的数据传输.采用基于数学形态学原理的目标回波识别算法实现雷达图像去噪和回波边缘提取.应用结果显示:目标回波识别算法有较好的去噪效果,可准确确定目标回波的位置.该系统可实现对渔船的有效监控. 郝江凌 胡景峰 赵丽宁 史金余关键词:远程监控 数学形态学 基于空间编码的刻面分类构件检索方法研究 被引量:9 2006年 如何从构件库中找到需要的构件,是每个构件库系统需要解决的一个主要问题。论文给出了一种新的基于刻面的构件描述的检索方法,通过对构件库中刻面术语空间的编码,将查询树和构件树之间的树匹配转化为索引串之间的字符串匹配,提高了构件检索效率。该成果已在实际项目中得到应用,并得到验证。 张聚广 张维石 张秀国 史金余关键词:刻面分类 关联规则分析在电信交叉销售中的应用研究 被引量:10 2008年 在阐述电信运营企业市场竞争和营销活动中存在的问题的基础上,结合电信企业的特点,分析了在该行业营销领域采用交叉销售策略的必要性,并将数据挖掘中的关联规则分析法应用于交叉销售分析中。详细介绍了关联规则分析法中的Apriori算法原理,并用该算法对电信业务数据进行了分析,给出了业务之间的关联,为企业实施交叉销售提供了有力的数据支持。 羡晨静 张维石 刘伟光关键词:电信 数据挖掘 关联规则 APRIORI算法 CSCE:一个协同的服务组装支持环境 2007年 呈现了一个基于KPN(kahn process network)的服务协同组装支持环境(CSCE)。KPN是一个基于数据流的协同计算模型,用于描述通过数据流进行通信的一系列协作过程。在CSCE协同组装环境中,KPN用于建模服务及服务之间的动态交互,为应用系统的组装提供可视化的用户接口。将KPN应用于服务组装,目的是减少服务组装的不可预见性,提高服务组装的成功率。介绍了基于KPN的服务组装基本思想,给出了CSCE的体系结构,详细描述了CSCE各协作部件的基本功能。 张秀国 刘德春一种基于线性逻辑的构件组装方法研究 被引量:3 2008年 构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题. 谢兄 张维石关键词:形式化描述 Linux平台下防御SYN Flood攻击策略的研究 被引量:6 2009年 分析了当前防御SYN Flood攻击防火墙常用的3种防护方式(SYN网关、被动式SYN网关和SYN中继),针对这3种保护方式防御性能的优缺点,提出了一种防御SYN Flood攻击的改进算法,并具体构建了一种新型的防御SYNFlood攻击模块,再配合Linux已有的防火墙工具iptables,使针对SYN Flood攻击的防御效果得到了进一步的改善和优化。最后,试验仿真测试结果表明,通过加载本防御模块,使系统增强了防御SYN Flood攻击的性能,可极大的提高网络的安全性。 赵广利 江杨关键词:DOS攻击 SYN FLOOD攻击 软构件行为适应的Petri网方法研究 被引量:1 2007年 构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。 谢兄 张维石关键词:软构件 形式化方法 PETRI网 基于Wiki的软件设计模式库的设计与实现 被引量:2 2007年 软件设计模式库的构建和模式复用是当前软件复用研究的热点,对提高软件开发效率和质量具有重要意义。通过将软件设计模式分类、描述和存储,建立模式库,为软件设计和开发提供支持。本文提出了模式库系统的管理流程和系统框架。分析了Wiki的特点,并结合其特点给出了基于Wiki的软件设计模式库的实现。 杨勇 张维石 张秀国 史金余关键词:软件设计模式 模式库 模式复用 基于雷达的近海船舶分布式监控系统 被引量:2 2008年 为了实现对近海船舶的监控,将电子海图显示与信息系统(ECDIS)和雷达监控相结合,构建了一种近海船舶分布式监控系统。系统应用于对渔船的监控,结果表明,雷达监控站能够准确传输雷达图像至监控中心,中心监控系统能够实现对近海渔船的监控,说明系统有效、可行。 郝江凌 胡景峰 史金余 赵丽宁关键词:电子海图显示与信息系统