全文获取类型
收费全文 | 51篇 |
免费 | 3篇 |
国内免费 | 1篇 |
专业分类
综合类 | 4篇 |
化学工业 | 4篇 |
金属工艺 | 1篇 |
机械仪表 | 4篇 |
建筑科学 | 5篇 |
矿业工程 | 1篇 |
轻工业 | 9篇 |
水利工程 | 1篇 |
石油天然气 | 1篇 |
无线电 | 6篇 |
一般工业技术 | 7篇 |
冶金工业 | 1篇 |
自动化技术 | 11篇 |
出版年
2023年 | 6篇 |
2022年 | 2篇 |
2021年 | 2篇 |
2020年 | 3篇 |
2019年 | 2篇 |
2018年 | 4篇 |
2016年 | 3篇 |
2015年 | 3篇 |
2014年 | 3篇 |
2012年 | 3篇 |
2011年 | 2篇 |
2010年 | 2篇 |
2009年 | 4篇 |
2008年 | 3篇 |
2007年 | 2篇 |
2005年 | 1篇 |
2001年 | 3篇 |
2000年 | 3篇 |
1999年 | 3篇 |
1986年 | 1篇 |
排序方式: 共有55条查询结果,搜索用时 15 毫秒
1.
行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型. 相似文献
2.
通过对近三年37起历史街区火灾进行归纳、统计,利用火灾调查理论知识与事故树相结合,统计分析历史街区火灾中的致灾原因,并利用最小割集和最小径集,根据基本事件发生概率,计算出顶上事件的发生概率.最后,对事故树进行重要度分析,确定基本事件的重要顺序,并针对历史街区火灾致灾因素提出控制对策,降低顶上事件发生的概率. 相似文献
3.
共青农场有限公司深入实施"1213"工程体系和"181"战略,抓住"农场企业化"改革做好粮食文章,多措并举,多点发力,以市场为导向,以效益为目标,转变思维,盘活资产,认真落实"双控一服务"战略,积极培育粮贸、生资公司市场经营主体,在生产端、销售端"两端发力",不仅在农业生产前端严格把控,降低农资投入成本,而且在粮食销售... 相似文献
4.
山楂果胶作为一种纯天然的食品添加剂,在食品生产和加工中起着重要作用。本实验采用热风干燥和冷冻干燥两种不同的干燥方法以及研磨、剪切、气流3 种不同的粉碎方法来处理山楂,得到6 种山楂粉,进而对山楂粉热特性进行分析,并以山楂粉为原料进行山楂果胶的提取,同时通过半乳糖醛酸质量分数、总糖质量分数、酯化度测定和傅里叶变换红外光谱、X射线衍射、流变学分析对不同方法制备的山楂果胶理化特性进行比较。结果表明:不同处理条件的山楂粉热特性并未表现出明显差异,冷冻干燥组果胶得率和半乳糖醛酸质量分数均高于热风干燥组。同种干燥方法不同粉碎方法对山楂果胶的理化性质影响总体差异不显著(P>0.05),同种粉碎方法不同干燥方法处理下,冷冻干燥组的各项理化性质显著优于热风干燥组(P<0.05)。本实验可为实际生产山楂果胶产品提供理论参考。 相似文献
5.
崔楠 《中国眼镜科技杂志》2011,(8):70-71
眼镜行业竞争日益激烈,面对同样的产品,众多的店家,顾客选择的范围极大。如何留住进店顾客,门店如何培养忠实的顾客,专业服务尤为重要,因为眼镜零售不单单只是销售产品,更多的是需要验配师的专业检查,销售人员合理的引导,为顾客提供最舒适和合适的产品。笔者有一个典型的案例与大家分享。背景:这家眼镜店位于南京城边新开商场中,平时每天进店人数有限,购买隐形眼镜的顾客平均每天有3~6人,在人流量不大的前提下,如何既让顾客能满意而归,又提高客 相似文献
6.
崔楠 《中国眼镜科技杂志》2012,(10):112-112
眼镜行业一直被称为“半医半商”的行业,“医”是因为需要给顾客做专业的眼科检查和诊断,而“检查”和“诊断”不但需要专业的眼视光知识,还有医生一样的权威性. 相似文献
7.
为了实现机床运行状态的数据采集和分析,设计了基于CompactRIO的机床状态检测与分析平台。数据采集模块将NI9516温度采集板卡和LabVIEW程序相结合解决了传统数控机床数据采集系统无法实时地采集数控机床温度信息的缺陷。运用LabVIEW编写的数据分析模块首先从采集到的信号中提取若干数据,其次运用格拉布斯准则剔除数据中的粗大误差,最后通过牛顿插值法拟合出相应的曲线,以反映温度的变化趋势。温度数据采集系统涵盖了硬件平台的搭建以及软件程序的编写,优化了人机界面,可以实时监测到机床工作区域运行状态的变化。 相似文献
8.
装配车间(Assembly job shop)问题是一类具有工序次序约束、装配次序约束以及资源能力约束等多种约束的组合优化问题。而且制造型企业机械加工车间的设备往往存在日可用时间的约束,工件随加工顺序的不同,其实际的设备占有时间可能发生变化,增加了制定生产调度计划的难度。以提高模具装配车间的生产效益为目标,提出了在装配车间中考虑设备日可用时间约束的优先调度规则,并通过仿真实验验证所提出调度规则对各评价指标具有较优的结果。 相似文献
9.
随着我国煤炭主产区西移,西部薄基岩、特厚煤层等复杂地质采矿条件导致工作面端头围岩变形严重、巷道超前支承压力增大、资源回收率低等一系列问题,西部资源开采端头围岩变形机理研究已成为行业的重大需求之一。基于不连沟煤田地质条件,建立相似模拟试验模型,结合摄影量测方法,对西部特殊地质条件下端头围岩变形和区段煤柱稳定性进行深入研究,分析端头放煤距离对端头围岩和区段煤柱变形破坏及应力分布特征的影响规律。研究表明:当端头有3架以上宽度顶煤未放出时,基本顶形成悬顶结构,其中顶煤剩7架、5架、3架未放时,基本顶回转角度分别为9°,22°和12°;端头顶煤全部放出时,基本顶破碎,端头上方顶板结构向采空区发生逆向回转,较大程度改善区段煤柱的应力状态;3架宽度顶煤不放出时,端头围岩应力较大,端部顶煤全放出时,端头围岩应力较小。相关研究成果在F6203综放工作面成功实施,效果显著。 相似文献
10.
超高层钢结构施工测量监理技术 总被引:1,自引:0,他引:1
以上海环球金融中心工程为实例,从控制工程质量的角度,介绍了超高层钢结构施工中的工程测量监理技术. 相似文献