二阶电路的Matlab仿真

应用Matlab6．0仿真工具进行二阶RLC电路的过渡过程的仿真研究，设计的程序具有良好的用户界面，该文给出二阶电路仿真实例，不仅给出计算结果，并绘出仿真曲线。     

基于OWL元模型的本体建模研究

采用UML(Unified Modeling Language)的Profile扩展技术作为消除OWL(Web Ontology Language)复杂符号体系与本体建模易操作性需求之间的矛盾的关键技术，制定了UML建模元素与OWL Lite语法元素之间的映射关系,建立了OWL Lite的UML Profile元模型，并且通过一个具体的示例说明使用OWL的UML Profile能够直观、清晰地进行OWL本体建模，促进OWL本体建立的易操作性．     

The singing/acting child: a speech-languagepathologist''s perspective

Performance-oriented children who encounter voice problems benefit from a team approach to intervention. Developmental and psychosocial issues in addition to the acquisition of information and vocal skills must be addressed. This article presents information from a speech-language pathologist's perspective and includes some examples of clinical approaches and strategies. The importance of building motivation to change vocal habits and the need for the child to develop insight and self-evaluation strategies is emphasized.     

The Reception of Frege''sBegriffsschrift

The topic of the paper is the public reception of Gottlob Frege's (1848–1925)Begriffsschriftright after its publication in 1879. According to a widespread conception, the reception of the book was “unfavorable” and even “tragic.” The aim of the paper is to correct this exaggerated and even false view. The arguments are based, above all, on the six journal reviews of Frege's book in 1879 and 1880, and on Leonhard Rabus's critical comment on it in his bookDie neuesten Bestrebungen auf dem Gebiete der Logik bei den Deutschen und die logische Frage(1880). The conclusion is that it is misleading to regard the reception of Frege's first work as unfair and hostile even though it is apparent thatsomereviewers of the book were rather poorly motivated to comment on theBegriffsschrift.Copyright 1998 Academic Press.Der Gegenstand dieses Beitrags ist die öffentliche Rezeption von Gottlob Freges (1848–1925)Begriffsschriftnach ihrer Publikation 1879. Nach einer weitverbreiteten Auffassung war die Rezeption “ungünstig,” sogar “tragisch.” Ziel des Beitrags ist es zu zeigen, dass solche Interpretationen überspannt, teilweise sogar falsch sind. Der Verfasser gründet seine Behauptung vor allem auf die Rezensionen, die in verschiedenen Zeitschriften in den Jahren 1879 und 1880 erschienen sind. Er benutzt auch den Kommentar von Leonhard RabusDie neuesten Bestrebungen auf dem Gebiete der Logik bei den Deutschen und Die logische Frage(1880). Die Untersuchung kommt zu dem Schluss, dass, obwohl offensichtlicheinigeRezensenten dem Buch eher ablehnend gegenüberstanden, es irreführend ist, von einer ungerechtfertigten oder abweisenden Rezeption der Fregeschen Begriffsschrift zu sprechenCopyright 1998 Academic Press.AMS subject classification: 00A30, 01A55, 03A05     

On Commutative and Nonassociative Syntactic Calculi and Categorial Grammars

Two axiomatizations of the nonassociative and commutative Lambek syntactic calculus are given and their equivalence is proved. The first axiomatization employs Permutation as the only structural rule, the second one, with no Permutation rule, employs only unidirectional types. It is also shown that in the case of the Ajdukiewicz calculus an analogous equivalence is valid only in the case of a restricted set of formulas. Unidirectional axiomatizations are employed in order to establish the generative power of categorial grammars based on the nonassociative and commutative Lambek calculus with product. Those grammars produce CF-languages of finite degree generated by CF-grammars closed with respect to permutations.     

两个分段函数卷积的数值算法

本文推广了文［１］中卷积的数值计算方法，使之适用于更广的范围，并用Ｃ语言编程举例说明．     

MODLER: Modeling by object-driven linear elemental relations

This paper describes a system to represent linear programming models and their instances. In addition to a modeling language, MODLER has an extensive query capability which includes a multi-view architecture. Further, randomization options provide rapid prototyping. The MODLER system is part of a workbench for building and managing decision support systems that are based on linear programming.This research was supported by a consortium of industries: Amoco Oil Company, Shell Development Company, Chesapeake Decision Science, GAMS Development Corp., Ketron Management Science, MathPro, Inc., Optimal Methods, Inc., and XMP Software, Inc. Partial support was also provided by the Office of Naval Research (Contract No. N-00014-88-K-0104).     

生命元素图谱与化学元素周期表

旨在用化学语言表面与生命有关的问题。讨论了微量元素与生物体作用的规律性,人体生命元素平衡谱的构成,人与环境间精细的动态的物质交换平衡以及“天人合一”的哲学思想,指出生命元素在元素周期表中昂首翘尾的“近似动物体形”分布潜示生命的存在,提出不仅要注重有机营养平衡,更要注重无机营养平衡的观点。     

极大前缀码的刻划

设X*是字母表X上的自由幺半群,本文通过以X*为顶点集构造一个语言图Γ(X*),引入语言图Γ(X*)的横截集的概念,给出了极大前缀码的一个刻划.同时,证明了满足含有X中字母且长度有限的极大前缀码必是极大码.     

川金丝猴亚种的支持向量机分类(SVC)模型研究

综合论述了支持向量机分类(SVC)的数学模型以及如何转化为一个凸二次规划的对偶问题;并利用相应的计算机软件建立了川金丝猴亚种的支持向量机分类模型.