复杂陈述式仿真模型的相容性分析

模型的相容性分析是复杂产品多领域建模面临的一个关键问题.研究了陈述式基于方程仿真模型的方程系统过约束或欠约束判定、检测与修正策略.首先,将方程系统表示为二部图,通过二部图分解判定模型的相容性,并分离出方程系统的过约束和欠约束部分.然后,通过检测、判定与缩减过程,自动判别出过约束或欠约束发生的大致范围,并给出修正方案.所提出的策略与算法能够显著地提高用户发现与排除过约束或欠约束问题的效率,已在多领域物理系统混合建模与仿真平台MWorks中实现.

陈述式基于方程仿真模型的约简

为解决复杂多领域连续系统的高效仿真问题,研究了陈述式基于方程仿真模型的约简策略.基于符号处理技术,提出了一种模型约简方法.该方法从方程的规范转换入手,通过消除特定形式方程缩减系统规模,将整个方程系统规划分解为一个可顺序求解的子系统序列.给出的实例表明文中约简方法效果显著.文中策略与算法已在多领域物理系统混合建模与仿真平台EMWorks中实现.

乡土景观陈述模型的多学科比较与系统化建构

景观陈述是景观规划设计的起点,是对于景观对象的各种属性、特征的说明,其作用在于帮助我们认识和理解景观。本研究尝试建构一个合理的乡土景观陈述模型,首先基于科学建模三原则提出了一般性的系统陈述模型,并据此对景观生态学、人文地理学、建筑学、美学等学科视角下的乡土景观陈述模型进行了比较分析。继而通过综合各种视角陈述模型的特点,结合风景园林学科自身的特殊性,最终从要素陈述、结构陈述、状态陈述和过程陈述4个层次,提出了适合于风景园林学科的乡土景观陈述模型。

三维陈述式约束模型的自动生成

由于缺乏有效的自动生成约束模型的方法 ,三维变量化技术的进一步发展受到制约 .通过转换边界表示和提取特征中的本质约束信息 ,自动生成三维陈述式约束模型 .以 Inte Solid2 .0为基础 ,实现了原型系统 .

面向半物理仿真的陈述式模型转换方法研究

针对半物理仿真,提出了一种由陈述式模型转换为半物理仿真模型的方法。通过分析陈述式模型与半物理仿真模型的数学形式,基于二部图对陈述式模型的数学形式进行匹配分解与代数环撕裂从而转化为半物理仿真模型所需的数学形式,并使用了离合器模型作为模型转换验证实例。陈述式模型转化思想克服了当前使用过程式建模考虑因果性、不易修改与重用的缺点,为半物理仿真提供了一种新的建模思路与手段。

国外侦查询问中增强证人回忆技术的发展及启示

回忆是侦查询问的一个基本环节。高质量的侦查乃至诉讼活动均离不开证人对案件事实准确、全面的回忆。然而,侦查人员必须面对的一个现实是:人类的记忆具有脆弱性。尽管自由回忆有利于提升证人对案件事实陈述的准确性,但是仅凭证人个人努力所回忆的信息,无法满足侦查需要。在协助证人回忆的过程中,如何巧妙给出记忆提取线索以增强记忆且避免信息污染,是提升侦查人员询问技巧的一大挑战。尽管认知询问的相关组件能够满足证人记忆“无损”增强的原则,但是,随着时间的推移,其在实践应用中的局限性也日益凸显。近年来,国外相关文献中涌现了大量关于增强证人回忆技术的前沿成果,包括模型陈述、时间线、自我管理访谈、类别聚类以及画图等。这些新技术不仅是对认知询问技术的继承、发展和有益的补充,而且还丰富和扩展了增强证人回忆技术在侦查询问中的应用场景。为此,本文总结并梳理国外在增强证人回忆方面的前沿研究成果。适当借鉴这些成果有助于丰富和完善我国侦查询问的基本理论,提升实务部门的侦查询问水平。

基于知识转换模型的科学写作探析

科学写作是将学生的科学理解和科学思维过程具体化为外在表征的过程,对学生的科学学习具有重要价值。知识转换模型作为解释学生科学写作心理过程的理论框架,有效揭示了写作促进学生学习的认知过程。与知识陈述模型相比,基于知识转换模型的科学写作更有助于促进学生生成与建构新知识,凸显学生的科学思维和科学理解。基于知识转换模型的科学写作需要教师明确科学写作目的,以合作者身份参与学生写作;引导学生设定科学写作目标,形成任务的心理表征;指导学生在科学写作的体裁与功能之间建立联系,激活问题空间;为学生设计多样化的作品读者,推动知识转换的进程;重视对学生科学写作过程的评价。

应用潜在分类泊松回归模型及EM算法研究网络购物使用次数

随着网络的兴起,网上购物在人们的生活中发挥着越来越重要的作用。网上购物以其方便快捷等特点吸引了很多购物者,但是也有一些人质疑网上购物安全性、不可触摸性等问题。什么因素影响人们对网络购物的选择?人们由于对网络购物的态度取向不同可分为多少潜在的类别?文章应用潜在分类泊松回归模型及EM算法分析大学生网上购物的陈述偏好数据,回答了以上两个问题,得到了十分有意义的结果。

自由曲面对象族研究

传统的边界表示方式导致自由曲面特征仅包含几何信息,很显然这种表达方式是很低效的。为此提出了一种有效描述自由曲面特征的新方法,该方法基于陈述式的对象族模型构建自由曲面对象族,使自由曲面具有高层次的语义信息,可以保证自由曲面特征无缝地融合到模型中去,同时满足自由曲面特征与其他特征间的约束关系。通过约束定义自由曲面特征具有的语义信息,在建模过程中功能属性被很好地维护,实现了对自由曲面特征在参数化层次上的描述,并证明了其可行性。

语言类型影响维吾尔语-汉语双语者动宾语序提取

双语者在使用语言时需要激活目标语言,抑制非目标语言。目标语言与非目标语言之间在词汇、句法等层面都存在着差异。句法表征的激活是否具有语言依赖效应?采用搭配合理性判断任务,考察熟练维吾尔语-汉语双语者在加工动宾短语时对语序结构的提取。结果表明:(1)汉语被试和维吾尔语被试在完成搭配合理性任务时均出现稳定的语序效应;(2)维吾尔语被试在提取语序信息时受语言类型影响,语序提取速度出现了语言依赖性效应,在汉语条件下优先提取了汉语的语序信息,在维吾尔语条件下优先提取了维吾尔语的语序信息。研究结果支持高熟练平衡双语者L2的语序储存于程序性系统的假设。

Application of Disaggregated Logit Modeling with Stated Preference Method in Park and Ride Behavior for Non-local Private Car Travelers in Big Events

During big events, non-local private car travelers can be divided into two types which were returning in one day and in several days. It was demonstrated that those two kinds of travelers have distinct behavior on park and ride （P＆R）, due to their different travel demand and behavior attributes. In this paper focusing on the travelers returning in several days, the travel attributes and requirements for P＆R were analyzed with stated preference survey. A P＆R choice behavior disaggregated logit model was established and calibrated based on random utility theory. The model concludes three variables, which were travel time, parking fee and comprehensive attractiveness index for suburban satellite towns comparing to urban district. The results revealed that for travelers returning in several days the primary key point is increasing the attractiveness of suburban satellite towns.