搜索筛选:
搜索耗时2.1063秒,为你在为你在102,285,761篇论文里面共找到 14 篇相符的论文内容
发布年度:
[学位论文] 作者:时慧娴,,
来源: 年份:2013
随着人们生活水平的提高,人们对于生活品质及设施及产品的功能人性化的要求也日益增高,公共卫生间作为生活工作中必不可少的重要部分,应被人们重视,目前国内的公共卫生间设计...
[学位论文] 作者:时慧娴,,
来源:陕西师范大学 年份:2013
本文的目的在于建立模态逻辑的计量化理论,并将其基本方法用于解决模型检验的计量化问题以及简化模型检验的过程.计量逻辑学的提出旨在将基于概率、积分等工具的数值计算方法...
[学位论文] 作者:时慧娴,
来源:苏州大学 年份:2023
迄今为止,煤、石油、天然气等化石燃料一直是全球能源的主要来源。然而从环境的角度来看,由于对化石燃料的过度依赖导致大气中温室气体的大量积累,造成全球变暖、海冰融化、海平面上升、物种灭绝等严重后果。为了应对上述问题,有必要制定清洁、可再生、高效的能......
[期刊论文] 作者:丁男, 时慧娴,,
来源:戏剧之家 年份:2018
图标隐喻表达是界面设计的重要内容,在图标设计过程中,图标的概念与功能需要我们把握事物的本质及功能关联,这就要求我们掌握图标隐喻设计的类型与原则,探索出高效的图标隐喻构建......
[期刊论文] 作者:丁男, 时慧娴,,
来源:戏剧之家 年份:2019
在手机界面中图标是引导用户操作最重要的视觉符号,设计师在手机图标设计过程中,参考具有普遍指导意义的手机界面图标通用原则是设计出优秀图标的必要流程和规范。...
[期刊论文] 作者:时慧娴,王国俊,,
来源:软件学报 年份:2012
在多值模态逻辑中构建了”.值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了(W,R)n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局......
[期刊论文] 作者:时慧娴, 王国俊,,
来源:计算机工程与应用 年份:2011
在逻辑系MTL(Monoidalt-normbasedLogic)中引入一元逻辑连接词↓△,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL↓△逻辑系统。为了进行相应的语义研究,...
[期刊论文] 作者:时慧娴,王国俊,
来源:中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议 年份:2012
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式(ω)的满足度,并指出该概念是“TS满足(ω)”这一概念的计量化推广。在满足度理...
[期刊论文] 作者:王国俊,时慧娴,
来源:陕西师范大学学报:自然科学版 年份:2009
基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-...
[期刊论文] 作者:王国俊,时慧娴,,
来源:中国科学:信息科学 年份:2011
文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻......
[期刊论文] 作者:刘靖宇,孙秀丽,时慧娴,,
来源:美术教育研究 年份:2017
色彩基础课作为设计专业课程体系的重要组成部分,一直以来是教学改革的重点。该文基于工业设计专业需求和工科学生的特点,首先重新设定了色彩基础课的教学目标和教学方式,其...
[期刊论文] 作者:时慧娴 宋杨 张铁成 刘靖宇,
来源:新校园·上旬刊 年份:2017
摘要:手绘快速表现是高等院校设计类专业学生最重要的基础课程之一,手绘快速表现可以记录转瞬即逝的设计理念与灵感,是设计师与团队及客户进行沟通的高效媒介,完成语言无法传达出来的视觉基础内容。手绘快速表现的应用领域十分广泛,平面设计、工业设计、环境艺术设计......
[期刊论文] 作者:王国俊, 王庆平, 时慧娴, 罗清君, 王伟,,
来源:陕西师范大学学报(自然科学版) 年份:2013
从分析Words(Ф)的结构入手,引入用线性时态逻辑(LTL)公式Ф表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL......
[期刊论文] 作者:张晓宇, 王艳颖, 王红岩, 时慧娴, 白鸿越,,
来源:现代园艺 年份:2019
以辣椒为试验材料,研究采用不同模式间歇升温的处理方法对辣椒果实冷害的影响,测定贮藏期辣椒的冷害指数及相关生理指标.在4℃下贮藏的辣椒采用不同模式的间歇升温处理,测其...
相关搜索: