辛欧拉格式形式能量的收敛性

对谐振子系统和单摆系统分析了辛欧拉格式形式能量的收敛性。得到辛欧拉格式的形式能量后,发现应用于谐振子系统的辛欧拉格式的形式能量是收敛的,对单摆系统无法确定形式能量的收敛范围,但其修正方程精确保持系统的平衡点。理论分析和数值模拟表明在形式能量收敛的条件下,用辛欧拉格式计算这两个系统具有保持整体结构的效果。     

平面艺术设计中的形式美构成探讨

文章从艺术设计的角度,对形式美的构成、形式美共性与特性进行理论上的探讨,并以格式塔心理学为基础,从设计的角度剖析形式法则与视觉心理内在的关联。通过对形式美的理论探讨,促进人们对形式美的认知和理解,进而提升设计者在平面艺术设计中对形式美法则应用的实践。     

浅谈人力资本投资对经济增长的作用

人力资本理论是现代经济学的一个新学派,其作为一种体现在人身上、以人的知识与技能表现的资本,在一国经济增长与发展中所起的作用是不容否定的。介绍了人力资本的概念,并从正规教育和在职培训、增进健康、人员流动3个方面探讨了人力资本投资对经济增长的影响。     

墨子的数学思想

本文将墨子的数学思想作为一个整体来研究,揭示了它的起源及本质,探讨了数学与政治、文化及哲学的关系.文章着重阐述墨子是怎样把墨家特有的形式逻辑——辩学,用于数学研究的,并认为在墨子的数学理论中,整体观是基础,抽象性是主要特征,而关于无限的论述则代表着墨子数学思想的最高水平.文中还探讨了墨家衰亡的社会原因,提出一些值得今天借鉴的历史教训.     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.     

铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

关于几个缺项微分方程特解最简形式的探讨

本文讨论了n阶常系数线性非齐次微分方程中几种特殊类型方程的特解的最简形状,并得到了一些特解中相关的系数公式.这对用待定系数法来求同类方程的特解起到了简化作用.     

新型偶氮染料中间体2-氨基-5-氨甲基-1-萘磺酸合成条件的研究

2-氨基 - 5 -氨甲基 - 1-萘磺酸 (氨甲基吐丝酸 )是一种新型活性偶氮染料中间体 ,文献报道大多采用首先把 2 -氨基 - 1-萘磺酸的氨基乙酰化保护 ,然后氨甲基化及水解反应的合成方法 ,其不仅合成步骤长 ,而且需要在高压反应釜中进行。这样的制备条件在实验室操作以及进一步中试及工业化的生产中存在很大局限性。针对这种情况 ,本研究工作对反应条件进行系统的研究后 ,改用直接将 2 -氨基 - 1-萘磺酸氨甲基化合成 2 -氨基 - 5 -氨甲基 - 1-萘磺酸 (氨甲基吐丝酸 )的方法 ,去掉了氨基乙酰化反应 ,使反应步骤简化 ;去掉了高压操作 ,使整个反应过程容易操作。改进的合成方法反应条件温和 ,整体收率稳定 ,维持在 87.2 % ,获得了较好结果。     

Salt and pH-dependent properties of native and mutant insulin

A fast and effective model for predicting the salt and pH dependent properties of protein complexes is presented. It is based on the formal charge parameter sets of ionizable groups and applied in conjunction with the finite difference Poisson-Boltzmann (FDPB) method to calculate the electrostatic interactions. All simulations were performed on the native 2Zn insulin and its fast-acting mutants such as B9D (B9Ser→ Asp), B9E (B9Aer→ Giu), B9EB10D (B9Ser→Glu, B10His→ Asp), and B10D (B10His → Asp). The salt and pH dependent properties of these dimers were analyzed from the aspect of electrostatic interaction, and the theoretical basis of the fast-acting behavior of these mutants was explained. It is found that the results agree well with experimental observations.