oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2020 ( 61 )

2019 ( 371 )

2018 ( 3097 )

2017 ( 3227 )

Custom range...

Search Results: 1 - 10 of 139562 matches for " 张文辉? "
All listed articles are free for downloading (OA Articles)
Page 1 /139562
Display every page Item
分光计测三棱镜折射率的探讨
张文
福州大学学报(自然科学版) , 2007,
Abstract: 介绍了如何用分光计精确确定三棱镜顶角和最小偏向角,以及测量方法.结合分光计测三棱镜折射率的例子,进行了具体分析,给出了其测量不确定度的最终评定.
论集体主义价值观下的人本管理
张文
科技进步与对策 , 2005,
Abstract: 西方人本管理思想是在西方个人主义价值观的基础上建立和发展起来的。我国是以传统的集体主义价值观为主导的国家,要学习和借鉴西方人本管理思想,就需要加强中西方文化的融合和创新,创造性地寻求一条适合我国国情和文化价值观念的人本管理之路。价值观集体主义个人主义人本管理
关于科学问题过程性特征的哲学思考
张文
科技进步与对策 , 2005,
Abstract: 科学问题的提出和自身解决是一个过程,同时也是科学研究的一个发展阶段和重要组成部分。基于对科学问题过程性特征的分析,指出科学的发展历史是一个“问题―问题”循序渐进的过程,随着时代的进步,科学问题也呈现出由低级到高级、由简单到复杂、由肤浅到深入的]化过程。最后,阐述了科学问题在嬗变过程中所表现出的3种形式。科学问题过程性哲学思考
xyz/se程序的验证
张文
软件学报 , 1995,
Abstract: xyz/e的好处之一在于高级和低级的说明能够在同一框架下表示,因而使得软件的说明和实现变得容易一些.在这同时,开发验证工具以验证不同层次的说明是否满足所期望的关系是很重要的.谢洪亮等同志曾研究过xyz/se程序的验证规则.本篇文章增加了有关使用数组、过程说明和过程调用的规则.同时着重说明xyz/se程序验证的自动化方面的问题,且实现了一些化简验证条件的规则.
直觉线性μ-演算中的合成推理
KAZMISyedAsadRaza?,张文
软件学报 , 2009,
Abstract: 讨论了以基于前缀封闭集合的heyting代数的直觉解释的线性μ-演算(iμtl)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于iμtl的“假设-保证”规则.该规则比往常应用线性时序逻辑(ltl)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持.
基于alos影像的黄土丘陵区典型流域景观空间格局
买凯乐,张文
应用生态学报 , 2011,
Abstract: 基于alos卫星的中、高分辨率遥感影像,解译出与燕沟流域(燕沟流域是黄土丘陵沟壑区的典型小流域)生态恢复、农业生产、生活密切相关的7种景观类型,利用景观多样性和景观异质性两类指数分析了2007年燕沟流域景观格局和景观功能,并结合数字高程模型(dem)数据,对燕沟流域整体和局部的土地景观格局合理性进行评价.结果表明:燕沟流域的主导景观类型为灌丛和林地,且主要分布在大于25°的坡面上;研究区景观斑块分维数为1.09,景观空间格局稳定;生态防护、生产经济和生活服务型景观的面积比例约为23∶9∶1;燕沟流域的相对合理度为0.76,景观整体布局较合理,但半阴坡、海拔900m以下区域的土地利用合理度较低,其合理度分别为0.74和0.02.
受训员工离职现象的原因分析及对策研究
张文,胡蓓
科技进步与对策 , 2002,
Abstract: 针对企业中普遍存在的受训员工离职现象,系统地分析了受训员工流失的企业内因,力争在员工发展和企业发展之间建立一种良性互动的培训机制,以达到“双赢”的目的。受训员工离职现象原因分析对策企业人力资源管理
黄土丘陵沟壑区遥感影像信息面向对象分类方法提取
买凯乐,张文
农业机械学报 , 2011,
Abstract: 探索了基于面向对象分类方法提取黄土丘陵沟壑区高分辨率遥感影像土地信息的途径。以燕沟典型小流域为例,基于ALOS的多光谱、全色立体影像并辅以数字高程模型DEM和NDVI数据,进行面向对象的多尺度分割,利用阈值逐次提取与该区生态系统恢复、农业生产和生活实际密切相关的灌丛、林地、草地、耕地、果园、居住地和水体共7种土地利用类型,得到的分类精度为77.73%。
模型检测:理论、方法与应用
林惠民,张文
电子学报 , 2002,
Abstract: 随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(modelchecking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测算法及其时空效率(特别是空间效率)的改进以及支撑工具的研制.这几个方面之间有着密切的内在联系.不同模态/时序逻辑的模型检测算法的复杂性不一样,优化算法往往是针对某些特定类型的逻辑公式.本文将就这几个方面分别加以阐述,最后介绍该领域的新进展.
从基于迁移的扩展büchi自动机到büchi自动机
易锦?,张文
软件学报 , 2006,
Abstract: 目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用büchi自动机来表示,将需要验证的性质用ltl(lineartemporallogic)公式来表达;然后将ltl公式取反后转化为büchi自动机,并检查这两个自动机接受语言之间的包含关系.有一类ltl公式转化为büchi自动机的算法是:在计算过程中,首先得到一个标注在迁移上的扩展büchi自动机(transition-basedgeneralizedbüchiautomaton,简称tgba),然后把这种扩展büchi自动机转换成非扩展的büchi自动机.针对这类转换算法,根据büchi自动机接受语言的特点,重新定义了基于迁移的扩展büchi自动机的求交运算,减少了需要复制的状态个数,使转换后的自动机具有较少的状态.测试的结果表明:对随机产生的公式,新算法相对于以往的算法有明显的优势.
Page 1 /139562
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.