摘要：可能性测度计算树逻辑模型检测验证中存在诸多问题,例如低性能效率和高时间复杂度。针对上述问题,基于传统的模型检测标记算法,为满足高复杂性、大规模的公式标记检测,设计并实现了I-PM_CTL算法。其基本步骤如下:第一步,先利用相关可能性测度对逻辑树公式进行计算,预处理标识公共子表达式的唯一性;第二步,在充分确保模型检测空间平衡状态下设定公共子表达式与可能性测度计算树逻辑模型状态;第三步,实施验证,为可能性测度计算树逻辑公式以极大概率一次性实现验证提供了保证。经过模拟实验发现,这一种方法一方面在很大程度上减小了相关时间复杂度,另一方面还使验证性能有所提升。

摘要：轻钢门式刚架结构是单层工业厂房中一种常见的结构形式,风荷载是其结构设计的重要荷载之一.已有抗风优化研究中一般仅考虑单目标的等效静力风荷载,在多个约束条件时不能保证优化结果的准确性.笔者基于风洞试验数据库构造多目标等效静力风荷载,基于最优准则法对单榀变截面门式刚架进行抗风优化设计.分别以工字钢的腹板高度和材料总重为设计变量和优化目标,以柱顶水平位移和跨中挠度为约束条件,基于MATLAB数值平台,编制了抗风优化计算程序.研究表明,多目标等效静力风荷载能够保证约束位移的数值与随机峰值基本一致,在满足约束条件的前提下,优化设计使结构总重降低了23.2%,经济效益明显,且优化后的截面尺寸符合变截面门式刚架的力学特点.

摘要：基于3个钢筋混凝土拱式结构的粘贴纤维复合材料(FRP)加固试验,将混凝土塑性损伤模型、粘结行为、植入技术和模型变更等技术引入到非线性数值分析中,实现了混凝土损伤、FRP-混凝土界面粘贴滑移以及初始荷载等多个关键力学特性的模拟.通过加固试验及数值模拟成果的对比得出,采用截面加固方式的极限承载提高了14.47%,采用体系加固方式其极限承载提高了27.60%,即对于超静定结构,应从体系加固角度着手;开裂荷载的分析误差在7.79%以内,极限荷载的分析误差相对较小,最大仅为4.88%.结果表明,本文数值分析方法可行,能够为今后FRP加固混凝土拱式结构的研究提供依据.

摘要：领域设计作为一种新的Web软件设计思想,相对之前基于数据库驱动的开发方法,更强调了领域的概念,且架构清晰,对象职责分明,可复用性好。针对企业级Web平台中业务逻辑复杂多变、领域模型模糊等问题,以一个网上书店的领域模型为案例,提出了一种基于领域驱动设计构建Web平台的设计方案。通过对案例中领域模型的分析和设计,运用分层架构和.NET提供的实体框架,阐述了平台中层超类、接口、仓储框架、仓储工厂、仓储基类和工作单元的设计过程,为网上书店的构建及其他复杂业务逻辑的Web平台的设计提供一种通用性的软件开发框架。

摘要：洗发水瓶揭盖式瓶盖的结构比较复杂,应用Pro/E软件的塑料顾问模块对塑料件进行分析,确定合适的点浇口位置,并着重阐述了滑块斜顶抽芯机构、顶管二次脱模的设计要点和模具工作原理。应用结果表明,该模具结构动作准确、可靠,成型的塑料件质量较好,具有良好的经济效益。

摘要：在磁阀式可控电抗器控制系统中,需要对电网中的电压电流进行采样。针对目前难以实时精确测量高电压、大电流这一难题,详细介绍了电力系统中高电压采样和大电流采样的设计思想,提出了基于DSP的交流采样硬件解决方案。同时,设计了相位补偿电路和过零检测电路,并给出各电路的系统试验结果。结果表明该方案解决了磁阀式可控电抗器控制系统中电压、电流采样问题以及晶闸管触发信号的基准点选择问题。

摘要：林盘是川西地区具有重要价值的文化景观,其传统景观特色的保护模式研究关系着地区符号的保留与传承,对于区域特色发展也有一定的价值。选择成都市大邑县出阝江镇三坝乡地区尝试进行新林盘景观的规划设计研究,聚焦于将传统乡村之美与现代生产生活之便紧密结合,在景观生态学"集聚间有离析"等理论的指导下,发掘林盘景观的要素格局特征,借鉴中国古代田园的艺术意境,从规划、景观和建筑3个层次探讨了新林盘景观的营建。

摘要：为了提高认知无线Ad Hoc网络路由算法的性能,提出一种基于多层图转移概率的认知无线Ad Hoc多跳路由算法。首先,采用多层图进行认知无线Ad Hoc路由模型的构建,并设计一种多跳协议的改进形式;其次,提出一种基于概率的信道转移概率估计技术,每个SU在路由生成之前构造转移概率矩阵。基于所有者PU的ON/OFF状态,对每个信道分配一个稳定常数,提出一种新的基于转移概率路径选择的认知无线电Ad Hoc网络路由协议。实验结果表明,该算法可选择任何一对源节点和目的节点之间最稳定的路径,可有效提升网络路径生存时间、路由开销和数据包丢失率等性能指标,体现了算法的性能优势。

摘要：为研究罗非鱼源无乳链球菌溶血素(Hemolysin,Hly)对鱼体的免疫保护作用,根据已获得的无乳链球菌ZQ0910全基因组序列设计引物扩增hly基因,定向克隆于原核表达载体p ET-28a中,构建原核重组质粒p ET-28a-hly,经IPTG诱导表达后,制成亚单位疫苗免疫吉富罗非鱼,并分析疫苗的免疫保护力。结果显示,hly基因产物大小1335 bp,编码444个氨基酸,经测序与Gen Bank报道的链球菌属Hly氨基酸序列同源性可达99%。经IPTG诱导表达后,SDS-PAGE分析可见一条51.7 k D的特异条带;Western blotting分析结果说明表达的Hly蛋白能与His-Tag单抗特异性结合;制备的亚单位疫苗免疫鱼体后第14天即可检测到抗体产生,并在第28天达到峰值,抗体效价为1∶4096,免疫保护率为70%。由此证实,该亚单位疫苗有望成为预防由无乳链球菌引起的罗非鱼链球菌病的基因工程类疫苗。

摘要：信息科技的飞速发展使得以往单一的教学方式与技巧无法满足现代教育的需要,混合式创意教学法应运而生。混合式教学将传统教学与科技结合,使教学突破时间、空间与距离的限制,弥补了传统教学的缺点。探讨了混合式创意教学模式在VB程序设计课程教学中的应用,根据学科与专业构建不同的课程体系,将网络教学与课堂教学混合,教学案例与专业混合;教学评价采取多元化评测手段,从在线课程讨论、课程提问、出勤及期末考核等方面进行考核评定。