基于多元信息融合的用户关联模型

随着社交媒体网站的日益普及,用户倾向于加入多个社交网络,作为社交媒体中的一项新兴工作,将社交网络的多个用户身份关联起来具有重要意义。通过研究目前有代表性的用户关联模型,提出了一个基于综合信息的用户关联模型(BiALP),该模型通过节点表达的方法学习网络的内在结构信息、属性信息和内容信息,以源网络和目标网络的节点表达为特征,以已关联用户对作为带标签数据,采用二分类监督学习的方式学习源网络与目标网络之间的关联关系。大量实验表明,BiALP模型与目前有代表性的其他用户关联模型相比效果有明显的提升(35%),能够实现更精确的用户关联。     

（2＋1）-维色散长波系统的对称约化与群不变解

研究了（2＋1）-维色散长波系统．首先,确定该系统的对称群,此对称群含有3个任意的光滑函数,然后利用某些子群,把系统约化为热传导方程和第二型Painlevé方程．     

同频简谐振动的合成轨道

利用二次曲线的不变量和轨道参数方程的守恒常量,证明了同频率谐振动的合成轨道是椭圆,并计算出了相应的轨道参数与守恒常量之间的关系．     

Safety Verification of Semi-Algebraic Dynamical Systems via Inductive Invariant

To verify the safety of nonlinear dynamical systems based on inductive invariants, key issues include defining the most complete inductive condition and discovering an inductive invariant that satisfies the specified inductive condition. In this paper, to lay a solid foundation for future research into the safety verification of semi- algebraic dynamical systems, we first establish a formal framework for evaluating the quality of continuous inductive conditions. In addition, we propose a new complete and computable inductive condition for verifying the safety of semi-algebraic dynamical systems. Compared with the existing complete and computable inductive condition, this new inductive condition can be easily adapted to achieve a set of sufficient inductive conditions with different level of conservativeness and computational complexity, which provides us with a means to trade off between the verification power and complexity. These inductive conditions can be solved by quantifier elimination and SMT solvers.     

核桃粕制备微胶囊速溶核桃粉的工艺研究

以冷榨核桃油剩余核桃粕为原料,采用微胶囊包埋技术研究速溶核桃粉的制备工艺,为开发高品质核桃深加工产品提供技术.结果表明,添加2%蔗糖脂肪酸酯作乳化剂、0.9%的β-环糊精作稳定剂、乳化温度60℃,核桃液乳化稳定性好.采用微胶囊包埋技术,以明胶、麦芽糊精、β-环糊精为壁材配料,配方质量比为1∶4∶4,芯壁材比例10∶1,核桃粉包埋率可达85.63%.采用食品贮藏期加速测试法测得用该工艺生产的微胶囊速溶核桃粉保质期可达12个月,储后品质优良.     

无凸性的Lip映像的非线性半群的不动点定理

利用几乎轨道,证明了一个实Ｈｉｌｂｅｒｔ空间中没有凸性的Ｌｉｐｓｃｈｉｔｚ 半群的不动点定理⒚另外,用此结果,提出了一个新的没有凸性的左可逆的Ｌｉｐｓｃｈｉｔｚ半群的不动点定理⒚     

CP embedding agent and its application to the serial section of the body wall tissue of insects

The key of tissue section technique is the selection and application of the embedding agent. Based on the specific characteristics of the tissue and outer skeleton of insects, a new kind of embedding agent, colophony and paraffin (CP), was used without destroying the integrity of insect organs. The tissue can be sliced continuously by the use of CP embedding technique. It solves the 3 difficult problems in the serial section of the organ and tissue of insect, namely stiff materials, thin section and continuity of sections. These difficult problems are not solved by any unitary tissue section technique that is used now, including the paraffin section technique. By using the CP embedding technique, any parts or organs (like antenna, leg and wing) and even the whole body of insects (mini body) can be sliced up continuously. It will open up wide possibilities for the study of inner structure, the interrelations among organs, the micro-characteristics and the physiological functions of insects systematically.     

扭立方体连接网络中超立方体的同胚嵌入

扭立方体连接网络是超立方体的一个变种,它具有良好的递归结构及网络参数·根据扭立方体连接网络的性质研究了超立方体同胚嵌入到其中的问题,得到的嵌入映射是超立方体嵌入到扭立方体连接网络中扩张率、拥塞度及负载等都最小的嵌入映射     

二元广义扩展原理

给出了二元广义扩展原理,将一元广义扩展原理推广到了多元情形。     

基于不变矩特征及BP神经网络的图像模式识别

根据图像的不变矩特征,应用BP神经网络实现了图像的模式识别.由于神经网络本身具有很强的学习能力及容错能力,且采用并行工作方式,因此,此识别方法与传统的模式识别方法相比,具有较强的抗干扰能力及较快的识别速度.本文通过实验验证了此方法的有效性.