•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8601-8620项 搜索用时 112 毫秒
[首页] « 上一页 [426] [427] [428] [429] [430] 431 [432] [433] [434] [435] [436] 下一页 » 末  页»
8601.
下载全文  总被引:7,自引:0,他引:7
虽然生成光滑曲面是自由曲面造型的一个主要追求目标,但在某些场合却又要求能够产生非光滑的特殊效果,即所谓的尖锐特征(sharp feature).该文研究子分曲面造型中特殊效果的生成,提出一种基于网格拓扑构造的方法,把折痕、角、尖刺和锥等尖锐特征的生成统一到边界处理方法中,从而避免… …   相似文献
李桂清  卢冰  李现民  李华 《软件学报》2000,11(9):1189-1195
8602.
下载全文  总被引:2,自引:0,他引:2
针对气候变化与空气质量评价问题,考虑到空气质量数据具有复杂、不确定、不完备、海量高维的特点,提出基于分层递阶商空间的粒度聚类分析法。利用分层递阶模型,通过属性函数对原问题的论域进行划分,获得问题求解的不同层次粒度空间,可以将不确定信息转换成确定性信息,降低问题复杂性,易推广至高维… …   相似文献
8603.
  
通过设计与初始化ARM s3c2410内部的存储器保护系统MPU来保护睡眠任务的存储空间不受当前运行任务的非法访问,有效增强了嵌入式系统软件的可靠性.并利用LDRA Testbed测试套件对项目中的代码进行了静态分析、复杂度分析、图形化分析,得出了各项测试结果,准确地评估了所设计… …   相似文献
8604.
由于必然模态词□的引入,谓词模态逻辑的公式在一个可能世界中的真假值可能依赖于其可达的可能世界.在谓词模态逻辑中存在个体跨可能世界相等问题.针对这一问题,Lewis提出了对应物理论,并且在对应物理论中用对应物关系来表示个体跨可能世界相等.但是,当一个对象具有一个以上的对应物时,谓词模态逻辑中的跨可能世界相等关系无法与对应物关系建立一一对应.通过限制谓词模态逻辑中全称量词∀的范围,给出了一种公式分层的谓词模态逻辑.它是谓词模态逻辑的一个子逻辑,并且其语言与谓词模态逻辑的语言是相同的.但其公式是分层定义的,使得∀可以出现在□的范围内,并且□不能出现在∀的范围内.由于任意形如∀xφx)的表达式都不是该逻辑的公式,以量词开头的公式在一个可能世界w中的真假值只依赖于w,该逻辑避免了个体跨可能世界相等问题.给出了该逻辑的语言、语法和语义,并证明了该逻辑是可靠的和完备的.… …   相似文献
8605.
下载全文  总被引:4,自引:1,他引:4
提出了一个对不确定信息进行表示、推理和学习的统一框架.通过引入4-值认知结构刻画不确定性,提供了更强的度量能力和更高的推理效率,同时支持相关不确定信息的有效获取,从而更加接近实际应用的需要.  相似文献
刘洁  陈小平  蔡庆生  范焱 《软件学报》2002,13(4):649-651
8606.
针对目前很多三维表情合成算法计算量大、方法比较复杂、真实感不强的特点,结合人脸分布特征,提出了一种基于Delaunay三角剖分的三维表情合成新算法。该方法通过对人脸特征点集的快速三角剖分避免了病态三角网格,有效提高了合成后人脸表情的真实度,降低了算法复杂度。大量实际人脸表情合成的… …   相似文献
8607.
  总被引:1,自引:0,他引:1
提出了\"内涵亏值\"与\"紧致依赖\"的概念,证明了由\"紧致依赖\"组成的依赖基对于\"左部加属性、右部减属性\"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭… …   相似文献
马垣  张学东  迟呈英 《软件学报》2011,22(5):962-971
8608.
  
随着在线社会网络规模的不断扩大,在线社会网络中的用户信息过载问题成为业界关注的焦点。社会网络中实体的复杂性和社交网络结构的复杂性给社交网站中的个性化推荐带来新的研究问题和挑战。提出一种基于博弈的预测模型,利用非合作博弈进行链接预测,设计了一个通过链接预测来实现个性化推荐的算法。最… …   相似文献
杨阿祧  汤庸  王江斌  李建国 《计算机科学》2015,42(9):191-194, 219
8609.
下载全文  总被引:3,自引:0,他引:3
在自然语言理解中,时间一个重要的语境因素,本文提出一种独立于句子表层形式的多层次时间语义结构,浅层语义结构是时间描述的最化语义表示,深层语义结构描述事件的动态属性和存在特征,该时间语义模型表示时刻和时段,将时间基点明确区分为物理时间基点和说话者时间基点,并提供通用的时间语义计算方… …   相似文献
郭宏蕾  姚天顺 《软件学报》1997,8(6):432-440
8610.
下载全文  总被引:2,自引:0,他引:2
在分析车间生产调度特点的基础上,提出了基于多智能体的动态车间生产调度模型。把车间生产调度系统分为调度代理、任务代理和资源代理等。代理之间采用了基于改进的合同网的关系网模型,为解决车间加工动态调度问题提供了一种新的方法。  相似文献
8611.
下载全文  总被引:1,自引:0,他引:1
强大的异常处理是Java的一大优势.可检查异常是程序设计中流程所能控制的部分,也是程序设计中异常处理的核心.有效的使用可检查异常能加强程序的健壮性.本文对于可检查异常的处理提出一些使用策略.  相似文献
8612.
  
针对移动对等网络中终端稳定性差、动态性高的特点,提出了一种基于动态角色属性的MP2P信任模型。该信任模型引入了交易稳定因子和时间经验值,根据不同时刻的节点时间经验值以及贡献值,动态地赋予网络节点不同的角色,并根据角色的重要性决定计算信任值时的权重和资源下载量。仿真证实,该模型能抑… …   相似文献
8613.
基于Web的虚拟实验室是远程教育中重要的教学资源。针对计算机组成原理实验教学的实际情况。在对虚拟实验室功能架构分析的基础上,从面向对象的角度出发研究了基于Web的计算机组成原理虚拟实验室的设计和实现过程。  相似文献
8614.
下载全文  总被引:1,自引:1,他引:1
为了对软件开发的质量进行有效的识别和评价,可以通过对软件开发中质量特性的分析和归纳,建立模糊层次综合特性评价模型,运用层次分析法确立软件质量的各因素的权重,得到评价矩阵并对其做模糊化处理,然后通过运算得到综合评价结果。本文对有些情况下单层模糊综合评判得不出评判结果最大隶属度的问题… …   相似文献
8615.
下载全文  总被引:2,自引:2,他引:2
在结合无线传感器网络的情况下,利用蚁群算法对无线传感器网络路由在MATLAB中进行了仿真,并对基本的蚁群算法作了改进,取得了较好的结果。  相似文献
8616.
  
由于时序逻辑的特性所在,经典逻辑的某些规则不能直接用于时序自然推理,虽然N系统给出了一个解决办法——把所有规则或推理分为两类:垂直型和水平型,但这种二维模式又为推理带来了某些困难。本文提出了NL松弛时序逻辑自然推理系统,它为以上两类推理提供了统一视角,我们可以证明:NL与N等价;有N的证明则必有长度不超过它的NL证明。… …   相似文献
何锫  唐稚松 《软件学报》1993,4(4):51-55
8617.
下载全文  总被引:1,自引:0,他引:1
针对分布式业务的动态性和可扩展性需求,设计并实现了业务运行平台BEPSON(Business Execution Platform Based On Service Overlay Network)。该平台基于服务覆盖网络,采用分层架构,提出并实现了具有QoS保证的动态服务发现算… …   相似文献
8618.
BD-GKS3D是按图形国际标准GKS-3D(ISO 8805)开发的三维图形支持软件。本文讨论了该软件的设计原则:符合国际标准及尽可能高效率。还讨论了实现的策略,包括二维GKS与三维兼容问题,裁剪与变换,实现环境,图段的数据结构及三维输入等内容。最后对开发BD-GKS3D的工作… …   相似文献
8619.
主要针对计算机经济信息系统由构件和连接件形成的可靠性模型及其应用进行了研究。根据现代贝叶斯网络方法具有推理精确、直观易理解和较强可操作性的特点,经过对经济信息系统的实例分析可以得到系统可靠性计算概率值与系统诊断的分析结果。说明该模型可方便地用于经济信息系统的可靠性计算和系统可靠性… …   相似文献
钱争鸣  管睿 《计算机应用研究》2012,29(12):4651-4653
8620.
网络漏洞检测系统是一种用于自动检测目标主机或计算机系统安全漏洞的系统,它通过模拟黑客攻击,主动对网络系统安全性能进行检查测试,提高网络系统防御能力。设计并实现了一种新型的网络安全漏洞检测系统,介绍了整体系统结构的设计、各个功能模块的设计以及各组成部分的设计和实现,最后强调了这一系… …   相似文献
[首页] « 上一页 [426] [427] [428] [429] [430] 431 [432] [433] [434] [435] [436] 下一页 » 末  页»