一种基于谓词逻辑的分类规则约简方法

利用各种分类规则挖掘方法,提取出的分类规则集中,存在许多的冗余规则,从而降低了分类效率。采用谓词公式描述分类规则,给出了一种分类规则集约简方法。该方法利用谓词公式中的逻辑推理,对分类规则集进行约简,消除了冗余规则。采用恒星光谱数据,实验验证该方法在保证分类规则集的分类能力不变的前提下,有效地提高了分类的效率。     

星图上的一类非线性Caputo序列分数阶微分方程边值问题解的存在性

研究了一类定义在由3个节点和两条边构成的星图上的非线性Caputo类型的序列分数阶微分方程边值问题(boundary value problem, BVP)解的存在性。通过变量变换,将所研究的带混合边界条件具有不同定义域的分数阶微分方程组转化为等价的具有相同定义域的带同等边界条件的微分方程组。然后借助Schaefer和Schauder不动点定理得到了边值问题解存在的充分条件,借助Banach不动点定理得到了边值问题解存在且唯一的充分条件。     

基于模糊决策的快速星图识别

空间碎片问题日益严重, 需要对其进行常态化监测。光学观测作为重要的监测手段, 需要依靠快速的光学图像处理技术, 采用天文定位方法得到空间碎片的赤经-赤纬测量信息。星图识别是天文定位的关键步骤, 直接影响着图像处理的速度和结果精度。本文提出了一种改进的基于模糊决策的快速星图识别方法, 在保持快速处理的情况下提高了星表匹配的准确性。利用新疆南山站25 cm望远镜的图像对该方法进行了测试, 取得了良好的效果, 证明了算法的有效性和稳定性。     

双繁星Wiener指标的极值

一个连通的无圈分子图（树）称为双繁星，如果删去其所有悬挂点后，得到的分子图是双星树。主要考虑双繁星的Wiener指标的极值问题，完全刻画了具有固定顶点数的双繁星的最小Wiener指标。     

脉冲星发现55年：中国天眼展望

 脉冲星的发现是人类认识宇宙的重要里程碑之一。介绍了脉冲星自发现至今55年来的研究进展，包括引力波与广义相对论的验证、毫秒脉冲星、脉冲星周期跃变、脉冲星射电辐射效率、快速射电暴与河外脉冲星等方面。展望了中国天眼（FAST）未来发现新的特殊类型脉冲星的潜力，如黑洞脉冲星系统/亚毫秒脉冲星/新型双脉冲星系统，依此实施更高精度验证引力波实验；利用FAST的高灵敏度、高精度研究脉冲星辐射的精细结构，深入了解其物理机制。     

政府引导基金改善科技创新企业经营情况的研究基于科创板上市公司的实证分析

近年来，政府引导基金逐渐成为财政支持高新技术产业发展的主要方式，用于改善科技创新企业早期经营情况。为评估国内政府引导基金改善科技创新企业经营绩效及信息不对称问题的情况，本研究对2019年7月22日至2021年7月21日在科创板上市的311家公司采用均值比较分析、多元回归分析法进行实证检验，结果显示：（1）对于偿债能力及盈利能力，有政府引导基金参与的企业的财务指标表现不及无政府引导基金参与的企业；（2）政府引导基金的参与没有改善企业与承销商之间的信息不对称问题，但改善了企业内部与外部投资者之间的信息不对称问题。