文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

按检索检索词： 高级检索

排序：相关度 OA 时间被引次数点击次数下载次数共有10000条符合的查询结果，以下是第8741-8750项搜索用时 89 毫秒

[首页] « 上一页 [870] [871] [872] [873] [874] 875 [876] [877] [878] [879] [880] 下一页 » 末页»

8741.

KBE-Pascal是一种交互式的程序设计助手系统,其意图是程序员完成设计和实现的困难部分,由KBE-Pascal尽可能地帮助他。 KBE-Pascal的主要基础是格局,这是一种表示程序的方法,它抽去了程序的非基本特性,且明显地表示出算法的基本逻辑特性。 KBE-Pascal的设… … 相似文献

郑国梁唐清《软件学报》1991,2(4):48-53

8742.

基于实例的多推理机合作变型设计系统

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

产品变型设计的基本思想就是通过改进已有的系列产品或模块来适应新的设计需求.针对变型设计的基本特点,提出了以基于实例的推理为基础,综合运用规则推理和约束满足方法来完成产品的变型设计活动.结合所开发的“细纱机模块化变型设计系统”,从知识表达模式、推理流程等方面详细讨论了以基于实例的推… … 相似文献

江力何志均孙守迁《软件学报》1998,9(11):861-865

8743.

对象描述语言及其指称描述

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

在面向对象的软件构造中,对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）,并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性,在这样的逻辑框架下,对象的属性（… … 相似文献

黄涛冯玉琳倪彬李京《软件学报》1996,7(10):577-586

8744.

基于P2P网络的机顶盒VoD系统条件接收机制

近年来,基于对等网络(Peer-to-Peer,P2P)的视频点播(Video-on-Demand,VoD)作为付费网络电视业务的一种新趋势受到了越来越多的关注,然而对等网络自身存在的不稳定性、异构性等缺陷,导致这种系统存在较大的信息安全隐患,从而严重阻碍了其推广使用.基于P2P… … 相似文献

周璇宦国强宋占杰《计算机科学》2015,42(4):72-75, 100

8745.

基于对数极坐标变换和仿射变换的目标识别定位方法

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

由于传统的模板相关匹配算法在目标图像发生较大旋转和放大时,定位结果可能会发生偏差,因此为了取得精度更高的目标识别结果,提出了一种基于对数极坐标变换粗匹配,结合仿射变换精匹配的目标图像识别定位方法,以用于在视场中自动搜索相对于模板图像有平移、旋转和尺度变化的目标图像。实验结果表明,… … 相似文献

张伟任仙怡张桂林张天序《中国图象图形学报》2006,11(9):1255-1259

8746.

基于Hadoop的校园云计算系统

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

针对传统的海量数据处理方法硬件成本太高,并行程序编写困难的缺点,在云计算理论的基础上设计了一个用于处理海量数据的校园云计算系统.此云计算系统是在Hadoop分布式计算框架的基础上采用Map-Reduce编程模型实现对海量数据的并行处理,有效解决了成本问题,降低了并行编程的难度.… … 相似文献

曹风兵吴开贵吴长泽《计算机系统应用》2011,20(6):6-11,5

8747.

ADA—DDBMS中的并发控制

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

并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能．本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略．它根据全系统实际运行的即时状态,动态地决定对事务采取的执行策略,大大减少了积极封锁所易产生的死锁情况,同时又改善了消极封锁效率低的问题．相似文献

陈东辉韦梓楚《软件学报》1994,5(12):51-56

8748.

自适应多步位移码直线绘制算法

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

直线绘制是光栅图形学中一个最为基本的任务,加速传统直线绘制算法有着重要的实际意义.提出了一种新的直线绘制算法.与传统的直线绘制算法不同的是,该算法将直线直接表达成一串由0或1组成的位移码,并给出一个直线位移码的快速计算公式;在此基础上,通过对直线位移码周期性的分析,提出了一种新的… … 相似文献

苗兰芳刘新国彭群生鲍虎军《软件学报》2002,13(4):637-642

8749.

逻辑数据库中参数化CWAs问题研究

下载全文

闭世界假设（ＣＷＡｓ）是逻辑数据库中一类主要的隐含完备．本文给出了一种参数化ＣＷＡ的一般定义,使用这种参数化定义,已知的以及新的ＣＷＡｓ可作为特殊情况推导出,并可对数据库完备的概念进行更有效的描述．相似文献

聂培尧《软件学报》1995,6(9):560-566

8750.

基于Clang编译前端的Android源代码静态分析技术

下载全文

Android手机在全球占有很大的市场份额,基于Android衍生的第三方系统也为数不少.针对Android系统重大安全问题频发的现状,提出一种使用Clang编译前端对Android源码进行静态分析的方法.该方法从已公布的CVE漏洞中提取规则和模型,通过改进的Clang编译前端,… … 相似文献

曹原野丁丽萍《计算机系统应用》2017,26(10):1-10

[首页] « 上一页 [870] [871] [872] [873] [874] 875 [876] [877] [878] [879] [880] 下一页 » 末页»