论形式系统的多样性

形式系统在类型上包括公理系统和自然推理系统,在构成要件上包括的形式语言和演绎装置.构造者的哲学背景、构造形式系统的理论对象和目的不同,所采用的形式语言和演绎装置就可能不同,因而,构造出来的形式系统就多种多样,在不同的系统内证明同一个定理也表现为不同的公式系列.形式系统的形式语言和演绎装置为我们界定了形式证明的工具、出发点和依据,同时语义也包含了构造者构造形式系统的理论对象和目的,离开具体的形式系统去谈论或者证明一个定理,将会导致逻辑的失范.     

The vertical shaft construction technology of cutter head transformation of large diameter shield

Taking vertical shaft construction of cutter transformation of the Beijing underground diameter shield for example,the design and construction of cutter structure transformation under complex boundary conditions for large diameter shield were discussed.Practice about how to ensure the structure safety of the shaft as well as well-coordinated shield construction was explored,and reliable solutions were provided successfully,which can provide reference for similar projects.     

基于DCT域的自适应数字水印算法

针对离散余弦变换(DCT)的特点,提出一种自适应水印算法.选取JPEG量化矩阵若干DCT中频系数,并求均值,比较嵌入位与均值的关系,调整嵌入位的大小实现水印自适应嵌入.利用Arnold变换对水印信息进行预处理和后续处理,降低水印信息的相关性;同时用随机控制方法选取水印嵌入图像块,用于控制随机选取块的密钥作为该算法的一个密钥,实现水印的加密处理,提高水印的安全性.实验表明,该算法在保证隐蔽性的前提下,水印提取效果较好,对旋转、剪切、JPEG、修改等攻击具有较好的鲁棒性和稳健性.     

库仑摩擦最速降曲线问题的讨论

库仑摩擦轨道上的最速降线问题是一个受到众多研究者关注的问题。根据变分法及其变量变换不变性的性质,得到了轨道切线方向与菇轴的夹角及其对时间的导数构造可能极值函数能够满足的端点条件,以经典的无摩擦的最速降问题作了验证。据此,求得了库仑摩擦最速降线的解析表达式,分析归纳了库仑摩擦最速降轨迹斜率的匀变性、尺度的相似性、轨迹函数依摩擦系数的分簇性和运动的临界性等基本性质。     

Arnold变换及其逆变换研究

Arnold变换由于具有周期性,被广泛地应用于图像加密.但在利用其周期性进行解密时,有时会比较费时,因此提出了一种Arnold逆变换算法;在此基础上,将其拓展到非方阵图像,即一般的矩形图像上,扩展了其在图像加密上的应用范围;最后在理论上将二维推广到n维Arnold变换及逆变换.     

电子商务对义乌市场转型的影响力分析

电子商务作为网络化的新型经济活动,对实体市场不可避免地造成了冲击.义乌从完善基础设施,建设虚拟市场;搭建创业平台,聚集天下网商;壮大经营主体,提升应用层级;发展网络零售,健全商业结构四个方面着手,按照"依托实体市场,虚实融合,强化优势,补齐弱项"的原则,打造"一都两中心",用电子商务来推动传统产业的转型升级.建议建立政府、高校、企业联动机制,发挥电子商务对市场转型的引领作用,实现虚拟市场与实体市场的融合发展.     

混淆中的控制变换研究

介绍了混淆的力量、弹性、执行代价和隐蔽性等性能及其度量问题,详细分析了混淆中的控制变换并给出一些具体的实例,控制变换分为:①计算变换.主要包括插入死的或不相关的代码、删除库调用和程序习惯用语、表解释、增加冗余操作、使代码并行化;②聚合变换.主要包括克隆方法和循环变换;③排序变换.最后对混淆变换的可能的研究方向和热点问题作了介绍.     

偶数阶幻方矩阵行列式的研究

针对偶数阶幻方矩阵的一种构造,运用Matlab软件对4、6阶幻方矩阵行列式进行了研究,并用矩阵的初等变换方法对所有偶数阶幻方矩阵的行列式的进行了研究,证明出所有偶数阶幻方矩阵的行列式都等于零.     

常仿射平均曲率的完备仿射超曲面

设x:M→A4为局部严格凸的仿射超曲面,由定义在凸区域VA3上的严格凸函数x4=f(x1,x2,x3)给出.考虑M上由AG~U=∑2fxixjdxidxj定义 的一个黎曼度量.作者证明了若其仿射平均曲率是一个非负常数且M关于度量AG~U完备,则M必为椭圆抛物面.并且通过对关于Blaschke度量的里奇曲率作某种限制,作者得到了关于n维常仿射平均曲率超曲面的两个结果.     

粮食安全与食品安全关系的解析

粮食安全和食品安全是两个既相互关联又各有侧重的概念.从社会经济发展的角度梳理了粮食安全和食品安全的核心主题,分析了二者之间的逻辑关系.粮食安全问题起源于食物匮乏,食品安全问题则产生于食物中有害物质的存在,它们是人类社会演进的不同阶段面临的两个历史性难题.当今的市场经济体系、农业技术、产业政策大大缓解了饥饿问题,但生产者对高产量和低成本的追求,有可能对食品安全带来不利影响.