一个非形式的归纳支持句法系统——与刘壮虎先生商榷

本文致力于解决非实质相似(不同类型)假设归纳支持的可比性问题。首先,本文分析了刘壮虎提出的VIL系统,指出由于语义、表达能力、相关变量方法三方面的困难,VIL系统是不恰当的、不完备的,因而无法解决上述问题。其次,本文重新表述了J.Cohen归纳支持理论的基本概念和相关变量方法,在此基础上指出J.Cohen的归纳支持句法同样是不完备、不恰当的。再次,本文吸取Cohen理论中的合理部分——相关变量方法,纠正了J.Cohen对上述句法中有关原理的证明错误,提出和证明了六条新的原理,构造了归纳支持句法非形式系统,克服了Cohen理论的困难,为解决上述问题提供了可行的方案。最后,本文指出;对归纳支持的逻辑结构的研究有可能导致全新的逻辑系统。     

自动稳另运算放大器另点设置方法对于积分工作状态下输出电压游动的影响

本文就自动稳另运算放大器另点设置方法对在积分工作状态下输出电压漂移的影响 给出了理论分析及实验结果。并且提出了选择另点设置方法的若干原则,从而可以减少 放大器的积分游动。     

针织服装原型与结构设计特点研究

针织面料独特的服用性能使其与机织面料服装在样板设计上有很大的差别,本文通过立体裁剪的方法研究了针织面料贴体原型,并在此基础上对针织服装结构设计特点进行了讨论。     

果上叶中白杨素的含量测定

目的建立果上叶(bulbophyllum odoratissimum,Lindl)中白杨素(chrysin)的含量测定方法。方法原药材经过提取黄酮类有效成分、硅胶柱分离初步纯化后采用高效液相色谱法分析,以Agilent Eclipse XDB-C 18(4.6 mm×250 mm,5μm)为色谱柱,流动相为乙腈-0.1%磷酸水溶液(30∶70),流速为1.0 mL/min,检测波长为220 nm;进样体积为10μL。结果白杨素在测定浓度为10～100μg/mL范围内与峰面积呈良好的线性关系(r=0.998 9),平均回收率为99.06%,相对标准偏差(RSD)为0.7%,n=6。结论该法操作简便、准确、灵敏,可用于果上叶的白杨素质量控制。     

求解不可压Navier-Stokes方程的三阶精度投影方法

在数值模拟不可压缩流动中,投影方法得到了越来越广泛的应用,一般认为,目前的投影方法在时间方向上仅仅停留在二阶精度.该文通过分析发现,压力更新公式在高阶投影方法的构造中具有非常重要的作用,它不仅影响压力的精度,同时还影响格式的稳定性.在此基础上结合相容的压力更新公式,提出了三阶精度的投影方法.正则模态分析的结果表明,该文提出的投影方法速度具有三阶精度.当采用相容的压力更新公式时,压力也具有三阶精度,而且格式是稳定的; 而采用传统压力更新公式,压力在边界附近只有二阶精度,且格式不稳定.数值结果验证了上述结论.     

液一液旋流分离器级效率曲线求解的新方法

根据级效率、粒度分布和分离效率之间的关系,提出了一种直接测定液一液旋流器级效率曲线的新方法。首先测出油滴在水中的粒度分布,并将其拟合为解析函数;然后用多项式拟合级效率曲线,根据实测的分流比和总效率等数据,求出多项式中的待定系数,即可得到比较精确的级效率曲线。该方法经济实用,适用范围广。     

混凝土材性对混凝土结构耐久性影响分析

钢筋混凝土结构的耐久性是一个十分重要的问题,文章从混凝土自身的材料性质出发,分别分析了水灰比、水泥品种和数量、氯离子含量以及碱骨料的含量对混凝土结构耐久性影响,并提出一些控制措施.     

是时候禁食野味了这些可怕病毒都来自野生动物

正如果拒绝野味成为每一个人的认知常识和记忆符号,深深刻在人们心中,那将不仅是经历过不幸之后人们的万幸,也是各种野生动物之大幸。"初步从流行病学的角度进行分析,此次病毒通过野生动物传到人的可能性是比较大的。"钟南山院士在就新型冠状病毒来源接受媒体采访时的回答,证实了部分人的猜想。溯其源头,最初的感染者都来自武汉市一个兼卖各种野味的海鲜市场,一张网传的武汉某市场野味     

中国传统发酵食品研究现状及前沿应用技术展望

通过剖析中国传统发酵食品的种类和研究现状,结合中国传统发酵食品生产过程,包括发酵工艺、复杂环境、混菌体系、感官评定等技术特点,进一步挖掘中国传统发酵食品的前沿应用技术,如人工感知技术的应用、发酵食品微生物新技术的应用、发酵食品感知新技术的应用等。探讨将基因工程、合成生物学、分子生物学、神经生物学等前沿生物技术应用于中国传统发酵食品的生产中,通过对微生物的筛选与改造使发酵过程更智能、可控。并基于人体感官及大数据,建立感知新技术(如基于神经生物学的发酵调控、基于大数据的风味网络技术等),进而从风味、营养、安全、稳定性等方面促使中国传统发酵产品更美味、更健康、更安全。未来,应以改善中国传统发酵食品为抓手,进一步加速开发发酵食品的关键共性技术、现代工程技术、前沿引领技术和颠覆性技术,推动我国整体食品发酵产业的创新式发展,引领世界食品发酵产业的发展迭代。     

基于最小距离乘积K-eans 算法的改进

针对传统K-eans 算法因初始聚类中心的随机性而导致聚类结果产生很大的波动性问题, 提出一种基于最小距离乘积聚类算法CAMDP(Clustering Algorithm based on Min-Distance Product), 利用数次抽样技术, 在得到的聚类中心集合上继续使用最小乘积法寻找最佳的初始聚类中心, 较大程度减少了K-eans聚类算法对初值选取的随机性。实验结果表明: 改进后的K-eans算法既考虑了网络结构的拓扑信息, 又考虑了节点的属性特征, 为社区划分提供了有力的决策支持。