检索结果-南通市图书馆

Support vector regression-based operational effectiveness evaluation approach to reconnaissance satellite system

Journal of Systems Engineering and Electronics 2023年第6期34卷 1626-1644页

作者： HAN Chi xiong Wei xiong minghui LIU Zhen College of Aerospace Information Space Engineering UniversityBeijing 101400China Science and Technology on Complex Electronic System Simulation Laboratory Space Engineering UniversityBeijing 101400China

As one of the most important part of weapon system of systems(WSoS),quantitative evaluation of reconnaissance satellite system(RSS)is indispensable during its construction and *** at the problem of nonlinear effectiveness evaluation under small sample conditions,we propose an evaluation method based on support vector regression(SVR)to effectively address the defects of traditional *** the performance of SVR is influenced by the penalty factor,kernel type,and other parameters deeply,the improved grey wolf optimizer(IGWO)is employed for parameter *** the proposed IGWO algorithm,the opposition-based learning strategy is adopted to increase the probability of avoiding the local optima,the mutation operator is used to escape from premature convergence and differential convergence factors are applied to increase the rate of *** experiments of 14 test functions validate the applicability of IGWO algorithm dealing with global *** index system and evaluation method are constructed based on the characteristics of *** validate the proposed IGWO-SVR evaluation method,eight benchmark data sets and combat simulation are employed to estimate the evaluation accuracy,convergence performance and computational *** to the experimental results,the proposed method outperforms several prediction based evaluation methods,verifies the superiority and effectiveness in RSS operational effectiveness evaluation.

关键词： reconnaissance satellite system(RSS) support vector regression(SVR) gray wolf optimizer opposition-based learning parameter optimization effectiveness evaluation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Large-Scale Scheduling Method for Multiple Agile Optical Satellites

引用

Computer Modeling in Engineering & Sciences 2023年第8期136卷 1143-1163页

作者： Zheng Liu Wei xiong minghui xiong Science and Technology on Complex Electronic System Simulation Laboratory Space Engineering UniversityBeijing101416China

This study investigates the scheduling problem ofmultiple agile optical satelliteswith large-scale *** problem is difficult to solve owing to the time-dependent characteristic of agile optical satellites,complex constraints,and considerable solution *** solve the problem,we propose a scheduling method based on an improved sine and cosine algorithm and a task merging *** first establish a scheduling model with task merging constraints and observation action constraints to describe the ***,an improved sine and cosine algorithm is proposed to search for the optimal solution with the maximum profit *** adaptive cosine factor and an adaptive greedy factor are adopted to improve the ***,a taskmerging method with a task reallocation mechanism is developed to improve the scheduling *** results demonstrate the superiority of the proposed algorithm over the comparison algorithms.

关键词： Multiple agile optical satellites scheduling task merging sine and cosine algorithm task reallocation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Liquid exfoliating CdS and MoS_(2) to construct 2D/2D MoS_(2)/CdS heterojunctions with significantly boosted photocatalytic H2 evolution activity

引用

Journal of Materials Science & Technology 2020年第21期56卷 179-188页

作者： minghui xiong Juntao Yan Bo Chai Guozhi Fan Guangsen Song School of Chemical and Environmental Engineering Wuhan Polytechnic UniversityWuhan 430023China

Fabrication of 2D/2D heterojunction photocatalysts have attracted more attentions due to their inherent merits involving the large contact interface,short charge migration distance and plentiful active sites,which are beneficial for the enhancement of photocatalytic ***,a series of 2D/2D MoS_(2)/Cd S type-I heterojunctions were prepared by incorporation the exfoliating of bulk CdS and MoS_(2) with postsintering *** characteristic techniques were employed to corroborate the formation of *** optimizing the 2D MoS_(2) amounts in the heterojunction,the 7 wt.%2D/2D MoS_(2)/CdS heterojunction displayed the maximal photocatalytic H2 evolution rate of 18.43 mmol h^(-1) g^(-1) under visible light irradiation in the presence of lactic acid as the sacrificial reagent,which was 6 times higher than that of pristine 2D *** on the photoelectrochemical and photoluminescence spectra tests,it could be deduced that the charge separation and transfer of 2D/2D MoS_(2)/CdS heterojunction was tremendously improved,and the recombination of photoinduced electron-hole pairs was effectively ***,the 2D MoS_(2) was used as a cocatalyst to provide the abundant active sites and lower the overpotential for H_(2) generation *** current work would offer an insight to fabricate the 2D/2D heterojunction photocatalysts for splitting H_(2)O into H_(2).

关键词： 2D/2D heterojunctions Photocatalytic H_(2)evolution Cocatalysts Charge separation and transfer

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Lao J iang and I

引用

英语学习 1996年第9期 10-13页

作者： Zhu minghui xiong Deni

Lao Jiang is twenty-seven this *** we startedcalling him Lao Jiang,he was only *** col-lege,we added the word"Lao"before all our nameswhen we addressed each other.I remember the first day I arrived at college,a freshmanfrom Shanghai.I timidly knocked at dormitory door No.322,heavily loaded with luggage of all *** I staggered towardsmy bed,utterly exhausted,several heads popped out of theirquilts,nodded to me as a way of greeting,and then disappeared

关键词： Lao J iang and I

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

On the inference rules in legal logic

引用

Social Sciences in China 2009年第3期30卷 58-74页

作者： xiong minghui Institute of Logic and Cognition Sun Yat-sen University

Inference rules are at the heart of studies of logic. Although legal logic is an applied logic, it is not a simple application of the inference rules of formal logic in the legal domain, but the outcome of a combination of the inference rules of formal logic and inference rules peculiar to the legal domain. Therefore, although legal inference rules have some features in common with the inference rules of formal logic, they also have a distinctive character. Their common features are to be found in the fact that the basic inference rules of formal logic are an indispensable part of the inference rules of legal logic, while their distinctiveness lies in the fact that legal inference rules contain a special inference rule that does not exist in formal logic, the rule of burden of proof.

关键词： legal logic inference rules rule of burden of proof

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

语用逻辑的研究路径及其发展方向

引用

中国社会科学 2020年第8期 24-46,204,205页

作者：熊明辉教育部人文社会科学重点研究基地中山大学逻辑与认知研究所广州510275

语用逻辑属于逻辑学与语言学的交叉研究领域,其演进过程可概括为“两进路”“三方案”和“四阶段”。“两进路”分别是规范描述型的趋语用化进路和描述规范型的去语用化进路;“三方案”是指零语用的演绎逻辑方案、准语用的归纳逻辑方案... 详细信息

语用逻辑属于逻辑学与语言学的交叉研究领域,其演进过程可概括为“两进路”“三方案”和“四阶段”。“两进路”分别是规范描述型的趋语用化进路和描述规范型的去语用化进路;“三方案”是指零语用的演绎逻辑方案、准语用的归纳逻辑方案和语用化的非形式逻辑方案;“四阶段”是指“语用开端”“去语用化”“准语用化”和“语用回归”四个阶段。迄今为止,语用逻辑学的两条研究进路似乎一直在互不理解地独立发展着,其核心问题即是如何处理语用问题。因此,语用逻辑的深度拓展需要融合两条传统研究进路,开辟出一个新的发展方向。

关键词：语用逻辑去语用化进路趋语用化进路语用问题

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

论证评价的非形式逻辑模型及其理论困境

引用

学术研究 2007年第9期 73-79页

作者：熊明辉中山大学逻辑与认知研究所

论证有两种类型:一是指作为结果的论证,二是指作为过程的论证。哈贝马斯把前者称为"论证",后者称为"论辩"。然而,20世纪上半叶,论证结构被理想化了。数学证明被人们当作成功论证的范式,论证完全被从自然语言的语境中抽象出来,论证研究... 详细信息

论证有两种类型:一是指作为结果的论证,二是指作为过程的论证。哈贝马斯把前者称为"论证",后者称为"论辩"。然而,20世纪上半叶,论证结构被理想化了。数学证明被人们当作成功论证的范式,论证完全被从自然语言的语境中抽象出来,论证研究者们主要关注的是作为结果的论证。事实上,从20世纪40年代开始,斯特劳森、澳斯汀、塞尔等哲学家就开始关注论证评价的语用要素。遗憾的是,他们的工作对蒙太古及其追随者们发展起来的形式语义学影响极小。基于非形式逻辑的论证评价被宣称为针对日常生活中真实论证的分析评价模型,但在这个模型中,论证仍然被当作结果而非过程来处理。从这个意义上讲,非形式逻辑对真实论证的处理不是成功的。

关键词：论证论辩论证结构数学证明非形式逻辑

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

法律信息学大要

引用

山东社会科学 2021年第9期 100-109,117页

作者：熊明辉浙江大学光华法学院浙江杭州310008 中山大学逻辑与认知研究所广东广州510275

法律信息学属于计算机科学与法学的交叉领域,探讨的是法律与科学、技术的融合问题,研究对象是法律人工智能。作为信息学的分支,法律信息学通常会被追溯到美国法律逻辑学家洛文杰1949年提出的"法律计量学",其目标是利用计算机对法律进行... 详细信息

法律信息学属于计算机科学与法学的交叉领域,探讨的是法律与科学、技术的融合问题,研究对象是法律人工智能。作为信息学的分支,法律信息学通常会被追溯到美国法律逻辑学家洛文杰1949年提出的"法律计量学",其目标是利用计算机对法律进行定量分析。洛文杰的研究是站在莱布尼兹和伯努利两位巨人肩上的:前者首创性地从逻辑出发探讨含混法律情形,提出了法律公理化体系之梦;后者开启了从概率论视角对法律问题进行定量分析的先河。有鉴于此,可以把法律信息学的研究路径概括为两条:一是莱布尼兹-洛文杰路径,二是伯努利-洛文杰路径。正如"法阳图"所示,两条路径深度融合以臻和谐统一,应当是法律信息学未来的发展方向。

关键词：法律信息学法律逻辑法律计量学法阳图

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

论直言推理中存在预设的合理性

引用

学术研究 2010年第12期 10-15页

作者：熊明辉中山大学逻辑与认知研究所教授、博士生导师广东广州510275

存在预设是传统逻辑学家在评价直言命题推理时通常都必须考虑的基本问题。所谓存在预设即是指假定直言命题的主项或谓项所表达的类是一个非空集合,或者说,主项或谓项所指示的类不能是空集。如果取消了这一假定,在传统逻辑中被视为演绎... 详细信息

存在预设是传统逻辑学家在评价直言命题推理时通常都必须考虑的基本问题。所谓存在预设即是指假定直言命题的主项或谓项所表达的类是一个非空集合,或者说,主项或谓项所指示的类不能是空集。如果取消了这一假定,在传统逻辑中被视为演绎有效的某些直言推理就不再有效。我们给出了一个从现代逻辑角度来为传统逻辑中存在预设合理性的逻辑辩护的框架,不仅把存在预设问题从对当关系推理扩展到命题变形推理和三段论,而且从主项存在预设扩展到谓项存在预设。

关键词：存在预设传统逻辑现代逻辑集合

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

从法律计量学到法律信息学——法律人工智能70年(1949-2019)

引用

自然辩证法通讯 2020年第6期42卷 1-9页

作者：熊明辉中国政法大学“2011计划”司法文明协同创新中心北京100088 中山大学逻辑与认知研究所、哲学系广东广州510275

法律人工智能是法律信息学的研究对象,关注的是信息技术在法律中的运用,其思想渊源最早通常都追溯到1949年洛文杰提出的"法律计量学"想法。作为一个学科,法律人工智能形成于20世纪80年代末和90年代初,其标志是国际法律人工智能系列学术... 详细信息

法律人工智能是法律信息学的研究对象,关注的是信息技术在法律中的运用,其思想渊源最早通常都追溯到1949年洛文杰提出的"法律计量学"想法。作为一个学科,法律人工智能形成于20世纪80年代末和90年代初,其标志是国际法律人工智能系列学术大会的出现(自1987年起)、国际法律人工智能协会的成立(1991年)和《法律人工智能》杂志的创刊(1992年)。回眸法律人工智能这70年的发展史,她经历了一个从法律计量学到法律信息学的发展历程。

关键词：法律人工智能法律计量学法律信息学

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：