农科论文中a×b形式表达的探讨

以刊文为例,探讨农科论文中a×b形式的准确表达。指出a×b形式的准确表达,应交待a,b代表的统计量名称及含义,在文中带单位量值相乘编排,在表格栏目中用"量/(a单位×b单位)"形式,对应a,b的次序表达。

藏语固定短语A ma B形式研究

A ma B形式是藏语中一种非能产的固定格式,ma作为否定词修饰A和B前后两个名词。根据意义,可以把这种形式的词分为三类:对A、B双否定的"不A不B"类;对A、B半否定的"或A或B"类,这一类又可以根据实际情况解释为完全否定的"不A不B"或完全肯定的"又A又B";对A、B双肯定的"又A又B"类。A ma B形式所反映的不同的肯定否定关系与A、B的语义聚合性质有密切关系:"不A不B"类的A、B处于同一系统连续状态;"或A或B"类的A、B属于同一大类;"又A又B"类中的A、B不属于同类但有某一方面的共同特征。一部分A ma B形式可以替换为"A min B min"形式,另一部分则不能,因此A ma B形式具有不可替代性。

形式化方法B及其程序规约机理

用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键。文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述。

多元B形式中的曲面

<正> 本文首先通过在多面体区域上抬高维数的技巧给出了多元 B 形式中曲面的一般性定义.证明了卢重乘积型 Bèzier 曲面是2~μ-1维单纯形域上 B 形式中的一个曲面;进一步证实了定义在二维单纯形域上 M 次 Bèzier 曲面上的 n 次多元 B 形式可表示成 mn 次 Bèzier 曲面,定义在双 m 次曲面上的 n 次多元 B 形式可表示成双 mn 次 Bèzier 曲面.

在某些正则区域上的多元B形式曲面

本文首先通过在多面体区域上抬高维数的技巧给出了多元Ｂ形式中曲面的一般性定义．由此我们构造了平行四边形域上、正六边形域上和正八边形成上Ｂ形式的同次曲面格式，并给出了其基函数的递推公式和求导公式．同时我们也给出了正六边形域上插值角点的Ｂ形式同次曲面的表示式．

二次曲线有理Bézier表示形式及其转换

提出二次曲线有理Bézier表示形式及其转换,为二次曲线的NURBS方法几何特征的计算奠定了基础.

文献老化B—K方程的代数形式

文献老化B-K方程因为其良好的模拟效果,一直被众多学者研究和应用,在进行数据模拟时,对B-K方程采取不同的处理方式,有着不同的意义。利用泰勒公式,将B-K方程展开成多项式,改变方程的形式,即使不借助于数学软件,也可以很方便地进行数据模拟。研究表明,B—K方程的代数形式不仅使拟合难度降低、计算量明显减少,也有很好的模拟效果。

试论汉语双音动词AABB重叠形式

在汉语里,词的重叠是表达语法意义的重要手段之一。在能够重叠的几类词中,动词的重叠占有重要地位。 许多双音动词可以按照ABAB形式重叠,早已为大家公认。这种重叠“表示尝试态”,并且“尝试态有时引申出时间短暂的意味”。 很多语法著作把ABAB重叠形式作为动词和形容词的区别之一。如湖南师范学院中文系汉语教研组编写的《汉语语法常识》(湖南人民出版社1973年9月)

浅析形式化语言B与UML/OCL的差异比较

对形式化方法中B语言和UML/OCL语言进行了概述,并依据软件开发的生命周期对B语言与OCL语言差异进行了分析比较,对B语言和UML/OCL语言此两种形式化语言的异同与各自适用的范围加以比对介绍、归纳总结。

基于形式化B方法的因子网络模型构建探讨

形式化方法中的B方法与B语言在工业领域获得了广泛的应用,将其用于因子网络模型构建中,可以有效提高模型的正确性。基于此,笔者从形式化方法、B方法以及因子网络的概念入手,分析了传统因子网络模型的弊端,然后提出了基于形式化B方法的因子网络模型,最后对该模型系统的分析与描述、验证以及模拟仿真流程进行了阐述,意在为相关人员构建因子网络模型提供帮助。

Tbx1基因功能下调影响斑马鱼Tbx20和Tbx2表达

目的采用吗啡啉修饰反义寡核苷酸显微注射方法下调斑马鱼Tbx1基因表达,研究斑马鱼Tbx1基因功能下调对其他两个T盒基因Tbx20和Tbx2表达的影响。方法采用吗啡啉修饰的反义寡核苷酸显微注射方法抑制斑马鱼Tbx1基因表达,分别将2.5、5、8、10 ng吗啡啉反义寡核苷酸在斑马鱼0-4细胞期注入胚胎,并构建Tbx20,骨形成蛋白2b(Bmp2b)和Tbx2反义RNA探针,进行整体原位杂交,观察Tbx1基因下调对Tbx20、Bmp2b及Tbx2表达的影响。结果Tbx1吗啡啉寡核苷酸显微注射组胚胎表现出鳃弓、耳囊、心血管系统和胸腺的发育异常。Tbx1基因下调导致Tbx20的表达出现改变,Tbx20在心脏的表达与对照组相比明显下调,神经元的表达范围明显缩小;Tbx1基因功能下调会导致Bmp2b在心脏和咽囊的表达减低,Bmp2b在后部咽囊的表达较前部咽囊减低得更为明显;Tbx1基因功能下调胚胎,Tbx2在鳃弓的表达模式发生改变,48 hpf,Tbx2在鳃弓的表达出现从后向前逐渐减低,鳃弓的表达范围较对照组明显缩小。结论Tbx1在发育过程中,会对其他T盒基因,如Tbx20和Tbx2具有激活或抑制的调控作用。Tbx1对Tbx20的作用可能是通过影响Bmp2b的途径,继发地影响Tbx20的表达。Tbx1基因功能下调,会改变Tbx2在鳃弓的表达模式。

基于三层B/S模式的分布式系统设计

本文结合网络设备的管理系统,通过对系统设计和开发过程的分析,基于三层B/S形式的分散式系统设计方法进行了更详细的描述,并给出了实现策略。在总体架构中,考虑了安全性和稳定性。

基于需求的安全例证获取与管理方法研究

基于形式化的需求验证技术是确保铁路安全苛求系统需求正确的有效手段,有效的组织和管理需求验证形成的安全例证是安全评估的关键.本文应用形式化语言Event-B方法对需求进行建模、分析和验证,能够发现潜在危险、提高系统安全性,同时结合GSN更高效地组织和管理Event-B提供的需求安全例证,增加安全例证的可信性和可阅读性,使论证逻辑更清晰、更适合安全审核和评估.

二次曲线的有理Bézier形式几何特征的计算

与其它方法相比 ,NURBS方法引入权因子后能精确描述二次曲线 ,并被工程技术所采用 ,但存在几何特征不够直观的缺点 .为此 ,本文用NURBS方法给出了具有直观几何特征的有理B啨ｚｉｅｒ形式的计算公式及其证明 .

单纯形上曲面的表示和转换

通过研究单纯形上的Ｂ形式曲面，给出了三角域上Ｂｅｚｉｅｒ．曲面和矩形域上张量积Ｂｅｚｉｅｒ曲面在三维单纯形上的Ｂ形式表示，由此得到了三角域上Ｂｅｚｉｅｒ曲面和矩形域上张量积Ｂｅｚｉｅｒ曲面之间的互化公式。

宣传牌设计的综合性原则

1988年5月,我们在北京至齐齐哈尔的39次特快列车上看到这样一块宣传牌: 请勿 车内吸烟 随地吐痰 从语言结构的角度来看,“请勿随地吐痰”没问题,我们还可以说“请勿随地乱扔果皮纸屑”“请勿随地大小便”等等。但是,“请勿车内吸烟”似乎立不住,应说成“车内请勿吸烟”。试比较: 楼前请勿停放自行车|?请勿楼前停放自行车 此处请勿倒垃圾|?

三角形上的一种C^2插值

对平面多边形区域的三角剖分，我们提出一种Ｃ２插值格式，基于任意三角形上的插值由５次多项式配以有理权函数组合而成，它满足给定于三角形项点的直到２阶的偏导数。

R^3中的Laguerre极小超曲面

研究Rn中超曲面为Laguerre极小超曲面的一个充要条件,由此得到R3上不含脐点的曲面是极小的一个充要条件,并给出了R3上Laguerre极小曲面但并非极小曲面的一个例子.

基于高速采集卡的超声波检测系统

针对传统超声波测试系统的弊端,利用工控机和高速数据采集技术开发超声波无损探伤系统,重点阐述超声波检测的关键环节:高速数据采集、信号处理、分析和成像技术。该系统具有检测准确、数据处理精确、显示直观等优点。

项目融资的发展与施工企业的对策思考

近几年来，BOT、BT等项目融资的新术语不断出现在一些报刊杂志上面，也逐渐走进了我们施工企业，什么是项目融资，施工企业如何参与，本人谈点初浅看法，以供研讨与商榷。一、项目融资的发展与主要模式 (一)项目融资的发展项目融资(Project Financing)是国际上20世纪70年代末80年代初兴起的一种新的融资方式。由于项目融资方式与传统的筹资方式相比，能更有效地解决大型设施建设项目的资金问题，因此，它被世界上越来越多的国家所应用。