首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   65篇
  免费   15篇
  国内免费   19篇
工业技术   99篇
  2023年   3篇
  2022年   2篇
  2021年   3篇
  2020年   7篇
  2019年   2篇
  2018年   5篇
  2017年   1篇
  2016年   1篇
  2014年   7篇
  2013年   3篇
  2012年   8篇
  2011年   2篇
  2010年   17篇
  2009年   4篇
  2008年   7篇
  2007年   10篇
  2006年   3篇
  2005年   3篇
  2004年   4篇
  2002年   2篇
  1996年   1篇
  1995年   2篇
  1994年   2篇
排序方式: 共有99条查询结果,搜索用时 31 毫秒
1.
2.
3.
混杂系统复杂度高且涉及领域广,没有通用的方法来解决分析、设计等问题。为解决一类工业控制混杂系统的建模和验证问题,对时间自动机进行了语义扩展,使其含有连续变量以及映射在其上的约束,使用扩展后的时间自动机对此类混杂系统进行建模,采用验证工具UPPAAL进行模型分析模拟,并使用简化的CTL对系统需求规范进行验证。具体实例研究表明,该方法对于分析设计一类混杂系统具有可行性和有效性。  相似文献   
4.
多目标人工蜂群算法在服务组合优化中的应用   总被引:1,自引:0,他引:1  
应用广泛的聚集函数法可将多目标问题转换为单目标问题,但函数设计困难,通用性不强,且优化结果不能直观反映各目标的优化情况。提出了一个基于Pareto占优的多目标人工蜂群算法,改进了邻域搜索策略,给出一个对比实验。实验结果表明,改进算法在个体多样性与对Pareto最优边界的趋近程度方面均有优势。  相似文献   
5.
程序的语义体现在程序对数据的处理过程中,在数据处理的过程中数据的调用序列以及值变化的序列和程序的语义是紧密相关的。为此,分别对程序中的常量和变量进行分析得到基于程序数据属性的各个子特征,由各个子特征共同构成基于程序数据属性的联合软件特征。计算每个子特征的相似度,以各个子特征相似度的平均值表征联合软件特征的相似度。理论和实验结果均表明:该特征具有较高的可信性和鲁棒性。  相似文献   
6.
刘洋  张卓  周清雷 《计算机科学》2014,41(12):164-167
医疗健康数据通常属性较多,且存在连续型、离散型并存的混合数据,这在很大程度上限制了知识发现方法对医疗健康数据的挖掘效率。以模糊粗糙集理论为基础,研究混合数据上的分类规则挖掘方法,通过引入规则获取算法的泛化阈值,来控制获取规则集的大小和复杂程度,提高粗糙集知识发现方法在医疗健康数据上的分类效率。最后通过对比实验验证了该算法在医疗决策表上挖掘规则的有效性。  相似文献   
7.
采用单辊快淬法制备Fe_(79)Zr_8Mo_1B_(12)非晶合金薄带,在升温速率为5、20℃/min时对合金进行不同温度的热处理。利用X射线衍射仪(XRD)和振动样品磁强计(VSM)研究不同热处理条件下合金的微观结构及磁性能。结果表明:Fe_(79)Zr_8Mo_1B_(12)非晶合金在两种升温速率下热处理具有完全不同的晶化过程;当升温速率为5℃/min时,初始晶化产物仅为α-Fe(B)相;当升温速率为20℃/min时,初始晶化产物为α-Mn型亚稳相和α-Fe相。晶化产物的不同导致两种速率下合金的矫顽力Hc随热处理温度的升高呈不同趋势。  相似文献   
8.
针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法.首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性.如果在正则图上直接加上接受条件,即可得...  相似文献   
9.
朱维军  张海宾  周清雷 《电子学报》2010,38(5):1039-1045
目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.  相似文献   
10.
到目前为止,交替的ω-有穷自动机的接受条件仅有6种,本文给出了6种新形式的接受条件,并研究了交替的ω-有穷自动机在这些条件下识别语言的能力.最后给出了ω-自动机在各种接受条件下识别的语言类.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号