全文获取类型
收费全文 | 207篇 |
免费 | 11篇 |
国内免费 | 26篇 |
专业分类
综合类 | 24篇 |
化学工业 | 2篇 |
机械仪表 | 4篇 |
建筑科学 | 2篇 |
矿业工程 | 1篇 |
轻工业 | 162篇 |
石油天然气 | 1篇 |
无线电 | 2篇 |
冶金工业 | 2篇 |
自动化技术 | 44篇 |
出版年
2024年 | 4篇 |
2023年 | 7篇 |
2022年 | 7篇 |
2021年 | 12篇 |
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篇 |
排序方式: 共有244条查询结果,搜索用时 15 毫秒
1.
2.
3.
Hai-Bin Zhang 《计算机科学技术学报》2009,24(3):534-543
This paper investigates symbolic algorithmic analysis of rectangular hybrid systems.To deal with the symbolic reachability problem,a restricted constraint system called hybrid zone is formalized for the representation and manipulation of rectangular automata state-spaces.Hybrid zones are proved to be closed over symbolic reachability operations of rectangular hybrid systems.They are also applied to model-checking procedures for verifying some important classes of timed computation tree logic formulas.To ... 相似文献
4.
BPEL 流程建模中的交叠模式分析与转换 总被引:1,自引:0,他引:1
由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法. 相似文献
5.
在分析无线多媒体环境监测系统所需功能的基础上,设计了无线多媒体环境监测系统,并通过专门的控制命令传输通道,实现了对传统无线传感器网络与无线多媒体传感器网络的协调控制.根据监测系统需求,给出了无线多媒体环境监测系统的总体结构,以及汇聚节点软件和PC机端软件实现系统协调控制的方法. 相似文献
6.
研究无花果蛋白酶酶解牡蛎肉的工艺优化及其抗氧化活性,以氨基酸态氮含量和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%,牡蛎酶解液具有较强的抗氧化活性。 相似文献
7.
8.
以‘石硖’龙眼为试材,采用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的上调表达可能对龙眼果皮褐变起促进作用。 相似文献
9.
为了确保分析与设计阶段分布式软件系统中模块之间交互行为的正确性,提出了一种分布式软件系统模块交互的抽象方法,分别通过系统状态机图和对象状态机图对各模块状态变迁进行建模,使用UML2.0序列图对模块之间交互行为进行描述.采用基于命题投影时序逻辑的模型检测技术,将对象状态机图转换为Promela模型,系统交互性质转换为命题投影时序逻辑公式,通过模型检测器验证交互模型是否满足于系统的性质,若不满足于该性质,则能够获得反例执行的路径.给出了一个分布式软件系统测试框架,在验证后的序列图模型基础上,使用基于模型的测试用例自动生成方法得到测试用例集合,该集合能够实现对交互行为的有效测试.实例结果表明,该方法可以提高分布式软件系统中模块交互行为的有效性和可靠性. 相似文献
10.