您的位置: 专家智库 > >

国家自然科学基金(60573087)

作品数:14 被引量:45H指数:4
相关作者:张维石史金余谢兄张秀国郝江凌更多>>
相关机构:大连海事大学大连工业大学南阳理工学院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术交通运输工程农业科学电子电信更多>>

文献类型

  • 14篇中文期刊文章

领域

  • 11篇自动化与计算...
  • 2篇交通运输工程
  • 1篇电子电信
  • 1篇农业科学

主题

  • 3篇形式化
  • 2篇形式化描述
  • 2篇监控系统
  • 2篇海图
  • 2篇分布式
  • 2篇分布式监控
  • 2篇分布式监控系...
  • 2篇复用
  • 1篇电信
  • 1篇电子海
  • 1篇电子海图
  • 1篇电子海图显示
  • 1篇电子海图显示...
  • 1篇电子航海
  • 1篇电子航海图
  • 1篇形式化方法
  • 1篇业务逻辑
  • 1篇业务逻辑层
  • 1篇引擎
  • 1篇用户

机构

  • 14篇大连海事大学
  • 1篇大连工业大学
  • 1篇南阳理工学院

作者

  • 7篇张维石
  • 5篇史金余
  • 4篇谢兄
  • 3篇郝江凌
  • 3篇张秀国
  • 2篇赵广利
  • 2篇赵丽宁
  • 2篇胡景峰
  • 1篇李超
  • 1篇苏波
  • 1篇杨勇
  • 1篇李邵喜
  • 1篇任树华
  • 1篇刘伟光
  • 1篇羡晨静
  • 1篇刘德春
  • 1篇张聚广
  • 1篇江杨
  • 1篇鲁芹

传媒

  • 4篇计算机工程与...
  • 2篇小型微型计算...
  • 2篇计算机工程与...
  • 2篇船海工程
  • 1篇计算机应用与...
  • 1篇系统仿真学报
  • 1篇大连海事大学...
  • 1篇大连轻工业学...

年份

  • 1篇2010
  • 2篇2009
  • 5篇2008
  • 5篇2007
  • 1篇2006
14 条 记 录,以下是 1-10
排序方式:
通用构件行为适应方法研究
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攻击SYNFLOOD攻击
软构件行为适应的Petri网方法研究被引量:1
2007年
构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。
谢兄张维石
关键词:软构件形式化方法PETRI网
基于Wiki的软件设计模式库的设计与实现被引量:2
2007年
软件设计模式库的构建和模式复用是当前软件复用研究的热点,对提高软件开发效率和质量具有重要意义。通过将软件设计模式分类、描述和存储,建立模式库,为软件设计和开发提供支持。本文提出了模式库系统的管理流程和系统框架。分析了Wiki的特点,并结合其特点给出了基于Wiki的软件设计模式库的实现。
杨勇张维石张秀国史金余
关键词:软件设计模式模式库模式复用
基于雷达的近海船舶分布式监控系统被引量:2
2008年
为了实现对近海船舶的监控,将电子海图显示与信息系统(ECDIS)和雷达监控相结合,构建了一种近海船舶分布式监控系统。系统应用于对渔船的监控,结果表明,雷达监控站能够准确传输雷达图像至监控中心,中心监控系统能够实现对近海渔船的监控,说明系统有效、可行。
郝江凌胡景峰史金余赵丽宁
关键词:电子海图显示与信息系统
共2页<12>
聚类工具0