We define an extended class of integer linear first-order logic formula, which supports most integer linear and bit-wise expressions in C programs including integer division, integer modular and bit-wise operation.

  • 我们定义了一类整数线性一阶逻辑判定公式,此类判定公式支持C程序中常用的整数线性运算。我们优化了判定过程,并扩充了对整数除法、取余和位运算的支持。
  • 来源:互联网摘选更新时间:2026-07-01 16:08:00

  • 重点词汇
  • classn.课(堂),班(级);同届毕业生;等级,阶级;种类;风度;
  • expressionsn.表情( expression的名词复数 );表示;(数学)表达式;词;
  • mostadv.最,最多(大);much的最高级;非常,很;几乎;
  • ofprep. 关于;属于…的;由…制成;
  • divisionn.分开;分配;除法;分歧;部门;(军队)师;分组表决;(足球)级;分界线;
  • whichpron./det.哪一个;(进一步提供有关某事物的信息)那个,那些;(省略先行词的关系代词)…的那个(或那些);(明确所指的事物)…的那个,…的那些;哪一些
  • andconj. 和;与;而且;于是;然后
  • definev.阐明;限定;给…下定义;描出…的界线;
  • 相关例句
1、

The next and last UDF to cover bitwise operations is bitwise NOT that performs a bitwise logical NOT operation for one given integer value as translated to a binary expression.

下一个也是最后一个涉及逐位运算的UDF是逐位NOT运算,在转换成二进制表达式时,该UDF对给定的整数值执行逐位逻辑NOT运算。

互联网摘选

2、

In order to protect the information in image, we present an image hiding method based on bit-operation and chaotic system.

为了能够实现对数字图像内容信息的有效保护,文章结合基于混沌系统的数字图像加密算法,给出了一种基于位运算的数字图像隐藏技术。

互联网摘选

3、

The correlation of the pixel bits is analyzed.

分析了像素的高位与低位的相关性,提出了对字位进行运算的无损压缩算法。

互联网摘选

4、

Primitives now support weak typing, where any data type can be used.

原语现在支持弱类型,可以使用任何数据类型。

互联网摘选

5、

When λ> 1, the weak structures type ⅱ,ⅳ should be first chosen;

λ>1时,应选择Ⅱ,Ⅳ型岩性弱结构类型;

互联网摘选

6、

Showed weak alkaline hot springs, other types of natural water pH value is high, the water element is not conducive to migration of suspended particles is the main element of the existence and migration patterns.

温泉表现为弱碱性,其它类型的天然水pH值较高,不利于元素的水迁移,悬浮颗粒是元素的主要存在和迁移形态。

互联网摘选

7、

There may be circumstances, though, in which you want to use generic components that use weakly typed properties and actions.

某些情况下,您可能需要使用具有弱类型属性和操作的通用组件。

互联网摘选

8、

Thus, many consider them as weakly-typed data structures.

因此,许多人把它们看作弱类型的数据结构。

互联网摘选

9、

So, to understand what types to send strongly or weakly you'll need two tidbits of information.

因此,为了理解发送何种类型(强类型或弱类型),将需要两条信息。

互联网摘选

10、

Another problem is that C and C++ have very weak typing for integers and don't normally detect problems manipulating them.

另一个问题是C和C++对整数具有非常弱的类型检查,一般不会检测操作这些整数的问题。

互联网摘选

11、

The kinds, oil-displacing mechanisms, gelated conditions, and evaluated methods of weak gel oil-displacing system were described simply. The development state and prospect of weak gel oil-displacing system were discussed.

简述了弱凝胶体系类型、驱油机理、成胶条件、评价方法等,并讨论了其相应的发展现状和前景。

互联网摘选

12、

This allowed Microsoft to phase out the weakly typed collections and interface and replace them with strongly typed counter-parts.

这使得微软可以淘汰弱类型集合,并使用强类型的对等集合替代之。

互联网摘选

13、

While it may appear that the weakly typed fields of the service gateway interface are intended to hold the actual business object that would be generated if the request were handled by a normal concrete typed binding, this is not the case.

乍一看来,服务网关接口的弱类型字段用于存放实际业务对象,该业务对象是在请求经过常规的具体类型绑定处理后生成的,然而事实并非如此。

互联网摘选

14、

You should consider either refactoring your legacy code to ensure that interfaces are strongly typed or building a mediation that will wrapper the weakly typed interface with a strongly typed one.

应该考虑对遗留代码进行重构,以确保接口为强类型;或构建中介,以使用强类型接口包装弱类型接口。

互联网摘选

15、

The effects of different nitrogen applied amounts on quality characters of different types of wheat ( varieties) ( strong, middle and weak gluten type) were studied.

为了给不同类型专用小麦大面积生产提供科学的施肥依据,利用不同氮素水平进行处理,分析了氮素施用量对强筋、中筋和弱筋三种类型品种品质性状的影响。

互联网摘选

16、

The problem lies in how the receiving side is able to understand the serialized Simple Object Access Protocol ( SOAP) messages that contain the weakly-typed object elements and native data types.

该问题是接收方如何能理解被序列化了的简单对象访问协议(Simple Object Access Protocol,SOAP)消息,这些消息中包含弱类型对象元素及本地数据类型。

互联网摘选

17、

The improbability of vendor tools to accurately interpret XML Schemas representing weakly-typed collection objects and mapping them to the correct native data types.

提供商用于精确解释XML Schema的工具是不存在的,XML Schema代表弱类型的集合对象并将它们映射成正确的本地数据类型。

互联网摘选

18、

The results show that the damage zone growth characters and the stability of surrounding rocks of roadways are influenced by weak structure types of surrounding rocks and stress states, and the weak structure body has the leading role.

结果表明:围岩弱结构类型及工程应力环境对巷道围岩破坏区域发育形态及围岩稳定性具有重要影响,弱结构体起着主控作用;

互联网摘选

19、

The new implementation enables you to use weak data typing, casting, and other complex data handling functions.

新的实现支持使用弱数据类型、类型转换和其他复杂的数据处理功能。

互联网摘选

20、

It can be used to develop programs with higher reliability, and it is as flexible as a non-typed object-ori-ented programming language, such as smalltalk-80.

该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。

互联网摘选

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈