论维特根斯坦对传统数学哲学思想的批判

维特根斯坦对几乎所有传统的数学哲学思想都进行了激烈批判。传统的柏拉图主义、经验主义、直觉主义、形式主义、约定论以及逻辑主义在维特根斯坦看来都有问题的。维特根斯坦的数学哲学对传统的思想既有批判,同时又有创新,这对我们重新思考数学命题的本性和价值具有重要的启发意义。     

重点实验室简报

<正>关节腔细胞注射技术在半月板损伤修复中的应用近日,浙江省干细胞与组织工程重点实验室在动物实验研究中发现半月板组织中存在着一群具有半月板软骨特性的干细胞,称之为半月板干细胞(MeSCs)。这种细胞的关节腔内注射有助于促进损伤半月板组织的修复再生,同时抑制骨性关节炎(OA)的发生,并探讨了其中的机制。相关研究论文发表在国际干细胞领域的专业期刊《Stem Cells and Development》上,受到同行的认可。此发现为     

从伪造宗族文书个案透视司法实践与传统文化之关系

宗族是近代农村社会关系的基本单位。通过对一系列关于伪造宗族文书个案进行考察与分析,从不同维向探寻司法实践与传统文化互为表里的关系,呈现民国司法与民国社会、政治、经济和文化等多维层面特征。     

考虑超载控制与内生拥挤的长短线公交动态运营策略

针对长线公交在部分时段和局部线路上的拥挤，本文提出在部分时段增发短线公交的运行策略。考虑时变的出行需求，本文构建了带有均衡约束和机会约束的动态规划模型，通过近似和逆推解法对动态规划模型进行快速求解，以确定短线公交的动态发车方案。一方面，本文构建机会约束控制车内拥挤，从而帮助提高公交的服务水平，这响应了出行者对公交服务水平的要求越来越高的现实；另一方面，分析了内生拥挤、客流在长短线之间的转移，使得本文的研究更贴合实际。考虑到动态策略的操作难度，本文建立混合整数规划模型对动态策略的启发式特例进行求解。算例分析结果表明，本文提出的动态策略和启发式策略均能通过增加适量的运营成本，有效地缓解长线公交在高峰时期的超载，同时显著减少乘客候车时间成本和车内拥挤；启发式策略能在乘客体验和运营成本之间进行合理权衡，并且在操作简易性方面更具优势。     

基于供需网的企业合作偏好度及其稳定性

运用供需网思想和演化博弈论中的演化稳定策略研究企业的合作行为与合作稳定性问题,首次提出采用合作偏好度来表示企业的合作程度,定量分析企业的合作行为。在假定两企业群体采取不同生产模式的基础上,分别建立普通环境下和供需网系统下两企业的合作模型,同时对企业的合作程度和合作演化稳定性的内在机理进行详细论证与说明,并给出具体算例。研究结论对于深化供需网研究,为现实经济中不同类型的企业进行产量竞争以及寻求自身的持续发展提供理论参考,同时为丰富企业合作理论和方法体系以及在实践上帮助企业改善合作经营的实践均具有重要价值。     

基于动力有限元的土坝抗震安全监控指标拟定方法研究

目前大坝安全监控指标的拟定主要是利用实测资料采用统计方法确定的居多,并且对大坝在地震作用下的安全监控指标研究得很少。为弥补采用实测资料拟定大坝监控指标的不足,文章采用动力三维有限元的方法拟定土坝抗震安全监控指标。这种基于动力有限元的土坝抗震安全监控指标拟定的新方法充分考虑到工程的结构力学特征以及安全监控指标的多工况特征。工程实例表明本文所提的方法是可行的。     

塘沽新港地区老城区雨污分流实施改造设计要点

针对老城区雨污分流改造中存在现状管线多且复杂,设计及施工难度大等问题,结合天津市滨海新区环保督查雨污分流改造项目——港船泵站污水调头工程,依托物探及设计现场调查,确定雨污分流方案,即:保留原有管道为污水管道,新建雨水管道及部分污水管道,收集初期雨水排入污水系统﹒经经济性分析,该方案可节约10%的工程造价,还可减少大量管线切改协调工作量﹒     

安徽省生物医药领域专利信息分析

使用Incopat专利检索平台,对2010年1月1日至2020年12月31日安徽省生物医药主要技术领域的专利IPC分类号分布、专利申请量、专利申请人、专利法律状态等方面信息进行统计分析.安徽省生物医药领域检索出专利申请量为101113件.针对安徽省生物医药专利自身的技术特点,提出提升现有技术竞争能力、促进生物医药专利创新发展的具体建议.