基于连续复利的证券组合投资决策模型及其代数解法

针对证券投资收益按连续复利的计算的情形,研究E－V风险下的证券组合投资模型,并给出了计算最优投资比例系数的代数解法。     

基于扩展主对称方法的Kadomtsev-Petviashvilli方程的对称与无穷维李代数

提出了扩展的主对称方法, 将它应用于2+1维可积模型—–Kadomtsev-Petviashvilli (KP)方程, 获得了该方程中含有时间 的任意函数的广义对称, 无需使用复杂的递归算子, 即可直接从对称定义方程中得出关于KP方程对称的显式简单构造公式. 本文中所有提到的对称都是此方程对称的特例, 同时, 还给出了由这些对称构成的一般无穷维李代数.     

无限表示型代数的判定

判定代数表示型是代数表示论中的一个重要课题。本文给出了无限表示型代数的某些判定方法，根据代数某既约映射链和路来推断代数的表示型。     

q-泡利矩阵与量子Heisenberg 代数的一个表示

本文给出了量子力学中经典泡利矩阵的q-形变和单参数量子Heisenberg 代数的一个表示。     

MS—代数的素理想与同余关系

对于ＭＳ－代数Ｌ,以Ｐ（Ｌ）表示Ｌ的全体素理想组成的集,Ｃｏｎ（Ｌ）表示Ｌ的同余关系格,ＸＰ（Ｌ）表示Ｐ（Ｌ）的幂集格的对偶格。本文对Ｐ（Ｌ）的子集刻划了ＭＳ－代数Ｌ的每个同余关系,我们给出了ＭＳ－代数Ｌ关于次直不可约ＭＳ－代数的次直积表示的ＭＳ－代数的次直不可约类还证明了Ｃｏｎ（Ｌ）可以嵌入到ＸＰ（Ｌ）中。     

一种基于部件的信息系统开发方法

讨论了基于部件软件开发的基本思想,给出了一适合部件化信息系统开发的设计方法和过程,并给出了一设计例子．     

基于系统调用和进程代数CCS的行为建模方法

软件动态行为可信度量是可信计算必须要解决的关键问题之一.对该问题的关键一环,软件动态行为建模理论和方法,进行了研究：以系统调用为建模对象,从软件行为学的观点出发,将软件动态行为刻画为进程代数CCS（calculus of communication system）动作的形式.在此基础上,提出了软件动态行为模型的形式化表达DBMS={SCSS,E},其中,SCSS是整个系统的系统调用序列,E是一套基于CCS的行为变换操作符,结合SCSS和E,能够表达系统内任意软件的任意行为.进一步地,提出了一种分布式软件动态行为度量架构,利用该架构能够增强软件动态行为度量的准确性,并提高度量效率.     

基于遗传算法的单件组合拍卖营销定价方法

为了克服传统拍卖式定价法在互联网环境下定价效率较低的不足,提出了一种基于遗传算法的单件组合拍卖定价新方法。并给出了相应的定价协议。实验结果表明该方法能实现企业营销者的最大利润,并可以高效实现多种商品的同时定价。     

一种基于李代数的密码体制

在非交换群上提出一个基于李代数(n李代数)的密码体系.同时在复数域上,利用典型的非结合、反交换的李代数实现密码学上的一些结果.本文指出李代数乘法表的构造问题可以转化为求解多变元二次多项式不定方程组,是非确定性多项式(NPC)完全困难的.乘法表自然地导出一个单向陷门函数.在这个陷门函数的基础上建立了一个加解密方案.基于李代数给出了一个密钥分配方案.最后将结果推广到数域F上的n李代数.     

基于与一异或代数系统的对称函数的研究

本文在分析与一或一非代数系统的基础上研究了基于与一异或代数系统的对称函数，讨论了RM型基本对称函数的定义和性质.在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM 3的逻辑综合及基于余加器与RM型PLA的逻辑综合.     

基于矩阵方法的dj展开系数与bj展开系数的转换

讨论了基于异或运算的bj展开系数和基于符合运算的dj展开系数的矩阵转换方法,给出了8种矩阵转换方法．虽然本文的讨论仅限于3变量,但是由于变换矩阵满足递推律容易,将这些方法推广至任意变量数．     

关于bj图的性质及应用

利用bj图的读图规则和积项中变量数图对bj图的性质作了进一步的研究，提出了若干新的性质，给出了相应的证明，此外，文中还讨论了它们的应用，并用实例作了说明，本文的讨论揭示了bj图的内在规律，有助于开拓bj图的应用领域。     

基于表格法的CRM型对称函数检测

分析了函数的CRM展开式中和式项所含的部分变量取反引起的变化,在此基础上提出了直接检测CRM型全对称函数以及部分变量取反的CRM型对称函数的新方法,并以实例加以说明．与传统方法相比,该法使基于逻辑函数对称性的逻辑设计更简单、更有效．     

逻辑函数的减-非和除-非展开式的最小化方法

讨论了布尔减和布尔除的定义以及逻辑函数在布尔减及非运算、布尔除及非运算完备集中的展开,给出了减-非和除-非逻辑函数的化简公式.在此基础上提出了减-非和除-非逻辑函数的代数化简法以及图形化简法,并给出了化简实例.实例验证了上述化简方法的有效性.     

一种基于新型小波包阈值的图像去噪方法

提出了一种基于小波包理论去除图像噪声的方法,用小波包把图像分解为高频分量和低频分量,根据高频分量估计噪声的标准差,并利用该标准差以及Birge-Massart惩罚函数计算阈值.鉴于传统软硬阈值的缺陷,采用一种新型阈值量化方法,用三次多项式在硬阈值的基础上插值,使新的阈值函数保持了连续性和可导性.通过这种方法既消除了图像的振铃现象,又保留了细节成分.实验表明：与传统方法相比,新方法使图像视觉效果和峰值信噪比均获得提高.     

测地距离的基本解方法求解各向异性热传导方程

基本解方法属于径向基函数类方法,它使用微分算子的基本解作为基于欧氏距离的径向基函数．借助测地距离,给出了求解各向异性材料中的热传导方程的基本解方法．该方法无需对时间进行离散或Laplace变换,也无需进行变量变换,而是直接在整个时间空间区域上进行求解．文中给出了数值例子,来验证基于测地距离的基本解方法在求解该各向异性问题时的稳定性和有效性．     

非整数阶高阶奇异积分的换序公式

在核密度函数有足够高阶导数的连续函数类（而不必在相应Holder函数类）中,以非整数阶高阶奇异积分和单侧高阶奇异积分的概念为基础,以非整数阶高阶奇异积分公式作工具,运用降阶法和归纳法,给出了非整数阶高阶奇异积分的公式。     

《浙江省儿童智力筛查量表》的编制

本文是关于儿童智力筛查量表浙江省常模的编制报告。取样于浙江省四市二镇七县6～12岁696名儿童。利用前已确定的量表内容逐个进行测试,分别建立城市与农村常模。量表重测信度系数为0.94,效度估计为0.78,0.83,0.89等.常模中对弱智儿童的检出频率为0.02,这与国内外同类量表的检出频率相接近。临床初步应用结果较有效。