摘要：信息产业飞速发展,芯片设计的复杂性与日俱增。在复杂的电路设计中,经常包含某些功能未知的模块,这样的电路称为部分实现电路。为了保证产品设计的正确性,对部分实现电路进行等价性验证,提出了一种基于可满足性的优化算法。首先对部分实现组合电路进行"逻辑锥"分割;其次根据匹配的逻辑锥创建Miter电路,并且使用符号模拟技术对电路中的功能未知模块进行变量约束;最后对多个Miter电路的合取范式依次进行可满足性验证。通过在包含单个未知模块的ISCAS'85基准电路以及包含若干大小相近未知模块的组合电路上得到的实验数据,表明了此算法能够较好地提高电路检错率。

摘要：采用MATLAB软件对单油楔液体动压径向轴承进行优化设计,介绍了在MATLAB环境下实现的关键技术,给出MATLAB环境中的程序设计和实现过程,并通过给出的优化实例证明了该程序的有效性和实用性。

摘要：近年来,以用户体验为中心考量产品服务和媒介价值成为心理学、认知神经科学、传播学、计算机科学等领域的一项日趋重要的交叉学科研究课题。通过元分析法,对相关研究与理论模型进行厘清与梳理。基于认知神经传播学范式,开展对媒介用户使用体验影响机制的相关研究与分析。旨在构建相关研究框架和理论模型,从逻辑技术层面对移动应用产品的用户体验问题进行系统研究。在“用户中心化”的智能媒介产品时代,结论有一定的指导和创新意义。

摘要：对双鸭山七星矿一处软质、天然级配(d max<5 cm,未经破碎加工)煤矸石燃渣,进行初步的基本试验研究。目的是初步了解原岩中含煤量较高的煤矸石燃渣,直接应用在低等级公路结构层中,以节约资源和降低工程造价的可行性。试验所用燃渣集料,原岩含煤量较高,煤矸石燃渣性状类似于煤渣,颗粒强度较低(石料质地较软)。

摘要：　　初见陈可的作品,便觉得那梦幻的甜美也是自己儿时象牙塔般的梦,当然,漂亮的小孩子似乎也在广播说着年轻人成长中的快东苦那是属于她的,也是属于匀们的关于现在和过去故事.……

摘要：目的:分析基于结构方程模型探讨直肠癌肠造口患者自我管理行为的影响因素。方法:选择2018年1月-2021年12月厦门大学附属第一医院收治的118例直肠癌肠造口患者作为研究对象,均于入院时采用肠造口患者自我管理问卷评估所有患者自我管理行为,设计一般人口学资料调查表,比较不同特征的直肠癌肠造口患者的自我管理行为评分,采用多元线性回归及结构方程模型分析直肠癌肠造口患者自我管理行为的影响因素。结果:118例直肠癌肠造口患者,自我管理行为评分60~127分,平均(93.28±7.28)分。经多元线性回归分析得到方程:Y=94.366-8.122X_(1)-4.377X_(2)-5.395X_(3)-5.358X_(4)+18.784X_(5),其中回归模型F值为13.555,R^(2)为0.377,调整后R^(2)为0.349;结果显示,受教育程度为初中及以下、家庭月收入<3000元、社会支持水平低下、心理弹性水平低下、消极应对均是直肠癌肠造口患者自我管理行为的影响因素(P<0.05)。结论:直肠癌肠造口患者自我管理行为水平处于中下水平,其中受教育程度、家庭月收入、社会支持水平、心理弹性水平、应对方式均可能是直肠癌肠造口患者自我管理行为低下的影响因素。

摘要：建筑设计与结构设计在思维方式和设计目标上存在较大差别,两个专业往往是在相互妥协中完成设计,这种模式不利于发挥结构在建筑设计中的积极作用,并有可能造成浪费。数字技术在建筑领域中的渗透使得建筑结构一体化的设计与建造在数字平台上成为可能。在2014年清华参数化设计研习班的Grasshopper班教学中,尝试使用这一数字化设计平台进行非对称折板结构的几何形态生成和力学模拟,并使用激光切割和三维打印等数字化加工技术进行构件加工,完成了一个实验性折板结构空间形态的设计和建造。本文介绍了这一实验性教学的相关技术问题,以及其背后的思考。

摘要：在光电成像系统中,振动影响系统的成像质量,其中角位移尤为严重。为了减小振动对系统成像质量的影响,应用空间机构学原理和减振理论设计由基座平台、运动平台、空间连杆机构和减振元件组成的减振机构。在减振机构中,利用矢量法和坐标变换对空间连杆机构进行数学建模,推导出减振机构的运动学模型。在运动学模型的基础上,对减振机构的两种模型进行仿真、分析其运动特性,结果表明该机构可以有效的隔离振动、抑制角位移,对系统成像质量的提高具有重要的意义。

摘要：目前,我国城市医院大量面临着改扩建,对医院建筑的设计提出了新的要求。以成都新世纪妇女儿童医院建筑的改扩建方案为例,分析实践中遇到的具体问题,提出解决新旧矛盾的方法和建筑节能的措施,对促进城市的有机更新和实现可持续发展的目标具有一定的现实意义。

摘要：目的从交互设计的原则出发,分析了交互设计的特点,旨在探讨交互技术和创新设计在家具展示中实际操作的可行性进而推广应用。全面提升家具领域的展示趣味性和观众参与度,达到移动互联网体验消费时代更为高效传递家具信息与表现家具特点的目的。方法通过举例说明交互设计在不同领域的应用和各类型优秀展示方案,对当代诸多创新型展示空间进行分析。结论将交互展示应用中符合家具展示特征的方式进行例举和方法总结,以期推动家具展示设计的科技发展和对未来展示设计实践有所启示。