基于分解图检测特殊函数的新方法

特殊布尔函数在电路设计中有着独特的优点．本文从特殊函数的定义出发，导出了基于分解图的冗余函数、线性函数、对称函数、自反函数和自双反函数的相关定理，着重介绍了基于分解图的相关定理在特殊函数检测中的应用，并以实例加以说明．本文为超大规模集成电路中单元电路的设计与化简提供了新的方法，对进一步完善布尔代数系统具有一定的实际应用意义．     

无限迭代函数系统的遍历性质

研究了定义在完备的可分度量空间上具有概率的无限迭代函数系统的遍历性质,证明了该系统的惟一遍历性,推广了Elton的遍历定理。其证明初等简洁,不依赖于鞅论中的较为深刻的极限定理和Banach极限技术。     

高阶微商约束系统的对称变换

对于用非独立态函数描述的受约束系统,其系统的拉氏函数密度和约束条件均含态函数的高阶微商,此系统的对称变换可导致推广的Noether定理,一般地说,这时不产生经典形式Noether定理的守恒量,而在有限约束下,态函数内部对称变换产生的推广Noether定理,可化为无约束的经典形式Noether定理的结果。约束系统的能量动量张量与场方程的关系给予了讨论,并给出了对不可压缩连续介质的一个应用。     

强一致收敛下的初值敏感性与等度连续性

首先,举例指出了《Nonlinear Anglgsis》文中定理3.2的条件下并不能使函数序列的初值敏感性遗传至极限函数,并证明了若函数序列的敏感常数的上极限为某一正数,则在强一致收敛下,函数序列的极限函数也具有初值敏感性.其次,证明了在强一致收敛下,序列系统的等度连续性和一致几乎周期性能被极限系统所继承.     

Noether定理和Poincaré不变量的推广

用非独立广义坐标描述的拉氏函数含广义坐标高阶微商的受约束广义力学系统,在对称变换下可导致推广的 Noether 定理,一般它不能化为经典形式的 Noether 定理.既使是系统仅受完整约束的限制,在时间也作改变(δt0)的对称变换下,推广的 Noether定理也不化为经典 Noether 定理的结果,但是,如果在对称变换中所决定的广义坐标的实质(定时)变分q_k 适合约束下的虚位移条件,并且变换使系统的作用量保持不变,那么约束系统在此变换下,将导致经典形式的 Noether 定理.具体写出了广义动量、角动量和能量守恒,推广了 Riahi 的结果.用这里的方法,还推广了 Saletan—Cromer 定理.从拉氏函数含高阶微商的受约束系统在普遍变换下的变换性质出发,得到了沿体系运动的轨线,变换所联系的推广 Poincare 不变量.如果变换中的实质分q_k 适合虚位移条件,拉氏函数中最多仅含 q_k 的一阶导数,那么此推广的 Poincaré不变量就化为通常的Poincare 不变量.     

非保守动力学系统的Noether定理的一个证明

本文直接从动力学系统的Lagrange函数在无穷小变换下的变换性质出发,得到了完整非保守和非完整非保守的Noether定理。本文的方法具有优越性。     

关于方程■~nf/■~n=0的解及其某些性质

本文研究了方程■~nf/■~n=0的解及其性質,而把古典解析函数的許多基本定理如Weierstrass定理,推广的Liouville定理等等都推广到了■~nf/■~n=0的解上。据此还将調和函数的許多基本性質推广到了n調和函数的情形。     

一类时滞捕食系统的Hopf分支

研究了一类具有修正的Leslie-Gower和Holling-IV类功能性反应函数的时滞捕食系统,讨论了该系统的局部稳定性和Hopf分支存在性, 并利用中心流形定理和规范型理论确定了Hopf分支的方向和分支周期解的稳定性.仿真实例证明了理论分析结果的正确性.     

光纤束共焦显微成像

在光纤共焦显微系统理论的基础上，结合普通并行共焦理论和抽样定理，研究光纤束共焦系统的有效点扩散函数，得出光纤束共焦系统的光场分布情况。根据光纤束共焦系统的有效点扩散函数和光纤束中光纤的排列特点，分析光纤束共焦显微系统成象质量的影响因素。结果表明光纤束的光纤间距与物镜的放大率决定了系统的横向分辨率。     

有界线性算子的a-Browder定理及(R1)性质

给出了有界线性算子满足a-Browder定理且具有(R₁)性质的充要条件，研究了算子函数满足a-Browder定理且具有(R₁)性质的判定方法，应用所得结论，给出了一类重要算子及其函数满足a-Browder定理且具有(R₁)性质的判别定理。     

带放气阀的增压系统性能研究

带放气阀的增压系统是一种简单而有效,较适合我国现状的实现高增压的方案。本文分析了该增压系统的工作原理,在B6135-ZG20柴油机上进行了泄放增压空气的试验研究,采用数值模拟方法作了进一步的性能研究,最后为某舰用柴油机给出了一个增压系统的初步设计。     

基于CSCW的协同编著系统的设计

讨论了计算机支持的协同工作(CSCW)的主要技术，其中重点讨论了协同编著系统设计中的并发控制技术，指出了其与传统的并发控制技术的区别。根据CSCW的基本原理设计出了一个基于Browse／Server结构的协同编著系统的系统模型。该系统模型比传统的模型更加方便了用户之间通过Internet的浏览器进行协作。     

区间数及在控制系统中的应用

在生产过程中,有些控制系统中的参数不是常数而是一个区间时,与常规的方法有较大的不同.本文以一阶系统为例,在MATLAB环境下用INTLAB软件编程建立运行区间系统,获得采用PI调节器进行校正后其系统的输出响应,并用仿真结果的变化来确定区间系统的最优控制参数.     

面向知识管理的企业业务问题求解方案管理系统研究

针对企业求解业务问题时方案制定不合理的问题, 设计了面向知识服务的业务问题求解模型框架以及求解方案管理系统的体系架构, 并介绍了该系统的功能模块、关键技术和实现方法. 系统通过对企业业务问题求解方案进行多层次的建模, 规范制定了企业求解方案的建模流程, 使求解方案的制定效率更高; 同时实现了业务执行过程的知识化. 系统通过分析和抽取企业内外的信息, 实现了企业知识资源的自生长, 从而提高了求解方案制定的准确性.     

采用磁力泵的加药控制系统设计与应用

采用磁力泵替代计量泵,通过变频器和电磁流量计构成闭环控制系统;并针对磁力泵的故有缺点,采取多种连锁控制保护措施,确保了磁力泵的正常运行.实践证明,通过选配合适的磁力泵和变频器.可以构成稳定可靠的加药系统,满足化工、制药、水处理等领域的应用.     

非线性捕食-被捕食反应扩散系统的奇摄动

在适当的条件下，利用微分不等式理论，讨论了一个初始边值问题解的存在性和渐近性态．微分不等式理论的实质是构造两个辅助函数作为系统的上、下解．本文是利用微分不等式方法来研究一类生物数学中的非线性奇摄动捕食一被捕食反应扩散系统．然后使上、下解分别满足相应的不等式．最后证明所研究的系统存在解并处在上、下解之间，从而证明了系统解的存在性，并同时得到解的估计。     

约束Hamilton系统在相空间中的对称性质

本文导出了奇异Lagrange量连续系统在相空间中规范变更时的Noether定理,导出了变更性系统在相空间中的Noether恒等式以及强守恒律和弱守恒律。基于该系统的对称性质,给出了一个反例,Dirac猜想失效。这里不像Cawley和其他作者那样,我们未将约束线性化。     

一种动态实时的遥感专题应用系统定制框架

遥感专题应用系统广泛用于遥感影像的加载、分析、专题提取、出图等.为实现遥感专题应用系统动态、实时和可扩展的定制化开发,设计了一套基于组件的遥感专题应用系统定制框架：定义了组件划分方式,将专题系统划分为功能类组件和容器类组件,建立了组件属性和组件间的关系;采用XML文件描述遥感专题应用系统中的组件,并提供从XML到遥感专题应用系统的解析方法;设计了遥感专题应用系统定制平台,提出一种动态实时的软件设计方法,可以“所见即所得”地定制遥感专题应用系统,并将其保存为XML文件.采用该定制平台定制的多个专题系统已应用于相关部门.该框架为快速高效定制遥感专题应用系统提供了一种新的开发设计模式,降低了遥感数据在多行业应用的技术门槛,减少重复性开发工作.     

一种基于J2EE服务器集群的中间件负载平衡系统

基于中间件的负载平衡服务是为J2EE服务器集群提供高可用性和高伸缩性的一种有效方法，针对目前的J2EE服务器集群负载平衡服务还存在客户端和服务器端透明性差、负载平衡策略简单和无自适应能力等缺陷，设计了一种基于J2EE服务器集群的中间件负载平衡系统-JCLBS，较好地解决了上述问题。     

城市社区卫生服务模式研究

城市社区卫生服务是城镇医药卫生体制改革的重要课题．本研究以国家关于卫生改革新神为指导，以宁波市城区为研究对象，在几年成功的实践探索和大量的工作基础上，提出城市社区卫生服务基本模式，即6大体系建设：政策管理体系、服务网络体系、工作运行体系、教育培养体系、评价体系和信息管理体系．