德沃金的法律完全性命题如何可能——从形式系统到社会系统

本文以系统论为视角,通过对法律形式主义者和德沃金的法律完全性命题及其背后的理论模型的考察,揭示出,基于哥德尔的不完全性定理,建立在逻辑形式系统模型之上的法律完全性主张不能成立;相反,若以社会系统为模型重新审视德沃金的法律完全性命题,则该命题的成立是可以得到保证的。而由形式系统向社会系统的模型转换,则为法律完全性命题的可能性论证提供了一个新的路径。     

再议网络图的逻辑同构变换

图对同一个逻辑问题可有不同的表达方式，在必要时需进行逻辑同构变换＾［１］。本文对“节点型网络向箭线型网络的逻辑风构变换”的研究进行了补充，增加了三种情况的图开有子模，进一步谁了逐节生长法的通用性。同时，提出了箭线型网络向节点型网络逆向变换的算法；逐线收缩法。     

词汇表

人工智能(AI) 专门为了开发和应用计算途径于智力行为的一门学科。亦称机器智力或启发性程序设计。 原子(Atom) 一个个体,逻辑中一个不能再分解成其它命题的命题。 黑板方法(Blackboard aPProach) 一种解问题的方法,其中各系统元素通过一个称为“黑板”的公用工作数据存贮互相通讯。     

对康德判断理论的阐释与辩护——兼论康德先天综合判断的理论系统

康德通过主谓词之间的包含关系来区分分析判断和综合判断,并将先天与必然,后天与偶然严格地一一对应起来。康德在对先天与后天,分析与综合进行排列组合之后,提出了先天综合判断,并且认为存在着三种知识门类的先天综合判断(命题),即数学的,自然科学的以及形而上学的先天综合判断,以此构建了其整个理论系统。一些分析哲学家直接反驳康德的判断理论。蒯因认为在分析判断与综合判断之间根本不存在着严格的区分,克里普克则认为先天的不一定是必然的,后天的也不一定是偶然的。通过相关的阐释,笔者回应这些质疑与反驳,对康德的判断理论进行辩护。区分分析判断与综合判断的标准正是在于判断中主词与谓词的关系,亦即主词是否包含了谓词。并且,一切分析判断必定都是必然的、先天的,没有后天分析判断;而来自于经验的综合判断则是后天的,也必定是偶然的。     

基于宽带相位修正的散射矩阵变极化基测量

针对目标极化散射矩阵测量中,极化变换过程要求矩阵各元素具有高度的相位一致性,但实际测量很难达到,进而造成变极化基测量结果误差较大的问题.推导了一般化的极化基变换过程,分析了测试系统极化支路相位非对称性对极化变换的影响,结合宽带时频变换算法特征,提出了一种基于宽带高分辨的散射矩阵元素相位修正方法,并通过标准体的实际测量验...     

基于对偶绝对二次曲面像变换的自定标方法

现有的自定标技术一般都是基于对偶绝对二次曲面像,由于对偶绝对二次曲面像元素在数量级上相差较大,在求解时必然会导致鲁棒性较差。提出了一种变换法,使对偶绝对二次曲面像的各个元素变到同一个数量级上,可以使求解过程更具有鲁棒性。模拟实验和真实实验结果表明,通过提出的变换方法能够极大地提高自定标的鲁棒性,而计算量并不会增加。     

计算约简的差别矩阵简化算法不成立

Skowron差别矩阵给出了粗集约简的一般方法,但该算法要求生成、存储差别矩阵的中间环节,造成时间和空间上的浪费.实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式.本章给出反例,说明该简化算法不总成立.     

装备体系需求参考模型及形式化分析

针对装备体系需求的内涵模糊的问题,提出了装备体系需求参考模型——强调装备体系与它能够解决的问题之间的关系。基于高阶逻辑分析,描述了装备体系军事需求及需求规格必须满足的关系,给出了充分性命题和必要性命题;讨论了装备体系需求和需求规格的命题一致性、合理性。装备体系需求必要性命题有助于正确评价需求、避免获取一些错误特性;装备体系需求规格必要性命题有助于人员在需求规格开发中正确分工。     

三维空间中基于Hough变换和逻辑的航迹起始

Hough变换法特别适用于杂波环境下的目标航迹起始,但目前的研究一般仅限于在二维空间中使用该方法。本文提出了一种三维空间中基于Hough变换和逻辑的航迹起始方法。其基本思想是,首先在三维空间中选择两个投影面,然后在两个投影面分别使用基于Hough变换和逻辑的航迹起始算法,最后将两个投影面上起始的航迹进行比较,进而确定三维空间中的航迹起始。仿真结果表明了这种算法在三维空间杂波环境中快速起始航迹中的有效性及优越性。     

杂波环境下基于Hough变换和逻辑的快速航迹起始算法

航迹起始是航迹处理中的首要问题，本文提出了一种新的航迹起始算法，即基于Hough变换和逻辑的航迹起始方法，这种新的算法首先利用Hough变换法排除大量的杂波点，创造一个虚警概率比较低的环境，然后利用3／4逻辑法起始航迹，因而特别适用于密集杂波环境下快速起始航迹，仿真结果表明了这种算法在快速起始航迹中的有效性及优越性。     

多LFM信号自适应时频表示方法

提出了一种多线性调频信号自适应时频表示方法及其快速算法:首先采用分数阶傅里叶变换的快速算法计算出模糊函数,再通过Radon-Ambiguity变换设计出信号的最优核函数,以滤除噪声和多线性调频信号在模糊域中的互项,最后通过二维傅里叶变换得到信号的时频表示。在多分量线性调频信号情况下借助"clean"的思想来抑制强分量对弱分量的干扰。仿真表明该方法在低信噪比环境下也十分有效,且运算复杂度小。     

从“微本体”看系统的生成与消亡

作为中国传统文化的概念,微反映的是一种四维存在:量-质维,几-必维,卑-尊维,隐-显维。本文分别按照这四个维度阐释微的含义,提出微世界和微意识概念,对"有生于微"命题作了补充论述,提出"亡始于微"命题,阐明它是系统消亡论的基本原理。     

基于新网络路由算法的通信网可靠性指标计算

解决通信网络"归一化容量加权可靠性指标"全代数化计算的最关键问题,是寻找能够算出网络节点之间全部路由的代数化路由算法。提出一种网络路由新算法,是按照逻辑代数运算规则,以关联矩阵降阶变换方式计算,对于有m个节点的网络,只需m-2次距阵降阶变换运算,就能够算得网络两节点间全部路由,且不会出现闭环路由问题,完全符合通信传输规则。基于该路由算法研究出通信网络"归一化容量加权可靠性指标"的全代数化算法,由于新算法所有环节均实现了代数化运算,所以易于编写计算机程序,可以很方便地计算出大型通信网络的可靠性指标,解决了大型通信网络可靠性分析困难的问题。通过算例对新算法的各计算过程进行了详细说明,验证了其正确性。     

社会管理创新的自组织路径研究

政府社会管理和社会组织的社会管理是社会管理的两种基本类型,在这两种类型中都存在自组织和他组织力量的作用。社会管理创新的自组织路径构建就是将他组织为主的社会管理更多的转变为自组织为主的社会管理,分析了社会管理创新的自组织性和他组织性,通过对自组织与他组织的差异分析指出自组织路径的内在优势,提出社会管理创新自组织路径构建的基本思路。     

集装箱码头物流运营系统通用性仿真建模共性抽象研究

共性抽象是通用性仿真建模的必经过程和基础。提出一种创新的共性抽象方法为基于离散事件动态系统的集装箱码头物流运营系统通用性仿真建模提供一个较为清晰的全貌、框架和体系。首先以辩识该系统仿真建模的关键性问题为突破,构建共性抽象的对象和核心元素;继而通过高度提炼和概括,抽象通用性的基本属性和特征,并建立相应的基于离散事件动态系统的人为规则;然后按照人为规则将共性抽象的基本元素抽象为逻辑元素和实体元素,并设计为相应的标准化图例集以系统地描述共性抽象,既可提供给程序设计人员对程序逻辑进行建模,也可提供给非程序设计人员对业务过程进行建模;最后通过对洋山深水港一期集装箱码头仿真实验,验证所提出的共性抽象方法的有效性。     

系统分析中结构建模的核心变换法

核心变换法是作者提出的“核心要素法”体系中的基本方法之一，是结构建模中消除未知元素的一种非常有效的新方法，这种方法从初始矩阵开始，利用传递性经过一系列的“核心变换”，消除未知关系从而得到可达矩阵表示的结构模型。     

基于VISSIM的DC-DC变换器建模与仿真研究

根据DC-DC变换的基本原理，在连续导通模式下，基于VISSIM对BUCK、BOOST、BUCK/BOOST三种变换电路分别构建了仿真模型，仿真结果与理论分析的一致性表明了建模方法的正确性。提出的模型适合于验证不同DC-DC变换电路的运行特性、控制算法，为分析设计DC-DC变换电路及其控制系统提供了有效的方法，同时也为实际电路的设计调试提供了新思路。     

势论

从从传统文化到现代科学，有关势的论述比比皆是，但却没有“势”的统一的科学定义。笔者在给出势概念的逻辑定义的基础上，论述了造势的基本原理：使系统中的元素差别最大联系最紧。由于这样的元素只能是对称性元素，而对称性元素构成“群”，从而揭示了“造势”必然“成群”的基本规律。在此基础上，探讨了科学找势、管理造势、文学造势、教育造势和创新造势的造势普适性机制。     

基于斜投影极化分离算子的船舶地震波场分离方法

针对船舶地震波场传播路径复杂,不同路径信号叠加后难以区分的问题,提出了一种基于斜投影分离算子的信号分离方法。该方法利用波场极化特征差异,通过构建水中信号和表面波信号的极化子空间从而实现2种传播路径信号的分离。与传统的极化分析方法相比,该方法不需要通过变换和补偿就可实现信号的分离,且不影响信号的幅度/相位信息。对仿真数据和实测数据进行分析表明,斜投影分离方法是一种有效的波场分离方法。     

环境影响下作战态势交互路径选择模型及策略

针对作战决策同步过程中的态势交互阶段研究不足问题,提出环境影响下作战态势交互路径选择模型及策略。首先,界定作战态势交互在作战组织结构中选择路径的有效范围,由此构建路径选择模型,并设计衡量路径调整影响的扰动因子;其次,通过对环境影响下作战态势交互路径选择过程的理论分析,提出3种选择策略和3种调整模式;最后,通过案例仿真验证了路径选择模型及其策略的有效性,并设计4个交互环节相继阻塞的情况以检验路径调整模式的可行性。