摘要：在从传授知识向发展素养转型的新时代,以问题情境开启课堂教学之门已经成为目前数学课堂教学的必备选项与亮丽风景.新课标指出"情境创设和问题设计要有利于发展数学学科核心素养".在课堂教学中,创设的情境应该是现实的、数学的、科学的,提出的问题应该能让学生用数学眼光观察、能用数学语言表达、能用数学思维思考和数学方法解决.

摘要：以《中国计算机学科教学计划（１９９３）》（简称《９３教程》）为指导，结合《数据库系统概论》的教学实际，编制的数据库ＣＡＩ系统，概括了《数据库系统概论》课程的基本内容和习题；提出了“数据库抽象、理论和设计相关模型”；介绍了《９３教程》的有关内容；使用了基于ＳＱＬ的大型数据库实验系统；提供了试题库管理软件；实现了《９３教程》的基本要求。

摘要：以某矿建筑物群下压煤条带开采区为工程背景,对原条带开采设计进行了优化,提出了缩小留设条带煤柱,并对留设煤柱进行锚杆和巷柱的联合加固技术方法——巷柱式联合加固留设煤柱条带开采技术,并给出了锚杆和巷柱的有关设计参数。

摘要：以《计算机学科教学计划（１９９３）》为指导，结合《数据库系统概论》教学的具体情况，提出了课程的改革方案，并编制了一套教学软件，建立了一套具体的实验环境。它覆盖了《数据库系统概论》教程的所有内容及其大部分习题，整个系统配有设计方法及源程序清单，系统用ＴＵＲＢＯＣ及ＡＮＳＩＣ写成。

摘要：在胸椎管狭窄症的后路手术中．全椎板切除术是迄今最常用的术式。椎管成形技术常用于颈椎和腰椎，而在胸椎，尤其是在胸椎管狭窄症治疗中的应用研究相对较少。2003年5月-2005年3月。笔者在解剖生物力学研究的基础上。设计并采用棘突翻转回植椎管成形术治疗胸椎管狭窄症10例．效果满意．报告如下。

摘要：针对Theologou等给出的求解网络可靠度的factoring算法,分析该算法存在的冗余计算问题,给出DTN_OBDD算法。基于边排序策略的邻接终点矩阵方法,有效计算最小路集,将边失效特性引入网络可靠度分析中;基于最快路径求解公式,提高容量和时延约束下可行路径的筛选效率;构建所有可行路径的符号OBDD表示,遍历OBDD计算网络可靠度。以Python的igraph包生成的5组随机网络图为例,验证了DTN_OBDD算法的有效性,其中50个节点、201条边、状态空间为250的网络可靠度求解时间不超过80s。

摘要：以黄土丘陵沟壑区第Ⅴ副区定西市安家沟流域水土保持科技示范园区为例,在分析园区概况的基础上,介绍了园区建设思路:充分利用区位优势、试验监测设施设备、水土保持治理成果、城郊生态防护林等有利条件,遵循生态性、特色性、综合性三大建设原则,确立试验研究与监测、治理技术示范、科普教育、休闲观光四大功能,采用"一心""两轴""三片""一坡"总体布局,因地制宜,补齐短板,改进思路,进行分区措施规划设计。

摘要：随着Ad Hoc网络的应用和推广,路由协议的安全问题越来越受关注。考虑Ad Hoc网络的特点,在进行安全性设计和分析时,为了不忽略其对网络性能的影响,使用概率模型检测方法对安全路由协议ARAN进行分析,利用概率模型检验器PRISM对协议主体行为建立连续时间马尔可夫模型,对其有效性、认证性和完整性等性质进行了验证,并计算了网络性能参数。结果表明该协议虽然使包到达率、平均路径长度和平均时延等网络性能略有下降,但满足了有效性、认证性和完整性等安全性质。

摘要：食用油是人们日常生活中的必需品。为了获取更高利润,不法分子所做的食用油掺假行为已经严重侵害消费者利益并损害其身体健康。因此,开展简便、快速检测食用油掺假情况仪器设计非常有现实意义。基于电导率测量法原理,利用NE555定时器构成检测电路和STC12C5A60S2单片机构成显示电路,检测食用油电导率变化情况,快速判断食用油是否掺假以及掺假程度。结果表明该设计具有线路简单、成本低、使用方便和工作稳定可靠等特点,可用于食用油掺假的检测初筛阶段。

摘要：商标作为企业的无形资产,其价值越来越重要。商标分成率是商标价值评估的必要参数,但目前其确定方法不尽合理,且理论和实务研究尚不充分,因此亟待提出一种精确且实用的解决方法。由于商标分成率具有模糊性和易变动性,为能较准确计算其数值,故提出运用模糊综合评判法。合理设计评价指标和评语集是准确计算的关键,最后运用总分法得到评判结果。该方法统计相关领域多位专家的判断,且经模糊运算,可降低仅由评估师确定分成率的主观性,尽量做到商标价值评估的客观、公信。