摘要：文章介绍了一个嵌入式微处理器的可测性设计技术。根据嵌入式微处理器各个组成部件逻辑功能的特点,分别采用了内置自测试(BIST)、部分扫描(PartialScan)、边界扫描(BoundaryScan)等方法完成各个部件的可测性设计,并将符合IEEE1149.1的TAP控制器作为整个微处理器的测试控制器,达到了较优的可测性设计结果。

摘要：Organ-on-a-chip systems have been increasingly recognized as attractive platforms to assess toxicity and to develop new therapeutic ***,current organ-on-a-chip platforms are limited by a“single pot”design,which inevitably requires holistic analysis and limits parallel ***,we developed a digital organ-on-a-chip by combining a microwell array with cellular microspheres,which significantly increased the parallelism over traditional organ-on-a-chip for drug *** to 127 uniform liver cancer microspheres in this digital organ-on-a-chip format served as individual analytical units,allowing for analysis with high consistency and quick *** platform displayed evident anti-cancer efficacy at a concentration of 10μM for sorafenib,and had greater alignment than the“single pot”organ-on-a-chip with a previous in vivo *** addition,this digital organ-on-a-chip demonstrated the treatment efficacy of natural killer cell-derived extracellular vesicles for liver cancer at 50μg/*** successful development of this digital organ-on-a-chip platform provides high-parallelism and a low-variability analytical tool for toxicity assessment and the exploration of new anticancer modalities,thereby accelerating the joint endeavor to combat cancer.

摘要：解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.

摘要：极小不可满足子式能够为可满足性模理论(SMT)公式的不可满足的原因提供精确的解释,帮助自动化工具迅速定位错误.针对极小SMT不可满足子式的求解问题,提出了SMT公式搜索树及其3类结点的概念,并给出了不可满足子式、极小不可满足子式与3类结点之间的映射关系.基于这种映射关系,采用宽度优先的搜索策略提出了宽度优先搜索的极小SMT不可满足子式求解算法.基于业界公认的SMT Competition2007测试集进行实验的结果表明,该算法能够有效地求解极小不可满足子式.

摘要：广告宣传能够改变顾客在体验式服务中的效用,并影响服务商的相关决策。因此,通过构建排队模型研究了在广告宣传影响下垄断/双寡头市场中体验式服务商的广告强度、服务速率以及价格的最优决策。研究发现:在需求不足的垄断市场中,服务商能够通过广告宣传挖掘潜在顾客,并通过调整服务速率和价格控制系统的拥挤程度;在需求充足的垄断市场或双寡头市场中,服务商的决策制定不再受潜在市场需求的影响;在需求不足的双寡头市场中,服务商之间通过竞争将存在一个利润为0的稳定均衡点,此时服务商的策略应是放弃一定的利润来保障市场份额,并采用更强的广告宣传吸引顾客。此外,通过比较发现,服务商在垄断市场或是市场需求充足时均能获得更高的利润。同时相比于传统的不考虑广告宣传的体验式服务决策模型,本模型能帮助服务商通过广告宣传获得更高利润。

摘要：为了厘清自密实混凝土材料各组分与其工作性能、力学性能、耐久性能间的复杂耦合影响机制,近年来,机器学习方法被越来越多地应用于自密实混凝土配合比设计与优化以及性能分析方面的研究。机器学习方法具有在复杂数据集中学习数据间的内在规律或映射关系的能力,在自密实混凝土设计领域被认为是构建混凝土原材料配合比与性能间映射关系模型的一种具有广阔前景的技术手段。然而,机器学习方法由于其依赖的数据集难以满足以及算法架构的可解释性较差等因素限制,使得基于机器学习在自密实混凝土性能设计领域面临着一系列挑战。本文系统总结梳理当前机器学习在自密实混凝土各项性能设计的应用情况,重点分析数据驱动的机器学习算法应用于自密实混凝土设计领域时面临的主要技术难点:高维度与小样本数据的难题、性能多目标优化难题、模型复杂而缺乏可解释性难题;归纳总结机器学习在自密实混凝土材料性能设计领域应用的发展趋势及未来发展方向。

摘要：针对产品广义设计过程不同阶段的需求特点以及加快概念设计向详细设计的转换,提出了一种基于草图的产品三维CAD模型概念设计推送方法。首先,用户根据概念设计需求,利用基于CAD几何造型平台开发的手绘图板绘制三视草图;然后,对手绘三视草图和模型库中CAD模型投影得到的三视投影图提取特征信息,采用2. 5D球面调和描述子来表示草图特征信息;最后,利用Euclidean距离计算通过球面调和变换获得的图形特征向量之间的距离,从而实现模型之间的相似性评价,并在农业机械装备模型库中完成算法的验证。实验结果表明,该方法能够有效帮助用户快速地具象化查询意图,发掘与产品概念设计阶段意图最相符的三维模型,并将相似性设计资源推送给设计人员,进而参考、启发和扩展设计思维,实现产品概念设计的快速响应。

摘要：通过对抗冲击复合材料要求进行分析,给出了树脂基体设计中应该着重考虑的几个因素。选择乙烯基酯树脂作为抗冲击复合材料的基体树脂,通过配方设计、树脂改性、性能表征等试验方法,得出了抗冲击复合材料树脂基体的优化设计方法。研究结果表明,乙烯基酯树脂是制备抗冲击复合材料较合适的树脂基体,以它制备的玻璃纤维增强抗冲击复合材料的各项性能均能满足设计要求。

摘要：针对点焊中的定形焊点布置方案影响柔性薄板装配偏差,以及等间距焊点布置不适合所有薄板焊接情况的问题,提出一种基于支持向量回归机与粒子群优化算法的不等间距定形焊点布置优化方法。对薄板装配过程进行分析,建立了反映装配偏差与偏差源关系的装配偏差模型。以两种焊点的间距为设计参数,通过优化拉丁超立方实验设计在焊点布置设计空间获取样本方案,利用偏差模型获得样本响应。构建支持向量回归机—粒子群算法代理模型,预测得到使装配偏差最小的焊点布置最优方案。柔性薄板装配实例表明,在小样本学习情况下,与遗传算法—反向传播神经网络和响应面两种代理模型相比,该方法在模型预测准确度方面具有有效性和优越性,同时通过车身薄板实例表明了该方法的实用性。

摘要：采用工频有芯感应电炉通过有效的覆盖在大气中直接熔炼复杂铝黄铜合金。利用合金元素的特性并充分控制好加入工艺,采用将合金元素以单质形式加入的方式进行熔炼,既保证了材料的成分,又节约了生产成本,提高了生产效率。根据多元复杂铝黄铜的特点,设计并制作了长结晶器对熔体进行连续铸造,使材料的综合性能满足其使用要求。