线性多步法的B-收敛性

本文讨论线性多步法用于求解Hilbert空间中非线性Stiff初值问题时数值解的误差特性。证明了任何A稳定的且经典相容阶为p的线性k步方法必是p阶最佳B-收敛的,这里k≥1,p=1,2.并给出了确定计算初值的一种新的手段,它使得初始误差对整体误差的影响不依赖于问题的刚性。     

基于某船舶基地的变形监测

由于各种因素的影响,在工程建筑物及其设备的运营过程当中,都会产生变形。这种变形在一定限度内,应认为是正常的现象,但是如果超过了规定的限度,就会影响建筑物的正常使用,严重时还会危及建筑物的安全,因此,在工程建筑物的施工和运营期间,必须对它们进行监视观测,即通常所说的变形监测。本文的主要内容介绍了变形监测及其变形监测网。变形监测现在主要运用的方法是大地测量、摄影测量、及物理学传感器及GPS技术,这些技术为变形监测注入了新的活力与生机,让变形监测变得更简单、方便、准确。     

科技查新与技术创新

作为一项高质量的信息咨询服务，科技查新工作避免了许多科研重复立题和低水平成果鉴定，启迪了科研思路，有力地促进了技术创新和科技进步     

灵感思维与科学创造

阐述了科学家在创造过程中灵感的出现 ,与其广博的知识、广泛的兴趣、活跃的思想、勇于探索的精神、卓越的想象力、敏锐的识别判断能力和超前的创造力等因素有着十分密切的关系     

科技英语的汉译重复译法刍议

在科技英语汉译时，为使译文趋于平稳流畅或达成行文节奏匀称之音乐感，要重复某些关键词，如名词、动词、形容词、副词或介词等，此时重复会使译文舒卷自如且更富于表达效果     

Mathematical formalisms in scientific practice: From denotation to model-based representation

The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible with successful representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources.     

k-较多规则的理性条件

对于群体决策问题,证明了k-较多规则满足有关文献提出的关于序数型的匿名性、中立性、局部非独裁性及pareto原则等的理性条件,并给出了该规则的几个性质.     

以人为本促进地方高校青年教师成长

青年教师已经成为高校师资队伍的主体,他们在成长转型期面临很多现实的矛盾,地方高校青年教师尤为如此.贯彻科学发展观,转变教育思想,以人为本促进青年教师素质成长,包括领导机构以青年教师为本、青年教师以自身发展为本和教学工作以学生群体为本三个方面.     

校园科技活动的新宠——电脑鼠

如今众多高校的校园科技活动中有了新的身影——电脑鼠。本文首先介绍了电脑鼠的基本情况,然后分析了电脑鼠科技活动的意义、工作流程和培训内容,最后提出了电脑鼠科技活动中应注意的几个问题。     

关于地方政府组织实施重大科技工程的若干思考

随着地方政府对自主创新的高度重视,重大科技工程已经成为地方政府推进科技工作的主要抓手。为组织实施好重大科技工程,需要正确理解重大科技工程的内涵,强化组织领导、统筹规划、进度跟踪、考核监督和集成联动。