基于构件运算的可重构系统代数模型

下载全文  

可重构系统是指一个系统由构件组成,随着构件被替换以及组合拓扑关系的变化,系统表现出不同的功能.针对可重构系统在形式化和重构建模方面的不足,用代数学方法对可重构构件、构件组合、可重构系统的属性和行为特征进行抽象,把构件组合定义成构件的\"运算\"实现,结合进程代数中算子的概念,定义… …   相似文献

袁博  汪斌强 《软件学报》2012,23(10):2735-2745

中国服务业利用外商直接投资实证分析

下载全文  

In the process of global industrial adjustment, the structure of Foreign Direct Investment (FDI) has shifted towards services. The degree of… …   相似文献

殷凤  陈宪 《计算机系统应用》2009,18(6):16-16

电力应用系统数据交换平台

下载全文  

现代企业资源具有分布式、异构性、跨领域协同工作等特点。通过分析电力行业电力应用系统的现状,针对各系统间缺乏规范化和标准化的数据共享机制,信息资源难以共享,数据交换率低效等问题,提出了基于SOA架构,以XML作为异构系统之间数据交换的标准格式,以Web Service作为各系统数据… …   相似文献

喻太峰  李彤  李喜旺 《计算机系统应用》2010,19(11):10-14

面向航天嵌入式软件的形式化建模方法

下载全文  

航天嵌入式软件是航天型号任务成败的关键之一.航天嵌入式软件是一种周期性、多模式的软件.软件的每个模式表示系统处于一定的状态,并进行相应的复杂计算.因此,提出了一种名为SPARDL的形式化建模方法.为了满足型号应用的需求,对这一方法进行了若干改进.为了表达航天器的时序性质,提出了一… …   相似文献

顾斌  董云卫  王政 《软件学报》2015,26(2):321-331

Ada-I:支持保护对象继承的Ada95扩充语言

下载全文  

面向对象并发程序设计语言能够帮助程序员利用面向对象技术编写并发程序,从而获得面向对象技术给软件开发带来的种种好处.然而,由于继承异常现象的存在,影响了并发程序设计语言引入继承特性.Ada95语言是支持并发程序设计的面向对象语言之一,但并不支持保护对象的继承.Ada-I语言在Ada… …   相似文献

陆嘉  温冬婵  王鼎兴 《软件学报》2000,11(4):494-501

基于遗传算法和B样条曲线的平滑避障路径规划

下载全文  总被引：1，自引：0，他引：1

传统的避障路径规划中常常存在不连续点,提出一种新的平滑避障路径规划的方法—遗传算法和B样条曲线法.首先,先通过碰撞侦测,能够侦测出前进路径中的障碍物,然后通过遗传算法再结合B样条曲线规划出平滑的避障路径.该算法可以避免运动过程因打滑而造成与目标位置的误差,解决机器人在静态环境中全… …   相似文献

王宪  盛巍  宋书林  平雪良 《计算机系统应用》2012,21(2):65-71

两种网格服务模型的对比研究*

下载全文  

结合网格系统中虚拟组织内部的集中调度机制,介绍了一种现有的多队列服务模型,该模型将提交到虚拟组织上的作业请求分配到该虚拟组织内部资源的服务队列上;考虑到网格环境中服务的动态性,将服务队列集中在调度中心的单队列服务模型应用于网格环境,通过对提供服务的资源发生故障的情况进行仿真实验,… …   相似文献

殷杰  王跃宣  吴澄a 《计算机应用研究》2007,24(11):271-273

因素空间与概念描述

下载全文  总被引：17，自引：0，他引：17

本文介绍作者所提出的因素空间理论,它为概念描述提供了一般的数学框架,本文不加证明地列出了有关的基本数学命题和结论。  相似文献

汪培庄 《软件学报》1992,3(1):30-40

一种基于模式噪声熵的图像来源取证算法

下载全文  

针对数字图像的来源取证,提出了一种基于模式噪声熵的检测算法。传感器作为数码相机的重要部件,由于在制造过程中的缺陷,成像时会给图像带来一种模式噪声。该算法利用传感器产生的模式噪声具有唯一性这一特点,对图像进行小波降噪并提取图像的模式噪声,利用模式噪声的熵值对不同来源的图像进行区分。… …   相似文献

谢建  潘晓中  李德龙  肖海燕 《计算机应用研究》2012,29(6):2385-2386

基于虚拟现实技术的远程教育平台研究与实现

下载全文  

针对目前虚拟现实技术在远程教育中的应用情况,提出了基于虚拟现实技术的现代远程教育平台的框架体系、设计方案和其基于MVC2模式的实现方式.  相似文献

许爱军  张文金  易丹 《计算机系统应用》2007,16(8):23-26

强制存取控制策略在数据库安全中的应用

下载全文  

本文提出了一种在多层次关系数据模型中采用强制存取控制策略实现对信息分级分类进行管理,强行限制系统中信息的流动和共享,以保护信息安全的方法。  相似文献

林大松  俞捷 《计算机系统应用》1997,3(9):32-34

基于人工噪声的中继网络物理层安全传输机制

下载全文  

针对无线自组织网的不可信中继节点会带来严重安全威胁的问题,提出利用干扰节点保障通信的物理层安全机制。其信息传输分为两个阶段:中继节点获得来自发送端和干扰节点的含人工噪声的信号;目的接收端在干扰节点的协助消噪后还原出原始信息。由于中继节点和窃听者的接收信号始终伴随严重的噪声干扰,系… …   相似文献

李翔宇  金梁  黄开枝 《计算机应用研究》2012,29(9):3467-3469

一种快速的单模式匹配算法*

下载全文  总被引：4，自引：0，他引：4

在对Boyer-Moore(BM)算法及其改进的Tuned Boyer-Moore(TunedBM)算法进行分析的基础上,提出了一种更加快速的单模式匹配算法--NFS.该算法利用当前尝试中匹配失败字符的位置信息进行更大的尝试位置移动,使算法具有更高的效率.实验结果表明,NFS算法… …   相似文献

蔡晓妍  戴冠中  杨黎斌 《计算机应用研究》2008,25(1):45-46

基于参数L系统的梨树枝干模型三维可视化

下载全文  总被引：2，自引：0，他引：2

为了真实的模拟果树枝干形态,提出形态特征信息和参数L系统相结合的果树枝干可视化方法.以梨树的树体结构为研究对象,提炼其相关的形态结构特征以及生态生理等特性变化;应用L系统建模方法对梨树建立包含树枝的粗细、分叉角度等细节信息的模型;最后使用OpenGL三维建模技术将梨树生长几何信息… …   相似文献

胡秀珍  张建  李淼  袁媛 《计算机系统应用》2011,20(8):86-90

序列中的一般化局部序列模式发现

下载全文  总被引：4，自引：0，他引：4

已有的时序序列中的模式发现方法主要关注于发现全局的模式,该模式的频繁度量通过扫描序列的所有记录产生.然而,仅在某个时间段中频繁的局部模式在实际中是广泛存在的,对其有效的发现是有意义的.介绍了一种在时序序列中发现一般化局部序列模式的方法.发现的模式具有形式\"在子序列s中,如果A发生,则B在时间T内发生\".提出的方法包括一个支持高效的模式实例定位与计数的索引结构和一个2段的局部模式挖掘算法.试验结果符合问题的定义,并证明了提出方法的优越性.… …   相似文献

靳晓明  陆玉昌  石纯一 《软件学报》2003,14(5):970-975

连接操作在SIMFS和EXT4上的性能比较

  

连接操作是关系数据库系统中最基本、最昂贵的操作,对数据库性能有巨大的影响。由于连接表存放在文件系统中,因此文件系统的性能对连接操作的性能有决定性的影响。不同文件系统的连接操作性能测试对数据库研究有重要意义,但目前相关测试较少。首先对比分析了新型内存文件系统SIMFS(Sustai… …   相似文献

赵利伟  陈咸彰  诸葛晴凤 《计算机科学》2016,43(6):184-187, 207

LTE-A飞蜂窝系统干扰协调智能优化算法

  总被引：1，自引：0，他引：1

在同频组网的LTE-A飞蜂窝系统中,飞蜂窝基站的密集部署会造成较为严重的同频干扰,导致网络吞吐量和用户的服务质量(Quality of Service,QoS)降低。部分频率复用(Fractional Frequency Reuse,FFR)作为常用的干扰协调方案,可以有效地提高… …   相似文献

高潮欣  陈昕  向旭东 《计算机科学》2015,42(8):273-278

一种基于Ethernet新的可靠多播算法

  

可靠多播算法在并行处理中有着广泛的应用.文章在分析基于共享介质Ethernet的3种可靠多播算法的基础上,提出了一种新的可靠多播算法：MAK(multicast acknowledgment)多播算法,并且以实验数据验证了此算法的高效性.  相似文献

申俊  郑纬民  王鼎兴  沈美明 《软件学报》1998,9(6):432-437

ONS安全机制研究

  

物联网安全问题影响并制约着物联网的应用前景,成为物联网领域备受关注的研究热点之一。ONS负责将EPC编码定位到物理地址上某一点的物品信息,其安全机制得到越来越多学者的研究。介绍了ONS功能、解析流程;分析了其主要的安全隐患;分别从身份认证技术、数字签名技术和安全传输技术归纳和总结… …   相似文献

汪胡青  孙知信 《计算机科学》2016,43(1):1-7

基于k 最短路由的mesh光网络p圈构造方法*

下载全文  总被引：1，自引：1，他引：0

Pcycle是mesh光网络中一种十分优秀的保护算法,圈构造算法是p圈法设计的前提。首先介绍了圈的概念及常见圈构造算法和基于k最短路由的p圈启发式算法,提出了基于k最短路改进metaDijkstra的圈构造算法。实验仿真表明该方案比较适合网状光网络中的圈构造。  相似文献

赵太飞  李乐民  虞红芳 《计算机应用研究》2007,24(11):278-280