Integrating eye-movement analysis and the semantic differential method to analyze the visual effect of a traditional commercial block in Hefei,China

Eye-movement analysis was adopted to evaluate the visual perception of Chinese traditional commercial blocks, and the Chenghuangmiao block in Hefei, China, was selected as a typical case. Eye-movement data from 40 respondents viewing 14 sample pictures were recorded. The spatial elements of the sample pictures, including landmarks and commercial brands, were further extracted to analyze the visual characteristics of spatial elements and the factors that affect the respondents’ perceptions of those elements. Then, the semantic differential method was used to analyze the relationship between visual preferences and psychological perceptions of spatial elements. Seventeen pairs of opposing adjectives were selected to score the intrinsic properties and visitors’ feelings of spaces. The software SPSS 22.0 was used to analyze these data. Results showed that distinctive spatial elements, such as street corridors, Ma Tau Walls, and various landmarks, were the most visually attractive. In addition, the location of a given element within a picture was an important factor affecting eye movements. On this basis, strategies for improving spatial-visual effects are proposed. The strategies include emphasizing the visual characteristics of different spatial elements, considering the overall layout of spatial elements, and creating diversified spaces based on different spatial categories.     

节理岩体圆形洞室岩爆过程的离散元分析与模拟

采用刚体离散单元法对节理岩体圆形洞室的岩爆过程进行了数值分析与模拟,并与有限元的数值分析结果,岩爆现场实测结果结果进行比较,相当一致。说明采用离散单元法对节理岩体洞室岩爆过程进行数值分析和数值模拟是可行的。     

钢梁动力响应问题的半解析方法

以卷积变分原理为基础,提出求解钢梁动力响应的一种新方法,即空间域内做有限元离散,而时域取级数的方法。该方法可以克服现有方法的缺点,并综合了它们的优点。最后的算倒说明了该方法可得到满意的结果。     

智能合约的时间约束模式及其形式化验证

智能合约是一套以数字形式定义的承诺.通过智能合约可以大大减少协议制定的中间环节, 提高协议制定的效率.区块链技术为智能合约的执行提供了可信平台.随着区块链应用的拓广与深入, 智能合约的作用必然越来越突出, 智能合约的可靠性问题也将更加突显.以提高智能合约可靠性为目的的研究日益得到重视, 但尚未有人对智能合约的时间性质可能引起的可靠性问题进行过系统的研究.本文通过分析典型智能合约, 对智能合约时间约束的不同表现形式进行梳理, 提炼出相应的时间约束模式并对其进行形式化; 定义Solidity智能合约到时间自动机的转换规则并实现其到实时模型检测工具UPPAAL入口模型的自动转换; 再利用UPPAAL验证合约的时间相关性质.最后对两个实际合约进行实例研究, 结果表明本文所提炼模式的普遍性以及本文所提出形式化验证方案的可行性和有效性.     

水平分层大地电导率对倾斜通道LEMP 场影响研究

为了得到水平分层条件下,放电通道倾斜角度、大地电导率以及分层土壤厚度对倾斜通道雷电电磁脉冲(LEMP)场的影响规律,在差分条件下对三维直角坐标系的倾斜放电通道加源方程进行了推导,在此基础上利用时域有限差分(FDTD)法对倾斜通道雷电电磁场进行了建模。研究结果表明,当放电通道倾斜角度改变时,雷电电磁场峰值会随着倾斜角度的增加而出现明显的上升,同时观测点与雷击点之间的距离越大倾斜角度对电磁场的影响越明显。当电导率发生改变时,上层电导率主要影响电磁场的峰值,而底层土壤电导率主要影响电磁场的下降沿陡度和波尾幅值,对电磁场峰值影响较小,基本可以忽略。此外,电场波形的下降沿陡度随土壤上层电导率的减小而增加,随下层电导率的减小而降低。当上层土壤厚度改变时,在影响深度范围内电场波尾幅值会随着上层厚度的增加而增加,但电磁场峰值基本不受影响,而且随着水平距离的增加表层土壤的影响深度在不断加大。     

改进综合定量法下的投标报价技巧研究

本文的研究成果是提出了改进综合定量法下的报价方法,目的在于为施工企业提供一种新的报价技巧和该方法的数学模型.同时也可促进招标人高度重视投标企业的综合素质和技术标的评分,从而进一步推动招投标市场的健康发展.     

一种新型的次同步扭振测量方法

提出一种基于交流励磁机三相电压信号测量扭振瞬时转速的方法,讨论了扭振测量方法的动态特性,利用三相电压的对称关系将电压取样信号3倍频,使测量方法具有较好的动态性能。对因三相电枢绕组位置不对称引起的误差进行了讨论,并给出了校正方法。所提出的扭振测量方法无需加装转速敏感元件,便于实现,且对转子胀差和横向振动的影响不敏感。     

管道裂纹涡流检测线圈阻抗信号的快速仿真

使用放置式线圈对管道进行涡流检测,不同走向的裂纹可以获得相同的检测灵敏度。在对这类问题进行数值模拟时,由于线圈在无缺陷管壁中产生的场不存在解析解,难度很大。当管道半径远大于线圈尺寸时,管壁可看作平板导体,问题得到简化。如果管道半径不是远大于线圈尺寸,可以通过对平板模型的修正获得比较准确的数值仿真结果。     

内燃机特性曲线的数学拟合方法

以四种柴油机扭矩试验曲线[1]为例,介绍了可以根据试验所测定的数据曲线推导其参数间数学近似表达式的对数校直法的基本原理和计算程序。