基于有限谓词追踪的民机系统需求一致性检查方法

针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。

市场需求视角下流通业集聚对技术创新效率的影响

随着全球经济的快速发展和市场竞争的日益激烈,流通业在推动经济增长和提升国家竞争力中扮演着关键的角色。流通产业集聚通过汇聚企业、人才和资源,有助于提高产业效益和技术创新效率。然而,这一领域的研究对于市场需求(包括消费需求、投资需求以及出口需求)在流通业集聚与技术创新效率关系中的作用认识还相对不足。因此,本研究将从市场需求视角出发,探究流通业集聚对技术创新效率的影响,旨在为促进流通业的可持续发展和提高技术创新效率提供有价值的见解。研究结果表明:流通业集聚显著促进流通业技术创新效率;消费需求、投资需求以及出口需求在流通业集聚对技术创新效率的影响中发挥正向调节效应。

用户需求驱动的工业软件界面设计方法与实践

针对工业软件界面用户使用后满意度低、反弹率高的问题,对用户需求驱动下的工业软件界面设计展开研究。从工业软件界面设计原理和原则出发,通过增加惩罚系数优化采集方法,收集用户需求;着重探讨图形要素设计、界面信息布局设计和界面颜色设计三方面设计考量。为准确确定界面图形要素,引入特征相似性,将其作为判定界面图形要素的条件,进一步提高界面图形要素的明确性。以2569人参与设计的工业软件界面为实例,对实践结果中用户满意度和人数进行分析。从取得较好的评价、反弹率最低的设计中提取经验和方法,用于进一步提高设计界面对用户的吸引力。

管理会计研究的需求导向及其管理倾向

从需求侧视角考察管理会计的学术路径,着重于从企业的管理目的出发,主动承担制定计划、选择替代方案、评价与控制业绩等具体的研究任务。需求导向是管理会计学术研究的一种基本遵循。知识的更新迭代是管理会计自然演进的内在要求,也是市场需求对管理会计功能协同推进的结果。学术及其成果是知识增量获取的重要载体或手段,也是管理会计完善与发展的客观映现。管理会计学术研究在知识和市场双重逻辑的需求侧路径下不断变迁或推进,从“实践——理论——再实践”上升为新的理论循环,周而复始,不断演进。从价值创造层面看,管理会计学术研究需要灵活应用财务与非财务信息,满足组织的战略、战术和运行目标等的社会文化价值观需求,透过微观注重宏观,针对不同国情、不同制度,乃至不同文化理念等事项,映射并强化需求侧下的管理会计重要性。

可视化需求不确定供应链管理:系统的科学计量学回顾

本文的主要目的是对2009年至2022年6月4日发表的961篇论文和文献综述进行可视化和系统的科学计量回顾。应用核心作者分析、关键词共现和文献共被引分析技术,揭示了需求不确定供应链管理领域的“社会-概念-知识”结构,确定了关键概念和研究热点,阐明了关键学科和新兴趋势。统计分析结果确定了需求不确定供应链管理领域最有影响力的学者、关键科研机构、核心概念以及最有影响力的期刊。目前需求不确定供应链管理领域的研究热点是产品调度和供应链弹性网络设计相关课题,主要研究方法是使用运筹学与管理科学方法建模。基于概念结构和知识结构的结论归纳出需求不确定供应链管理未来研究方向和关键性研究问题。本文将为理论界和实践界展示需求不确定供应链管理领域研究全景。

面向国家安全的情报需求管理:研究必要、机制构建与实践应用

[研究目的]当前,在国家安全形势日益复杂的背景下,由于情报需求增多、难度加大、情报人员能力不足、工作时间压缩等原因,情报机构能够提供的产品远远无法满足所有的情报需求,有必要开展面向国家安全的情报需求管理研究。[研究方法]从“人、事、物、流程、标准”等管理要素构成的视角解析国家安全情报需求管理的主体、内容范围、模式方法等,创设一套包括“情报管理者”“情报需求管理信息系统”“情报需求管理流程”在内的需求管理工作机制,提出在管理实践中需要注意保持决策者和情报工作机构之间的关系平衡、促进情报工作机构之间的多方协作、重视“机会分析”、控制需求管理信息系统中的战略情报需求占比等问题。[研究结论]研究表明,国家安全情报需求管理将有助于解决国家安全情报需求“过剩”与情报供应能力不足之间的矛盾,为中国国家情报工作规范化建设提供参考借鉴。

基于改进Croston方法的多需求模式零备件预测

维修备件管理是提高产线可靠性、实现降本增效的关键。针对具备间歇性与随机性特征的维修备件需求预测问题,提出了基于改进Croston方法的备件需求预测模型。依据Syntetos准则基于间断性与波动性特征将备件需求划分为4类。针对含有波动性特征的需求,基于Croston方法主要思想将备件需求预测分解为需求发生状态预测和需求量预测两类问题,设计了集合经验模态分解(ensemble empirical mode decomposition,EEMD)-长短期记忆网络集成(long short-term memory,LSTM)预测模型。EEMD方法将剧烈波动序列分解为若干相对平稳的分量,进而采用LSTM方法对各分量进行预测。针对含有间断性特征的需求,引入信号处理技术中的信号调制技术,将需求发生状态0-1二值序列进行连续化处理。所提方法解决了备件需求波动性强、间断性大的难题,已应用于湖北中烟武汉卷烟厂,证明了方法的优越性与可行性。

基于需求模式自适应匹配的间歇性需求预测方法

大型制造企业售后配件的需求分布稀疏、波动性大,需求频率和需求数量不确定性较高,序列呈现出典型的间歇性特点。在实际运维中,配件需求在频率和数量方面存在较大波动,从而产生变化多样的需求模式,而现有间歇性需求预测主要采用单一或静态组合的固定预测模型,难以充分挖掘不同需求模式下需求序列的演化规律,预测精度和稳定性均难以保证。为解决上述问题,提出一种基于需求模式自适应匹配的间歇性需求预测方法,通过动态识别和匹配需求模式提升间歇性序列预测效果。该方法包括两个阶段:在模型训练阶段,首先,根据配件历史需求数据的间歇性特征,将它划分为需求量序列和间隔量序列,并对两类序列分别进行聚类,以捕获每类序列对应的不同需求和间隔模式;其次,建立包含统计学分析模型、浅层机器学习模型及深度学习模型的预测模型库,测试各模型对每种需求模式的预测效果,识别并标记每类需求模式的最优预测模型。在预测阶段,将待预测序列划分为需求量序列和间隔量序列,确定需求模式并匹配最佳预测模型,进而将需求量和间隔量的预测值合并,形成最终预测结果。在美国汽车公司和英国空军的间歇性配件需求数据集上的实验结果表明,所提方法可适用于不同需求模式的配件历史数据,通过自适应匹配需求模式和最优预测模型,有效提升了预测精度。

“双一流”建设:从供给导向到需求导向

通过对两轮“双一流”建设在政策表述、遴选或认定规则、建设学科认定等方面的对比发现,相对首轮“双一流”建设以学科为基础的模式,第二轮“双一流”建设表现出从供给导向到需求导向的转变,更加强调服务国家急需。也就是说,第二轮“双一流”建设在保持首轮学科建设导向的基础上,突出强调新增学科以需求为导向和前提。政策导向的转变体现了高等教育政治论哲学基础和知识生产模式变革对学科建设的影响,也是服务国家对知识和人才的迫切需求以及顺应学科建设新形势的举措。在需求导向下,“双一流”建设需要把握好当前和长远、紧缺和“饱和”、基础和应用、单一和交叉、供给和需求、全局和局部的关系。在政策层面上,建议以需求为导向对“双一流”建设进行分类管理,重点加强紧缺的战略新兴学科建设;在高校层面上,建议以需求为导向推动学科建设和发展,大力支持基础学科和交叉学科建设,进一步完善学科优化调整机制,并加强学科与市场以及外部社会的连接。

基于需求层次理论的城市公共交通发展战略研究

针对目前城市交通供需结构不平衡的问题,以马斯洛需求层次理论模型为参考,结合城市交通需求和供给特性,分析其供求关系及层次结构,提出城市交通供需的响应关系和理想化城市交通出行结构。考虑时间、经济、舒适度等交通需求因素和环境、运营、基础设施、能耗等交通供给资源,以现状需求、资源、环境污染、运营、发展规模、时间为约束,从宏观和微观两个角度构建双层规划模型。以大连市为研究对象,基于现有交通出行结构开展成本分析,计算现有出行需求情况下,大连市城市交通结构的适宜比例,并将计算结果与现有出行结构进行比较。研究表明,优化的出行结构可以更好地满足现有城市交通的出行需求,满足城市交通可持续发展的目标,研究结果可为今后大连市公共交通发展提供参考。

当前中国国内需求的变化特点、原因分析及应对措施

自2020年以来,国内需求总量呈现了明显的疤痕效应以及微弱且不稳定的恢复效应,其中,最终消费需求的恢复效应强于资本形成总额需求的恢复效应。最终消费需求的构成部分中,居民最终消费需求总量呈现微弱的疤痕效应但恢复效应明显,政府最终消费需求没有明显的疤痕效应。国内资本形成总额需求的构成部分中,固定资本形成总额具有明显的疤痕效应而恢复效应并不明显。根据宏观经济学的总需求-总供给模型,国内需求呈现疤痕效应是因为总需求和总供给都减少但总需求的减少更加明显,国内需求呈现微弱的恢复效应,是因为前期总需求和总供给都可能增加但总需求的增加弱于总供给,近期总需求在增加而总供给在减少。由此提出了提升内需的应对措施,包括激励最终消费需求以带动整个国内需求、提升国内总需求和提升国内总供给要并重等。

基于Kano模型的信息需求分析实践

信息需求随着时代的变化而快速变化,利用Kano模型展开信息需求透视分析,为构建信息服务功能框架提供新思路。文章通过设计量表式问卷对北京科技大学留学生学习类信息需求进行调研,实现Kano模型从信息需求到信息服务产品功能框架的判别标准、问卷设计、透视分析的应用研究。Kano模型问卷调研可有效提取服务对象的信息需求,实现调研对象学习类信息需求的透视分析、筛选排序到服务功能框架的构建。

需求赋能构建农村互助养老服务体系

农村互助养老在运行中受地域、经济、社会政策、老年人口数量、家庭、健康状况等诸多因素影响,同时农村老年人的养老意愿受其生活习惯、身心特点、居住特点等的制约而表现迥异。农村老年人的养老需求复杂,以需求为导向,评估老年人养老需求,构建农村互助养老服务体系是推动互助养老持续、高质量发展的可行路径。差异化明显需求评估可满足老年人不同层次需求,以老年人的实际问题为出发点,结合社会、村落、家庭、个人资源状况及社会发展特点,建立需求机制,提供有针对性政策、机制和服务供给,在避免养老资源浪费的前提下增强老年人获得感、幸福感,符合国家应对人口老龄化的战略核心和重点。

天津市社会化养老服务需求研究

本文基于对天津市10个社区内305位老年人的问卷调查,对老年人的社会养老服务需求现状及特点展开深入分析,发现天津市老年人的社会养老服务需求显著,但各类服务设施的知晓率和使用率普遍偏低,且服务需求与现有服务内容及质量缺乏有效对应;不同年龄和自理能力的老年人在社会养老服务需求上存在较大差异。建议加强养老服务的分类建设管理,完善养老服务需求的数据信息收集和监测服务;将家庭成员纳入养老服务的对象范围内,完善以家庭为单位的养老支持;加大医养结合的建设力度。

充分就业目标下产业发展需求侧与高校人才培养供给侧融合研究

随着我国产业结构的升级转型,社会对新技术、新业态人才的需求越发旺盛。高校毕业生输出数量连年增加,随之而来的大学生就业难问题也更加突出。产业人才需求与高校人才供给之间的不平衡造成了人才市场供需结构性矛盾。该文结合当前人才供需融合的背景,以大学生充分就业为目标,分析人才供需融合的现状与问题,并从强化人才需求预测分析、推进以需求为导向的产教融合、构建供需动态监测预警系统等方面提出人才供需融合的策略。

基于不同失能水平的老年人照料需求的影响因素

目的:对65~105岁老年人以年龄进行分层,探究照料需求的影响因素特点。方法:共纳入12244名2018年中国老年健康影响因素跟踪调查(Chinese longitudinal healthy longevity survey,CLHLS)横断面数据中的老年人,分为低龄(65~79岁)、中龄(80~89岁)、高龄(90~105岁)三组。利用综合失能指数(disability index,DI)从四个维度评估老年人的失能水平,反映其照料需求,采用无序多分类Logistic回归进行影响因素分析。结果:12244名老年人中,中、高照料需求的老年人占比达43.4%。老年人照料需求高的影响因素包括年龄更大、患慢性病数量更多、无锻炼习惯、睡眠时间过长(≥9 h/d)、有抑郁倾向、与子女同住、空巢合居、未受过教育(P<0.05)。此外,低龄组老年人还有吸烟史(OR=2.009,95%CI:1.019~3.959)、饮酒史(OR=2.213,95%CI:1.141~4.291)和自评贫穷(OR=2.051,95%CI:1.189~3.540);中龄组老年人还有女性(OR=1.373,95%CI:1.038~1.817)、从不饮酒(OR=1.551,95%CI:1.059~2.269)和无医疗保险(OR=1.598,95%CI:1.053~2.426);高龄组老年人还有女性(中照料需求vs.低照料需求:OR=1.412,95%CI:1.062~1.878;高照料需求vs.低照料需求:OR=1.506,95%CI:1.137~1.993)、自评贫穷(OR=2.064,95%CI:1.282~3.323)和无医疗保险(OR=1.621,95%CI:1.148~2.291)。结论:各年龄组老年人照料需求的共性影响因素包括年龄、慢性病、锻炼、睡眠、抑郁倾向、居住方式和受教育情况,低龄组的特有因素包括吸烟、饮酒和经济水平,中、高龄组的特有因素包括性别和医疗保险。建议针对上述影响因素开展前瞻性队列研究和重点人群的干预研究,为政策制定提供可靠依据。

基于多角色用户需求的医疗影像云平台优化设计

文章旨在探究多角色用户需求转化为产品需求流程,并将其应用于医疗影像云平台优化设计的实践方案。走访京、浙三甲医院采用深度访谈和大数据分析的方法,收集了包括医生、患者等多角色用户需求。然后基于需求转化得到的产品需求对云平台进行优化,最后,根据使用反馈和线上数据证明了此次优化设计的合理性。输出了多角色产品需求优先级列表和原型图,得到了本次优化结果。文章为医疗影像云平台的优化设计提供了参考和建议,有望为医疗信息化领域的相关工作提供了有益的指导。

城市社区养老设施需求识别与空间配置模式——以天津市中心城区为例

在完善城市公共服务设施背景下,标准化配置的社区养老设施往往忽略了供需的精准匹配。立足于供需视角,聚焦不同人群特征对需求进行差异化探讨,运用安德森模型和Kano模型展开调研,判断被测群体需求层次和需求程度,通过需求影响因素的相关性分析和基于需求层次的聚类分析划分人群特征,提取典型群体,分析需求情况。结果表明,人群特征差异和功能空间差异均对需求有显著影响。基于此,分别建立了整体人群和典型人群功能空间配置模型,提出功能独立型社区养老设施配置模式,给出了一套可精准识别需求并合理配置功能空间的方法,为未来社区养老设施设计提供参考。

基于用户需求优化图书馆采编工作

随着信息技术的快速发展,图书馆作为重要的知识服务机构,面临用户需求多样化和复杂化的挑战。现探讨基于用户需求的图书馆采编工作优化路径。首先,对用户需求的多样性和新期待进行深入分析,揭示用户需求变化对采编工作的影响。其次,提出针对性的优化策略,包括通过深化市场调研,精准定位用户需求;加强资源建设,丰富和优化馆藏资源;创新服务模式,提升用户体验;加强人员培训,提升采编团队专业素养。这些策略旨在更好地满足用户需求,提升图书馆服务质量和用户满意度。

ChatModeler:基于大语言模型的人机协作迭代式需求获取和建模方法

需求获取和建模是需求工程中的关键步骤,影响后续系统设计与实现.传统的需求获取和建模方法通常由需求提供者、需求分析师等多类干系人共同协作、反复迭代完成,需要耗费大量的人力.如何减轻需求提供者与需求分析师的负担、提高获取和建模的效率有着重要意义.现有工作中有的使用知识库来提供更多知识,以辅助获取或者建模,有的利用自然语言处理等技术对获取或者建模过程进行自动化,但是它们并没有减轻需求提供者的负担.利用大语言模型(large language models,LLMs)的生成能力,提供了一种人机协作的迭代式需求获取和建模框架ChatModeler.具体来说,根据真实世界中需求团队的分工及协作关系,将部分需求提供者、需求分析师等角色的工作由大语言模型承担,而需求提供者只需要进行确认.为大语言模型扮演的各种角色进行了提示词设计,该提示词会随需求的元模型而变化.ChatModeler在7个需求案例上与3种需求模型的自动建模方法进行了14组对比实验,证明了ChatModeler在降低需求提供者的负担和生成高质量需求模型2个方面上的优越性.