投资组合模型及其边界分析

研究了投资组合的2种数学模型及其边界，在分析投资组合均值-方差模型（M—V模型）及其边界的基础上，详细讨论了最优投资组合均值-VaR模型（M—VaR模型）及其边界，并证明了2种模型边界之间的关系．     

北宋邵雍数学学派与几个无量纲常数诠释

中国传统象数学来源于对云雷纹等复杂现象长期的研究积累，是东方有机自然观的符号表述体系．北宋邵雍（公元１０１１—１０７７年）数学学派在此基础上从研究系统演化的对称结构入手，推演出系统自相似倍周期自发演化普适理论即观物论．基于这一理论本文找到了具有普适意义的几个无量纲物理学经验常数的统一解释，从而有希望成为沟通东西方两大思考体系的契机：（Ⅰ）通过与混沌理论对比初步研究，找到了与费根包姆常数相应的定义和取值．（Ⅱ）据现时宇宙的时空特性导出相应的测量模型和特征值１３７．０３５９８８２２，此即精细结构常数的一种解释．（Ⅲ）据极早期宇宙时空特性导出相应的测量模型和特征值４１．０１１２６８，此即ＳＵ（５）耦合常数的一种解释．（Ⅳ）在观物论关于太极图与宇宙的讨论中，表征能量、作用力等物象的阳仪的最大相对值２．６５２８８６１０３９，表征时间、静态结构等物象的阴仪的最大相对值为６．６３２２１０３９，此即狄拉克大数的一个解释     

自适应发送MIMO-OFDM超宽带系统

基于发送端已知信道状态信息假设，提出了一种多人多出正交频分复用（MIMO-OFDM）系统优化功率加载方案．给出了MIMO-OFDMUWB系统模型及其相应的空时编码方法，提出基于OFDM子载波分组的功率加载机制及其代价函数．通过引入Karush—Kuhn—Tucker（KKT）伸缩因子及条件的拉格朗日乘子法求得功率加载的优化解，并给出了迭代过程．实验结果表明：其性能和复杂度介于经典满注水机制和分组平均信道信息有限反馈功率加载机制之间．此外，多天线分集增益明显改善了系统性能．     

基于梯度的结构相似度的图像质量评价方法

虽然基于结构信息的图像质量评价方法——结构相似度（SSIM）模型结构简单、评价性能优于峰值信噪比（PSNR）或均方误差（MSE）模型，但SSIM模型不能较好地评价严重模糊的降质图像．文中提出了一种基于梯度的结构相似度（GSSIM）图像质量评价方法，该方法将梯度作为图像的主要结构信息．实验结果表明，GSSIM模型比SSIM和PSNR（MSE）模型更符合人眼视觉系统特性，能较好地评价模糊图像的质量．     

随机利率下双币种期权的定价

双币种期权是为在国际贸易和投资中规避各种不同类型的风险而设计的一种期权，在Black—Scholes的框架下，运用偏微分方程的方法，比较系统地讨论了在本国或地区利率遵循短期利率模型（Vasicek模型）下欧式双币种期权的定价模型，并给出了相应的定价公式．     

Cu-Zn-Al 合金表面非线性振荡花样——自组织现象

应用透射电镜进行原位晶体结构分析，证实该类合金中密排六方结构相有两类晶胞，它们会发生长大、缩小的变化．应用薛罗根（Ｓｃｈｌｏｇｌ）模型及其非线性动力学方程分析了这种固态相变中的自组织现象，从理论上证明了该现象是固态合金中的一种耗散结构，这种结构的产生与系统和环境的交互作用密切相关．     

双子阳离子表面活性剂胶束催化羧酸酯水解

在pH7、0～9、0和25℃下，用分光光度法研究了双子阳离子表面活性剂（16—2—16，2Br^-）胶束及其相应的普通阳离子表面活性剂CTAB胶束对羧酸酯（对一硝基苯基α—吡啶甲酸酯（PNPP）和对-硝基苯基乙酸酯（PNPA））水解的催化作用．用胶束催化的相分离模型处理实验数据，得到了相关常数Ks和km。结果表明：（1）用胶束催化相分离模型处理双子阳离子表面活性剂胶束催化反应是合理的；（2）在相同的反应条件下，双子阳离子表面活性剂（16—2—16，2Br^-）胶束比CTAB胶束能更有效的催化羧酸酯水解反应；（3）PNPP和PNPA水解反应的表观速率常数kobsd及其在胶束相中的反应速率常数km均随反应体系pH增大而增加，水解剪切反应为酸-碱催化反应过程。     

遗传算法优化(MgO)n团簇(n=2～20)结构

基于经验势，利用遗传算法研究了中性氧化镁（MgO）n团簇（n=2～20）的稳定结构．当n=3，6，9，12，15，18时，（MgO）n团簇具有幻数结构．对这些幻数结构的不同稳定异构体在Me2／6—31G水平上进行优化，并对稳定结构的特征及其随尺寸变化的规律进行了分析．同时，优化了带负电的（MgO）n^-（n≤6）团簇的结构，分析了额外负电子对团簇结构的影响．     

大系统能控型与能观型集结的直接迭代法

集结的思想和方法在大系统降维中具有十分重要的作用．本文基于通常采用的精确集结条件─—观测型集结，推导出理想集结条件的另一种形式─—控制型集结，同时给出在控制型集结条件下进行系统降维的直接迭代方法（简称ＤＩ法），并讨论了控制型集结模型及其用ＤＩ法所得简化模型的有关性质．     

具强鲁棒性的广义偏差控制

提出一种广义偏差控制律及其实现结构．用一个标称系统给定所要求的动态和稳态性能．其状态与被控系统相应状态之差及其变化率的一种线性组合的ｋ倍，反馈于被控系统的输入端．结果，可使被控系统的参数扰动和外来扰动缩小至１／（１＋ｋｂｍ）．     

Petri网的块组合积运算及其性质研究

Petri网具有动态、并发和图形直观性等良好特性,特别适合于描述异步并发的系统.Petri网运算是由小系统的性质获得大系统性质的一种有效的分析方法.提出了Petri网的块组合积运算,讨论了保持网的结构性质的条件,为Petri网的分析与综合提供了新途径.     

基于Petri网的应用软件开发及其关键技术

讨论了设计基于Petri网的应用软件中的几个关键技术及相应的解决方法，类似与中间件技术，将Petri网结构文件存储为XML也格式文件，系统能够导入和导出基于PNML(Petri Net Markup Language)交换格式的Petri网模型，并简要介绍了基于Petri网的多主体运行环境PNAE(Petri Nets based Agents Environment)．     

HIGHER-ORDER PETRI NET MODELS BASED ON ARTIFICIAL NEURAL NETWORKS

提出了一种新型Ｐｅｔｒｉ网———高阶Ｐｅｔｒｉ网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题；还研究了目标转移结点Ｔ－不变量之间的关系，最后给出了几个例子。     

Research on Petri Net System Parallel Subnet Partitioning Completeness Theory and Algorithm

In order to solve the parallel algorithm of Petri net system with concurrent function, so as to achieve the parallel control and simulation operation of this system, this paper proposes the function partition completeness theory and algorithms of Petri net parallelization, thereby providing the theoretical support for the realization of Petri parallel algorithms. Firstly, according to the concurrent characteristics of Petri net model, we analyze the parallelism of Petri net system; then, by giving the solving process of place invariants and the function partitioning of Petri net, we propose the function partitioning conditions and determination theorem of Petri net parallelization, and conduct its theoretical proof and practical verification. On this basis, we conduct the theoretical study and analysis on the situation that Petri net system has several kinds of parallel function partitioning, propose the completeness theorem of parallelism function partitioning in Petri net system, and verify it. Finally, we give the algorithms, application examples and simulation experiment results of parallel function partitioning of Petri net systems based on place invariant. The theoretical proof and experimental results show that the function partitioning conditions and completeness theory of Petri net parallelization based on place invariant are correct, and the parallel algorithms under such theoretical basis are also correct and effective.     

Petri网-VHDL编译程序的构造

Petri网适合于异步并发系统建模,将Petri网转换成硬件描述语言,就可以通过EDA工具来实现Petri网控制器．文中给出了Petri网-VHDL编译程序的构造方法．使用CONPAR语言对Petri网进行描述,获得Petri网的CONPAR格式文本文件;由编译软件FLEX生成的词法分析程序产生相应的单词,并将单词传给BYACC程序;再由BYACC程序识别出这些单词,并以自底向上的方式进行归约,形成一棵抽象语法树;最后,自顶向下遍历这棵抽象语法树,将Petri网的CONPAR格式文本转换为VHDL代码．文中给出了一个实例,将编译获得的VHDL代码,通过EDA软件工具MAX PLUSⅡ编译、仿真、综合并下载到系统可编程器件中,仿真波形和试验结果都证明了这个编译程序的正确性．     

电信业务特性集成的时序着色Petri网模型

提出了一个电信系统业务特性集成的建模和检验方法。根据这个方法，现有的系统和新的业务特性分别表述为一个着色Petri网，业务特性的功能可表述为时序逻辑公式（称为功能公式），而业务特性的行为可表述为实现这个着色Petri网的变迁不变量（T不变量）的引发序列（称为业务）。通过检测业务是否满足功能公式，可对业务特性进行检验。     

Petri网的块组合并网及性能分析

提出Petri网的两类块组合并网,讨论了保持网的结构性质的条件,这些结果对Petri网的合成和分析是非常有用的.     

一种扩展了价格变迁的Petri网及应用

提出一种扩展了价格变迁的Petri网一经济Petri网，讨论了相应的分析方法，并用经济Petri网建立一个业务流程的费用模型。得出的结论包括：为Petri网扩展价格变迁是可行的：将经济Petri网应用于业务流程管理领域是有效的。     

面向对象Petri网的离散事件系统仿真建模

将Petri网技术和O－O技术结相合,利用消息驱动机制反增强其描述能力而形成对象Petri网（OOPN）,它用面向对象的方法建立系统整体框架,用有色Petri网描述对象,对消息驱动机制对象间传递消息,能较好地将0－O技术和Petri网结合起来,以实现仿真建模。     

用于描述排队系统的广义Petri网

本文推广了Petri网的概念。新定义的广义Petri网可用于描述排队系统,文中给出了用广义Petri网描述排队系统,即建立排队系统的广义Petri网的步骤,还给出了关于广义Petri网的一些初步结果。