全文获取类型
收费全文 | 209篇 |
免费 | 10篇 |
国内免费 | 26篇 |
专业分类
综合类 | 24篇 |
化学工业 | 2篇 |
机械仪表 | 4篇 |
建筑科学 | 2篇 |
矿业工程 | 1篇 |
轻工业 | 163篇 |
石油天然气 | 1篇 |
无线电 | 2篇 |
冶金工业 | 2篇 |
自动化技术 | 44篇 |
出版年
2024年 | 4篇 |
2023年 | 7篇 |
2022年 | 7篇 |
2021年 | 13篇 |
2020年 | 19篇 |
2019年 | 17篇 |
2018年 | 22篇 |
2017年 | 16篇 |
2016年 | 7篇 |
2015年 | 5篇 |
2014年 | 11篇 |
2013年 | 15篇 |
2012年 | 9篇 |
2011年 | 11篇 |
2010年 | 8篇 |
2009年 | 14篇 |
2008年 | 11篇 |
2007年 | 9篇 |
2006年 | 7篇 |
2005年 | 1篇 |
2004年 | 1篇 |
2003年 | 9篇 |
2002年 | 9篇 |
2001年 | 1篇 |
1998年 | 2篇 |
1995年 | 1篇 |
1991年 | 2篇 |
1990年 | 4篇 |
1989年 | 3篇 |
排序方式: 共有245条查询结果,搜索用时 15 毫秒
1.
2.
BPEL 流程建模中的交叠模式分析与转换 总被引:1,自引:0,他引:1
由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法. 相似文献
3.
研究无花果蛋白酶酶解牡蛎肉的工艺优化及其抗氧化活性,以氨基酸态氮含量和DPPH·清除率为指标进行单因素和正交实验,研究酶解时间、酶解温度、酶量、p H对氨基酸态氮含量和抗氧化活性的影响。正交实验确定牡蛎酶解的最佳工艺条件为:酶量5.5%,酶解温度50℃,p H6.0,酶解时间3.5 h。此工艺条件下,牡蛎酶解液氨基酸态氮的含量为0.181 g/100 m L,DPPH·清除率达71.80%,还原力为0.813,·OH清除率为16.19%,牡蛎酶解液具有较强的抗氧化活性。 相似文献
4.
5.
以‘石硖’龙眼为试材,采用RT-PCR结合RACE技术成功克隆一个龙眼漆酶基因全长c DNA序列,命名为Dl Lac,NCBI登录号为KY051551。Dl Lac基因序列全长1898 bp,编码576个氨基酸,NCBI比对结果显示其与荔枝漆酶氨基酸序列同源性最高,高达94%;进化树结果显示龙眼漆酶氨基酸序列与荔枝漆酶氨基酸序列具有高度同源性。氨基酸保守序列结果表明龙眼漆酶氨基酸序列含有漆酶的3个典型保守结构域,分别为:Cu-oxidase-3、Cu-oxidase和Cu-oxidase-2。结合龙眼果实在常温、低温贮藏条件下,果皮褐变与Dl Lac的表达关系,推测Dl Lac的上调表达可能对龙眼果皮褐变起促进作用。 相似文献
6.
7.
面向对象的时序逻辑语言 总被引:2,自引:0,他引:2
针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性。 相似文献
8.
随着电子商务的不断普及和深化,电子商务在我国工业、农业、商贸流通、交通运输、金融、旅游和城乡消费等各个领域的应用不断得到拓展,应用水平不断提高,正在形成与实体经济深入融合的发展态势。电子商务不仅是降低成本、提高效率、拓展市场和创新经营模式的有效手段,而且是满足和提升消费需求、提高产业和资源的组织化程度、转变经济发展方式的重要途径,对于优化产业结构、支撑战略性新兴产业发展和形成新的经济增长点也具有重要作用。 相似文献
9.
化工设备的管理一直是化工企业生产所关注的重点,将二维码技术应用到化工设备的管理中,可以有效的解决实际生产中设备管理的诸多问题。结合化工设备日常管理制度,对系统的实现方案进行了详细的说明,并最终实现了化工设备管理系统。对解决化工设备管理中的问题,起到积极的作用。 相似文献
10.
为保证硬件设计的正确性,提出了对硬件设计组合验证的新方法.该方法在命题投影时序逻辑的统一框架下,实现对硬件系统行为的建模,对所期望性质的形式化描述,并利用命题投影时序逻辑合理且完备的公理系统对系统性质进行验证,从而证明硬件系统满足期望的性质,保证设计的正确性.进位保留加法器的验证实例说明了该方法的可行性. 相似文献