摘要：分布式状态机 (DSM)是一个分布式计算模型 ,特别适用于反应系统 ,有广泛的用途 .但一般其正确性证明与模型检验的复杂性却很高 ,不易实用 .作者曾提出了一个 DSM的代数模型及其模型检验算法 ,复杂性较低 ,但模型推导过程有点问题 .该文加强了对 DSM模型检验问题的提法 ,研究了解的结构特征 ,证明了可将 DSM模型检验问题归结为不动点计算问题 ,并将 Cleaveland和 Steffen求不动点的方法用于同步模型不动点计算过程 ,然后将Bertsekas关于欧氏空间上的异步收敛定理推广到完备格上 ,从而将求解异步 DSM方程不动点问题转化为求解同步方程不动点问题 ,证明了在适当的条件下 ,有 υg EA=υg ES,υg ES与 υg EA分别是 DSM同步方程与异步方程的最大不动点 .该同步算法的复杂性为 O(|S|log|TRAN|) ,S为状态集 ,TRAN 为转移关系式集 .利用本文结果 ,可以有效地克服 DSM进程之间的并发干扰所带来的各种困难 。

摘要：综合运用反馈线性化技术的理论和方法以及线性H∞控制理论,对一类具有鲁棒微分代数模型的单机与非线性负荷连接的输电系统,给出了一个励磁控制器设计方法,既考虑了带有普遍性的微分代数模型,又顾及了干扰的影响,同时拓广了非线性系统微分几何理论的应用范围。将其应用到电力系统中,说明了所得结论的广泛适用性。

摘要：《义务教育数学课程标准(2011年版)》(以下简称《课标(2011年版)》)把初中阶段"数与代数"部分的内容分为三大部分:数与式;方程与不等式;函数.这些内容是研究数量关系和变化规律的数学模型,是用于表示、交流与解决问题的工具,广泛用于表达、计算和推理等活动过程之中.教师要在学习方程、不等式、函数知识的同时,适当设计一些让学生通过建立方程模型、不等式模型以及函数模型解决的实际问题,以提高学生应用数学知识解决问题的能力.

摘要：异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数模型、符号模型、数值模型和几何模型的验证算法 ,并从应用的角度将现有的异步电路验证算法分为两类 ,分别是事件时序分析类算法和状态空间搜索类算法 ,从算法的理论基础、应用背景、模型结构、图形描述、适用范围、算法复杂度编程复杂度等多个角度作了比较研究 ,给出了部分代表算法的应用算例 。

摘要：介绍并评价了情报检索的先驱索顿先生等人设计的情报检索系统的三种数学模型———集合模型、代数模型和概率模型,指出这三种模型各有不可替代的优缺点,今后的研究重点应放在扬长避短的综合性模型上。

摘要：本题从一项科研项目中提炼、并结合目前成为关注热点的隐身技术而设计,侧重于数学建模.结合题中的2个问题,可以抽象出3个平时比较少见的数学模型:几何模型,反射投影模型和积分方程模型.在竞赛中,前2个模型都有部分同学正确地得出,可惜的是,问题2所要求的积分方程模型,在近500份答卷,却无人得出,甚为遗憾.问题2属于一个需要同时确定数个彼此关联影响的函数的问题,处理这样问题的基本方法是建立以这些函数为变量的方程组,在这里由于确定相互影响的定量关系必须用积分,所以最终得出的是一个积分方程组.微分积分是大学数学中最基本最重要的概念和方法,由此不难看出,我们的基础教育中的弊病与问题,这需要引起有识之士们的反思.

摘要：本文对2008年奥运场馆周边地区各临时商业网点(MS)的优化设置问题进行了详细讨论。文章在对access数据库中提供的调查表数据统计的基础上,得出了观众在出行、用餐及购物三方面的规律,采用离散化方法,建立了统计各商业区总的人流量百分比的代数模型;对MS网点的优化设计问题,在充分考虑到顾客购物需求,网点分布的均衡性和赢利需求的约束等条件下,引入成本因子并以所有商区总成本最小为目标函数建立了线性规划模型,并在MATLAB中编程求解出了相应结果。

摘要：如果用一个最简化的代数模型来解读建筑创作理想与现实之间的关系,X轴为创作价值观（创作态度），Y轴为一个创作方案的实现度，只能大概模拟出某些设计倾向的实施可能性（图1）。而对于创作态度本身的价值．应该可以用另一个坐标系来表达：Y轴替换为一个建筑的综合社会效应。这个不算严谨的代数模型可以大概模拟出创作态度对于社会和人的影响（可能为正．也可能为负）。