“竞赛+思政”的三维软件课程教学路径及效果探究

该文作者以大连大学工业设计专业三维软件课程全过程为样本,探索三年来“竞赛+思政”的实践教学模式和效果,通过将包含思政元素的竞赛命题引入实践教学,围绕命题开展教学设计,使学生在实战项目中掌握三维设计全流程。在提升学生专业能力的同时,教师完成了思政教育与疏导。该模式是将思政教育融入课堂的一次尝试,能够为创新应用型工业设计专业人才培养提供参考。

多值模态逻辑的计量化方法

在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.

逻辑系统MTL_▽及其完备性

在逻辑系统MTL(Monoidal t-norm based Logic)中引入一元逻辑连接词▽,并在原有公理模式的基础上添加若干新公理,构建了一种新的MTL的扩张MTL▽逻辑系统。为了进行相应的语义研究,在MTL代数的基础上,引入一元算子▽,提出MTL▽代数的概念,并证明了MTL▽代数的同构定理。基于线性MTL▽代数证明了逻辑系统MTL▽的完备性。

产品手绘快速表现技巧

手绘快速表现是高等院校设计类专业学生最重要的基础课程之一,手绘快速表现可以记录转瞬即逝的设计理念与灵感,是设计师与团队及客户进行沟通的高效媒介,完成语言无法传达出来的视觉基础内容。手绘快速表现的应用领域十分广泛,平面设计、工业设计、环境艺术设计及服装设计的设计流程前期都需要应用手绘快速表现进行设计稿的确认与修改,因此,快速设计表现作为一门专业必修基础课程,对设计类专业学生来说非常重要。

n值逻辑系统L_n~*中广义重言式的计量化研究

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.

迁移系统关于一类时态逻辑公式的满足度

从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计.

手机界面图标设计原则

在手机界面中图标是引导用户操作最重要的视觉符号,设计师在手机图标设计过程中,参考具有普遍指导意义的手机界面图标通用原则是设计出优秀图标的必要流程和规范。

界面图标的隐喻性研究

图标隐喻表达是界面设计的重要内容,在图标设计过程中,图标的概念与功能需要我们把握事物的本质及功能关联,这就要求我们掌握图标隐喻设计的类型与原则,探索出高效的图标隐喻构建方法。

由器入道——工业设计色彩基础课的理论与实践

色彩基础课作为设计专业课程体系的重要组成部分,一直以来是教学改革的重点。该文基于工业设计专业需求和工科学生的特点,首先重新设定了色彩基础课的教学目标和教学方式,其次采用了"无技巧"的理性表达方式作为色彩作业的表现形式,最后用自找依据的评价方式综合评定色彩基础课学习成绩。三年的教学实践证明,这套"由器入道"的色彩基础课教学改革方法行之有效。

间歇升温对采后辣椒冷害发生及生理变化的影响

以辣椒为试验材料,研究采用不同模式间歇升温的处理方法对辣椒果实冷害的影响,测定贮藏期辣椒的冷害指数及相关生理指标.在4℃下贮藏的辣椒采用不同模式的间歇升温处理,测其硬度、失重率、可溶性固形物、多酚和Vc含量、PPO和POD活性及MDA含量.结果表明,经间歇升温处理后的辣椒有效减缓了冷害的发生,减缓了多酚类物质的消耗和抑制PPO、POD的活性,减少MDA的产生.综合辣椒的生理生化指标及相关酶的活性,得出在4℃下贮藏经3次间歇回温效果最佳.

基于有限迁移系统的线性时态逻辑的计量化方法

基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中"D满足φ"这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。

格值模态命题逻辑及其完备性

文中以满足第一及第二无限分配律的完备格为工具,建立了格值模态命题逻辑的语义理论,并指出这种语义是经典模态命题逻辑语义理论及[0,1]值模态命题逻辑语义理论的共同推广.给出了QMR0代数的定义,并分别以Boole代数及QMR0代数为背景构建了Boole型格值模态命题逻辑系统B及QMR0型格值模态命题逻辑系统QML*,并证明了系统B及系统QML*的完备性.