搜索筛选:
搜索耗时1.4456秒,为你在为你在102,285,761篇论文里面共找到 44 篇相符的论文内容
发布年度:
[学位论文] 作者：丁志义,,
来源：北京科技大学 年份：2019
化学成分接近标准化学计量比的Ni2MnGa磁性形状记忆合金是一种对温度场,力场和磁场敏感的新型智能材料,在多场下表现出多功能特性,如形状记忆效应、超弹性、磁致应变及磁热效...
[期刊论文] 作者：丁志义,,
来源：肉类工业 年份：2007
兔肉含大量氨基酸及蛋白质，营养价值高、脂肪含量少，是理想的肉食品。由于兔肉腥味太重，产品口味不理想，市场接受度不佳。而用卤味加工的兔肉，口感浓郁，色、香、味等达到满意效果，且......
[会议论文] 作者：丁志义,
来源：第十三届中国国际食品添加剂和配料展览会暨第十九届全国食品添加剂生产应用技术展示研讨会 年份：2009
主要对素肉及素肉干的生产原理、产品优势进行了说明；并介绍了即食全素肉干、风味素肉块、素肉粒(酱类制品专用)、风味素肉类制品四种新型素肉类休闲食品....
[期刊论文] 作者：丁志义,,
来源：中国调味品 年份：2004
...
[期刊论文] 作者：丁志义,
来源：宁夏大学学报：自然科学版 年份：1996
试题库是实施学分制教学重要环节之一，文章结合一个具体试题库的开发，阐述了以原型法为基础的一种开发模式，同时也讨论了设计开发过程中的一些具体问题和实用程序的开发这些方法......
[期刊论文] 作者：丁志义,
来源：中国调味品 年份：2008
食品业高速发展，竞争达到白热化，咸味食品企业期盼既符合“天然、健康、安全”，又能改善品质、风味、口感的原料。I＋G、乙基麦芽酚等原料出现后，可提高咸味食品鲜度和香气。......
[期刊论文] 作者：丁志义,
来源：宁夏大学学报 年份：2004
为满足西夏文字信息处理的需要，建立了西夏字编码字符集，讨论了西夏字的基本属性和几种编码方案,并给出了按字形编码的甄别规则以及对特例的约定....
[期刊论文] 作者：丁志义,,
来源：城市道桥与防洪 年份：2009
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
[学位论文] 作者：丁志义,
来源：华东理工大学 年份：2010
几十年来，软件重用一直是计算机软件科学重要的研究工作之一。从面向过程的结构化方法到面向对象方法都是在提高软件的重用程度，但迄今为止，并没有取得满意的结果。泛型程序设计......
[期刊论文] 作者：丁志义，DINGZhi-yi,
来源：中国食品添加剂 年份：2009
...
[期刊论文] 作者：张旭红,丁志义,,
来源：学术交流 年份：2014
话语表征结构是话语表征理论的灵魂,是对回指进行有效消解的关键手段。然而,当前的话语表征结构并不能对交际中普遍存在的深层回指问题进行有效消解。究其原因是因为当前的话...
[期刊论文] 作者：陈纲,丁志义,
来源：宁夏大学学报：自然科学版 年份：2011
设σ（Tm,k,n）是最小正偶数，使得所有满足σ（π）=d1＋d2＋…＋dn≥σ（Tm,k,n）的n项可图序列π是蕴含Tm,K可图的，即π（d1，d2，…，dn）有一个实现含一直径为k的m阶树．考虑了σ（Tm,k,n）之值问题，并确定了当......
[期刊论文] 作者：高娟,丁志义,
来源：宁夏工程技术 年份：2016
在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整...
[期刊论文] 作者：苏敏,丁志义,
来源：软件导刊 年份：2009
介绍了R．W．Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法．以及Hoare公理系统。...
[期刊论文] 作者：张哲,丁志义,
来源：软件导刊 年份：2014
随着软件规模越来越大，软件正确性问题也随之而来，基于Hoare公理系统的程序形式化验证方法，能够保证并提高软件的正确性。针对Hoare公理化方法证明中的前置条件难以寻找的问题，利......
[期刊论文] 作者：丁志义,陆海云,等,
来源：航天制造技术 年份：2002
通过选择合理的工艺规范，并采用相应的工装，对6mm左右壁厚的小口径LPG储气罐筒体纵缝采取单面焊双面成型工艺代替双面埋弧焊接工艺，经焊接接头试验分析表明：X光探伤检测结果理想，......
[期刊论文] 作者：马希荣,丁志义,
来源：宁夏大学学报：自然科学版 年份：1999
对西夏字的三种计算机表示方式和西夏字的结构分析方法进行了研究，并应用拓朴和几何的基本原理，分析了西夏字的结构及其制约关系，提出了一种基于Ｆｏｕｒｉｅｒ变换的西夏轮廓字生成算法。......
[期刊论文] 作者：丁志义,马希荣,
来源：宁夏大学学报：自然科学版 年份：1999
详细介绍了一个基于三字节内码汉字及西夏文字处理系统的设计与实现过程，讨论了该系统大字符集的编码方案及多字节字符集的输入、输出技术，并介绍了该系统的主要模块。...
[期刊论文] 作者：丁志义,马希荣,
来源：宁夏大学学报：自然科学版 年份：2000
较全面地分析和比较了ＤＯＳ和Ｗｉｎｄｏｗｓ应用程序设计思想方法的差异，阐述了Ｗｉｎｄｏｗｓ的运行机制和编程特点，并讨论了程序驱动与运行模式、应用程序与操作系统的关系、用户界面及面向对象方法等问题。......
[期刊论文] 作者：冯锋,丁志义,等,
来源：宁夏大学学报：自然科学版 年份：2000
阐述了ASP技术的基本概念、工作原理和主要特点，并通过实例介绍了利用ASP技术构建动态的、功能强大的、交互式的Web页面的方法，指出该技术已成为开发动态网站的主要技术之一。...
相关搜索：
