期刊文献+
共找到121篇文章
< 1 2 7 >
每页显示 20 50 100
The formal beauty of product design
1
作者 米兴栋 《商情》 2011年第6期178-178,共1页
关键词 英语 语法 语言学 教育事业
下载PDF
Formalization of Federated Schema Architectural Style Variability
2
作者 Wilhelm Hasselbring 《Journal of Software Engineering and Applications》 2015年第2期72-92,共21页
Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global ap... Data integration requires managing heterogeneous schema information. A federated database system integrates heterogeneous, autonomous database systems on the schema level, whereby both local applications and global applications accessing multiple component database systems are supported. Such a federated database system is a complex system of systems which requires a well-designed organization at the system and software architecture level. A specific challenge that federated database systems face is the organization of schemas into a schema architecture. This paper provides a detailed, formal investigation of variability in the family of schema architectures, which are central components in the architecture of federated database systems. It is shown how the variability of specific architectures can be compared to the reference architecture and to each other. To achieve this, we combine the semi-formal object-oriented modeling language UML with the formal object-oriented specification language Object-Z. Appropriate use of inheritance in the formal specification, as enabled by Object-Z, greatly supports specifying and analyzing the variability among the studied schema architectures. The investigation also serves to illustrate the employed specification techniques for analyzing and comparing software architecture specifications. 展开更多
关键词 Federated Database Systems SOFTWARE Architecture formal Specification SOFTWARE product Fami-lies SOFTWARE VARIABILITY
下载PDF
设计美学元素在文创产品中的运用
3
作者 张逸 《鞋类工艺与设计》 2024年第12期42-44,共3页
本文旨在探讨设计美学元素在文化创意产品中的运用。通过对设计美学的定义和关键原则进行阐述以及对视觉、功能、情感和文化等方面的元素进行分析,揭示了设计美学如何影响文化创意产品的设计和表现。本文论述了如何在文创产品中运用设... 本文旨在探讨设计美学元素在文化创意产品中的运用。通过对设计美学的定义和关键原则进行阐述以及对视觉、功能、情感和文化等方面的元素进行分析,揭示了设计美学如何影响文化创意产品的设计和表现。本文论述了如何在文创产品中运用设计美学,并探讨了设计美学对产品成功的促进作用。同时,探讨了在将设计美学应用于文化创意产品中面临的挑战与机遇,并提出了克服挑战和抓住机遇的策略。最后,总结了研究结果,并对未来在设计美学与文化创意产品领域的进一步研究提出了建议。 展开更多
关键词 文创产品 设计美学元素 形式美 功能美 技术美
下载PDF
论习近平经济思想对资本逻辑的三重超越
4
作者 桑延海 《江苏大学学报(社会科学版)》 CSSCI 2024年第2期10-22,共13页
习近平经济思想立足由现实的生产方式变革所决定的社会关系变革,客观分析了我国经济社会所处的“新发展阶段”,并自觉提出“坚持新发展理念”的基本原则和“构建新发展格局”“推动高质量发展”的历史任务。就此而言,习近平经济思想不... 习近平经济思想立足由现实的生产方式变革所决定的社会关系变革,客观分析了我国经济社会所处的“新发展阶段”,并自觉提出“坚持新发展理念”的基本原则和“构建新发展格局”“推动高质量发展”的历史任务。就此而言,习近平经济思想不仅是对资本增殖逻辑的价值增殖之生产目的,价值第一性之生产内容,劳动者片面发展之生产本质以及资本权力逻辑的内在结构、根本特征和存在基础的超越,而且实现了对资本逻辑的形而上学范式之核心问题、合理标准以及思维方式的超越。 展开更多
关键词 习近平经济思想 资本逻辑 生产逻辑 权力逻辑 历史科学范式 形上范式
下载PDF
汉语中的使役连续统及其形式紧密度问题 被引量:16
5
作者 黄锦章 《华东师范大学学报(哲学社会科学版)》 CSSCI 北大核心 2004年第5期100-105,共6页
使役结构存在形式上的连续性及其紧密度问题 ,由使役结构的种类而言 ,可以看到汉语缺乏形态型使役结构 ,而词汇型和分析型这两类使役结构相对发达。由紧密度而言 ,可以把“形式距离”和“能产性”作为合取标准 ,并根据这一标准测定汉语... 使役结构存在形式上的连续性及其紧密度问题 ,由使役结构的种类而言 ,可以看到汉语缺乏形态型使役结构 ,而词汇型和分析型这两类使役结构相对发达。由紧密度而言 ,可以把“形式距离”和“能产性”作为合取标准 ,并根据这一标准测定汉语中各类使役结构的紧密度等级 。 展开更多
关键词 汉语 使役结构 连续统 紧密度 形式距离 能产性 词汇型 分析型
下载PDF
基于集合原理的产品概念设计过程建模 被引量:3
6
作者 曹东兴 檀润华 +2 位作者 苑彩云 耿磊 朱凝华 《机械工程学报》 EI CAS CSCD 北大核心 2004年第8期134-139,共6页
概念设计是产品实现过程的关键一步,有效的产品概念设计可以提高质量、减少成本及缩短上市时间,从而可以较准确地满足客户要求,如何实现产品概念设计过程建模,是工程设计领域研究的热点问题。首先,概述概念设计问题的特性,采用集合原理... 概念设计是产品实现过程的关键一步,有效的产品概念设计可以提高质量、减少成本及缩短上市时间,从而可以较准确地满足客户要求,如何实现产品概念设计过程建模,是工程设计领域研究的热点问题。首先,概述概念设计问题的特性,采用集合原理对产品、产品环境及产品结构等进行了表示,并对产品设计中的原型零件、原型组件及联接器等进行了形式化描述。其次建立两类概念设计问题的设计过程模型,通过分析产品设计过程,实现产品概念设计的过程定制。最后结合专用塑盒封切机输送机构设计说明该方法的应用。 展开更多
关键词 机械设计 集合原理 形式化方法 原型产品 概念设计 过程定制
下载PDF
基于Agent的DEVS形式化描述与算法实现 被引量:2
7
作者 曹琦 何中市 余磊 《解放军理工大学学报(自然科学版)》 EI 北大核心 2010年第5期493-498,共6页
为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范... 为了解决离散事件系统规范DEVS(discrete event system specification)中没有对智能行为提供直接描述方法的问题,将智能体(Agent)建模思想引入到DEVS中,提出了一种具备一定智能性和协作性描述能力的离散事件系统规范Agent-DEVS。该规范以并行DEVS为基础,状态元组被扩充成为Agent特征元组;增加了体现个体智能性的Agent模型元组;并将模型端口的输入、输出扩展成为体现社会协作性的Agent消息类型。另外,还给出了Agent-DEVS模型的实现算法,并将其应用于企业生产调度的仿真建模。算法分析与仿真试验表明,Agent-DEVS的优点主要体现在建模性能上,它可以描述更加复杂的智能行为和自治行为,在计算时间上对整体复杂性的影响不大。 展开更多
关键词 智能体 离散事件系统规范 形式化 算法 生产调度
下载PDF
流程正式化、文化导向与创业导向对新产品创造力的影响研究 被引量:5
8
作者 赵旭 刘新梅 《管理学报》 CSSCI 北大核心 2018年第1期39-47,共9页
基于组织设计、竞争价值框架及战略导向理论,在新产品开发过程中,流程正式化、企业文化特性与创业导向的交互作用对新产品创造力有积极的影响。在检验流程正式化与新产品创造力关系的基础上,深入分析不同类型企业文化导向与创业导向的... 基于组织设计、竞争价值框架及战略导向理论,在新产品开发过程中,流程正式化、企业文化特性与创业导向的交互作用对新产品创造力有积极的影响。在检验流程正式化与新产品创造力关系的基础上,深入分析不同类型企业文化导向与创业导向的交互作用对上述关系的调节效应。通过对国内209家企业样本的实证分析表明:流程正式化对新产品创造力有正向影响;流程正式化对新产品创造力的影响均受到柔性文化导向、控制文化导向的正向调节作用。此外,柔性文化导向、创业导向与流程正式化的三项交互对新产品创造力有正向影响。 展开更多
关键词 流程正式化 新产品创造力 企业文化导向 创业导向 三项交互
下载PDF
大批量定制模型的客户驱动参数映射与描述结构研究 被引量:6
9
作者 张利 《合肥工业大学学报(自然科学版)》 CAS CSCD 2003年第6期1152-1156,共5页
文章提出了一种客户驱动的大批量定制模型的参数映射方法,从客户角度考虑,分析了客户驱动参数类型,研究了驱动参数类型的描述方法,建立了一种既能反映客户需求又能体现产品结构、性能等关系的客户驱动参数描述结构及客户化产品数据结构... 文章提出了一种客户驱动的大批量定制模型的参数映射方法,从客户角度考虑,分析了客户驱动参数类型,研究了驱动参数类型的描述方法,建立了一种既能反映客户需求又能体现产品结构、性能等关系的客户驱动参数描述结构及客户化产品数据结构。最后提出的客户驱动模块组合模型,旨在为产品定制的定量化分析提供数学方法。 展开更多
关键词 客户驱动参数映射 大批量定制生产 市场竞争 产品管理 MC
下载PDF
基于语义的产品功能形式化建模 被引量:7
10
作者 郭钢 汤华茂 罗妤 《计算机集成制造系统》 EI CSCD 北大核心 2011年第6期1171-1177,共7页
由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础... 由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计。 展开更多
关键词 语义 功能建模 形式化 本体 描述逻辑 产品设计
下载PDF
机械产品概念设计过程模型的形式化表达 被引量:8
11
作者 张国全 张卫国 钟毅芳 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2005年第2期327-333,共7页
应用数学描述方法 ,从理性的角度描述了机械产品概念设计过程模型 (功能—行为—结构—环境约束 )的各要素及其相互关系 提出了在产品任务书中析取功能信息的方法 ,建立了功能分解准则 ,利用优化算法创建了行为关系树与实现产品功能概... 应用数学描述方法 ,从理性的角度描述了机械产品概念设计过程模型 (功能—行为—结构—环境约束 )的各要素及其相互关系 提出了在产品任务书中析取功能信息的方法 ,建立了功能分解准则 ,利用优化算法创建了行为关系树与实现产品功能概念解的整个设计过程的形式化表达 最后 。 展开更多
关键词 概念设计 机械产品 过程模型 形式化
下载PDF
一种基于边的上下文相关图文法形式化框架 被引量:8
12
作者 曾晓勤 韩秀清 邹阳 《软件学报》 EI CSCD 北大核心 2008年第8期1893-1901,共9页
围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问... 围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向. 展开更多
关键词 可视化语言 形式化 图文法 嵌入问题 产生式
下载PDF
机械产品选配问题的二分图非形式化描述 被引量:2
13
作者 刘明周 陈诚和 +2 位作者 葛茂根 张铭鑫 扈静 《农业机械学报》 EI CAS CSCD 北大核心 2007年第11期133-136,128,共5页
在机械产品选配中,为了表达装配模型应考虑的关键因素、装配体间的配合关系以及便于个性化更改,建立基于二分图的机械产品选配非形式化描述模型,提出了d型匹配需要满足的约束条件。利用0-1矩阵将非形式化描述转化成一个便于用算法实现... 在机械产品选配中,为了表达装配模型应考虑的关键因素、装配体间的配合关系以及便于个性化更改,建立基于二分图的机械产品选配非形式化描述模型,提出了d型匹配需要满足的约束条件。利用0-1矩阵将非形式化描述转化成一个便于用算法实现的形式化模型。在此基础上,提出了基于遗传算法的形式化模型求解方法。通过一个机械产品选配实例对其进行了验证。 展开更多
关键词 机械产品选配 非形式化描述模型 二分图 遗传算法
下载PDF
种粮大户正规信贷约束程度的测度与分析 被引量:6
14
作者 宁国强 兰庆高 武翔宇 《华南农业大学学报(社会科学版)》 CSSCI 北大核心 2016年第4期31-41,共11页
运用Biprobit模型和分位数回归方法,采用582个种粮大户的调查数据,从实证角度估算了种粮大户正规信贷约束程度,探究了正规信贷供需影响因素,以及在不同约束程度下各因素的影响差异。研究表明,种粮大户正规信贷约束程度高达78.89%,家庭... 运用Biprobit模型和分位数回归方法,采用582个种粮大户的调查数据,从实证角度估算了种粮大户正规信贷约束程度,探究了正规信贷供需影响因素,以及在不同约束程度下各因素的影响差异。研究表明,种粮大户正规信贷约束程度高达78.89%,家庭耕地面积、农业收入和社会资本对正规金融机构信贷供给有显著影响;年龄、教育程度、家庭耕地面积、劳动力数量和大额支出显著影响种粮大户正规信贷需求;随约束程度分位点的提高,教育程度、家庭耕地面积、家人中有村干部、亲属是否在乡镇及以上政府部门或金融部门工作4个变量的系数呈U型变化,而大额支出、非生产性资产价值、家与最近正规金融机构距离3个变量的系数呈倒U型变化。 展开更多
关键词 种粮大户 正规信贷 信贷约束 耕地面积
下载PDF
正规借贷与民间借贷对农户生产和消费的影响——基于2006年~2010年农村固定观察点的微观面板数据 被引量:2
15
作者 曲小刚 池建宇 罗剑朝 《经济经纬》 CSSCI 北大核心 2014年第1期44-49,共6页
笔者利用2006年~2010年农村固定观察点的数据,分析正规借贷与民间借贷对农户生产和消费影响,得出以下结论:无论是正规借贷还是民间借贷对农户的生产和消费都具有显著影响,尤其是民间借贷对农户生产和消费的影响远远大于正规借贷的影响... 笔者利用2006年~2010年农村固定观察点的数据,分析正规借贷与民间借贷对农户生产和消费影响,得出以下结论:无论是正规借贷还是民间借贷对农户的生产和消费都具有显著影响,尤其是民间借贷对农户生产和消费的影响远远大于正规借贷的影响,但正规借贷对农户消费具有负向效应。正规借贷对农户生产的影响具有地区差异性,民间借贷对农户生产的影响不具有地区差别性。民间借贷对农户消费的影响具有地区差异性,正规借贷对农户消费的影响不具有地区差异性。 展开更多
关键词 正规借贷 民间借贷 农户 生产 消费
下载PDF
密码产品的侧信道分析与评估 被引量:19
16
作者 陈华 习伟 +2 位作者 范丽敏 焦志鹏 冯婧怡 《电子与信息学报》 EI CSCD 北大核心 2020年第8期1836-1845,共10页
作为一类重要的信息安全产品,密码产品中所使用的密码技术保障了信息的保密性、完整性和不可抵赖性。而侧信道攻击是针对密码产品的一类重要的安全威胁,它主要利用了密码算法运算过程中侧信息(如时间、功耗等)的泄露,通过分析侧信息与... 作为一类重要的信息安全产品,密码产品中所使用的密码技术保障了信息的保密性、完整性和不可抵赖性。而侧信道攻击是针对密码产品的一类重要的安全威胁,它主要利用了密码算法运算过程中侧信息(如时间、功耗等)的泄露,通过分析侧信息与秘密信息的依赖关系进行攻击。对密码产品的抗侧信道攻击能力进行评估已成为密码测评的重要内容。该文从攻击性测试、通用评估以及形式化验证3个角度介绍了目前密码产品抗侧信道评估的发展情况。其中攻击性测试是目前密码侧信道测评所采用的最主要的评估方式,它通过执行具体的攻击流程来恢复密钥等秘密信息。后两种方式不以恢复秘密信息等为目的,而是侧重于评估密码实现是否存在侧信息泄露。与攻击性测试相比,它们无需评估人员深入了解具体的攻击流程和实现细节,因此通用性更强。通用评估是以统计测试、信息熵计算等方式去刻画信息泄露的程度,如目前被广泛采用的测试向量泄露评估(TVLA)技术。利用形式化方法对侧信道防护策略有效性进行评估是一个新的发展方向,其优势是可以自动化/半自动化地评估密码实现是否存在侧信道攻击弱点。该文介绍了目前针对软件掩码、硬件掩码、故障防护等不同防护策略的形式化验证最新成果,主要包括基于程序验证、类型推导及模型计数等不同方法。 展开更多
关键词 密码产品 侧信道 信息泄露 形式化验证
下载PDF
社会网络和交易成本对农户生产性正规信贷的影响 被引量:7
17
作者 邸玉玺 郑少锋 《西北农林科技大学学报(社会科学版)》 CSSCI 北大核心 2022年第1期151-160,共10页
利用对陕西省1091位农户的调研数据,将农户的生产性正规信贷分解为是否获得生产性信贷、是否获得生产性正规信贷和获得的生产性正规信贷金额三个阶段,运用Triple-Hurdle样本选择模型,实证检验了社会网络对农户从正规渠道获得生产性贷款... 利用对陕西省1091位农户的调研数据,将农户的生产性正规信贷分解为是否获得生产性信贷、是否获得生产性正规信贷和获得的生产性正规信贷金额三个阶段,运用Triple-Hurdle样本选择模型,实证检验了社会网络对农户从正规渠道获得生产性贷款的影响,进而重点考察了交易成本的中介作用机制。结果表明:农户的总体社会网络提高了生产性信贷的获得概率和信贷金额,交易型社会网络增加了生产性正规信贷的获得概率;降低正规信贷交易成本能够增加农户正规信贷的获得概率和信贷金额;社会网络能够降低农户在申请正规信贷过程中由于专用性较高、交易频次较低、不确定性较高所导致的高额交易成本,从而提高农户生产性正规信贷的获得概率和信贷金额。因此,增强农户社会网络的信息传递功能,降低正规信贷的交易成本,进而缓解农村地区生产性正规信贷约束,对于乡村振兴具有重要意义。 展开更多
关键词 生产性信贷 正规信贷 社会网络 交易成本 Triple-Hurdle模型
下载PDF
智能机器人体系结构的理论研究 被引量:7
18
作者 田华 蒋慰孙 《控制与决策》 EI CSCD 北大核心 1993年第5期330-337,共8页
智能机器人体系结构是机器人学中相当重要但还未被适当开辟的领域,也是智能机器人成功的关键。本文综述了智能机器人体系结构的理论(建模理论)研究状况,试图由此获得关于开展进一步深入工作的启谛。
关键词 智能机器人 体系结构 原理
下载PDF
面向开发过程的产品结构形式化建模 被引量:3
19
作者 孙飞 唐晓青 段桂江 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2008年第10期1222-1227,共6页
为满足开发过程产品结构数据的动态结构配置、动态任务协作、动态目标求解、动态状态跟踪等应用需要,在对开发过程产品结构属性及其相互关系进行分析的基础上,提出了一种面向开发过程应用的产品结构形式化模型.结合产品开发活动的时域... 为满足开发过程产品结构数据的动态结构配置、动态任务协作、动态目标求解、动态状态跟踪等应用需要,在对开发过程产品结构属性及其相互关系进行分析的基础上,提出了一种面向开发过程应用的产品结构形式化模型.结合产品开发活动的时域行为特征,给出了产品结构的时域定义,并以此为基础构建了产品结构模型的时域扩展定义.通过分析产品状态与开发任务时域行为的映射关系,在产品结构时域扩展定义的基础上,提出了基于时间截面的开发过程产品结构状态追踪方案及算法,并通过模拟产品对象在开发过程中的状态变迁过程,验证了模型及相关应用方案的实用性和有效性. 展开更多
关键词 产品开发过程 产品结构模型 形式化建模 时间截面
下载PDF
语义背景下基于形式概念分析的产品族组件规划与类型识别研究 被引量:2
20
作者 罗忠诚 张志强 王忠浩 《中国机械工程》 EI CAS CSCD 北大核心 2007年第22期2729-2733,共5页
提出了语义背景下产品族规划阶段基于形式概念分析的组件规划与类型识别新方法,采用网络本体语言建立产品族语义信息模型,进而获取产品族语义形式背景,应用Hasse图描述组件形态分布,并在此基础上用Galois格理论进行组件类型识别。研究表... 提出了语义背景下产品族规划阶段基于形式概念分析的组件规划与类型识别新方法,采用网络本体语言建立产品族语义信息模型,进而获取产品族语义形式背景,应用Hasse图描述组件形态分布,并在此基础上用Galois格理论进行组件类型识别。研究表明,基于形式概念分析的组件类型识别和组件规划方法不仅具备传统Pareto方法所具有的零部件通用性评价功能和使用频率统计功能,还能从整体上动态地规划组件在产品族中的布局,最后以某冰箱产品族规划实例进行了验证。 展开更多
关键词 形式概念分析 产品族规划 组件识别 网络本体语言
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部