分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2018-04-12 合作期刊: 《计算机应用研究》
摘要: 不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析。广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力。为消除不透明谓词对程序恶意性判定的影响,以广义不透明谓词后趋依赖的属性为依据,结合逻辑恒定判定,提出了基于逻辑一致性的广义不透明谓词检测方法。通过静态分析提取谓词前置条件约束、后趋逻辑约束和谓词判定表达式,以相交基本块搜寻初筛谓词,并依据约束求解方法判定广义不透明谓词。构造原型系统并进行测试,结果表明该方法能精准高效地检测出恶意代码中的不透明谓词。
分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2018-05-24 合作期刊: 《计算机应用研究》
摘要: 自动编码机通过深度无监督学习能够表达数据的语义特征,但由于其隐含层节点个数难以有效确定,所处理的数据进一步用于分类时常会导致分类准确度低,稳定性弱等问题。针对这些问题,提出了一种稀疏和标签约束的半监督自动编码机(SLRAE),以实现无监督学习与监督学习的有机结合,更准确地抽取样本的本质特征。稀疏约束项针对每个隐含结点的响应添加约束条件,从而在隐含神经元数量较多的情况下仍可发现数据中潜在的结构;同时引入标签约束项,以监督学习的方式比对实际标签与期望标签,针对性地调整网络参数,进一步提高分类准确率。为验证所提方法的有效性,实验中对多个数据集进行广泛地测试,其结果表明,相对传统自动编码机(AE),稀疏自动机(SAE),以及极限学习机(ELM),SLRAE所处理的数据应用于同一分类器,能明显提高分类准确率和稳定性。
分类: 天文学 提交时间: 2023-12-13 合作期刊: 《天文学进展》
摘要: 13C(α, n)16O 反应是小质量渐近巨星分支 (asymptotic giant branch, AGB) 星 (M/M⊙ 6 3,M 和 M⊙ 分别表示 AGB 星的质量和太阳质量) 内 s 过程 (慢中子俘获过程) 的主要中子源。 在对流热脉冲间隔期间,一个储层 (即所谓的“13C 袋”) 内的 13C 在辐射条件下 (约 8 keV) 燃 烧并释放中子。到目前为止,13C 袋的物理形成过程仍远未被充分理解,因此 13C 袋的结构也 一直无法被完全确定。在后处理核合成计算中,13C 袋通常是利用观测数据通过自由的参数化来 约束。从基本原理、主要效果及局限性等方面综述了不同观测证据对 13C 袋的约束作用,最后 展望了 13C 中子源约束问题未来可能的研究方向。
分类: 物理学 >> 核物理学 提交时间: 2023-07-03
摘要: 该可控核聚变构型是一种利用正二十面体(包含对偶的正十二面体及通过康威变换得到的多面体)的20个面中点对称、12个顶点对称、以及30个棱中点对称的3种基本对称,能产生对称惯性约束、对称电场约束、以及对称磁场约束共3种对称约束用途的新构型。这3种对称约束用途在构型体现上,是在正二十面体外切一个球体,20个面中点加上12个顶点中的10个顶点共30个点与球面的径向相交点作为入射口,30个棱中点与球面的径向相交点作为出射口,在球体外接入磁约束管道配对形成30个循环管道以及在入射口与出射口内球面上设置电场及磁场分布,用于发射及回收带电粒子(电子或核子)。在这3种对称约束下,入射的带电粒子在球体中心碰撞并产生稳定的对称惯性约束核聚变区,而带电粒子在入射与出射过程中,其能量在对称电场约束与对称磁场约束作用下,做到几乎无损耗的循环利用并持续循环加速,随着输入能量不断的汇聚,球心核聚变区达到聚变条件,并实现核聚变能量的可控稳态持续输出。
分类: 物理学 >> 核物理学 提交时间: 2024-01-03
摘要: 由于非常规储层的复杂岩性,现场解释人员通常需要使用测井模拟模型提供解释的基础。在使用放射源的各种检测工具中,探测器响应可以反映介质的各种信息。蒙特卡洛方法是获取复杂环境中核测量响应的主要方法之一。然而,这需要进行广泛的随机抽样的计算过程,消耗大量资源,并且不能提供实时响应结果。因此,提出了一种新颖的快速正演计算方法(FFCM)用于在各种复杂环境中使用体积探测约束快速计算探测器响应。首先,通过蒙特卡洛模拟收集探测体积、探测计数和通量灵敏度函数(FSF),建立了FFCM所需的数据库。然后,基于摄动理论和Rytov近似,使用通量灵敏度函数方法和一组简化模型推导出探测器响应模型。根据工具结构和有效探测体积内的地层和钻孔对模型进行优化,约束环境扰动。最后,将该方法应用于中子孔隙度测井工具进行验证。在各种复杂模拟环境中,蒙特卡洛和FFCM计算孔隙度结果之间的最大相对误差为6.80%,均方根误差为0.62 p.u.在现场井应用中,使用FFCM获得的地层孔隙度模型与解释人员获得的模型一致,证明了该方法的有效性和准确性。
分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2022-05-10 合作期刊: 《计算机应用研究》
摘要: 约束多目标进化算法(constrained multi-objective evolutionary algorithms,CMOEAs)能够同时处理多个相互冲突的目标函数和约束条件,引导种群逼向可行域的最优解,受到了研究者的广泛重视。首先介绍了约束多目标优化问题(constrained multi-objective optimization problems,CMOPs)的相关定义和多目标进化算法(multi-objective evolutionary algorithms,MOEAs)的三种分类;其次,系统地分析了当前CMOEAs中约束处理机制,凝练出当前主要的四种约束处理方法;然后,从基于支配、基于指标、基于分解三个方面对CMOEAs的研究进展进行了详细综述;最后,指明了CMOEAs存在的挑战和未来研究方向。
分类: 天文学 >> 天文学 提交时间: 2023-06-07 合作期刊: 《天文学进展》
摘要: 随着航天活动的日益增多,高轨道飞行器搭载 GNSS 接收机为其提供导航服务成为新的研究热点。以地球同步轨道卫星 TTS-2 为例,分析了 TTS-2 星载 GPS 单频 C1/L1 测量数据及噪声特点。GEO 星载接收机可接收到地球未遮掩的 GPS 主瓣信号及旁瓣信号。C1/L1 噪声分布范围较大,且随高度角存在一定的相关性。采用先验动力学参数误差约束的轨道解算方法,利用不同的动力学参数约束策略进行试验。试验结果表明:星载 GPS C1/L1 数据的 GEO 卫星轨道重叠一致性精度可达到米级甚至亚米级。在约束运动状态和太阳光压参数的情况下,36 h 和72 h 弧长定轨的轨道重叠三维 RMS 误差均小于 0.65 m。仅约束太阳光压参数时,72 h 弧长定轨的轨道重叠三维 RMS 误差为 1.0 m,36 h 弧长定轨的轨道重叠三维 RMS 误差小于 1.5 m。采用先验动力学参数误差约束的轨道解算方法,合理设置动力学参数误差,可获得更优的轨道解。
分类: 天文学 >> 天文学 提交时间: 2018-07-27 合作期刊: 《天文研究与技术》
摘要: 空间探测器对X射线天体源的有效观测时间主要受到空间环境因素的制约。制约有效观测时间的主要因素包括太阳避免角,地球对源的遮挡及南大西洋异常区等;然而卫星处于一些高粒子本底区域,太阳与地球之间的光照区及视场指向接近地球时,本底水平很高而且难以确定,这些时间的数据也是难以使用的。本文利用orbitTools函数库预测轨道,利用HEAsoft下的attitude函数库计算空间环境变量,利用这些空间环境变量对源的观测时间进行估计,并通过与实际观测比较,证明本方法估计的观测时间能够比较好的与实际情况一致。
分类: 物理学 >> 普通物理:统计和量子力学,量子信息等 提交时间: 2023-06-21 合作期刊: 《应用力学学报》
摘要: 现有的屈曲约束支撑稳定性设计方法偏安全地忽略了内填混凝土和芯板的刚度贡献,导致对支撑整体稳定性的计算存在一定误差,不能准确地描述其屈曲机理。因此本研究将考虑内填混凝土和芯板的部分刚度,进行理论推导给出支撑整体稳定性的计算公式,并且拟合出了不同组合截面支撑中混凝土和芯板的刚度折减系数。然后,通过试验验证了文中所建立的有限元模型的可靠性,并进行了数值模拟,结果表明:本研究所拟合出的折减系数适用性更高,更接近支撑的实际工作状况; 本研究提出的稳定性计算公式也能够准确地预测支撑的屈曲行为,并且适用于不同组合截面的支撑。因此,考虑混凝土和芯板刚度贡献的稳定性设计方法,能够更加准确地描述屈曲约束支撑的屈曲机理。
分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2019-01-28 合作期刊: 《计算机应用研究》
摘要: 在绝对值方程Ax-|x|=b问题有解情形下,给出了求解绝对值问题的一新方法。首先建立了一等价求解绝对值问题的互补约束规划模型,进而利用新模型中的非负约束,给出了求解绝对值问题投影Barzilai-Borwein(BB)梯度算法。数值实验结果表明了方法的有效性。
分类: 数字出版 >> 新媒体 提交时间: 2023-10-08 合作期刊: 《中国传媒科技》
摘要: 人工智能持续发展的同时其技术所诱发的数据伦理和算法伦理风险成为当下热议的话题。数据伦理风险问题主要包括个人隐私安全、信息安全、数据权利边界模糊和智能鸿沟等问题;算法伦理风险问题主要包括算法偏见、算法歧视以及算法推荐隐含的负面诱导和信息茧房风险。这些伦理风险亟待成熟的约束机制进行解决,主要可以从以数据权利的界定为核心的法律法规的出台;主体责任、行业自律以及公民网络素养相结合的伦理机制的构建以及算法程序的技术创新三个维度进行探讨。
分类: 计算机科学 >> 计算机应用技术 提交时间: 2022-07-13
摘要: 报纸版面对新闻有一个价值排序合理且美观新颖的展示,可以让读者面对众多新闻,在短时间获取最具价值的讯息和浏览乐趣。这是新闻报纸在众多媒体中的特色。然而,对于排版人员而言,手动制作直观、易读、美观的报纸版面布局往往需要耗费大量的时间成本。本文结合贝叶斯网络推断和约束规划技术,提出一种数字报版面布局自动生成方法。该方法首先基于历史版面数据驱动和专家经验对数字报版面的结构和属性建立推断模型,使得新生成的版面具有历史特定风格;然后利用推断结果建立混合整数约束规划模型计算版面布局,从而显著减少模型求解空间,提高布局质量。此外,推断模型提供多种可用候选结构为生成结果提供多样性,规划模型保证报纸版面内新闻不重叠、不溢出并具有良好的对齐性能。为了训练和验证模型,本文构建并公开了一个中文版面数据集。该数据集由数字报版面图片和相应的新闻内容组成,并带有详细版面新闻属性标记。最后,进行用户研究,结果表明了版面布局自动生成方法的有效性。
分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2018-06-19 合作期刊: 《计算机应用研究》
摘要: 针对含有自由曲面的三维模型不易变形的问题,提出一种基于语义参数的三维复杂模型变形方法,旨在实现三维模型的快速设计。该方法利用变形控制点作为模型变形的基本元素,通过设置语义参数实现层次化变形:以变形控制点带动分组部件变形,以分组部件促进三维模型整体变形。首先,采用Hausdorff测距法和均值聚类法,将已分组的电动车的自由曲面替换成二次曲面;然后,根据变形控制点间及与部件顶点的关系,计算各分组部件内部和外部的约束条件;最后,编辑修改定义在变形控制点上的语义参数,实现模型自定义变形。以电动车三维模型验证实验,结果表明,本方法支持用户通过修改少量语义参数对模型变形,有效提升三维模型个性化设计的效率。
分类: 地球科学 >> 地理学 提交时间: 2025-06-20 合作期刊: 《干旱区地理》
摘要: 黄河流域作为中国重要的生态保护和经济发展区域,探究黄河流域不同干湿分区下植被变化特征对调整生态恢复以应对环境变化可能带来的威胁至关重要。基于2000—2022年黄河流域核归一化植被指数(Kernel normalized difference vegetation index,kNDVI)和关键气象驱动因子[降水量(Precipitation,PRE)、气温(Temperature,TEM)],利用多元统计方法分析了流域内不同类型干湿分区的植被动态时空格局,并采用地理探测器模型和约束效应方法分析了黄河流域植被变化的驱动因素,找出了不同干湿区域内的植被变化与气象因子响应之间的共性和区域间的差异。结果表明:(1)黄河流域植被的kNDVI呈纬向分布,其中湿润区的年均kNDVI最高(0.49);2000—2022年黄河流域84.58%的区域呈上升趋势,以干旱区(68.36%)和半干旱区(93.08%)的改善最为显著。(2)在黄河流域内降水量对植被的影响普遍强于气温,全流域尺度下两者的偏相关系数分别为0.36和0.19;在半干旱区内这一差异尤为突出,降水量和气温的偏相关系数分别达到0.43和0.22。(3)在空间分层异质性上,全流域尺度下降水量的q 值(0.5338)大于气温的q 值(0.2283);且降水量的q 值在半干旱区最高(0.4519),而气温的q 值则在半湿润区最高(0.2491)。各气象因子在不同干湿分区对植被动态变化的响应呈现出不同特征的约束线。研究结果可为流域生态保护策略的调整和制定提供重要参考,对推动黄河流域高质量发展具有重要意义。
分类: 其他 提交时间: 2025-02-12
摘要: 公众个人剂量约束是我国核设施辐射影响评价与管理的一项重要指标。本研究面向多种类型核设施并存的核基地建设需要,通过系统调研分析国内外剂量约束管理要求与实践,特别是IAEA等机构有关通用剂量约束和特定剂量约束的建议及在主要核能国家的应用,结合我国监管实际,给出了核基地0.25mSv‧a-1的剂量约束上限建议。同时,结合某核基地发展规划开展案例分析,基于各设施流出物排放与关键人群组的筛选和剂量评估,提出了多核设施剂量约束值的设定方法,最终给出合理可行的多核设施剂量约束值建议。
分类: 护理学 >> 护理学 提交时间: 2023-06-12
摘要: 目的 探讨ICU身体约束患者自我效能在社会支持和心理弹性中的作用。方法 采用目的抽样的方法,应用心理弹性量表、一般自我效能感量表以及社会支持评定量表,对2021年9月2022年4月的221例ICU身体约束患者进行问卷调查。结果 ICU身体约束患者的心理弹性得分(51.689.03)分,社会支持总分为(36.477.79)分,自我效能总分为(23.634.80)分。Pearson相关性分析显示社会支持与心理弹性呈正相关(r=0.637,P<0.001),自我效能与心理弹性呈正相关(r=0.616, P<0.001);线性回归显示主观支持、自我效能感是心理弹性最主要影响因素(P<0.001);中介效应分析显示:自我效能在社会支持和心理弹性中起部分中介作用,相对效应为38.40%。结论 ICU身体约束患者的心理弹性差,自我效能、社会支持是心理弹性的重要影响因素,应通过多元化的心理干预策略以提升该群体心理弹性。
分类: 物理学 >> 普通物理:统计和量子力学,量子信息等 提交时间: 2023-11-10 合作期刊: 《应用力学学报》
摘要: 研究了轴向力作用下受圆柱横向约束的弹性杆的屈曲和后屈曲行为。通过有限元模拟,分析了细长压杆发生正弦和螺旋屈曲的轴向临界力,提出了正弦和螺旋屈曲临界点判定方法,且与文献结果比较验证了分析的正确性。同时考察了长细比和边界条件等因素对临界力的影响。结果表明正弦屈曲临界力和螺旋屈曲临界力随杆的长细比减小而增大。杆在一定长度范围内,端部约束条件对临界屈曲载荷及模态的影响不可忽略; 当杆的长度足够长时,可以忽略边界条件对临界载荷的影响。
分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2018-05-20 合作期刊: 《计算机应用研究》
摘要: 目前多标签学习已广泛应用到很多场景中,在此类学习问题中,一个样本往往可以同时拥有多个类别标签。由于类别标签可能带有的特有属性(即类属属性)将更有助于标签分类,所以已经出现了一些基于类属属性的多标签学习算法。针对类属属性构造会导致属性空间存在冗余的问题,本文提出了一种多标签类属特征提取算法LIFT_RSM。该方法基于类属属性空间通过综合利用随机子空间模型及成对约束降维思想提取有效的特征信息,以达到提升分类性能的目的。在多个数据集上的实验结果表明:与若干经典的多标签算法相比,提出的LIFT_RSM算法能得到更好的分类效果。
分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2018-04-19 合作期刊: 《计算机应用研究》
摘要: 几何约束求解是CAD建模中的关键技术。针对求解质量不高和求解速度慢的问题,进行了研究。提出了一种鱼群算法和混沌算法相结合的几何约束求解方法。首先,将CAD模型中的几何约束关系表示为一组代数方程组;然后,利用代数方程组来构造目标函数。将几何约束求解问题转换为目标函数的优化问题。最后,使用混沌算法来改进鱼群算法以寻找目标函数的最优解。实验结果表明:该方法可以有效地解决几何约束问题。
分类: 计算机科学 >> 计算机科学的集成理论 提交时间: 2018-04-12 合作期刊: 《计算机应用研究》
摘要: 等值线图是复杂油气藏地质研究中的一类重要表示形式。针对地层数据特点,研究和分析了复杂非均质地层数据等值线绘制方法的不足,提出一种新的分区方法,实现了带断层的数据集合划分。基于Delaunay三角剖分算法,并以几何多边形为雏形,建立了带约束的三角网格模型。采用约束Delaunay三角网的拓扑结构,选用改进的反距离加权插值算法,有效地解决了断层两侧高程值问题,并结合实际应用要求在VC++与OpenSceneGraph的开发环境下,实现了非均质带断层的地层等值线的绘制。通过对国内某采油厂的实际油气储集地层数据等值线图的绘制和可视化,证明了方法的可行性和准确性。