首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   0篇
  国内免费   1篇
建筑科学   1篇
一般工业技术   2篇
冶金工业   2篇
自动化技术   2篇
  2021年   1篇
  2019年   1篇
  2017年   1篇
  2014年   1篇
  1994年   1篇
  1993年   1篇
  1992年   1篇
排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
Eiter等人为语义网提出的回答集程序和描述逻辑相结合的描述逻辑程序,获得了本体上的非单调表达和推理能力。王以松等人证明了描述逻辑程序的完备化和环公式可以精确刻画描述逻辑程序的回答集。在此基础上,进一步证明了若完备化公式的模型不是回答集则一定存在终止环公式反例,它们是多项式时间可计算的。设计并实现了借助SAT求解器MiniSAT以及描述逻辑推理机RacerPro计算描述逻辑强回答集的原型DLP_SAT。实验结果表明,该原型能有效地计算一些熟知的描述逻辑程序的强回答集。  相似文献   
2.
3.
杨卓群 《时代建筑》1992,24(3):45-47
一、体育建筑与个性美人们常称体育建筑是表现型的公共建筑。一个体育建筑群体的艺术形象,甚至可能成为该城市的一个标志,给人们留下深刻难忘的印象。体育建筑的个性美,常给人以很深刻的感染力,当我们徜徉在千姿百态风格各异的体育建筑画廊前,往往身不由己地被这些艺术形象所吸引,莫不为之神思飞扬。古希腊奥林匹亚宙斯神庙,古老雄浑的竞技场,虽然班驳陆离,已成遗址废墟,我们似乎依然可以听到来自公元前一世纪奴隶搏斗的呐喊声;近代罗马弗拉明诺体育场,是誉满天下的“大理石体育场”,其看台的奇特,是一块块大理石铺砌而成,洁白晶莹,宛如水晶宫,堪称一绝,多少人在此流连忘返,赞叹不已;有着蒙  相似文献   
4.
本文以JJG 133-2016《汽车油罐车容量检定规程》为依据,简述了三次均匀B样条插值算法对容积表的计算过程;并结合示例数据,利用Excel等软件对其进行油罐容积表计算.同时,对同一组数据采用2005版规程的线性内插法计算数据、绘制曲线、并对图形进行局部比较.最后,对容量比较法提出采用等容加注的方式替代等高加注更具操作性.本文的内容对该项检校工作具有一定的参考意义.  相似文献   
5.
矩形明渠作为流场分布简单、易于控制水量等特点的水流输送设施,国内外对其流量测量已有深入的研究和标准。在此基础上,本文参考"流速-面积法"完成了矩形明渠超声流量计积分方法检验软件。首先,介绍了该软件的设计理论及积分方法;随后,阐述软件的主要功能模块,并对插值进行交叉验证;最后,通过现场采集矩形明渠断面点流速后,利用该软件对读取数据分别采用"点流速-反距离加权插值积分方法"、"(EN) ISO-超声(声)波法"及"横向线流速-深度加权法"对计算流量进行比较,并分析其横向流速代表性的分布情况,为矩形明渠超声波流量计现场安装提供了计算依据和适宜的"深度-权重"配置方案。  相似文献   
6.
7.
杨卓群  金芝 《软件学报》2017,28(7):1676-1697
自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化,分析需求满足程度的变化,以及推理得到自适应决策的能力.这种在线决策的行为在满足功能需求的同时,还需要保证系统满足特定的非功能需求,如可靠性和性能等.本文提出了一种基于验证的自适应系统优化决策方法,以保证非功能需求的满足.该方法在识别可调节目标以建模自适应机制的同时,将系统的目标模型映射为相应的行为模型,用标签转移系统表示;以可靠性需求为例,用标记目标模型规约任务的可靠性;然后将系统行为模型和可靠性规约整合为带可变状态的离散时间马尔可夫链,将候选自适应配置描述为不同可变状态间的组合;最终通过相关需求的在线验证,使系统找到关于某类上下文的最优决策配置.本文通过一个移动信息系统的案例展示了该方法的可行性和有效性.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号