首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   25篇
  免费   4篇
  国内免费   2篇
机械仪表   3篇
建筑科学   1篇
轻工业   2篇
无线电   3篇
一般工业技术   3篇
自动化技术   19篇
  2022年   1篇
  2021年   2篇
  2020年   2篇
  2019年   2篇
  2017年   1篇
  2014年   3篇
  2013年   3篇
  2012年   3篇
  2010年   3篇
  2009年   1篇
  2008年   1篇
  2007年   2篇
  2005年   5篇
  2002年   1篇
  1995年   1篇
排序方式: 共有31条查询结果,搜索用时 15 毫秒
1.
周建涛  史美林  叶新铭 《电子学报》2005,33(6):1060-1065
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持.  相似文献   
2.
柔性工作流技术研究的现状与趋势   总被引:25,自引:2,他引:23  
工作流变更和异常是柔性研究的重要内容,界定了这两个概念,并从不同的角度,分别对系统的灵活性、动态性和自适应性等进行了研究.从理论和实现两个层次上深入探讨了柔性工作流的解决策略和方法,介绍了支持柔性的系统体系结构和元模型,并对一些具体的实现机制进行了讨论和比较,介绍了一些成熟的工作流系统,分析了系统中相关的柔性实现;最后,说明了理论研究和系统实践的未来趋势和发展方向.  相似文献   
3.
吴昊  周建涛  祁瑞东 《计算机与数字工程》2021,49(12):2444-2449,2461
聚类是一种无监督分类,常用于机器视觉、图像处理等领域.针对密度峰值聚类算法初始聚类中心需要人工手动选择问题,提出一种自动选择聚类中心算法,通过使用最小二乘法结合决策图进行簇中心选择,并提出改进选点策略进一步减少算法所需时间开销.实验中使用Matlab实现算法,并使用6种UCI常用数据集测试,实验结果表明它的性能优于现有的方法,在无需人为干预的情况下获得较好的聚类效果,对数据集内部规律和噪声点都有较好的识别能力.  相似文献   
4.
越来越多的行业开始利用云以降低成本提高生产力,支撑多样化的服务对数据中心的网络性能提出了更高的要求,如何高负载下优先保证各项服务的质量变得至关重要,云服务提供商同时也关注如何提高数据中心的网络资源利用率并降低能耗。结合上述问题,提出一种基于服务满足度对非服务网络流进行调度的方法。引入服务满足度这一概念,评估网络状态能否满足服务需要,然后依据网络流所支撑的不同服务将其分类,网络负载激增时基于服务满足度调整非用户服务依赖的网络流,降低网络负载缓解拥塞。仿真结果表明,主动避让方法在网络高负载时能优先保证服务的质量,同时提高网络性能。  相似文献   
5.
统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。  相似文献   
6.
构建典型引领、集成创新、产业集聚现代农业园区产业基础理论,统计分析江苏省首批现代农业园区产业基本情况,发现在 产业特色、科技支撑、产业模式等方面存在制约农业园区产业发展的瓶颈性问题,提出现代农业园区要设施化、机械化、科技化、产 业化、规模化、组织化、生态化和农民职业化促进产业升级,组建稳定的包含研发、生产、加工和服务等各环节完整的农业产业链推 动园区稳健发展,优化优质粮油、设施农业、特色农业、畜禽养殖和休旅农业五大产业布局打造区域特色,集成生物、信息、设施、安 全与标准和循环低碳等现代科技支撑园区产业科学发展。  相似文献   
7.
使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧道的过程消耗来降低IPSec与移动IP通信切换的复杂度.使用Petri网对该模型建模,利用Petri网分析器验证了模型的可行性,同时分析了移动节点在进行链路切换时易于遭受的两种攻击:拒绝服务攻击和重放攻击,并分别对攻击过程建模,验证了移动IPSec的快速切换模型对这两种攻击的防御能力.  相似文献   
8.
基于DSP的激光标记数字控制系统设计   总被引:1,自引:1,他引:0       下载免费PDF全文
赵元黎  周建涛  项寅 《激光技术》2012,36(6):724-726
为了设计激光标记数字振镜控制系统,采用数字信号处理器芯片作为数字控制板的主处理器,使用具有高传输速率和支持热插拔的通用串行总线进行上位机与数字控制板的通信;标记图形的数据处理算法由具有高速运算能力的数字信号处理器完成,复杂可编程逻辑器件芯片完成控制信号的时序控制和输出,使用传送差分信号的RS-485总线进行控制系统与数字振镜和激光器的通信,根据理论分析和参量模拟,得到了对数字振镜的转动角度和激光器功率的高精度控制。结果表明,该系统可以实现实时、高速、高精度的激光标记。  相似文献   
9.
电能表型式评价和全性能检测是电能表生产和销售之前需要经过的重要程序。0. 02级安装式标准电能表的全性能检测过程中,遇到了检定装置无隔离PT导致的试验时间增加、无足够的高精度装置、小电流误差超差,以及计量机构的资源分配等问题。此次全性能检测,既是一次日常工作完成的过程,也是一次不断解决问题、积累经验的过程。  相似文献   
10.
用MSC Nastran对乘用车车门刚度提升方案进行研究,得到提升车门各方向刚度具体方案的实施效果.结果表明该实施方案可以有效提升车门刚度.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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