《巴黎手稿》的“劳动分离”逻辑和劳动价值论的初始证明

"劳动分离"是马克思《巴黎手稿》的重要命题。马克思关于现实资本主义即市民社会生产的说明使用的就是"劳动分离"逻辑,如何理解这一命题及其内涵是《巴黎手稿》解读的重要方面。笔者认为,它是马克思辩证揭示"异化劳动"的发生及其现实化为"私有制"的生产关系这一内容需要,同时更是理解资本主义经济如何体现为"抽象劳动"生产的历史机制的解析,即对"抽象劳动"如何与"具体劳动"形成"分离"作为一种历史必然结果和现象的把握。实质上,资本主义生产规律的揭示以"劳动二重性"为前提的科学说明,首先要把私有财产当作劳动分离的历史过程及其包含的辩证机制揭示出来,这样现实的资本主义社会才会得到真正的科学说明。诚然,《巴黎手稿》的"劳动分离"逻辑揭示就是完成这一步的工作并成为后来马克思著述"劳动二重性"的基础,它构成了劳动价值论初始实证的重要环节。

广义劳动价值论的证明与李嘉图难题的解决

利用非替代性定理的逻辑 ,在规模收益不变、充分竞争、生产者追求价值最大或者利润最大化的条件下 ,从存在性、唯一性、稳定性的角度证明了商品的价值、以及作为投入的资本品价值可以由活劳动投入的数量同时决定 ,从而证明了在包括物化劳动的情况下 ,商品的价值由所投入劳动量决定、商品交换是等量劳动相交换这一劳动价值论的基本命题。说明商品价值的决定与任何需求条件即消费者偏好和资源禀赋条件没有任何关系。发现了劳动价值论形成李嘉图难题的原因在于其前提 :等量的劳动时间投入只能够创造出与此投入相等的商品价值 ,因为劳动时间不会发生变化。但如果再生产过程能够通过节约劳动时间或生产出更多数量的产品 ,创造出比全部劳动投入更多的价值 ,则可以导致李嘉图难题的解决。

论劳动价值论的成立条件

劳动价值论的成立条件包括初始条件、限界条件和辅助条件 ,初始条件要求不同种类的劳动能够进行比较和度量 ,以及劳动者和资本所有者符合经济人的要求 ;限界条件排除不可复制的自然资源差异所带来的影响 ;辅助条件包括规模收益不变、资源重新分配的可能、不存在联合生产、完全竞争和完全信息。

时序电路的形式化证明

对硬件的形式化验证是硬件验证的一个发展方向,形式化验证一个时序电路就是证明电路的实现是否满足他的规格描述。本文提出了用等式逻辑ε的一个公式Ws来表示电路的实现,用T em pura的程序B表示对该电路的特性描述。公式P B引入来证明电路的正确性,这里P是电路的初始状态,是从Ws中抽取的,另外还要从Ws提取输出等式。这样,一旦证明了P B,就能证明实现满足规格描述。最后,给出了一个例子来说明此证明方法。

由S域证明系统完全响应表示为卷积积分的可能性

系统的零状态响应可表示为激励函数与相应的系统冲激响应的卷积积分．而系统的完全响应可否应用卷积积分求解呢?本文以S域模型证明．系统的初始状态可以等效为激励源，因此系统的完全响应可表示为卷积积分。并用例题作了证明。

关于“曹恩引理”的一个简单证明

在一般的教材中“曹恩引理”有两种形式的证明、其中一种形式的证明在教材P、R、Hel- mos“素朴集合论”与W,Rudin”实复分析”中。另一种形式的证明是应用序和超限递归方法。这两种证明过程都用到序的原理、这里给出一个证明也用到一些序的思想,但主要不应用序的方法。 记注:若集合区是具有≤关系,是一个偏序集,它有一个全序子集CCZ,称作链,并约定空集Φ也是一个链。

办理土地使用权初始登记需要提供哪些资料?如何办理、办理时限是多久?

问:办理土地使用权初始登记需要提供哪些资料?如何办理、办理时限是多久?答:办理土地使用权初始登记需要提供以下资料:(1)初始登记申请;(2)申请人相关资质证明(包括组织机构代码证、营业执照、税务登记证和法定代表人身份证复印件);(3)委托他人办理的。

基于相关分析的汽车密封条轮廓测量方法研究

分析了汽车密封条传统检测方法的不足 ,提出了独特的汽车密封条测量方法并设计了新的测量系统方案。该系统采用了分步曝光的测量步骤 ,结合牛顿插值法实现亚像素细分 ,将轮廓尺寸测量问题转化为求取最大相关函数的问题 ;基于仿射变换的最大相关搜索策略 ,根据实际需求和边界直径对搜索的初始参数加以约束 ,大大减少了搜索时间。通过试验给出了最大相关度量和仿射参数的函数关系并证明了该方法的快速有效。

联邦滤波器的滤波稳定性研究

首先证明了联邦滤波器中各局部滤波器实际上滤波不相关,然后通过使用集中式滤波器的滤波稳定性定理,来分析联邦滤波器的滤波稳定性。仿真实验首先根据上述方法证明了联邦滤波器的滤波稳定性,然后通过改变滤波初始值的方法对上述方法的执行结果进行了实验验证。

Z规格说明构造方法

比较完整地描述了Ｚ规格说明的结构和写规格说明的步骤，并通过一个所设计的Ｚ规格说明的实例演示了用Ｚ编写规格说明的过程。

一种改进的K-means聚类算法

本文提出了一种改进的K means算法 (FKM )。此算法将传统算法任意选取初始聚类中心变为选取出现频率最高的一组颜色作为初始聚类中心 ,从而极大地提高了K means的速度。通过实验证明了FKM较K means有较低的时间复杂性及较低的颜色平均误差。

一种新的B-Snake算法在目标轮廓跟踪中的应用

用Snake算法跟踪移动目标时,有时会产生目标轮廓与背景中另一些物体靠近的现象,如果不加约束,那么一些控制点将可能因被吸引到背景边缘而产生错误。另外,目标产生移动或旋转时,因轮廓控制点会产生交叉而导致轮廓跟踪失败。为克服此类问题,提出了一种新的有效的目标跟踪算法,可以跟踪静止或运动目标的2维轮廓曲线。该算法先利用三次B样条曲线连接控制点,以初始化物体的边界,然后通过Snake最小能量函数把控制点吸引到轮廓的边界。在Snake跟踪算法中,由于是采用和下一点相连向量与控制中心相连向量的夹角正弦值的正负来避免控制点的交叉,而控制中心的位置则通过αβγ滤波能有效地估计出来,因而能准确地跟踪运动的目标。该算法运用到静止的或移动的头部轮廓跟踪的实验证明,该算法不仅对目标轮廓跟踪具有较好的效果,且运算时间短、复杂度低。

基于遗传算法优化的神经网络PID控制器

对于参数可变的时变系统和非线性复杂系统,常规PID控制器不能获得理想的控制效果,针对复杂非线性对象的神经网络PID控制不失为1种有效的控制策略.根据神经网络初始权值的选取影响控制器性能的特点,提出了基于遗传算法优化参数的神经网络PID控制器,实现了基于实数编码的GA参数优化.仿真结果证明了该算法的有效性.

借助电脑编程解决游戏策略问题

游戏策略问题,通常是指甲乙两方共同玩一个游戏（如轮流取石子、填数等）,要求找出在某初始状态下,甲（或乙）方有必胜策略。本文就＂取奇数游戏＂给出研究此类问题的一种方法,即先通过电脑编程做数字试验,找出规律,然后再给出严格的数学证明。问题操作者先输入一个奇数N（N〈2 000）表示N粒石子。设计算机为A,操作者为B,双方轮流取石子,

关于充分正确性的正确性定理的质疑和修正

本文首先指出了文献[1]中给出的充分正确性的正确性定理证明中的错误,然后以实例说明该定理不成立。最后对该定理做了修正,并给出了一个证明。

经济学中的公平及其现实意义

经济学中的公平及其现实意义杜巨澜（复旦大学国际金融系）一公平作为一个伦理概念，属价值判断的范畴，长期以来随社会历史条件的变化和阶级立场的不同而众说纷坛。综观近现代经济学对收入分配中的公平问题所作的探索，我认为大致可以将公平观划分为四种类型，名之曰：弱...

关于非公有制经济发展问题

非公有制经济是我国社会主义市场经济的重要组成部分。江泽民总书记在庆祝建党80周年大会上的讲话强调,要继续坚持和完善公有制为主体、多种所有制经济共同发展的基本经济制度,要结合新的实际,深化对社会主义社会劳动和劳动价值论的研究和认识。这为我们在新的形势下进一步解放思想,大力发展非公有制经济指明了方向。实践证明,非公有制经济是具有暴发力的增长点,非公有制经济新的推进和新的发展,已经带来了整个经济的新突破、新增长。我们要进一步转变观念,放宽政策,拓宽准入领域,促进非公有制经济更快更好地发展。

涉及人的生命科学和医学研究初始伦理审查申请材料要求解读

目的梳理2023年新版《涉及人的生命科学和医学研究伦理审查办法》(以下简称"《办法》")对初始伦理审查申请材料提出的新要求,探讨提出这些新要求背后的伦理考虑,对各项初始伦理审查申请材料的准备应注意的关键细节及实践操作提出可行性建议,为研究者、伦理审查委员会和机构规范推进伦理审查工作提供一定的参考。方法对比2016年《涉及人的生物医学研究伦理审查办法》相关规定,结合伦理理论前沿热点以及伦理审查工作实践进行讨论。结果初始伦理审查申请材料准备应基于对新版《办法》的精准理解,强调合规的同时,避免形式化落实法规要求,增加不必要的负担。结论准备高质量的伦理审查申请材料是研究者的责任,但是,机构和伦理审查委员会应该提供相应的支持,包括明确政策法规的最新要求、更新所在机构伦理审查标准操作规程,确保为研究者提供及时且持续的伦理培训和伦理咨询。伦理审查工作的规范和完善,需要更加全面的视角和系统的规划,强化各方主体的责任意识。

最短时间运输问题

最短时间运输问题,与传统的费用运输问题具有同等的重要性,是生产及生活资料运输特别是战争时期战需物资运输中值得研究的一个重要问题。本文根据E·Balas关于运输问题的有关定理,提出了求解最短时间运输问题的一种算法,并给出了算例,它将对最短时间运输问题的研究起到引玉的作用。