0.2K^300K温区氦-3的p-h和T-s图

基于最新的德拜模型氦-3状态方程、氦-3饱和曲线特征方程和熔化曲线特征方程编写了氦-3热物性计算程序。在大量热物性的计算数据的基础上绘制了氦-3在0.2 K^300 K,0.000 1MPa^30 MPa范围内的p-h图和T-s图。与先前基于实验数据绘制的0.2 K^20 K温区氦-3的p-h图和T-s图相比,该图的绘制是建立在热力学理论计算的基础之上,适用温区得到了拓展,随机误差一般在2%以内。

基于交互车辆轨迹预测的自动驾驶车辆轨迹规划

针对城市道路等复杂行车场景,提出了一种基于交互车辆轨迹预测的自动驾驶车辆轨迹规划方法,将高维度的轨迹规划解耦为低维度的路径规划和速度规划。首先,采用五次多项式曲线和碰撞剩余时间规划车辆行驶路径;其次,在社会生成对抗网络Social-GAN的基础上结合车辆空间影响和注意力机制对交互车辆进行轨迹预测;然后,结合主车规划路径、交互车辆预测轨迹及碰撞判定模型得到主车S-T图,采用动态规划和数值优化方法求解S-T图,从而得到满足车辆动力学约束的安全、舒适最优速度曲线;最后,搭建PreScan-CarSim-MATLAB&Simulink-Python联合仿真模型进行实验验证。仿真结果表明,提出的轨迹规划方法能够在对交互车辆有效避撞的前提下,保证车辆行驶的舒适性和高效性。

有机朗肯循环系统回收低温余热的优势

当前国内传统余热发电系统都是利用水蒸气的朗肯循环。举例分析了目前我国低温余热回收状况,进而通过和传统水蒸气余热发电系统的对比,阐述了有机朗肯循环(ORC)在回收低温余热领域的优势以及国内外实际应用情况。最后提出了对于国内发展ORC余热发电系统的建议。

二部图的[r,s,t]-着色

给出了二部图G的[r,s,t]-色数的界及它达到下界时的条件,讨论了星作为特殊二部图的[r,s,t]-色数,得到的结果为若G是二部图,v1,v2∈VΔ,v1v2E(G),u∈V,■u1∈NG(u),使得dG(u1)=1,且s≥2t,r≤t,则r,χs,t(G)=(Δ-1)s+1;若G是二部图,且r≥(Δ-1)s+2t,则r,χs,t(G)=r+1;若G是二部图,且(Δ-1)s+t<r≤(Δ-1)s+2t,则r,χs,t(G)≤(Δ-1)s+2t+1;若G是二部图,则rΔ+1≤r,χr,r(G)≤r(Δ+1)+1。

2-连通[5,3]-图中的Hamilton圈

如果G中任意s个点的导出子图中至少含有t条边,则称图G为[s,t]-图.证明了若G是顶点数不小于8且δ(G)≥3的2-连通[5,3]-图,则G含有Hamilton圈.

任意循环过程热机效率的极值研究

根据卡诺定理给出了热机的循环效率极大值问题。根据P-V图、T-S图、热力学第二定律,对任意循环过程的热机效率极大值问题进行了研究。通过P-V图对循环过程的分析,T-S图积分法、外切法、分解法对循环过程的分析,热力学第二定律对循环过程的分析,得出了任意循环过程热机效率以卡诺循环的热机效率为最大极限值的结论。

连通[5,3]-图的最长路(圈)

如果G中任意s个点的导出子图中至少含有t条边,则称G为[s,t]图.文中证明了:阶数不小于6的连通[5,3]图的最长路的长度不小于n-2,且路长的界是紧的,其最长圈的长度可任意小.

[s,t]-图泛圈性的一个充分条件

如果图G中任意s个点的导出子图至少含有t条边,则称图G为[s,t]-图。设G是2-连通[4,2]-图,且|G|≥7,G是泛圈图。

中国科技评价研究热点述评

构建高效规范的科技评价体系是我国科技治理体系和治理能力现代化的重要标志。以中国知网数据库2017—2019年科技评价领域的期刊论文为对象,分析近年来的研究热点分布及演化特征、主要研究机构及合作关系。研究发现:我国科技评价领域的研究热点包括高质量科技成果评价、学科评估、绩效评价、多元化评价方法等,符合国家科技评价改革方向;领域宽泛但缺少统一的学术语言和共同的认知理念,给学术研究和评价实践带来挑战;对评价方法的探索已成为主要研究方向,定量分析、大数据分析以及针对"分类评价""破四唯"等改革导向的分析已成趋势;研究机构以高校为主,学术研究与实践工作存在一定脱节。对未来我国科技评价体系的改革提出四点建议,包括坚持政策引导、建立行业共识、加强方法探索、促进研用结合等。

关于Ramsey图:一个递归型查找图中所有给定元素个数独立集的算法

改进了作者在文献〔1〕中给出的算法 ,给出一个速度较快的新算法 ,对一个可能的 ( s,t,n) -Ramsey图 ,该算法可以找出其中所有给定元素个数的独立集 ,进而可以检验该图是否是一个 ( s,t,n) -Ramsey图 .

扇图与轮图的[r,s,t]-着色

A.Kemnitz和M.Marangio提出了[r,s,t]-着色的概念,推广了正常的点着色、边着色和全着色。现在讨论当r,s,t满足一定条件时的扇图和轮图的[r,s,t]-色数。

2-连通[4,2]-图中的圈

如果图G中任意s个点的导出子图至少含有t条边,则称图G为[s,t]-图.设是2-连通[4,2]-图,C是G中满足|V(C)|<|V(G)|的任一圈,则或者G中有(|C|+1)-圈,或者G同构于K2,3,K1,1,3,F1,F2,F3,F4,F5之一.

基于知识图谱的科技创新指标自适应计算方法研究

从科技决策实践来看,一方面多维度的创新理论为决策提供了多元化的理论支撑,另一方面科技创新数据可获得性的不断提高使决策呈现出了数据驱动的特点,这直接推动了面向循证决策的数据分析方法研究。本研究从知识组织的视角,构建了一种面向科技创新决策的知识图谱,实现科技创新分析三种要素,即以指标形式体现的理论,作为输入的数据以及作为输出的可视化之间的关联。该知识图谱的数据模式中定义了指标层、数据层和可视化层的类与属性,在此基础上应用知识推理机制建立三者之间的关联,从而有效支撑决策过程中科技创新指标的自适应计算。基于GII和MSTI指标体系的实例化应用,证明了这种方法在科技创新监测评估场景中的可行性与有效性。

科技论文排版方式及规范执行研究

为提高作者对科技论文的排版水平及科技期刊的整体编排质量,给出了科技论文中几大要素,如表格、插图、公式等的具体编排方法,使科技论文及期刊的编排更加规范、美观。

[4,2]-图的圈可扩性

如果图G的任意s个点的导出子图中至少含有t条边,则称图G为[s,t]-图。证明:顶点数≥3的连通、局部连通[4,2]-图是完全圈可扩的或者同构于K2∨K3。

蕴含K_(1,1,3)的正可图序列的最小度和

Gould R J等人考虑了下述经典Turan型极值问题的变形:对于给定的图H,确定最小的正偶数σ(H,n),使得对于每一个n项正可图序列π=(d1,d2,…,dn),当σ(π)=d1+d2+…+dn≥σ(H,n)时,π有一个实现G以H作为子图.本文完全确定了σ(K1,1,3,n)之值,其中Kr,s,t是r×s×t完全三部图.

连通、局部连通[4，1]-图的圈可扩性

如果图G中任意s个顶点的导出子图中至少含有t条边，则称G为[s，t]-图．笔者证明：如果G是连通、局部连通[4，1]-图，则G是完全圈可扩的或者G属于图类F（Kn1，Kn2，Kn3，K2）．

蕴含K_(r,s,t)可图序列的一个极值问题

Gou ld,Jacobson和Lehe l考虑了下述经典Turán型极值问题的一个变形:对于给定的图H,确定最小的偶数σ(H,n),使得每一个n项可图序列π=(d1,d2,…,dn),当σ(π)=d1+d2+…+dn≥σ(H,n)时,π都有一个实现G包含H作为子图.本文确定了σ(K1,2,2,n),8≥n≥5,及当n≥6时,σ(K2,2,2,n)之值,其中Kr,s,t是r×s×t完全三部图.

两类G_t^s(a,b;c,d)图的着色

在综述国内外关于广义多边形树Gst(a,b;c,d)着色研究的基础上,对一些广义多边形树Gst(a,b;c,d)(s+t=2)组成的图类2ξ(a,b;c,d)的着色、色唯一和色等价类等相关问题进行了研究,得到了两类特殊图2ξ(m,m;m,m)(m≥2)和2ξ(a,a;b,b)(a≠b)且min{a,b}≥2是两个色等价类的结论.

热机效率的最大值证明

卡诺定理给出了热机的循环效率极大值问题.由P-V图、T-S图、热力学第二定律出发,从不同的角度,采用不同的方法,对任意循环过程的热机效率极大值问题进行了研究,证明了任意循环过程热机效率以卡诺循环的热机效率为最大极限值的结论.