属性偏序形式结构的数学形式化

属性偏序形式结构,作为一种基于人类认知原理和粒计算思想的知识发现和知识表示新理论,目前已有广泛的应用,但其理论基础缺乏抽象化数学化,这势必影响该理论的系统发展。针对上述问题,研究了属性偏序形式结构的数学形式化描述问题。首先,基于粒计算的思想提出了知识表示的形式化框架。在此基础上,通过定义对象集合的覆盖和最简覆盖,给出属性偏序形式结构的粒和粒群的概念,进而通过对粒衍生出粒群的充要条件的讨论,给出了属性偏序形式结构中的知识结构,从而完成属性偏序形式结构的数学形式化描述。最后,通过具体实例展示了利用数学形式化描述构造属性偏序形式结构的过程,并揭示了该过程所体现的人类认知规律。

一种利用外层原子价态书写路易斯结构式的简便方法

本文提出了一种简便的绘制路易斯结构式方法。该方法首先构建一个符合外层原子价态的初步结构,并将分子的电荷(如存在)放置于中心原子。接下来,若中心原子的电子数未满八个,将通过转换成键电子和外层原子上的孤对电子来达到八隅体结构,此过程将自动产生形式电荷,无需额外计算。此方法不同于传统需先计算价电子总数的做法,更侧重于利用化合价来构建路易斯结构式,从而减少计算错误的可能性。

基于类C语言内存模型的复杂数据结构验证方法

对系统中操作复杂结构程序的正确性验证是保证软件高可信的重要途径,目前大多数基于高层抽象建模和程序结构拆分的方法难以满足复杂数据结构程序的验证要求。针对这一问题,论文提出基于类C语言内存模型的验证方法。首先,以内存块为基础将复杂数据结构的操作进行函数形式的定义和描述,形式化描述内存对象操作性质;其次,针对程序层定义了符合复杂结构描述的文法和语义,并基于符号化的程序逻辑进行推理。实验对嵌入式操作系统内核μC/OS-III中的复杂数据结构进行分析和自动化验证,断言描述和验证条件脚本通过了自动定理证明器的求解。

知识空间理论综述

知识空间理论是一种研究教育规律的科学方法,已取得一系列研究成果.文中旨在全面综述知识空间理论的研究工作.首先,阐述构建知识结构的方法和原则,介绍良级性的研究内容,并强调其在知识空间理论研究中的重要性,归纳总结推测关系的相关工作,并介绍问题之间、项目之间推测关系的研究方法.然后,分别从技能映射、技能函数、能力-绩效方法三方面梳理基于能力的知识空间理论的研究进展.进一步地,概述知识空间理论与概率模型、粒计算等结合的研究现状,并介绍知识空间理论在辅助学习与自适应测试方面的应用.最后,探讨上述研究中存在的关键科学问题,并提出初步的研究思路,为该领域的后续研究提供有益的参考.

范式的补充还是取代？——评塞西尔·巴尔蒙的informal

本文主要以informal书中库哈斯和巴尔蒙合作的两个作品为例,阐述informal思想中的若干重要概念。并引申出对结构技术进步的可能性,工程师和建筑师间的可能关系以及建筑学的可能发展方向等方面的反思,从而完成对informal这种以鼓励原创性为主的思想方式的批判性继承。

基于形式背景构建多分知识结构与个性化指导学习的方法

多分知识结构的提出有助于评价个体对于问题的掌握程度,而操作程序映射是构建多分知识结构的重要工具之一,操作程序映射是问题层次集到操作程序集的映射.着重考虑将操作程序映射转化为形式背景,并通过合取模型构建多分知识结构、寻找学习路径,指导个性化学习.首先,提出通过构建面向操作程序概念格求解合取操作程序映射诱导的多分知识结构的方法.其次,研究面向操作程序概念格中内涵之间的关系,给出逐步学习操作程序的路径图和个性化指导学习的方法,并给出了相应的算法.最后,选取“一元一次方程”这一章节作为知识域进行分析,验证了算法的可行性.

基于事件结构的叙事性阅读文本智能分级评测探索

叙事性阅读文本筛选对于阅读学习的有效开展有着重要作用。在事件-状态语义模型的基础上,文章从篇章层面出发,对于叙事性文本的事件结构进行了本体和应用的研究,包括定义事件结构,并归纳其特点和类型,形式化描写事件结构,以部编版语文教材中叙事型文本作样本,抽取叙事文本常用事件结构特征,以1047篇叙事性文本作为文本库,分析叙事性文本、事件结构和事件层级等特征,发掘叙事型文本相关特征在阅读活动开展过程中的分布规律,探讨其对叙事性文本分级的影响。

正装迭代法在拱梁组合结构桥梁上的应用

为快速、准确地得到拱梁组合结构桥梁施工索力,以云南省昆明市禄劝县东华桥为研究背景,采用桥梁博士V4.3有限元软件,通过正装迭代法求得合理成桥状态对应的施工索力后,用于现场施工控制,最后将实测得到的成桥索力与理论成桥索力进行对比。实践证明:采用正装迭代法具有操作简单、收敛速度快等优点,求出的施工索力用于施工张拉,所得实际成桥索力与理论成桥索力吻合度较好,达到预设的成桥内力状态,从而避免后期反复的调索过程,可有效优化施工流程、缩短施工工期和节约施工投入。

中心工作下沉:基层治理结构的重组及后果

进入新时代以来,国家资源、任务与监督密集向基层社会强力输送。为了回应基层治理的需求,基层政府出现了中心工作下沉的新变化。与中心工作制相比,中心工作下沉中的权力配置、组织结构、动员机制与考评机制等都发生了相当的变化,其结果是从科层动员机制发展成为科层动员与社会动员的复合机制。基层政府中心工作下沉的新变化,展现了新时代以来基层政府面对组织任务与组织资源张力情况下的主动调适与机制创新。基层政府希冀通过动员和整合乡村资源来回应国家政权建设的历史进程,完成国家渗透的任务。然而,中心工作下沉也导致了基层形式主义的意外后果,出现“忙而不动”式执行空转、“甩锅”式任务与责任转移、“重完成轻质量”式信息汲取扭曲。

复杂内核数据结构程序形式化验证

操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节,但是,在实际的验证工作中,操作系统内核中全局性质的不变式定义,复杂数据结构程序的形式化描述和验证仍存在很多困难.本文针对操作系统内核中满足的全局性质,在代码层以函数为单位,用全局不变式进行定义,并在不同的函数中进行形式化验证,从而证明各个函数符合操作系统内核的全局性质;针对操作系统内核中经常使用的复杂数据结构程序,本文通过扩展形状图理论,提出一种使用嵌套形状图逻辑的方法来形式化描述复杂数据结构程序,并对该方法进行了正确性证明,最终成功验证操作系统内核中关于任务创建与调度,消息队列创建与操作相关的代码.

家庭信贷与消费结构优化——基于2019CHFS家庭微观数据的实证分析

文章基于2019年中国家庭金融调查数据(CHFS),从理论和实证层面对家庭信贷偏好以及家庭消费结构优化进行分析。结果表明,风险厌恶程度和收入的负向冲击等因素使得中国家庭更偏好于非正规信贷;信贷方式对家庭消费结构优化的差异性表明,相较于非正规信贷,正规信贷在家庭恩格尔系数及高层次消费占比上的表现更为优异,同时信贷金额的增加也显著提高了家庭消费总量。进一步实证分析发现,选择正规信贷能够更大程度上促进从事生产经营、拥有农业收入的非低保家庭的消费结构优化;调节效应表明,加大生产经营信贷投入能够强化信贷方式对家庭消费结构优化的积极效应。因此,为刺激家庭提升消费总量和优化消费结构,尤其是增加低收入群体的消费能力,后续政策应着力改善家庭信贷环境。

金融集聚能否提升绿色技术创新水平?——基于环境规制与产业结构调整的门槛视角

采用我国30个省市地区2005-2019年的面板数据,通过构建面板门槛模型,解析了环境规制、产业结构调整约束下金融集聚与绿色技术创新之间的关系。研究结果表明:金融集聚与绿色技术创新均呈现出东部最高,中西部较弱的分布特征;在正式环境规制约束下,金融集聚与绿色技术创新的关系呈现出“强促进-弱促进”单门槛的特征;非正式环境规制约束下,二者具有“抑制-促进”的单门槛关系;以产业结构调整作为门槛变量时,二者存在“促进-抑制”的单门槛关系。未来政府应制定合理的正式环境规制制度,使金融集聚与绿色技术创新的关系尽快位于强促进区间内;同时,充分发挥非正式环境规制的监督作用,强化国民对企业污染行为的监督作用;并重视外资引进质量,规范外商投资行为;西部地区则可适度提高产业结构调整强度,但也应避免盲目追求产业结构的最高形态,防范落入产业空心化和实体空心化的陷阱。

带对象结构信息形式背景的概念知识发现与演化

形式概念分析是数据处理和知识发现的有力工具,然而仅利用形式概念分析中的传统方法已不能满足大数据环境的需求,这是因为大量数据不仅包括对象-属性信息,还有对象与对象之间的结构信息,因此扩展形式概念分析进行数据处理与知识发现是一个重要的研究课题.基于此,本文定义了带对象结构信息形式背景,并在形式概念的基础上引入连通性提出全局结构信息形式概念和局部结构信息形式概念(统称为结构信息形式概念),进而讨论基于结构信息形式概念的知识发现问题;由于现实中数据的动态变化及信息的传播与扩散是不可避免的,又进一步探讨了当带对象结构信息形式背景对象结构矩阵或连接矩阵发生变化时结构信息形式概念的演化规律,根据不同情况分别给出了对应的算法并对它们的时间复杂度进行分析;此外,通过实验表明了结构信息形式概念动态更新方法的可行性与有效性.

模糊形式背景下的技能层约简与前级(后级)知识结构的充要条件

模糊技能映射为构建知识结构提供一个途径,但将基本局部独立模式应用于前级(后级)知识结构中会呈现不可识别问题,因此,在模糊技能映射的前提下,文中主要解决两个问题:技能约简耗时过长、寻找前级(后级)知识结构的充要条件.首先,基于模糊技能背景,构造一对算子,通过算子确定的模糊技能概念格直接获取简单闭包空间,同时获得每个知识状态对应的最小技能熟练程度.然后,提出技能层约简的概念,利用标记技能约简对冗余技能层进行约简,并给出技能层约简算法.同时给出模糊技能映射诱导前级(后级)简单闭包空间的充分必要条件,并提供获取前级问题集和后级问题集的算法.最后,在5个UCI数据集上的对比实验验证文中算法的可行性和有效性,同时获取前级问题集和后级问题集.

凸肚体男正装的结构设计与验证

以“肚量、肚省”为切入点,分析总结出男性体型特征与肚量、肚省的关联性;归纳了全息原型法的“凸肚体”男正装结构设计思路和肚省处理方法。以“双排扣男正装大衣”为例,通过CLO-3D试衣软件、真人实验和主客观评价验证了本结构设计方法的可行性,得出了“肚量、肚省是影响正装款男装造型结构的重要因素,特别对凸肚体的塑型、视觉弱化肚子的隆起起关键作用”这一结论。本方法有效解决了凸肚体着正装常见的前领豁口、前中起吊等衣身不平衡问题,达到视觉美观的目的,其技术与造型优势可对男正装制版中的“凸肚”难题提供参考。

广义von Neumann常数与正规结构

为了进一步应用几何常数研究Banach空间的几何结构,通过引入广义von Neumann常数,给出广义von Neumann常数与广义光滑模的关系式;并利用弱收敛序列系数与广义von Neumann常数的关系得到Banach空间具有正规结构的一个充分条件;当λ小于0.5且广义von Neumann常数满足不等式条件时,蕴含Banach空间具有弱正规结构;根据广义von Neumann常数与弱正交序列系数的关系给出Banach空间具有弱正规结构的一个充分条件;最后通过一个例子给出特殊空间的广义von Neumann常数的计算式.

发动机零件的造型设计研究

发动机零件作为机械产品,它的造型往往受限于功能要求,反过来需要通过造型来传递功能诉求。文章以发动机零件的设计思路为基础,分析影响造型的各个因素,得出功能因素、人机因素、生产因素可能会影响发动机零件的造型设计,而这些设计因素又是零件造型设计的基础。因此,在设计因素影响的基础上,应用构成美学和形式美法则探究发动机零件的造型设计思路。文章结合典型的发动机零件,从支架类、箱体类、罩壳类、管路类等四种典型结构出发,进行相应的造型实践探索,以期提升发动机形象,打造具有品牌影响力的高端发动机产品。

《老子》系列论文之五:《老子》初始本的逻辑结构和义理层次

该文论证《老子》不是出关往秦应关尹之请即兴书写的格言集锦,而是体大思精的毕生著作,具有宏观而严密的逻辑结构,微观而缜密的义理层次。老子自定的《老子》上下经结构是上经《德经》“贵德”,下经《道经》“尊道”,包括“人道/天道”内涵结构和“经/经说”形式结构,是《墨子》《孟子》《庄子》《韩非子》等诸子百家代表作普遍仿效的思维范式。

GIS与空间句法的集成及空间形态结构量化分析——以南京师范大学仙林校区为例

空间句法从空间认知角度定量描述城市结构形态,GIS具有卓越的数据分析功能和高效的地理建模能力,两者的结合将有利于增强GIS空间分析能力和深化空间句法在城市空间形态结构的量化研究.从功能和数据角度探讨GIS和空间句法的集成,并以南京师范大学仙林校区为例,剖析了校园空间结构布局特征,解析了形态结构组织.

Agent组织结构设计的一种形式语义

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作.