全文获取类型
收费全文 | 41篇 |
免费 | 6篇 |
国内免费 | 2篇 |
专业分类
综合类 | 3篇 |
化学工业 | 2篇 |
机械仪表 | 1篇 |
矿业工程 | 1篇 |
能源动力 | 2篇 |
轻工业 | 17篇 |
石油天然气 | 1篇 |
无线电 | 6篇 |
一般工业技术 | 1篇 |
冶金工业 | 1篇 |
自动化技术 | 14篇 |
出版年
2023年 | 1篇 |
2021年 | 2篇 |
2019年 | 6篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 1篇 |
2015年 | 2篇 |
2014年 | 2篇 |
2013年 | 1篇 |
2012年 | 5篇 |
2011年 | 2篇 |
2010年 | 4篇 |
2009年 | 2篇 |
2008年 | 2篇 |
2007年 | 2篇 |
2006年 | 5篇 |
2005年 | 6篇 |
2003年 | 1篇 |
2001年 | 1篇 |
1999年 | 1篇 |
1997年 | 1篇 |
排序方式: 共有49条查询结果,搜索用时 46 毫秒
1.
传统的ERP软件是基于C/S结构的,难以扩展,可重用性差。本文通过MVC设计模式,给出银鸽造纸企业ERP软件的一种设计解决方案,该方案能够简化软件开发过程,提高软件的性能和可维护性,避免了开发者和设计者的重复投资,对其它ERP软件的开发设计具有借鉴作用。 相似文献
2.
针对扩展命题区间时序逻辑由于缺少验证算法因而不能用于模型检测问题,提出该逻辑的可满足性判定算法.首先,正则形子算法把带星算子或不带星算子的扩展命题区间时序逻辑公式翻译为其正则形公式;然后,正则图子算法根据正则形公式构造公式的正则图模型;最后,判定子算法在正则图上判定公式的可满足性.如果在正则图上直接加上接受条件,即可得... 相似文献
3.
非结构化P2P网络主要采用基于Flooding机制的消息传播方式,这种方式带来大量的冗余消息。研究表明,冗余消息的产生主要是由洪泛的最后几跳产生。针对这种现象,给出了消息的一步传播算法,通过对响应时间、节点命中率和冗余消息的产生这三个关键指标的分析,发现一步传播算法有效地抑制了冗余消息的产生,改进了非结构化P2P网络的性能。 相似文献
4.
动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状态自动机为单个执行体建模;其次,使用有穷状态自动机的并行组合为执行体组合建模;再次,修改状态迁移规则,得到可描述攻防行为的拟态防御自动机模型;最后,根据该自动机模型的状态条件,分析动态异构冗余结构上拟态攻防行为的安全性.此外,也可使用交替自动机为拟态攻防建模,并把安全性自动分析规约为交替自动机模型检测问题. 相似文献
5.
7.
1公司概况 法尔胜集团公司(原江苏钢绳集团公司),前身是江阴钢绳厂,系国有大(一)型企业,国家火炬计划重点高新技术企业,国家520家重点企业之一,全国金属制品行业中唯一的国家一级企业,公司以上市公司——江苏法尔胜股份有限公司为控股核心,拥有全资、控股和参股企业40多家,2004年完成销售收入53.8亿元、营业收入65.8亿元,实现利润总额3.33亿元、利税5.5亿元,出口创汇1.05亿美元。 相似文献
8.
9.
国内弹簧钢丝需求现状及发展趋势简析 总被引:2,自引:2,他引:0
介绍国内弹簧钢丝种类、供求状况、存在的问题及其原因。就弹簧钢丝的发展趋势提出自己的观点:技术含量高的重要用途油淬火回火钢丝和不锈钢弹簧钢丝是弹簧钢丝研究和发展的方向 相似文献
10.
基于时间自动机不同模型的验证被工业界广泛应用,本文形式描述了两种这样的模型,给出了从事件时钟自动机到双向时间自动机的构造方法,证明了二者识别语言之间的包含关系。 相似文献