0
ответов
Ищете практические примеры использования SMT Z3 (например, DbC) и альтернативу Z3 с открытым исходным кодом? [закрыто]
Я заинтересовался и искал практические примеры использования SMT Z3 (например, DbC) с кодом и альтернативами этому инструменту с открытым исходным кодом. Так что на самом деле Меня интересует подобное формальное решение Z3 ...
вопрос задан: 3 August 2011 22:17
0
ответов
Библиотека управления нечеткой датой / временем для .NET
Я ищу библиотеку .NET, которая может хранить и управлять нечеткими (т.е. неопределенными) датами / временем, то есть временными выражениями которые не следуют обычному точному шаблону дня, месяца, года, часа, ...
вопрос задан: 3 August 2011 19:59
0
ответов
Неуниверсальный тип 'System.Collections.IEnumerable' нельзя использовать с аргументами типа
с помощью System.Collections.Generic; публичный запечатанный класс LoLQueue , где T: класс
{частный SingleLinkNode mHe; частный SingleLinkNode mTa; public LoLQueue () {
...
вопрос задан: 3 August 2011 18:39
0
ответов
Безопасное сравнение локальных и универсальных DateTimes
Я только что заметил нелепую ошибку при сравнении DateTime: DateTime d = DateTime.Now;
DateTime dUtc = d.ToUniversalTime (); d == dUtc; // ложный
г. Равные (dUtc); //ложный
DateTime ....
вопрос задан: 3 August 2011 17:32
0
ответов
CustomAction вернул фактический код ошибки 1603 в installshield
. Я использую Basic MSI для установки своего приложения. Я получаю ошибку 1001 во время установки, и выполняется откат. В журнале установки я заметил такую ошибку: «...
вопрос задан: 3 August 2011 16:28
0
ответов
#if DEBUG Always Верно для режимов DEBUG и RELEASE
По какой-то причине любой код, например: #if DEBUG CallSomeMethod ();
#endif Всегда истинно независимо от режима отладки или выпуска. Есть идеи, почему и какие настройки я могу использовать для включения или выключения этой функции? ...
вопрос задан: 3 August 2011 16:14
0
ответов
.NET Entity Framework Добавить новую строку с инкрементным первичным ключом
У меня есть таблица в базе данных SQL Server, в которую я хочу добавить строку. Первичный ключ не увеличивается автоматически, и я этого не хочу. Однако в данном случае я действительно хочу добавить строку со следующим ...
вопрос задан: 3 August 2011 15:37
0
ответов
Использование Interlocked.Exchange для обновления ссылок и Int32
Известно, что ссылка занимает 4 байта памяти в 32-битном процессоре и 8 Байт - в 64-битном процессоре. Итак, процессоры гарантируют, что однократное чтение и запись в память с приращением ...
вопрос задан: 3 August 2011 14:46
0
ответов
Как я могу отслеживать вызывающий код в трассировке SQL Server ?
Я хотел бы использовать трассировку SQL Server, чтобы отслеживать больше контекста о том, какой код использует базу данных. Я собирался использовать свойство «Имя приложения» в строке подключения. Это выглядит примерно так ...
вопрос задан: 3 August 2011 13:32
0
ответов
Сериализация графа двоичных объектов
Мне нужен совет по сериализации в приложении .net. Приложение является настольным / толстым клиентским приложением, а сериализация представляет собой постоянный формат документа. Требования к сериализатору:
вопрос задан: 3 August 2011 08:50
0
ответов
В чем разница между тайм-аутом web.config и тайм-аутом IIS?
В чем разница между следующей записью в web.config:
вопрос задан: 3 August 2011 06:38
0
ответов
.NET привязка данных combobox к перечислению строк с атрибутами Description
У меня есть такое перечисление: public enum Cities
{[Описание («Нью-Йорк»)] Нью-Йорк, [Описание («Лос-Анджелес»)] Лос-Анджелес, Вашингтон, [Описание («Сан-Антонио»)] ...
вопрос задан: 3 August 2011 01:38
0
ответов
Почему эта строка вызывает исключение VerificationException при работе под .NET 4?
Помогите мне, ребята - почему этот код вызывает исключение VerificationException при запуске под .NET 4.0? public T parseEnum (строковое значение, T defaultValue) {// Удаление следующих строк устраняет ...
вопрос задан: 2 August 2011 23:29
0
ответов
Ссылка на внешняя .NET DLL, предоставляемая другим приложением на C #
У меня есть проект C #, который ссылается на DLL (назовем ее внешней DLL), которая поставляется с другим приложением. Когда я создаю свой проект, из-за ссылки внешняя DLL автоматически добавляется к моему ...
вопрос задан: 2 August 2011 23:24
0
ответов
Один из них использует больше ресурсов, чем другой?
Что по-разному происходит в фоновом режиме для этих двух блоков кода? Будет ли один считаться «лучше» другого? Я думаю, что Example2 может быть хуже, потому что ему, возможно, придется подождать ...
вопрос задан: 2 August 2011 22:49
0
ответов
Добавление заголовков и данных публикации в RESTfull / HTTP-запрос в C #
У меня проблемы с отправкой POST-запроса в C #, и мне кажется, что я неправильно понял некоторые основы HTTP. По сути, я реализую клиент службы RESTfull, который работает следующим образом: Выполните запрос POST с помощью ...
вопрос задан: 2 August 2011 22:14
0
ответов
Задача C #, которая возвращает значение
Я пытаюсь запустить функцию в задаче, но что-то делаю неправильно.
Вот пример: var t = Task .Factory.StartNew (() => GenerateResult (2)); статический интервал GenerateResult (интервал i)
{...
вопрос задан: 2 August 2011 21:52
0
ответов
Почему нет Math.Pow, который принимает int в качестве показателя степени?
Я читал, что Math. Реализация Pow довольно сложна, чтобы иметь возможность обрабатывать дробные степени. Почему нет версии, которая принимает int для экспоненты, чтобы сделать более быструю версию, когда вы не ...
вопрос задан: 2 August 2011 21:44
0
ответов
Разрешения для ролей в .NET
Я использую стандартные таблицы и код базы данных аутентификации .NET с .NET 4.0, C # и MVC 3. В основном, я хочу иметь роли (которые включены в структуру), а затем иметь возможность назначить ...
вопрос задан: 2 August 2011 20:39
0
ответов
Как вернуть IEnumerable из веб-службы
Мне было интересно, почему я не могу вернуть IEnumerable через веб-службу. В своем веб-сервисе я возвращаю IEnumerable , но когда я проверяю IntelliSense в VS 2010, я вижу, что он дает мне ...
вопрос задан: 2 August 2011 19:04
0
ответов
Отражение (?) - Проверить на ноль или пустой для каждого свойства / поля в классе?
У меня есть простой класс как таковой: открытый класс FilterParams
{общедоступная строка MeetingId {получить; набор; } public int? ClientId {получить; набор; } публичная строка CustNum {получить; набор; } public int ...
вопрос задан: 2 August 2011 17:38
0
ответов
Как пережить постоянную потерю гроша?
Я буду работать в компании, где они программируют для финансовых учреждений, и я буду много работать с деньгами. До этого для меня это не было серьезной проблемой, потому что я занимался мелкими ...
вопрос задан: 2 August 2011 17:15
0
ответов
Локальный прослушиватель событий вызван, даже если объект не удалось создать
В конструкторе объекта, Listener, мы берем аргумент и подписываемся на одно из его событий. Если в конструкторе возникает исключение после того, как событие подписано, OnSomethingChanged (...
вопрос задан: 2 August 2011 16:08
0
ответов
Почему ServerVariable [«REMOTE_ADDR»] возвращает IP-адрес сервера?
У меня есть следующий код: string ip = Request.ServerVariables [«REMOTE_ADDR»]; Что в тестовой среде действительно возвращает IP-адрес пользователя, но когда мы развертываем веб-сайт в производственной среде, это ...
вопрос задан: 2 August 2011 15:23
0
ответов
Повторное использование сценариев SpecFlow
Я начал использовать SpecFlow, и мне стало интересно, можно ли будет повторно использовать сценарии между спецификациями. В основном моя идея такова (я могу быть в корне ошибочной :)) У меня есть один функция, написанная для проверки ...
вопрос задан: 2 August 2011 14:39
0
ответов
C # Автореализуемые свойства
Я новичок в автореализуемых свойствах, и по большей части я считаю их довольно простыми, но на сайте Microsoft говорится: В C # 3.0 и более поздних версиях автоматически реализуемые свойства делают ...
вопрос задан: 2 August 2011 12:38
0
ответов
Configuració d'una aplicació C # per a la compilació de rendiment màxim
Per tant, estem molt contents amb el nostre programa. És ràpid i estable en mode de depuració i fins ara aquesta és la versió en directe amb els clients. Ara desitgem aquest impuls gratuït que obtinguem d’una versió de llançament. Ara tinc ...
вопрос задан: 2 August 2011 12:11
0
ответов
WCF использует имя компьютера вместо IP-адреса и не может быть разрешено
У меня есть служба WCF, которая отлично работает в локальной сети, но при попытке получить к ней доступ извне ссылка на службу не работает. Моя служба WCF размещена в системе win2k3, которая использует статический IP-адрес без домена.
вопрос задан: 2 August 2011 12:03
0
ответов
Библиотека компьютерного зрения
Какие самые лучшие библиотеки компьютерного зрения .net кто-либо использовал в последнее время для обнаружения различных форм и считывания штрих-кодов, включая чтение pdf417? Большинство библиотек имеют возможности обработки изображений ...
вопрос задан: 2 August 2011 10:21
0
ответов
Как ждать завершения нескольких асинхронных операций
Я ищу простой способ вызова нескольких асинхронных операция с возможностью их отмены: var cancelTask = new ManualResetEvent (false);
IAsyncResult ar = StartAsyncBatch (cancelTask);
int ...
вопрос задан: 2 August 2011 02:54